Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Monadic_predicate_calculus> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Monadic_predicate_calculus abstract "In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form , where is a relation symbol and is a variable.Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments.".
- Monadic_predicate_calculus wikiPageID "8015680".
- Monadic_predicate_calculus wikiPageRevisionID "594408697".
- Monadic_predicate_calculus hasPhotoCollection Monadic_predicate_calculus.
- Monadic_predicate_calculus subject Category:Logical_calculi.
- Monadic_predicate_calculus subject Category:Predicate_logic.
- Monadic_predicate_calculus comment "In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form , where is a relation symbol and is a variable.Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments.".
- Monadic_predicate_calculus label "Monadic predicate calculus".
- Monadic_predicate_calculus label "一元谓词演算".
- Monadic_predicate_calculus sameAs m.026nmcv.
- Monadic_predicate_calculus sameAs Q6897882.
- Monadic_predicate_calculus sameAs Q6897882.
- Monadic_predicate_calculus wasDerivedFrom Monadic_predicate_calculus?oldid=594408697.
- Monadic_predicate_calculus isPrimaryTopicOf Monadic_predicate_calculus.