About: Ground expression

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Logical expression whose terms do not contain any variables

Property	Value
dbo:description	espressione logica i cui termini non contengono variabili (it) logical expression whose terms do not contain any variables (en)
dbo:wikiPageExternalLink	http://web.engr.oregonstate.edu/~afern/classes/cs532/notes/fo-ss.pdf
dbo:wikiPageWikiLink	dbr:Variable_(mathematics) dbr:Cambridge_University_Press dbr:First-order_logic dbr:Atomic_formula dbr:Formal_system dbr:Herbrand_interpretation dbr:Sentence_(mathematical_logic) dbr:Term_(logic) dbc:Mathematical_logic dbr:Truth_value dbr:Mathematical_logic dbc:Logical_expressions dbr:Herbrand_base dbr:First-order_language dbr:Herbrand_universe dbr:First_order_logic dbr:Predicate_symbol dbr:Signature_(mathematical_logic) dbr:Well_formed_formula
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:! dbt:Cite_web dbt:Reflist dbt:Use_dmy_dates dbt:Visible_anchor dbt:Mathematical_logic dbt:Annotated_link dbt:Formal_languages dbt:Short_description
dct:subject	dbc:Mathematical_logic dbc:Logical_expressions
rdfs:label	Ground expression (en) Espressione ground (it) Замкнений вираз (uk)
owl:sameAs	freebase:Ground expression yago-res:Ground expression wikidata:Ground expression dbpedia-it:Ground expression dbpedia-hu:Ground expression dbpedia-fa:Ground expression dbpedia-uk:Ground expression dbpedia-global:Ground expression dbr:Ground expression
prov:wasDerivedFrom	wikipedia-en:Ground_expression?oldid=1289689386&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ground_expression
is dbo:wikiPageRedirects of	dbr:Ground_atom dbr:Ground_formula dbr:Ground_term dbr:Ground_clause dbr:Ground_literal dbr:Ground_predicate dbr:Ground_sentence dbr:Closed_term dbr:Variable-free
is dbo:wikiPageWikiLink of	dbr:Prolog_syntax_and_semantics dbr:Inductive_logic_programming dbr:Prolog dbr:Ground_atom dbr:Ground_formula dbr:Well-formed_formula dbr:Sentence_(mathematical_logic) dbr:Substitution_(logic) dbr:Reasoning_system dbr:Markov_logic_network dbr:Ground_term dbr:Algebraic_semantics_(computer_science) dbr:Stable_model_semantics dbr:Ground_clause dbr:Ground_literal dbr:Ground_predicate dbr:Ground_sentence dbr:Closed_term dbr:Variable-free
is foaf:primaryTopic of	wikipedia-en:Ground_expression