Matches in Wikidata for { <http://www.wikidata.org/entity/Q124335150> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- Q124335150 description "2019 nî lūn-bûn" @default.
- Q124335150 description "2019年の論文" @default.
- Q124335150 description "2019年学术文章" @default.
- Q124335150 description "2019年学术文章" @default.
- Q124335150 description "2019年学术文章" @default.
- Q124335150 description "2019年學術文章" @default.
- Q124335150 description "2019年學術文章" @default.
- Q124335150 description "2019년 논문" @default.
- Q124335150 description "article científic" @default.
- Q124335150 description "article scientific" @default.
- Q124335150 description "article scientifique" @default.
- Q124335150 description "articol științific" @default.
- Q124335150 description "articolo scientifico" @default.
- Q124335150 description "artigo científico" @default.
- Q124335150 description "artigo científico" @default.
- Q124335150 description "artigo científico" @default.
- Q124335150 description "artikel ilmiah" @default.
- Q124335150 description "artikull shkencor" @default.
- Q124335150 description "artikulong pang-agham" @default.
- Q124335150 description "artykuł naukowy" @default.
- Q124335150 description "artículo científico publicado en 2019" @default.
- Q124335150 description "artículu científicu" @default.
- Q124335150 description "bilimsel makale" @default.
- Q124335150 description "bài báo khoa học" @default.
- Q124335150 description "naučni članak" @default.
- Q124335150 description "scienca artikolo" @default.
- Q124335150 description "scientific article published in November 2019" @default.
- Q124335150 description "teaduslik artikkel" @default.
- Q124335150 description "tieteellinen artikkeli" @default.
- Q124335150 description "tudományos cikk" @default.
- Q124335150 description "vedecký článok" @default.
- Q124335150 description "vetenskaplig artikel" @default.
- Q124335150 description "videnskabelig artikel udgivet november 2019" @default.
- Q124335150 description "vitenskapelig artikkel" @default.
- Q124335150 description "vitskapeleg artikkel" @default.
- Q124335150 description "vědecký článek" @default.
- Q124335150 description "wetenschappelijk artikel" @default.
- Q124335150 description "wissenschaftlicher Artikel" @default.
- Q124335150 description "znanstveni članek" @default.
- Q124335150 description "επιστημονικό άρθρο" @default.
- Q124335150 description "мақолаи илмӣ" @default.
- Q124335150 description "наукова стаття, опублікована в листопаді 2019" @default.
- Q124335150 description "научна статия" @default.
- Q124335150 description "научная статья" @default.
- Q124335150 description "научни чланак" @default.
- Q124335150 description "научни чланак" @default.
- Q124335150 description "מאמר מדעי" @default.
- Q124335150 description "مقالة بحثية نشرت في نوفمبر 2019" @default.
- Q124335150 description "নভেম্বর ২০১৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124335150 description "บทความทางวิทยาศาสตร์" @default.
- Q124335150 description "სამეცნიერო სტატია" @default.
- Q124335150 name "One-Click Formal Methods" @default.
- Q124335150 type Item @default.
- Q124335150 label "One-Click Formal Methods" @default.
- Q124335150 prefLabel "One-Click Formal Methods" @default.
- Q124335150 P1433 Q124335150-EE1FCAF1-0B85-4A49-9BC1-80FEC13B7BCB @default.
- Q124335150 P1476 Q124335150-DE89B278-CF73-489F-8AC4-024DE09C0DED @default.
- Q124335150 P2093 Q124335150-337BB4BD-3C20-456C-97C7-9FFF9CF69242 @default.
- Q124335150 P2093 Q124335150-366A69A9-2DCD-4F38-A8B9-FCB50396185C @default.
- Q124335150 P2093 Q124335150-7DBB7433-B3B1-4CBE-BD4F-30CA51DF0EF9 @default.
- Q124335150 P2093 Q124335150-9F44CC68-DFB2-4C39-8566-56DA55D18E34 @default.
- Q124335150 P2093 Q124335150-A2063404-9FAC-4FE2-8EBD-FFB1B18E8262 @default.
- Q124335150 P2093 Q124335150-ADC1EDF0-7A0B-4293-A10C-D6151C197465 @default.
- Q124335150 P2093 Q124335150-D3C6E68F-CF28-45AF-87F0-394122B9D923 @default.
- Q124335150 P2093 Q124335150-D7AD3BFF-E505-4FDD-A408-9049B8F4AA48 @default.
- Q124335150 P2093 Q124335150-DCC229EB-7D4D-4FAA-845D-6ED79AC62E8E @default.
- Q124335150 P2093 Q124335150-FB116475-6049-44EA-9B48-34CC0B42EA0D @default.
- Q124335150 P304 Q124335150-40EE92EC-9E53-4278-9589-72E6D5CB71FC @default.
- Q124335150 P31 Q124335150-0B664A29-FE0F-4B81-BE18-D2AA0D2F960C @default.
- Q124335150 P356 Q124335150-7D353E6B-6E6F-4007-A62C-D67223612631 @default.
- Q124335150 P433 Q124335150-9F1DD3EF-AC41-4043-8FD9-A3177AFCF804 @default.
- Q124335150 P478 Q124335150-7C47396C-3D48-4A26-B6DE-26B4021120D2 @default.
- Q124335150 P50 Q124335150-142FB0FF-8E16-4ADE-A0AC-73064323A07C @default.
- Q124335150 P577 Q124335150-1FFA2D73-BCC6-4220-9DBC-0C288C9CC218 @default.
- Q124335150 P356 MS.2019.2930609 @default.
- Q124335150 P1433 Q845647 @default.
- Q124335150 P1476 "One-Click Formal Methods" @default.
- Q124335150 P2093 "Andrew Gacek" @default.
- Q124335150 P2093 "Byron Cook" @default.
- Q124335150 P2093 "Carsten Varming" @default.
- Q124335150 P2093 "Cole Schlesinger" @default.
- Q124335150 P2093 "John Backes" @default.
- Q124335150 P2093 "Kasper Soe Luckow" @default.
- Q124335150 P2093 "Martin Schaef" @default.
- Q124335150 P2093 "Neha Rungta" @default.
- Q124335150 P2093 "Pauline Bolignano" @default.
- Q124335150 P2093 "Rima Tanash" @default.
- Q124335150 P304 "61-65" @default.
- Q124335150 P31 Q13442814 @default.
- Q124335150 P356 "10.1109/MS.2019.2930609" @default.
- Q124335150 P433 "6" @default.
- Q124335150 P478 "36" @default.
- Q124335150 P50 Q124335114 @default.
- Q124335150 P577 "2019-11-01T00:00:00Z" @default.