Matches in DBpedia 2014 for { ?s ?p <http://rdf.freebase.com/ns/m.02yz4> . }
Showing items 1 to 26 of
26
with 100 items per page.
- 1st_order_logic sameAs m.02yz4.
- Classical_predicate_logic sameAs m.02yz4.
- FOPC sameAs m.02yz4.
- FOPL sameAs m.02yz4.
- First-Order_Logic sameAs m.02yz4.
- First-order-logic sameAs m.02yz4.
- First-order_Peano_arithmetic sameAs m.02yz4.
- First-order_language sameAs m.02yz4.
- First-order_logic sameAs m.02yz4.
- First-order_logic_with_equality sameAs m.02yz4.
- First-order_predicate_calculus sameAs m.02yz4.
- First-order_predicate_logic sameAs m.02yz4.
- First-order_theory sameAs m.02yz4.
- First_Order_Language sameAs m.02yz4.
- First_Order_Logic sameAs m.02yz4.
- First_order_language sameAs m.02yz4.
- First_order_logic sameAs m.02yz4.
- First_order_logic_with_equality sameAs m.02yz4.
- First_order_predicate_calculus sameAs m.02yz4.
- First_order_predicate_logic sameAs m.02yz4.
- Lower_Predicate_Calculus sameAs m.02yz4.
- Predicate_Calculus sameAs m.02yz4.
- Predicate_logic_(Philosophy) sameAs m.02yz4.
- Predicate_logic_(philosophy) sameAs m.02yz4.
- Quantification_calculus sameAs m.02yz4.
- Quantification_theory sameAs m.02yz4.