Matches in Wikidata for { <http://www.wikidata.org/entity/Q113691858> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q113691858 description "2022 nî lūn-bûn" @default.
- Q113691858 description "2022年の論文" @default.
- Q113691858 description "2022年学术文章" @default.
- Q113691858 description "2022年学术文章" @default.
- Q113691858 description "2022年学术文章" @default.
- Q113691858 description "2022年学术文章" @default.
- Q113691858 description "2022年学术文章" @default.
- Q113691858 description "2022年学术文章" @default.
- Q113691858 description "2022年學術文章" @default.
- Q113691858 description "2022年學術文章" @default.
- Q113691858 description "2022年學術文章" @default.
- Q113691858 description "2022年學術文章" @default.
- Q113691858 description "2022年學術文章" @default.
- Q113691858 description "2022년 논문" @default.
- Q113691858 description "article científic" @default.
- Q113691858 description "article scientific" @default.
- Q113691858 description "article scientifique" @default.
- Q113691858 description "articol științific" @default.
- Q113691858 description "articolo scientifico" @default.
- Q113691858 description "artigo científico" @default.
- Q113691858 description "artigo científico" @default.
- Q113691858 description "artigo científico" @default.
- Q113691858 description "artikel ilmiah" @default.
- Q113691858 description "artikull shkencor" @default.
- Q113691858 description "artikulong pang-agham" @default.
- Q113691858 description "artykuł naukowy" @default.
- Q113691858 description "artículo científico publicado en 2022" @default.
- Q113691858 description "artículu científicu espublizáu en 2022" @default.
- Q113691858 description "bilimsel makale" @default.
- Q113691858 description "bài báo khoa học" @default.
- Q113691858 description "naučni članak" @default.
- Q113691858 description "scienca artikolo" @default.
- Q113691858 description "scientific article published in 2022" @default.
- Q113691858 description "scientific article published on 24 May 2022" @default.
- Q113691858 description "scientific article published on 24 May 2022" @default.
- Q113691858 description "teaduslik artikkel" @default.
- Q113691858 description "tieteellinen artikkeli" @default.
- Q113691858 description "tudományos cikk" @default.
- Q113691858 description "vedecký článok" @default.
- Q113691858 description "vetenskaplig artikel" @default.
- Q113691858 description "videnskabelig artikel udgivet 24. maj 2022" @default.
- Q113691858 description "vitenskapelig artikkel" @default.
- Q113691858 description "vitskapeleg artikkel" @default.
- Q113691858 description "vědecký článek" @default.
- Q113691858 description "wetenschappelijk artikel" @default.
- Q113691858 description "wissenschaftlicher Artikel" @default.
- Q113691858 description "επιστημονικό άρθρο" @default.
- Q113691858 description "мақолаи илмӣ" @default.
- Q113691858 description "наукова стаття, опублікована в травні 2022" @default.
- Q113691858 description "научна статия" @default.
- Q113691858 description "научная статья" @default.
- Q113691858 description "научни чланак" @default.
- Q113691858 description "научни чланак" @default.
- Q113691858 description "מאמר מדעי" @default.
- Q113691858 description "مقالة بحثية نشرت في 24 مايو 2022" @default.
- Q113691858 description "২৪ মে ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113691858 description "บทความทางวิทยาศาสตร์" @default.
- Q113691858 description "სამეცნიერო სტატია" @default.
- Q113691858 name "A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A" @default.
- Q113691858 type Item @default.
- Q113691858 label "A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A" @default.
- Q113691858 prefLabel "A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A" @default.
- Q113691858 P1433 Q113691858-AC9A90CD-4EDE-4370-BF09-3A741B236D06 @default.
- Q113691858 P1476 Q113691858-D2DC5F8C-B6AB-4A78-BB92-BA9CFBC8D244 @default.
- Q113691858 P2093 Q113691858-016BADC9-00F5-47CF-B3C9-3A9C94D20D6B @default.
- Q113691858 P2093 Q113691858-1E9110F4-1C4F-4A09-B10B-0E02AD69252C @default.
- Q113691858 P2093 Q113691858-C68C0FA2-E5D0-4528-966F-7F1F9E37139E @default.
- Q113691858 P304 Q113691858-AE3CF3AE-1F34-4239-B96B-6B018D17C652 @default.
- Q113691858 P31 Q113691858-BB41510A-5052-4091-8C46-7B619CEEA7F0 @default.
- Q113691858 P356 Q113691858-D1E3E4FE-1E06-4E1A-AFBB-6CBCA69BA4D0 @default.
- Q113691858 P478 Q113691858-89C1EF39-5998-4C57-A2A8-CF74E68E0AE1 @default.
- Q113691858 P577 Q113691858-CC780BCE-7D48-4433-8B03-FC0634BB3D4A @default.
- Q113691858 P818 Q113691858-39261295-2139-4600-b390-de4c73e1cebe @default.
- Q113691858 P356 EPTCS.359.5 @default.
- Q113691858 P1433 Q5358295 @default.
- Q113691858 P1476 "A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A" @default.
- Q113691858 P2093 "David Greve" @default.
- Q113691858 P2093 "Jennifer Davis" @default.
- Q113691858 P2093 "Laura Humphrey" @default.
- Q113691858 P304 "33-47" @default.
- Q113691858 P31 Q13442814 @default.
- Q113691858 P356 "10.4204/EPTCS.359.5" @default.
- Q113691858 P478 "359" @default.
- Q113691858 P577 "2022-05-24T00:00:00Z" @default.
- Q113691858 P818 "2205.11697" @default.