Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Many-sorted_logic> }
Showing triples 1 to 20 of
20
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.
- bf00355532 isCitedBy Many-sorted_logic.
- bf01396685 isCitedBy Many-sorted_logic.
- Many-sorted_logic primaryTopic Many-sorted_logic.