Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Substitution_(logic)> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples per page.
- Substitution_(logic) abstract "Substitution is a fundamental concept in logic.A substitution is a syntactic transformation on formal expressions.To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols by other expressions.The resulting expression is called a substitution instance of the original expression.".
- Substitution_(logic) wikiPageID "5438948".
- Substitution_(logic) wikiPageLength "10829".
- Substitution_(logic) wikiPageOutDegree "37".
- Substitution_(logic) wikiPageRevisionID "660503769".
- Substitution_(logic) wikiPageWikiLink Axiomatic_system.
- Substitution_(logic) wikiPageWikiLink Category:Automated_theorem_proving.
- Substitution_(logic) wikiPageWikiLink Category:Concepts_in_logic.
- Substitution_(logic) wikiPageWikiLink Category:Logic_programming.
- Substitution_(logic) wikiPageWikiLink Category:Logical_truth.
- Substitution_(logic) wikiPageWikiLink Category:Propositional_calculus.
- Substitution_(logic) wikiPageWikiLink Category:Substitution_(logic).
- Substitution_(logic) wikiPageWikiLink Concept.
- Substitution_(logic) wikiPageWikiLink Equality_(mathematics).
- Substitution_(logic) wikiPageWikiLink First-order_logic.
- Substitution_(logic) wikiPageWikiLink Formal_language.
- Substitution_(logic) wikiPageWikiLink Formal_proof.
- Substitution_(logic) wikiPageWikiLink Ground_expression.
- Substitution_(logic) wikiPageWikiLink If_and_only_if.
- Substitution_(logic) wikiPageWikiLink Interpretation_(logic).
- Substitution_(logic) wikiPageWikiLink Lambda_calculus.
- Substitution_(logic) wikiPageWikiLink Logic.
- Substitution_(logic) wikiPageWikiLink Metavariable.
- Substitution_(logic) wikiPageWikiLink Mutatis_mutandis.
- Substitution_(logic) wikiPageWikiLink Permutation.
- Substitution_(logic) wikiPageWikiLink Postfix_notation.
- Substitution_(logic) wikiPageWikiLink Proposition.
- Substitution_(logic) wikiPageWikiLink Reverse_Polish_notation.
- Substitution_(logic) wikiPageWikiLink Rule_of_inference.
- Substitution_(logic) wikiPageWikiLink Rule_of_replacement.
- Substitution_(logic) wikiPageWikiLink Syntax_(logic).
- Substitution_(logic) wikiPageWikiLink Tautology_(logic).
- Substitution_(logic) wikiPageWikiLink Term_(logic).
- Substitution_(logic) wikiPageWikiLink Truth-value_semantics.
- Substitution_(logic) wikiPageWikiLink Unification_(computer_science).
- Substitution_(logic) wikiPageWikiLink Valuation_(logic).
- Substitution_(logic) wikiPageWikiLink Well-formed_formula.
- Substitution_(logic) wikiPageWikiLinkText "Substitution (logic)".
- Substitution_(logic) wikiPageWikiLinkText "Substitution (logic)#First-order logic".
- Substitution_(logic) wikiPageWikiLinkText "Substitution".
- Substitution_(logic) wikiPageWikiLinkText "identity substitution".
- Substitution_(logic) wikiPageWikiLinkText "instance".
- Substitution_(logic) wikiPageWikiLinkText "instances".
- Substitution_(logic) wikiPageWikiLinkText "instanciation".
- Substitution_(logic) wikiPageWikiLinkText "instantiated".
- Substitution_(logic) wikiPageWikiLinkText "instantiating".
- Substitution_(logic) wikiPageWikiLinkText "instantiation".
- Substitution_(logic) wikiPageWikiLinkText "renaming substitution".
- Substitution_(logic) wikiPageWikiLinkText "replaced".
- Substitution_(logic) wikiPageWikiLinkText "substituted".
- Substitution_(logic) wikiPageWikiLinkText "substituting".
- Substitution_(logic) wikiPageWikiLinkText "substitution".
- Substitution_(logic) wikiPageWikiLinkText "σ".
- Substitution_(logic) hasPhotoCollection Substitution_(logic).
- Substitution_(logic) id "substitution".
- Substitution_(logic) title "Substitution".
- Substitution_(logic) wikiPageUsesTemplate Template:Distinguish.
- Substitution_(logic) wikiPageUsesTemplate Template:Logic.
- Substitution_(logic) wikiPageUsesTemplate Template:Nlab.
- Substitution_(logic) wikiPageUsesTemplate Template:Reflist.
- Substitution_(logic) subject Category:Automated_theorem_proving.
- Substitution_(logic) subject Category:Concepts_in_logic.
- Substitution_(logic) subject Category:Logic_programming.
- Substitution_(logic) subject Category:Logical_truth.
- Substitution_(logic) subject Category:Propositional_calculus.
- Substitution_(logic) subject Category:Substitution_(logic).
- Substitution_(logic) hypernym Concept.
- Substitution_(logic) type Thing.
- Substitution_(logic) type Concept.
- Substitution_(logic) comment "Substitution is a fundamental concept in logic.A substitution is a syntactic transformation on formal expressions.To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols by other expressions.The resulting expression is called a substitution instance of the original expression.".
- Substitution_(logic) label "Substitution (logic)".
- Substitution_(logic) differentFrom Change_of_variables.
- Substitution_(logic) sameAs Substitution_(Logik).
- Substitution_(logic) sameAs m.07k42jc.
- Substitution_(logic) sameAs Q1522579.
- Substitution_(logic) sameAs Q1522579.
- Substitution_(logic) wasDerivedFrom Substitution_(logic)?oldid=660503769.
- Substitution_(logic) isPrimaryTopicOf Substitution_(logic).