First-order logic with equality

http://dbpedia.org/resource/First-order_logic_with_equality

rdfs:label

rdf:langString First-order logic with equality

dbpedia-owl:wikiPageID

xsd:integer 16440926

dbpedia-owl:wikiPageRevisionID

xsd:integer 199698236

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 30

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/First-order_logic>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/First-order_logic>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/First-order_logic_with_equality?oldid=199698236&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/First-order_logic_with_equality>

data from the linked data cloud