[go: up one dir, main page]
About DBpedia

About: 量化

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

量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。

Property Value
dbo:abstract
  • 量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。 (ja)
  • 量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1221272 (xsd:integer)
dbo:wikiPageLength
  • 8136 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90820918 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:date
  • 20190101000000 (xsd:decimal)
prop-ja:title
  • 多重量化を克服せよ (ja)
  • 多重量化を克服せよ (ja)
prop-ja:url
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。 (ja)
  • 量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。 (ja)
rdfs:label
  • 量化 (ja)
  • 量化 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs 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 3.0 Unported License