About: Free variables and bound variables

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

Classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier

thumbnail
Property Value
dbo:description
  • Konzept der Prädikatenlogik (de)
  • classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier (en)
  • بیاین اینجا رو پر کنید لطفا (fa)
  • 論理式中の変数が量化子の範囲内にあるかどうかに基づく分類 (ja)
  • variabile di una formula logica che può essere o meno all'interno dello scope di un quantificatore (it)
dbo:thumbnail
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:label
  • Free variables and bound variables (en)
  • المتغير الحر والمتغير المقيد (ar)
  • Variable libre y variable ligada (es)
  • Freie Variable und gebundene Variable (de)
  • 自由変数と束縛変数 (ja)
  • 자유 변수와 종속 변수 (ko)
  • Variáveis livres e ligadas (pt)
  • Fria och bundna variabler (sv)
  • Вільні і зв'язані змінні (uk)
  • 自由变量和约束变量 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International