Matches in Wikidata for { <http://www.wikidata.org/entity/Q124963883> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- Q124963883 description "2017 nî lūn-bûn" @default.
- Q124963883 description "2017年の論文" @default.
- Q124963883 description "2017年学术文章" @default.
- Q124963883 description "2017年学术文章" @default.
- Q124963883 description "2017年学术文章" @default.
- Q124963883 description "2017年學術文章" @default.
- Q124963883 description "2017年學術文章" @default.
- Q124963883 description "2017년 논문" @default.
- Q124963883 description "article científic" @default.
- Q124963883 description "article scientific" @default.
- Q124963883 description "article scientifique" @default.
- Q124963883 description "articol științific" @default.
- Q124963883 description "articolo scientifico" @default.
- Q124963883 description "artigo científico" @default.
- Q124963883 description "artigo científico" @default.
- Q124963883 description "artigo científico" @default.
- Q124963883 description "artikel ilmiah" @default.
- Q124963883 description "artikull shkencor" @default.
- Q124963883 description "artikulong pang-agham" @default.
- Q124963883 description "artykuł naukowy" @default.
- Q124963883 description "artículo científico publicado en 2017" @default.
- Q124963883 description "artículu científicu" @default.
- Q124963883 description "bilimsel makale" @default.
- Q124963883 description "bài báo khoa học" @default.
- Q124963883 description "naučni članak" @default.
- Q124963883 description "scienca artikolo" @default.
- Q124963883 description "scientific article published in 2017" @default.
- Q124963883 description "teaduslik artikkel" @default.
- Q124963883 description "tieteellinen artikkeli" @default.
- Q124963883 description "tudományos cikk" @default.
- Q124963883 description "vedecký článok" @default.
- Q124963883 description "vetenskaplig artikel" @default.
- Q124963883 description "videnskabelig artikel udgivet januar 2017" @default.
- Q124963883 description "vitenskapelig artikkel" @default.
- Q124963883 description "vitskapeleg artikkel" @default.
- Q124963883 description "vědecký článek" @default.
- Q124963883 description "wetenschappelijk artikel" @default.
- Q124963883 description "wissenschaftlicher Artikel" @default.
- Q124963883 description "znanstveni članek" @default.
- Q124963883 description "επιστημονικό άρθρο" @default.
- Q124963883 description "мақолаи илмӣ" @default.
- Q124963883 description "наукова стаття, опублікована в січні 2017" @default.
- Q124963883 description "научна статия" @default.
- Q124963883 description "научная статья" @default.
- Q124963883 description "научни чланак" @default.
- Q124963883 description "научни чланак" @default.
- Q124963883 description "מאמר מדעי" @default.
- Q124963883 description "مقالة بحثية نشرت في يناير 2017" @default.
- Q124963883 description "জানুয়ারি ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124963883 description "บทความทางวิทยาศาสตร์" @default.
- Q124963883 description "სამეცნიერო სტატია" @default.
- Q124963883 name "A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms" @default.
- Q124963883 type Item @default.
- Q124963883 label "A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms" @default.
- Q124963883 prefLabel "A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms" @default.
- Q124963883 P1433 Q124963883-D736326A-434F-4C56-B2B1-F612D7703AE6 @default.
- Q124963883 P1476 Q124963883-40308EA5-5D51-47C6-9E0A-F5BE64EE0FDD @default.
- Q124963883 P2093 Q124963883-2E104AF7-023C-42EA-AFAC-8E6B98D93E9C @default.
- Q124963883 P2093 Q124963883-91503F44-D65A-4BB1-A718-CEF85F7E35BE @default.
- Q124963883 P2093 Q124963883-94FAB211-F6EC-43C6-BBDE-D278642AFCF1 @default.
- Q124963883 P2093 Q124963883-BF7479CA-7F53-48C6-84E0-1A92CB548E6C @default.
- Q124963883 P304 Q124963883-02935894-5EE3-4F9D-913A-7E2F50D1C6DF @default.
- Q124963883 P31 Q124963883-97896BE2-CE18-445E-84C8-663EA9290780 @default.
- Q124963883 P356 Q124963883-3CADD36F-9F1E-4FEE-A438-4870950B1183 @default.
- Q124963883 P433 Q124963883-DE5B5FE1-C5CE-4C1F-9793-697E30BE2DFB @default.
- Q124963883 P478 Q124963883-4905F23A-16CF-4676-B1DD-5236E68C8337 @default.
- Q124963883 P577 Q124963883-7EEF48D2-34FE-430F-A3BF-A0C816D0119F @default.
- Q124963883 P356 3093333.3009860 @default.
- Q124963883 P1433 Q22247351 @default.
- Q124963883 P1476 "A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms" @default.
- Q124963883 P2093 "Helmut Veith" @default.
- Q124963883 P2093 "Igor Konnov" @default.
- Q124963883 P2093 "Josef Widder" @default.
- Q124963883 P2093 "Marijana Lazić" @default.
- Q124963883 P304 "719-734" @default.
- Q124963883 P31 Q13442814 @default.
- Q124963883 P356 "10.1145/3093333.3009860" @default.
- Q124963883 P433 "1" @default.
- Q124963883 P478 "52" @default.
- Q124963883 P577 "2017-01-01T00:00:00Z" @default.