Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/ST_type_theory> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- ST_type_theory wikiPageID "38519367".
- ST_type_theory wikiPageLength "6675".
- ST_type_theory wikiPageOutDegree "53".
- ST_type_theory wikiPageRevisionID "610785159".
- ST_type_theory wikiPageWikiLink Atomic_formula.
- ST_type_theory wikiPageWikiLink Axiom_of_extensionality.
- ST_type_theory wikiPageWikiLink Axiom_of_infinity.
- ST_type_theory wikiPageWikiLink Axiom_of_reducibility.
- ST_type_theory wikiPageWikiLink Axiom_schema.
- ST_type_theory wikiPageWikiLink Binary_relation.
- ST_type_theory wikiPageWikiLink Category:Type_theory.
- ST_type_theory wikiPageWikiLink Domain_of_discourse.
- ST_type_theory wikiPageWikiLink First-order_logic.
- ST_type_theory wikiPageWikiLink Free_variables_and_bound_variables.
- ST_type_theory wikiPageWikiLink Higher-order_logic.
- ST_type_theory wikiPageWikiLink Identity_(mathematics).
- ST_type_theory wikiPageWikiLink Individual.
- ST_type_theory wikiPageWikiLink Infinity.
- ST_type_theory wikiPageWikiLink Infix.
- ST_type_theory wikiPageWikiLink Lambda-signature.
- ST_type_theory wikiPageWikiLink Leon_Henkin.
- ST_type_theory wikiPageWikiLink Logical_equivalence.
- ST_type_theory wikiPageWikiLink Model_theory.
- ST_type_theory wikiPageWikiLink Natural_number.
- ST_type_theory wikiPageWikiLink New_Foundations.
- ST_type_theory wikiPageWikiLink Ontology_(information_science).
- ST_type_theory wikiPageWikiLink Ordered_pair.
- ST_type_theory wikiPageWikiLink Peano_axioms.
- ST_type_theory wikiPageWikiLink Peter_B._Andrews.
- ST_type_theory wikiPageWikiLink Peter_Johnstone_(mathematician).
- ST_type_theory wikiPageWikiLink Principia_Mathematica.
- ST_type_theory wikiPageWikiLink Q_zero.
- ST_type_theory wikiPageWikiLink Reflexive_relation.
- ST_type_theory wikiPageWikiLink Scott–Potter_set_theory.
- ST_type_theory wikiPageWikiLink Set_theory.
- ST_type_theory wikiPageWikiLink Signature_(logic).
- ST_type_theory wikiPageWikiLink Successor_function.
- ST_type_theory wikiPageWikiLink Total_order.
- ST_type_theory wikiPageWikiLink Transfinite_number.
- ST_type_theory wikiPageWikiLink Transitive_relation.
- ST_type_theory wikiPageWikiLink Type_constructor.
- ST_type_theory wikiPageWikiLink Type_theory.
- ST_type_theory wikiPageWikiLink Urelement.
- ST_type_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- ST_type_theory wikiPageWikiLinkText "ST type theory".
- ST_type_theory wikiPageUsesTemplate Template:Expand_section.
- ST_type_theory wikiPageUsesTemplate Template:Refbegin.
- ST_type_theory wikiPageUsesTemplate Template:Refend.
- ST_type_theory wikiPageUsesTemplate Template:Reflist.
- ST_type_theory subject Category:Type_theory.
- ST_type_theory label "ST type theory".
- ST_type_theory sameAs Q7394930.
- ST_type_theory sameAs m.0r4rtgf.
- ST_type_theory sameAs Q7394930.
- ST_type_theory sameAs ST类型论.
- ST_type_theory wasDerivedFrom ST_type_theory?oldid=610785159.
- ST_type_theory isPrimaryTopicOf ST_type_theory.