Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ground_expression> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Ground_expression abstract "In mathematical logic, a ground term of a formal system is a term that does not contain any free variables.Similarly, a ground formula is a formula that does not contain any free variables. In first-order logic with identity, the sentence x (x=x) is a ground formula.A ground expression is a ground term or ground formula.".
- Ground_expression wikiPageExternalLink fo-ss.pdf.
- Ground_expression wikiPageID "2011627".
- Ground_expression wikiPageRevisionID "577855891".
- Ground_expression hasPhotoCollection Ground_expression.
- Ground_expression subject Category:Logical_expressions.
- Ground_expression subject Category:Mathematical_logic.
- Ground_expression type Abstraction100002137.
- Ground_expression type Appearance104673965.
- Ground_expression type Attribute100024264.
- Ground_expression type Countenance104679549.
- Ground_expression type Expression104679738.
- Ground_expression type LogicalExpressions.
- Ground_expression type Quality104723816.
- Ground_expression comment "In mathematical logic, a ground term of a formal system is a term that does not contain any free variables.Similarly, a ground formula is a formula that does not contain any free variables. In first-order logic with identity, the sentence x (x=x) is a ground formula.A ground expression is a ground term or ground formula.".
- Ground_expression label "Ground expression".
- Ground_expression label "Átomo básico".
- Ground_expression sameAs Átomo_básico.
- Ground_expression sameAs m.06dy6h.
- Ground_expression sameAs Q431411.
- Ground_expression sameAs Q431411.
- Ground_expression sameAs Ground_expression.
- Ground_expression wasDerivedFrom Ground_expression?oldid=577855891.
- Ground_expression isPrimaryTopicOf Ground_expression.