Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Substitution_(logic)> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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 result expression is called a substitution instance of the original expression.".
- Substitution_(logic) wikiPageID "5438948".
- Substitution_(logic) wikiPageRevisionID "588537453".
- Substitution_(logic) hasPhotoCollection Substitution_(logic).
- 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) type Abstraction100002137.
- Substitution_(logic) type Cognition100023271.
- Substitution_(logic) type Concept105835747.
- Substitution_(logic) type ConceptsInLogic.
- Substitution_(logic) type Content105809192.
- Substitution_(logic) type Idea105833840.
- Substitution_(logic) type PsychologicalFeature100023100.
- 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 result expression is called a substitution instance of the original expression.".
- Substitution_(logic) label "Substitution (Logik)".
- Substitution_(logic) label "Substitution (logic)".
- Substitution_(logic) sameAs Substitution_(Logik).
- Substitution_(logic) sameAs m.07k42jc.
- Substitution_(logic) sameAs Q1522579.
- Substitution_(logic) sameAs Q1522579.
- Substitution_(logic) sameAs Substitution_(logic).
- Substitution_(logic) wasDerivedFrom Substitution_(logic)?oldid=588537453.
- Substitution_(logic) isPrimaryTopicOf Substitution_(logic).