http://schema.org/description
|
Entscheidungsproblem, ob es für eine gegebene boolesche Schaltung eine Eingabe gibt, die das Outout Gatter wahr macht.
, classic NP-complete problem in computer science
|
http://schema.org/name
|
circuit satisfiability problem
, Problema da satisfatibilidade do circuito
, Erfüllbarkeitsproblem für Schaltkreise
, problème de satisfiabilité de circuit
, 電路可滿足性問題
|
http://www.w3.org/2004/02/skos/core#prefLabel
|
circuit satisfiability problem
, Problema da satisfatibilidade do circuito
, Erfüllbarkeitsproblem für Schaltkreise
, problème de satisfiabilité de circuit
, 電路可滿足性問題
|
http://www.wikidata.org/prop/P10374
|
http://www.wikidata.org/entity/statement/Q5121622-0D760CFE-D645-4DA4-94BE-D95B87882D53 +
|
http://www.wikidata.org/prop/P31
|
http://www.wikidata.org/entity/statement/Q5121622-473bba19-4d1c-d9e1-2122-48d2455cca79 +
|
http://www.wikidata.org/prop/P6366
|
http://www.wikidata.org/entity/statement/Q5121622-DE3A87BA-9C0D-40B4-8B6D-90472865333E +
|
http://www.wikidata.org/prop/P646
|
http://www.wikidata.org/entity/statement/Q5121622-4D9B82E7-E9B0-4ADA-B315-6AD0EF7B6FDC +
|
http://www.wikidata.org/prop/direct-normalized/P6366
|
https://makg.org/entity/2777455994 +
|
http://www.wikidata.org/prop/direct/P10374
|
http://www.wikidata.org/entity/Q215206 +
|
http://www.wikidata.org/prop/direct/P31
|
http://www.wikidata.org/entity/Q3435924 +
|
http://www.wikidata.org/prop/direct/P6366
|
2777455994
|
http://www.wikidata.org/prop/direct/P646
|
/m/0j256g8
|
rdf:type |
http://wikiba.se/ontology#Item +
|
rdfs:label |
circuit satisfiability problem
, Problema da satisfatibilidade do circuito
, Erfüllbarkeitsproblem für Schaltkreise
, problème de satisfiabilité de circuit
, 電路可滿足性問題
|