| http://dbpedia.org/ontology/abstract
|
En logique, la transformation de Tseitin prend un circuit logique et produit une formule booléenne équisatisfiable en forme normale conjonctive. La transformation est linéaire.
|
| http://dbpedia.org/ontology/namedAfter
|
http://www.wikidata.org/entity/Q54086508 +
|
| http://dbpedia.org/ontology/wikiPageID
|
12031410
|
| http://dbpedia.org/ontology/wikiPageLength
|
835
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
179131026
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Forme_normale_conjonctive +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_math%C3%A9matique +
|
| http://fr.dbpedia.org/property/date
|
septembre 2018
|
| http://fr.dbpedia.org/property/fr
|
Grigori Samuilowitsch Zeitin
|
| http://fr.dbpedia.org/property/langue
|
ru
|
| http://fr.dbpedia.org/property/tentative
|
janvier 2021
|
| http://fr.dbpedia.org/property/texte
|
Gregory Tseytin
|
| http://fr.dbpedia.org/property/trad
|
Цейтин,_Григорий_Самуилович
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Orphelin +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:%E2%80%A6 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_math%C3%A9matique +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Transformation_de_Tseitin?oldid=179131026&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Transformation_de_Tseitin +
|
| owl:sameAs |
http://de.dbpedia.org/resource/Zeitin-Transformation +
, http://fr.dbpedia.org/resource/Transformation_de_Tseitin +
, http://nl.dbpedia.org/resource/Tseitin-transformatie +
, http://www.wikidata.org/entity/Q2315059 +
, http://dbpedia.org/resource/Tseytin_transformation +
, http://g.co/kg/m/0j29dhm +
, http://pt.dbpedia.org/resource/Transforma%C3%A7%C3%A3o_de_Tseytin +
|
| rdf:type |
http://dbpedia.org/ontology/Algorithm +
, http://www.wikidata.org/entity/Q8366 +
|
| rdfs:comment |
En logique, la transformation de Tseitin prend un circuit logique et produit une formule booléenne équisatisfiable en forme normale conjonctive. La transformation est linéaire.
|
| rdfs:label |
Transformation de Tseitin
, Tseitin-transformatie
, Transformação de Tseytin
|
