Some quantifiers require two-predicate scopes
From MaRDI portal
Publication:1090330
DOI10.1016/0004-3702(87)90013-0zbMath0621.03025OpenAlexW1980805018MaRDI QIDQ1090330
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90013-0
Cites Work
This page was built for publication: Some quantifiers require two-predicate scopes