Matches in Wikidata for { <http://www.wikidata.org/entity/Q124212523> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- Q124212523 description "2019 nî lūn-bûn" @default.
- Q124212523 description "2019年の論文" @default.
- Q124212523 description "2019年学术文章" @default.
- Q124212523 description "2019年学术文章" @default.
- Q124212523 description "2019年学术文章" @default.
- Q124212523 description "2019年學術文章" @default.
- Q124212523 description "2019年學術文章" @default.
- Q124212523 description "2019년 논문" @default.
- Q124212523 description "article científic" @default.
- Q124212523 description "article scientific" @default.
- Q124212523 description "article scientifique" @default.
- Q124212523 description "articol științific" @default.
- Q124212523 description "articolo scientifico" @default.
- Q124212523 description "artigo científico" @default.
- Q124212523 description "artigo científico" @default.
- Q124212523 description "artigo científico" @default.
- Q124212523 description "artikel ilmiah" @default.
- Q124212523 description "artikull shkencor" @default.
- Q124212523 description "artikulong pang-agham" @default.
- Q124212523 description "artykuł naukowy" @default.
- Q124212523 description "artículo científico publicado en 2019" @default.
- Q124212523 description "artículu científicu" @default.
- Q124212523 description "bilimsel makale" @default.
- Q124212523 description "bài báo khoa học" @default.
- Q124212523 description "naučni članak" @default.
- Q124212523 description "scienca artikolo" @default.
- Q124212523 description "scientific article published in 2019" @default.
- Q124212523 description "teaduslik artikkel" @default.
- Q124212523 description "tieteellinen artikkeli" @default.
- Q124212523 description "tudományos cikk" @default.
- Q124212523 description "vedecký článok" @default.
- Q124212523 description "vetenskaplig artikel" @default.
- Q124212523 description "videnskabelig artikel udgivet 2019" @default.
- Q124212523 description "vitenskapelig artikkel" @default.
- Q124212523 description "vitskapeleg artikkel" @default.
- Q124212523 description "vědecký článek" @default.
- Q124212523 description "wetenschappelijk artikel" @default.
- Q124212523 description "wissenschaftlicher Artikel" @default.
- Q124212523 description "znanstveni članek" @default.
- Q124212523 description "επιστημονικό άρθρο" @default.
- Q124212523 description "мақолаи илмӣ" @default.
- Q124212523 description "наукова стаття, опублікована у 2019" @default.
- Q124212523 description "научна статия" @default.
- Q124212523 description "научная статья" @default.
- Q124212523 description "научни чланак" @default.
- Q124212523 description "научни чланак" @default.
- Q124212523 description "מאמר מדעי" @default.
- Q124212523 description "مقالة بحثية نشرت في 2019" @default.
- Q124212523 description "২০১৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124212523 description "บทความทางวิทยาศาสตร์" @default.
- Q124212523 description "სამეცნიერო სტატია" @default.
- Q124212523 name "TOOLympics 2019: An Overview of Competitions in Formal Methods" @default.
- Q124212523 type Item @default.
- Q124212523 label "TOOLympics 2019: An Overview of Competitions in Formal Methods" @default.
- Q124212523 prefLabel "TOOLympics 2019: An Overview of Competitions in Formal Methods" @default.
- Q124212523 P1433 Q124212523-E5A76703-BB5C-4987-BA8D-A70BDB13C50B @default.
- Q124212523 P1476 Q124212523-C8421703-4403-404A-96D7-775C2B92057D @default.
- Q124212523 P2093 Q124212523-35878742-4D8D-42D0-B8F3-640D13137EDF @default.
- Q124212523 P2093 Q124212523-3A526488-B1EE-4CFB-A778-672EE5B4224F @default.
- Q124212523 P2093 Q124212523-5B944575-C59E-467E-981A-8CE2F542E4B8 @default.
- Q124212523 P2093 Q124212523-88232C8F-F8F5-4ECC-806A-82799342B117 @default.
- Q124212523 P2093 Q124212523-8A65118C-FA0D-494B-B5EE-DD41E8B0D8F9 @default.
- Q124212523 P2093 Q124212523-98D0150F-2C63-4A25-83BD-B2530B7563FE @default.
- Q124212523 P2093 Q124212523-B58E15F9-0280-4F08-A603-9D441CAA4604 @default.
- Q124212523 P2093 Q124212523-CF618371-0689-43CD-9E98-7BFBFEED00B3 @default.
- Q124212523 P2093 Q124212523-DA13A55D-4C3E-46E1-8618-5F4414411451 @default.
- Q124212523 P2093 Q124212523-E19136F6-EF56-4BB1-9754-6BA3C4E327CB @default.
- Q124212523 P2093 Q124212523-FE3E8C11-E5D1-4C6D-A107-94CDD7626704 @default.
- Q124212523 P304 Q124212523-D2E76E18-230C-48DF-A8ED-919855C628BA @default.
- Q124212523 P31 Q124212523-9BB79AF0-3902-4DAA-BD3A-1B854AF19B3B @default.
- Q124212523 P356 Q124212523-4EF5EA79-E0ED-48D3-9300-BC2ED72007A1 @default.
- Q124212523 P50 Q124212523-01BE9EAE-6CA5-47AF-AE8D-A7D268557DD8 @default.
- Q124212523 P50 Q124212523-BE2F4134-C68A-4A40-A5B9-CEBA2C4AA72D @default.
- Q124212523 P50 Q124212523-D5F70F1E-6F7E-4317-9A36-55838A1C6EB9 @default.
- Q124212523 P50 Q124212523-F7A51E74-E9BA-447B-9935-159047266227 @default.
- Q124212523 P577 Q124212523-C6B07A64-F684-48B8-A56D-C1F611EDC5BC @default.
- Q124212523 P356 978-3-030-17502-3_1 @default.
- Q124212523 P1433 Q924044 @default.
- Q124212523 P1476 "TOOLympics 2019: An Overview of Competitions in Formal Methods" @default.
- Q124212523 P2093 "Arnd Hartmanns" @default.
- Q124212523 P2093 "Bernhard Steffen" @default.
- Q124212523 P2093 "Fabrice Kordon" @default.
- Q124212523 P2093 "Geoff Sutcliffe" @default.
- Q124212523 P2093 "Grigory Fedyukovich" @default.
- Q124212523 P2093 "Hubert Garavel" @default.
- Q124212523 P2093 "Julian Nagele" @default.
- Q124212523 P2093 "Martin Suda" @default.
- Q124212523 P2093 "Mihaela Sighireanu" @default.
- Q124212523 P2093 "Paul E. Black" @default.
- Q124212523 P2093 "Tjark Weber" @default.
- Q124212523 P304 "3-24" @default.
- Q124212523 P31 Q13442814 @default.
- Q124212523 P356 "10.1007/978-3-030-17502-3_1" @default.
- Q124212523 P50 Q21264358 @default.
- Q124212523 P50 Q55756081 @default.
- Q124212523 P50 Q62050422 @default.
- Q124212523 P50 Q90744217 @default.
- Q124212523 P577 "2019-01-01T00:00:00Z" @default.