Matches in DBpedia 2014 for { ?s ?p <http://rdf.freebase.com/ns/m.01y3yt> . }
Showing items 1 to 8 of
8
with 100 items per page.
- Henkin_semantics sameAs m.01y3yt.
- MSOL sameAs m.01y3yt.
- Second-order_logic sameAs m.01y3yt.
- Second-order_predicate_calculus sameAs m.01y3yt.
- Second_Order_Logic sameAs m.01y3yt.
- Second_Order_Logical_Language sameAs m.01y3yt.
- Second_order_logic sameAs m.01y3yt.
- Second_order_predicate_calculus sameAs m.01y3yt.