true quantified Boolean formula
problem of deciding the satisfiability of a true quantified Boolean formula
| rdfs:label |
"true quantified Boolean formula"@en
|
|
skos:alt |
"QSAT"@en
"Quantified SAT"@en
"TQBF"@en
|
| schema:description | "problem of deciding the satisfiability of a true quantified Boolean formula"@en |
|
schema:date |
"2025-02-06T08:32:39+00:00"^^xsd:dateTime |
| schema:version | 2307704992 |
| wikibase:identifiers | 3 |
| wikibase:sitelinks | 9 |
| wikibase:statements | 5 |
| p:P10283 | wd:statement/Q1350285-F485471D-3631-4897-901D-6FBFFE9FAAA0 |
| p:P31 | wd:statement/Q1350285-4D2DFBE9-DF5F-4097-A4A6-F50B1E714C36 |
| wd:statement/Q1350285-CD0D82DD-2320-4CB5-B057-3B982B283A0F | |
| p:P6366 | wd:statement/Q1350285-35BDB346-3F7A-416C-A381-672F2404D31E |
| p:P646 | wd:statement/Q1350285-ACFC0986-FD67-4FB6-BA13-2816ACF771DD |
|
p:direct- |
<https:/ |
| wdt:P10283 | "C200415742" |
| wdt:P31 | satisfiability |
| decision problem | |
| wdt:P6366 | "200415742" |
| wdt:P646 | "/m/088ksf" |
Download as: