Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041449> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q62041449 description "1999 nî lūn-bûn" @default.
- Q62041449 description "1999年の論文" @default.
- Q62041449 description "1999年学术文章" @default.
- Q62041449 description "1999年学术文章" @default.
- Q62041449 description "1999年学术文章" @default.
- Q62041449 description "1999年学术文章" @default.
- Q62041449 description "1999年学术文章" @default.
- Q62041449 description "1999年学术文章" @default.
- Q62041449 description "1999年學術文章" @default.
- Q62041449 description "1999年學術文章" @default.
- Q62041449 description "1999年學術文章" @default.
- Q62041449 description "1999年學術文章" @default.
- Q62041449 description "1999年學術文章" @default.
- Q62041449 description "1999년 논문" @default.
- Q62041449 description "article científic" @default.
- Q62041449 description "article scientific" @default.
- Q62041449 description "article scientifique" @default.
- Q62041449 description "articol științific" @default.
- Q62041449 description "articolo scientifico" @default.
- Q62041449 description "artigo científico" @default.
- Q62041449 description "artigo científico" @default.
- Q62041449 description "artigo científico" @default.
- Q62041449 description "artikel ilmiah" @default.
- Q62041449 description "artikull shkencor" @default.
- Q62041449 description "artikulong pang-agham" @default.
- Q62041449 description "artykuł naukowy" @default.
- Q62041449 description "artículo científico publicado en 1999" @default.
- Q62041449 description "artículu científicu" @default.
- Q62041449 description "bilimsel makale" @default.
- Q62041449 description "bài báo khoa học" @default.
- Q62041449 description "naučni članak" @default.
- Q62041449 description "scienca artikolo" @default.
- Q62041449 description "scientific article published in 1999" @default.
- Q62041449 description "scientific article published in 1999" @default.
- Q62041449 description "scientific article published in 1999" @default.
- Q62041449 description "teaduslik artikkel" @default.
- Q62041449 description "tieteellinen artikkeli" @default.
- Q62041449 description "tudományos cikk" @default.
- Q62041449 description "vedecký článok" @default.
- Q62041449 description "vetenskaplig artikel" @default.
- Q62041449 description "videnskabelig artikel" @default.
- Q62041449 description "vitenskapelig artikkel" @default.
- Q62041449 description "vitskapeleg artikkel" @default.
- Q62041449 description "vědecký článek" @default.
- Q62041449 description "wetenschappelijk artikel" @default.
- Q62041449 description "wissenschaftlicher Artikel" @default.
- Q62041449 description "επιστημονικό άρθρο" @default.
- Q62041449 description "мақолаи илмӣ" @default.
- Q62041449 description "наукова стаття, опублікована в 1999" @default.
- Q62041449 description "научна статия" @default.
- Q62041449 description "научная статья" @default.
- Q62041449 description "научни чланак" @default.
- Q62041449 description "научни чланак" @default.
- Q62041449 description "מאמר מדעי" @default.
- Q62041449 description "مقالة علمية نشرت في 1999" @default.
- Q62041449 description "১৯৯৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041449 description "บทความทางวิทยาศาสตร์" @default.
- Q62041449 description "სამეცნიერო სტატია" @default.
- Q62041449 name "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 name "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 type Item @default.
- Q62041449 label "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 label "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 prefLabel "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 prefLabel "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 P1476 Q62041449-8E2969A8-34E9-4E58-A6C0-CDB165027B9C @default.
- Q62041449 P2093 Q62041449-7BCAE8E8-9C56-4D2A-AB38-22D7892D1B6D @default.
- Q62041449 P2093 Q62041449-B05FBBC8-324E-4D78-9F4F-5E170C1FFBBF @default.
- Q62041449 P2093 Q62041449-DBCCD10D-90B6-4E01-9F6C-D72AAF7EE3A6 @default.
- Q62041449 P2093 Q62041449-E7E9B393-08A0-44ED-8E60-CD91BA781770 @default.
- Q62041449 P31 Q62041449-177B0754-5A0B-43A9-A4FD-80D952C68253 @default.
- Q62041449 P356 Q62041449-2652584E-88AE-45BB-986F-CC06082D44D6 @default.
- Q62041449 P50 Q62041449-F20EA759-B508-44DD-BBEB-AC276F74080C @default.
- Q62041449 P577 Q62041449-8262DE74-25F4-4767-A496-EE1331F3CC05 @default.
- Q62041449 P8978 Q62041449-30B0F06F-6BEC-45AC-BB86-0D136199ABD8 @default.
- Q62041449 P356 309847.309942 @default.
- Q62041449 P8978 BiereCCFZ99 @default.
- Q62041449 P1476 "Symbolic model checking using SAT procedures instead of BDDs" @default.
- Q62041449 P2093 "A. Biere" @default.
- Q62041449 P2093 "E. M. Clarke" @default.
- Q62041449 P2093 "M. Fujita" @default.
- Q62041449 P2093 "Y. Zhu" @default.
- Q62041449 P31 Q13442814 @default.
- Q62041449 P356 "10.1145/309847.309942" @default.
- Q62041449 P50 Q62036606 @default.
- Q62041449 P577 "1999-01-01T00:00:00Z" @default.
- Q62041449 P8978 "conf/dac/BiereCCFZ99" @default.