Matches in Wikidata for { <http://www.wikidata.org/entity/Q113899912> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q113899912 description "2022 nî lūn-bûn" @default.
- Q113899912 description "2022年の論文" @default.
- Q113899912 description "2022年学术文章" @default.
- Q113899912 description "2022年学术文章" @default.
- Q113899912 description "2022年学术文章" @default.
- Q113899912 description "2022年学术文章" @default.
- Q113899912 description "2022年学术文章" @default.
- Q113899912 description "2022年学术文章" @default.
- Q113899912 description "2022年學術文章" @default.
- Q113899912 description "2022年學術文章" @default.
- Q113899912 description "2022年學術文章" @default.
- Q113899912 description "2022年學術文章" @default.
- Q113899912 description "2022年學術文章" @default.
- Q113899912 description "2022년 논문" @default.
- Q113899912 description "article científic" @default.
- Q113899912 description "article scientific" @default.
- Q113899912 description "article scientifique" @default.
- Q113899912 description "articol științific" @default.
- Q113899912 description "articolo scientifico" @default.
- Q113899912 description "artigo científico" @default.
- Q113899912 description "artigo científico" @default.
- Q113899912 description "artigo científico" @default.
- Q113899912 description "artikel ilmiah" @default.
- Q113899912 description "artikull shkencor" @default.
- Q113899912 description "artikulong pang-agham" @default.
- Q113899912 description "artykuł naukowy" @default.
- Q113899912 description "artículo científico publicado en 2022" @default.
- Q113899912 description "artículu científicu espublizáu en 2022" @default.
- Q113899912 description "bilimsel makale" @default.
- Q113899912 description "bài báo khoa học" @default.
- Q113899912 description "naučni članak" @default.
- Q113899912 description "scienca artikolo" @default.
- Q113899912 description "scientific article published in 2022" @default.
- Q113899912 description "scientific article published on 29 April 2022" @default.
- Q113899912 description "scientific article published on 29 April 2022" @default.
- Q113899912 description "teaduslik artikkel" @default.
- Q113899912 description "tieteellinen artikkeli" @default.
- Q113899912 description "tudományos cikk" @default.
- Q113899912 description "vedecký článok" @default.
- Q113899912 description "vetenskaplig artikel" @default.
- Q113899912 description "videnskabelig artikel udgivet 29. april 2022" @default.
- Q113899912 description "vitenskapelig artikkel" @default.
- Q113899912 description "vitskapeleg artikkel" @default.
- Q113899912 description "vědecký článek" @default.
- Q113899912 description "wetenschappelijk artikel" @default.
- Q113899912 description "wissenschaftlicher Artikel" @default.
- Q113899912 description "επιστημονικό άρθρο" @default.
- Q113899912 description "мақолаи илмӣ" @default.
- Q113899912 description "наукова стаття, опублікована у квітні 2022" @default.
- Q113899912 description "научна статия" @default.
- Q113899912 description "научная статья" @default.
- Q113899912 description "научни чланак" @default.
- Q113899912 description "научни чланак" @default.
- Q113899912 description "գիտական հոդված հրատարակված 2022 թվականին" @default.
- Q113899912 description "מאמר מדעי" @default.
- Q113899912 description "مقالة بحثية نشرت في 29 أبريل 2022" @default.
- Q113899912 description "২৯ এপ্রিল ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113899912 description "บทความทางวิทยาศาสตร์" @default.
- Q113899912 description "სამეცნიერო სტატია" @default.
- Q113899912 name "A dynamic logic for verification of synchronous models based on theorem proving" @default.
- Q113899912 type Item @default.
- Q113899912 label "A dynamic logic for verification of synchronous models based on theorem proving" @default.
- Q113899912 prefLabel "A dynamic logic for verification of synchronous models based on theorem proving" @default.
- Q113899912 P1433 Q113899912-53875836-5F09-4571-ACD7-95796EE21365 @default.
- Q113899912 P1476 Q113899912-7EEC3FE0-EA1C-44E3-BD10-D8AE002AB298 @default.
- Q113899912 P2093 Q113899912-268639D4-9996-4E5A-A571-D7A8DED484CF @default.
- Q113899912 P2093 Q113899912-77887D63-4A28-4395-A9F5-7063ED53F298 @default.
- Q113899912 P2093 Q113899912-82E273CF-400B-4BBF-9463-E45B3D6C5C25 @default.
- Q113899912 P31 Q113899912-EA58CF97-3F19-4239-8197-D4A50B012116 @default.
- Q113899912 P356 Q113899912-CD3A27A7-313D-4F34-B84E-38452E900414 @default.
- Q113899912 P433 Q113899912-6B534044-535B-4A86-AD7E-B2508DA6113C @default.
- Q113899912 P478 Q113899912-828F5D84-DA8D-4354-B2C5-D6F64E677901 @default.
- Q113899912 P577 Q113899912-1D301EA1-AC6D-4630-AC58-38047EC23B1C @default.
- Q113899912 P356 S11704-022-1374-4 @default.
- Q113899912 P1433 Q42609084 @default.
- Q113899912 P1476 "A dynamic logic for verification of synchronous models based on theorem proving" @default.
- Q113899912 P2093 "Frédéric Mallet" @default.
- Q113899912 P2093 "Yuanrui Zhang" @default.
- Q113899912 P2093 "Zhiming Liu" @default.
- Q113899912 P31 Q13442814 @default.
- Q113899912 P356 "10.1007/S11704-022-1374-4" @default.
- Q113899912 P433 "4" @default.
- Q113899912 P478 "16" @default.
- Q113899912 P577 "2022-04-29T00:00:00Z" @default.