Matches in Wikidata for { <http://www.wikidata.org/entity/Q21055608> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- Q21055608 description "computer program for the Boolean satisfiability problem" @default.
- Q21055608 name "SAT solver" @default.
- Q21055608 name "SAT-ratkaisija" @default.
- Q21055608 name "risolutore SAT" @default.
- Q21055608 name "solveur SAT" @default.
- Q21055608 type Item @default.
- Q21055608 label "SAT solver" @default.
- Q21055608 label "SAT-ratkaisija" @default.
- Q21055608 label "risolutore SAT" @default.
- Q21055608 label "solveur SAT" @default.
- Q21055608 prefLabel "SAT solver" @default.
- Q21055608 prefLabel "SAT-ratkaisija" @default.
- Q21055608 prefLabel "risolutore SAT" @default.
- Q21055608 prefLabel "solveur SAT" @default.
- Q21055608 P2159 Q21055608-309B609D-7C44-41BB-89FD-851BA5355BDD @default.
- Q21055608 P2579 Q21055608-CCCE6ED0-0359-41BA-9BBC-8BE83EDDAECB @default.
- Q21055608 P279 Q21055608-3b33adeb-4da1-21b0-1c9f-073cfe73fa64 @default.
- Q21055608 P279 Q21055608-441d666a-4431-4df7-cf49-b922e8ed6ea6 @default.
- Q21055608 P3417 Q21055608-18E629E9-AC0F-43F1-9A12-7D8DCC52E049 @default.
- Q21055608 P910 Q21055608-2c10a9e0-43b6-5094-f2d0-1cf6c0f96878 @default.
- Q21055608 P2159 Q875276 @default.
- Q21055608 P2579 Q1049183 @default.
- Q21055608 P279 Q1966904 @default.
- Q21055608 P279 Q40056 @default.
- Q21055608 P3417 "SAT-Solver-1" @default.
- Q21055608 P910 Q8694728 @default.