Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317988> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113317988 description "2013 nî lūn-bûn" @default.
- Q113317988 description "2013年の論文" @default.
- Q113317988 description "2013年学术文章" @default.
- Q113317988 description "2013年学术文章" @default.
- Q113317988 description "2013年学术文章" @default.
- Q113317988 description "2013年学术文章" @default.
- Q113317988 description "2013年学术文章" @default.
- Q113317988 description "2013年学术文章" @default.
- Q113317988 description "2013年學術文章" @default.
- Q113317988 description "2013年學術文章" @default.
- Q113317988 description "2013年學術文章" @default.
- Q113317988 description "2013年學術文章" @default.
- Q113317988 description "2013年學術文章" @default.
- Q113317988 description "2013년 논문" @default.
- Q113317988 description "article científic" @default.
- Q113317988 description "article scientific" @default.
- Q113317988 description "article scientifique" @default.
- Q113317988 description "articol științific" @default.
- Q113317988 description "articolo scientifico" @default.
- Q113317988 description "artigo científico" @default.
- Q113317988 description "artigo científico" @default.
- Q113317988 description "artigo científico" @default.
- Q113317988 description "artikel ilmiah" @default.
- Q113317988 description "artikull shkencor" @default.
- Q113317988 description "artikulong pang-agham" @default.
- Q113317988 description "artykuł naukowy" @default.
- Q113317988 description "artículo científico publicado en 2013" @default.
- Q113317988 description "artículu científicu espublizáu n'agostu de 2013" @default.
- Q113317988 description "bilimsel makale" @default.
- Q113317988 description "bài báo khoa học" @default.
- Q113317988 description "naučni članak" @default.
- Q113317988 description "scienca artikolo" @default.
- Q113317988 description "scientific article published on 12 August 2013" @default.
- Q113317988 description "scientific article published on 12 August 2013" @default.
- Q113317988 description "scientific article published on 12 August 2013" @default.
- Q113317988 description "teaduslik artikkel" @default.
- Q113317988 description "tieteellinen artikkeli" @default.
- Q113317988 description "tudományos cikk" @default.
- Q113317988 description "vedecký článok" @default.
- Q113317988 description "vetenskaplig artikel" @default.
- Q113317988 description "videnskabelig artikel udgivet 12. august 2013" @default.
- Q113317988 description "vitenskapelig artikkel" @default.
- Q113317988 description "vitskapeleg artikkel" @default.
- Q113317988 description "vědecký článek" @default.
- Q113317988 description "wetenschappelijk artikel" @default.
- Q113317988 description "wissenschaftlicher Artikel" @default.
- Q113317988 description "επιστημονικό άρθρο" @default.
- Q113317988 description "мақолаи илмӣ" @default.
- Q113317988 description "наукова стаття, опублікована в серпні 2013" @default.
- Q113317988 description "научна статия" @default.
- Q113317988 description "научная статья" @default.
- Q113317988 description "научни чланак" @default.
- Q113317988 description "научни чланак" @default.
- Q113317988 description "מאמר מדעי" @default.
- Q113317988 description "مقالة بحثية نشرت في 12 أغسطس 2013" @default.
- Q113317988 description "১২ আগস্ট ২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317988 description "บทความทางวิทยาศาสตร์" @default.
- Q113317988 description "სამეცნიერო სტატია" @default.
- Q113317988 name "Distributed LTL Model Checking with Hash Compaction" @default.
- Q113317988 type Item @default.
- Q113317988 label "Distributed LTL Model Checking with Hash Compaction" @default.
- Q113317988 prefLabel "Distributed LTL Model Checking with Hash Compaction" @default.
- Q113317988 P1433 Q113317988-B580FE72-BC69-45C2-9F7F-405A8AC70B1A @default.
- Q113317988 P1476 Q113317988-F504369B-D3DB-427E-BF55-E9FB937901B6 @default.
- Q113317988 P2093 Q113317988-391EA18E-901F-498F-A9BA-C7E49ED65DEF @default.
- Q113317988 P2093 Q113317988-6420F6A3-F2F8-480E-A798-492BF0985C19 @default.
- Q113317988 P2093 Q113317988-C4A27EBC-A78E-4252-9019-55FD17641EAD @default.
- Q113317988 P304 Q113317988-4F2A256C-31EA-4F8A-8B3A-799505555D52 @default.
- Q113317988 P31 Q113317988-1E7831F5-3047-4467-99F4-7E6F38DC2FFA @default.
- Q113317988 P356 Q113317988-1656D561-B285-476B-9801-7D6CFAAF622A @default.
- Q113317988 P478 Q113317988-EA36F7A2-61FD-430C-8D2F-9DDA616E32BC @default.
- Q113317988 P577 Q113317988-4D884A43-3E13-40B4-BB5B-AC6BFB34A9E1 @default.
- Q113317988 P356 J.ENTCS.2013.07.006 @default.
- Q113317988 P1433 Q5358287 @default.
- Q113317988 P1476 "Distributed LTL Model Checking with Hash Compaction" @default.
- Q113317988 P2093 "J. Barnat" @default.
- Q113317988 P2093 "J. Havlíček" @default.
- Q113317988 P2093 "P. Ročkai" @default.
- Q113317988 P304 "79-93" @default.
- Q113317988 P31 Q13442814 @default.
- Q113317988 P356 "10.1016/J.ENTCS.2013.07.006" @default.
- Q113317988 P478 "296" @default.
- Q113317988 P577 "2013-08-12T00:00:00Z" @default.