About: dbpedia-fr:Méthode_des_tableaux     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:subClassOf
rdfs:label
  • Baumkalkül (de)
  • Méthode des tableaux (fr)
  • Método dos Tableaux Analíticos (pt)
rdfs:comment
  • En théorie de la démonstration, les tableaux sémantiques sont une méthode de résolution du problème de la décision pour le calcul des propositions et les logiques apparentées, ainsi qu'une méthode de preuve pour la logique du premier ordre. La méthode des tableaux peut également déterminer la satisfiabilité des ensembles finis de formules de diverses logiques. C'est la méthode de preuve la plus populaire pour les logiques modales (Girle 2000). Elle fut inventée par le logicien hollandais Evert Willem Beth. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/First-order_tableau.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/First-order_tableau_with_metavariables.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Non-closed_propositional_tableau.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Partially_built_tableau-1-.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Prop-tableau-1.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Prop-tableau-2.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Prop-tableau-3.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Prop-tableau-4.svg
thumbnail
foaf:isPrimaryTopicOf
dbo:discoverer
has abstract
  • En théorie de la démonstration, les tableaux sémantiques sont une méthode de résolution du problème de la décision pour le calcul des propositions et les logiques apparentées, ainsi qu'une méthode de preuve pour la logique du premier ordre. La méthode des tableaux peut également déterminer la satisfiabilité des ensembles finis de formules de diverses logiques. C'est la méthode de preuve la plus populaire pour les logiques modales (Girle 2000). Elle fut inventée par le logicien hollandais Evert Willem Beth. (fr)
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 10 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software