Predicate calculus

http://dbpedia.org/resource/Predicate_calculus

rdf:langString Predicate calculus
xsd:integer 199477
xsd:integer 636317033
xsd:nonNegativeInteger 98
<http://dbpedia.org/resource/Category:Logical_calculi>
<http://dbpedia.org/resource/Category:Systems_of_formal_logic>
<http://dbpedia.org/resource/Category:Logical_calculi>
<http://dbpedia.org/resource/Category:Systems_of_formal_logic>
<http://dbpedia.org/resource/First-order_logic>
<http://dbpedia.org/resource/First-order_logic>
<http://en.wikipedia.org/wiki/Predicate_calculus?oldid=636317033&ns=0>
<http://en.wikipedia.org/wiki/Predicate_calculus>

data from the linked data cloud