About: Axiom schema

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

A formula in the metalanguage of an axiomatic system in which one or more schematic variables appear

Property Value
dbo:description
  • formula v metajeziku aksiomskega sistema, v kateri se pojavi ena ali več shematskih spremenljivk (sl)
  • a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear (en)
  • En logique mathématique, notion qui généralise celle d'axiome (fr)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Axiom schema (en)
  • Axiomenschema (de)
  • Schema di assiomi (it)
  • Schéma d'axiomes (fr)
  • 公理型 (ja)
  • Schemat aksjomatu (pl)
  • Axiomaschema (nl)
  • Схема аксиом (ru)
  • Аксіомна схема (uk)
  • 公理模式 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink 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