Matches in Wikidata for { <http://www.wikidata.org/entity/Q2030088> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q2030088 description "algorisme per resoldre el problema CNF-SAT" @default.
- Q2030088 description "algorithm for solving the CNF-SAT problem" @default.
- Q2030088 description "algoritmo per la risoluzione di CNF-SAT" @default.
- Q2030088 name "Algorisme DPLL" @default.
- Q2030088 name "Algorithme DPLL" @default.
- Q2030088 name "Algoritmo DPLL" @default.
- Q2030088 name "Algoritmo DPLL" @default.
- Q2030088 name "DPLL algorithm" @default.
- Q2030088 name "DPLL algoritmus" @default.
- Q2030088 name "DPLL алгоритм" @default.
- Q2030088 name "DPLL" @default.
- Q2030088 name "DPLL-Algorithmus" @default.
- Q2030088 name "DPLL-algoritme" @default.
- Q2030088 name "DPLL-Алгоритм" @default.
- Q2030088 name "DPLLアルゴリズム" @default.
- Q2030088 name "DPLL算法" @default.
- Q2030088 name "algoritmo de Davis-Putnam-Logemann-Loveland" @default.
- Q2030088 name "algorytm DPLL" @default.
- Q2030088 name "ДПЛЛ алгоритам" @default.
- Q2030088 name "الگوریتم DPLL" @default.
- Q2030088 type Item @default.
- Q2030088 label "Algorisme DPLL" @default.
- Q2030088 label "Algorithme DPLL" @default.
- Q2030088 label "Algoritmo DPLL" @default.
- Q2030088 label "Algoritmo DPLL" @default.
- Q2030088 label "DPLL algorithm" @default.
- Q2030088 label "DPLL algoritmus" @default.
- Q2030088 label "DPLL алгоритм" @default.
- Q2030088 label "DPLL" @default.
- Q2030088 label "DPLL-Algorithmus" @default.
- Q2030088 label "DPLL-algoritme" @default.
- Q2030088 label "DPLL-Алгоритм" @default.
- Q2030088 label "DPLLアルゴリズム" @default.
- Q2030088 label "DPLL算法" @default.
- Q2030088 label "algoritmo de Davis-Putnam-Logemann-Loveland" @default.
- Q2030088 label "algorytm DPLL" @default.
- Q2030088 label "ДПЛЛ алгоритам" @default.
- Q2030088 label "الگوریتم DPLL" @default.
- Q2030088 altLabel "Algorisme de Davis, Putnam, Logemann i Loveland" @default.
- Q2030088 altLabel "Davis-Putnam-Logemann-Loveland algorithm" @default.
- Q2030088 prefLabel "Algorisme DPLL" @default.
- Q2030088 prefLabel "Algorithme DPLL" @default.
- Q2030088 prefLabel "Algoritmo DPLL" @default.
- Q2030088 prefLabel "Algoritmo DPLL" @default.
- Q2030088 prefLabel "DPLL algorithm" @default.
- Q2030088 prefLabel "DPLL algoritmus" @default.
- Q2030088 prefLabel "DPLL алгоритм" @default.
- Q2030088 prefLabel "DPLL" @default.
- Q2030088 prefLabel "DPLL-Algorithmus" @default.
- Q2030088 prefLabel "DPLL-algoritme" @default.
- Q2030088 prefLabel "DPLL-Алгоритм" @default.
- Q2030088 prefLabel "DPLLアルゴリズム" @default.
- Q2030088 prefLabel "DPLL算法" @default.
- Q2030088 prefLabel "algoritmo de Davis-Putnam-Logemann-Loveland" @default.
- Q2030088 prefLabel "algorytm DPLL" @default.
- Q2030088 prefLabel "ДПЛЛ алгоритам" @default.
- Q2030088 prefLabel "الگوریتم DPLL" @default.
- Q2030088 P10283 Q2030088-DB3C9BBB-238E-4C46-A5B3-CDF81608DC45 @default.
- Q2030088 P138 Q2030088-1cbef1dd-4a8c-e46e-f130-be96c2da75eb @default.
- Q2030088 P138 Q2030088-600bac5d-4e84-04c0-16fb-4ceba828472b @default.
- Q2030088 P138 Q2030088-6628ac6e-41a7-6628-e4e3-1740d9093eca @default.
- Q2030088 P138 Q2030088-ef819dca-4b25-195a-14d7-e42656b0f65f @default.
- Q2030088 P18 Q2030088-044588ED-5CE5-43E2-8581-A9E51A4F464B @default.
- Q2030088 P2159 Q2030088-465b3b82-4c9c-a55e-5784-07776559167c @default.
- Q2030088 P2581 Q2030088-2D87F8F0-5BC4-4178-B38E-51C45069E0ED @default.
- Q2030088 P31 Q2030088-57221f7e-4448-491e-88ec-4e3b944ece0a @default.
- Q2030088 P373 Q2030088-f3674437-415c-ddd7-9512-5e7a5008109d @default.
- Q2030088 P50 Q2030088-1d28c814-4ae3-e823-e467-8ad0d046a4e6 @default.
- Q2030088 P50 Q2030088-5d597a33-4406-35c8-4274-348873460a09 @default.
- Q2030088 P50 Q2030088-68d286d4-415d-e5cc-bced-f8847b0a9293 @default.
- Q2030088 P50 Q2030088-e42b867e-4f9a-27b3-fb62-4f79df994fd2 @default.
- Q2030088 P527 Q2030088-66b20c7d-432a-d0fd-d9dc-5b953d89a2fa @default.
- Q2030088 P571 Q2030088-b796867c-4fff-1110-b6ec-ed627677cdd2 @default.
- Q2030088 P6366 Q2030088-02677A9E-9846-423F-A81B-8625DEC50850 @default.
- Q2030088 P646 Q2030088-5EDE7130-5811-4C87-9272-F449A9AF1E4C @default.
- Q2030088 P2581 s02106418n @default.
- Q2030088 P6366 143936061 @default.
- Q2030088 P10283 "C143936061" @default.
- Q2030088 P138 Q1239172 @default.
- Q2030088 P138 Q21818065 @default.
- Q2030088 P138 Q221697 @default.
- Q2030088 P138 Q5295258 @default.
- Q2030088 P18 Backtracking-no-backjumping.svg @default.
- Q2030088 P2159 Q875276 @default.
- Q2030088 P2581 "02106418n" @default.
- Q2030088 P31 Q755673 @default.
- Q2030088 P373 "Davis-Putnam-Logemann-Loveland algorithm" @default.
- Q2030088 P50 Q1239172 @default.
- Q2030088 P50 Q21818065 @default.
- Q2030088 P50 Q221697 @default.
- Q2030088 P50 Q5295258 @default.
- Q2030088 P527 Q1307834 @default.
- Q2030088 P571 "1962-01-01T00:00:00Z" @default.
- Q2030088 P6366 "143936061" @default.
- Q2030088 P646 "/m/080fyp" @default.
