Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Term_(logic)> ?p ?o }
- Term_(logic) thumbnail Tree_structure_of_mathematical_first-order_terms_svg.svg?width=300.
- Term_(logic) wikiPageID "24885593".
- Term_(logic) wikiPageLength "20886".
- Term_(logic) wikiPageOutDegree "76".
- Term_(logic) wikiPageRevisionID "707844758".
- Term_(logic) wikiPageWikiLink Addition.
- Term_(logic) wikiPageWikiLink Anonymous_function.
- Term_(logic) wikiPageWikiLink Atomic_formula.
- Term_(logic) wikiPageWikiLink C_(programming_language).
- Term_(logic) wikiPageWikiLink Category:Elementary_mathematics.
- Term_(logic) wikiPageWikiLink Category:Mathematical_logic.
- Term_(logic) wikiPageWikiLink Category:Rewriting_systems.
- Term_(logic) wikiPageWikiLink Coefficient.
- Term_(logic) wikiPageWikiLink Complex_number.
- Term_(logic) wikiPageWikiLink Distinct.
- Term_(logic) wikiPageWikiLink Division_(mathematics).
- Term_(logic) wikiPageWikiLink Divisor.
- Term_(logic) wikiPageWikiLink Domain_of_discourse.
- Term_(logic) wikiPageWikiLink Encompassment_ordering.
- Term_(logic) wikiPageWikiLink Equation.
- Term_(logic) wikiPageWikiLink Expression_(mathematics).
- Term_(logic) wikiPageWikiLink False_(logic).
- Term_(logic) wikiPageWikiLink Field_(mathematics).
- Term_(logic) wikiPageWikiLink First-order_logic.
- Term_(logic) wikiPageWikiLink Formal_grammar.
- Term_(logic) wikiPageWikiLink Fraction_(mathematics).
- Term_(logic) wikiPageWikiLink Free_object.
- Term_(logic) wikiPageWikiLink Ground_expression.
- Term_(logic) wikiPageWikiLink Herbrands_theorem.
- Term_(logic) wikiPageWikiLink Infix_notation.
- Term_(logic) wikiPageWikiLink Initial_algebra.
- Term_(logic) wikiPageWikiLink Interpretation_(logic).
- Term_(logic) wikiPageWikiLink Lambda_calculus.
- Term_(logic) wikiPageWikiLink Like_terms.
- Term_(logic) wikiPageWikiLink Linear_combination.
- Term_(logic) wikiPageWikiLink Logic.
- Term_(logic) wikiPageWikiLink Logical_connective.
- Term_(logic) wikiPageWikiLink Many-sorted_logic.
- Term_(logic) wikiPageWikiLink Mathematical_logic.
- Term_(logic) wikiPageWikiLink Monomial.
- Term_(logic) wikiPageWikiLink Multiplication.
- Term_(logic) wikiPageWikiLink Noun_phrase.
- Term_(logic) wikiPageWikiLink Operation_(mathematics).
- Term_(logic) wikiPageWikiLink Partially_ordered_set.
- Term_(logic) wikiPageWikiLink Polish_notation.
- Term_(logic) wikiPageWikiLink Polynomial.
- Term_(logic) wikiPageWikiLink Predicate_(mathematical_logic).
- Term_(logic) wikiPageWikiLink Principle_of_bivalence.
- Term_(logic) wikiPageWikiLink Quantifier_(logic).
- Term_(logic) wikiPageWikiLink Rational_number.
- Term_(logic) wikiPageWikiLink Real_number.
- Term_(logic) wikiPageWikiLink Recursive_definition.
- Term_(logic) wikiPageWikiLink Reflexive_relation.
- Term_(logic) wikiPageWikiLink Rewriting.
- Term_(logic) wikiPageWikiLink Sentence_(linguistics).
- Term_(logic) wikiPageWikiLink Sequence.
- Term_(logic) wikiPageWikiLink Series_(mathematics).
- Term_(logic) wikiPageWikiLink Signature_(logic).
- Term_(logic) wikiPageWikiLink Substitution_(logic).
- Term_(logic) wikiPageWikiLink Subtraction.
- Term_(logic) wikiPageWikiLink Term_algebra.
- Term_(logic) wikiPageWikiLink Ternary_operation.
- Term_(logic) wikiPageWikiLink Tree_(data_structure).
- Term_(logic) wikiPageWikiLink Truth.
- Term_(logic) wikiPageWikiLink Tuple.
- Term_(logic) wikiPageWikiLink Unification_(computer_science).
- Term_(logic) wikiPageWikiLink Uninterpreted_function.
- Term_(logic) wikiPageWikiLink Universal_algebra.
- Term_(logic) wikiPageWikiLink Variable_(mathematics).
- Term_(logic) wikiPageWikiLink Vector_space.
- Term_(logic) wikiPageWikiLink Well-formed_formula.
- Term_(logic) wikiPageWikiLink File:Example_term_for_position,_path,_depth,_match_svg.svg.
- Term_(logic) wikiPageWikiLink File:Tree_structure_of_mathematical_first-order_terms_svg.svg.
- Term_(logic) wikiPageWikiLinkText "Term (logic)".
- Term_(logic) wikiPageWikiLinkText "Term (logic)#Ground and linear terms".
- Term_(logic) wikiPageWikiLinkText "Term (logic)#Structural equality".
- Term_(logic) wikiPageWikiLinkText "Terms".
- Term_(logic) wikiPageWikiLinkText "all terms".
- Term_(logic) wikiPageWikiLinkText "constant".
- Term_(logic) wikiPageWikiLinkText "context".
- Term_(logic) wikiPageWikiLinkText "contextual embedding".
- Term_(logic) wikiPageWikiLinkText "equality modulo renaming".
- Term_(logic) wikiPageWikiLinkText "expressions".
- Term_(logic) wikiPageWikiLinkText "finite terms".
- Term_(logic) wikiPageWikiLinkText "first-order term".
- Term_(logic) wikiPageWikiLinkText "first-order terms".
- Term_(logic) wikiPageWikiLinkText "function symbols".
- Term_(logic) wikiPageWikiLinkText "ground term".
- Term_(logic) wikiPageWikiLinkText "ground".
- Term_(logic) wikiPageWikiLinkText "linear".
- Term_(logic) wikiPageWikiLinkText "path".
- Term_(logic) wikiPageWikiLinkText "position".
- Term_(logic) wikiPageWikiLinkText "proper subterm".
- Term_(logic) wikiPageWikiLinkText "renamed copy".
- Term_(logic) wikiPageWikiLinkText "renamings".
- Term_(logic) wikiPageWikiLinkText "replaced".
- Term_(logic) wikiPageWikiLinkText "size".
- Term_(logic) wikiPageWikiLinkText "structurally equal".
- Term_(logic) wikiPageWikiLinkText "subterm".
- Term_(logic) wikiPageWikiLinkText "subterms starting at ''p''".