Ordered logic

http://dbpedia.org/resource/Ordered_logic

rdf:langString Ordered logic
xsd:integer 1249319
xsd:integer 832883540
xsd:nonNegativeInteger 110
<http://dbpedia.org/resource/Higher-order_logic>
<http://dbpedia.org/resource/Higher-order_logic>
<http://dbpedia.org/resource/Template:R_from_ambiguous_term>
<http://dbpedia.org/resource/Template:R_to_section>
<http://dbpedia.org/resource/Template:Rcatsh>
<http://en.wikipedia.org/wiki/Ordered_logic?oldid=832883540&ns=0>
<http://en.wikipedia.org/wiki/Ordered_logic>

data from the linked data cloud