Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Many-sorted_logic> }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Sort wikiPageDisambiguates Many-sorted_logic.
- Many_sorted_logic wikiPageRedirects Many-sorted_logic.
- Constructive_set_theory wikiPageWikiLink Many-sorted_logic.
- Cylindric_algebra wikiPageWikiLink Many-sorted_logic.
- Gödel_(programming_language) wikiPageWikiLink Many-sorted_logic.
- HiLog wikiPageWikiLink Many-sorted_logic.
- Higher-order_logic wikiPageWikiLink Many-sorted_logic.
- List_of_mathematical_logic_topics wikiPageWikiLink Many-sorted_logic.
- Logic wikiPageWikiLink Many-sorted_logic.
- Many_sorted_logic wikiPageWikiLink Many-sorted_logic.
- Non-classical_logic wikiPageWikiLink Many-sorted_logic.
- Predicate_logic wikiPageWikiLink Many-sorted_logic.
- Sort wikiPageWikiLink Many-sorted_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Many-sorted_logic.
- Term_(logic) wikiPageWikiLink Many-sorted_logic.
- Unification_(computer_science) wikiPageWikiLink Many-sorted_logic.
- CM_1956-1958__13__277_0.pdf isCitedBy Many-sorted_logic.
- books?vid=ISBN978-3-540-71997-7 isCitedBy Many-sorted_logic.
- 2188d124eb5d3042dd1c6d6e7f9fd7fbeff39fc03e064e1e063a1b8952391047 isCitedBy Many-sorted_logic.
- 3dc01d140f021a04cfcc170e8e80961781cb29458fd9ca3c9468b6d56a41682e isCitedBy Many-sorted_logic.
- a35c2edf509ff54a0ed3c99fa57f1f6cf9e3831ab1b69d279b91837345194a64 isCitedBy Many-sorted_logic.
- bf00355532 isCitedBy Many-sorted_logic.
- bf01396685 isCitedBy Many-sorted_logic.
- 0004-3702(85)90029-3 isCitedBy Many-sorted_logic.
- Many-sorted_logic primaryTopic Many-sorted_logic.