Matches in Wikidata for { <http://www.wikidata.org/entity/Q62046851> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q62046851 description "2013 nî lūn-bûn" @default.
- Q62046851 description "2013年の論文" @default.
- Q62046851 description "2013年学术文章" @default.
- Q62046851 description "2013年学术文章" @default.
- Q62046851 description "2013年学术文章" @default.
- Q62046851 description "2013年学术文章" @default.
- Q62046851 description "2013年学术文章" @default.
- Q62046851 description "2013年学术文章" @default.
- Q62046851 description "2013年學術文章" @default.
- Q62046851 description "2013年學術文章" @default.
- Q62046851 description "2013年學術文章" @default.
- Q62046851 description "2013年學術文章" @default.
- Q62046851 description "2013年學術文章" @default.
- Q62046851 description "2013년 논문" @default.
- Q62046851 description "article científic" @default.
- Q62046851 description "article scientific" @default.
- Q62046851 description "article scientifique" @default.
- Q62046851 description "articol științific" @default.
- Q62046851 description "articolo scientifico" @default.
- Q62046851 description "artigo científico" @default.
- Q62046851 description "artigo científico" @default.
- Q62046851 description "artigo científico" @default.
- Q62046851 description "artikel ilmiah" @default.
- Q62046851 description "artikull shkencor" @default.
- Q62046851 description "artikulong pang-agham" @default.
- Q62046851 description "artykuł naukowy" @default.
- Q62046851 description "artículo científico publicado en 2013" @default.
- Q62046851 description "artículu científicu" @default.
- Q62046851 description "bilimsel makale" @default.
- Q62046851 description "bài báo khoa học" @default.
- Q62046851 description "naučni članak" @default.
- Q62046851 description "scienca artikolo" @default.
- Q62046851 description "scientific article published in 2013" @default.
- Q62046851 description "scientific article published in 2013" @default.
- Q62046851 description "scientific article published in 2013" @default.
- Q62046851 description "teaduslik artikkel" @default.
- Q62046851 description "tieteellinen artikkeli" @default.
- Q62046851 description "tudományos cikk" @default.
- Q62046851 description "vedecký článok" @default.
- Q62046851 description "vetenskaplig artikel" @default.
- Q62046851 description "videnskabelig artikel" @default.
- Q62046851 description "vitenskapelig artikkel" @default.
- Q62046851 description "vitskapeleg artikkel" @default.
- Q62046851 description "vědecký článek" @default.
- Q62046851 description "wetenschappelijk artikel" @default.
- Q62046851 description "wissenschaftlicher Artikel" @default.
- Q62046851 description "επιστημονικό άρθρο" @default.
- Q62046851 description "мақолаи илмӣ" @default.
- Q62046851 description "наукова стаття, опублікована у 2013" @default.
- Q62046851 description "научна статия" @default.
- Q62046851 description "научная статья" @default.
- Q62046851 description "научни чланак" @default.
- Q62046851 description "научни чланак" @default.
- Q62046851 description "מאמר מדעי" @default.
- Q62046851 description "مقالة علمية نشرت في 2013" @default.
- Q62046851 description "২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62046851 description "บทความทางวิทยาศาสตร์" @default.
- Q62046851 description "სამეცნიერო სტატია" @default.
- Q62046851 name "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 name "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 type Item @default.
- Q62046851 label "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 label "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 prefLabel "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 prefLabel "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 P1433 Q62046851-578FFCB1-C8C1-459F-8605-EF9CBC527030 @default.
- Q62046851 P1476 Q62046851-F7262FEA-D50F-43D8-95E1-EC3319F45B96 @default.
- Q62046851 P2093 Q62046851-C9D3DD33-0177-4268-AE07-7C7F0C77E4F0 @default.
- Q62046851 P304 Q62046851-AE6F4D2F-3E4A-440E-A57A-B7DB6D800E20 @default.
- Q62046851 P31 Q62046851-F85C2DF4-C085-4514-87C0-CBC1E6469C51 @default.
- Q62046851 P356 Q62046851-FEBFBD56-EB1D-40D6-A7A9-60B45EE5E89E @default.
- Q62046851 P407 Q62046851-F5F33A6D-A698-4039-A35A-4693C1F4D5A7 @default.
- Q62046851 P50 Q62046851-446C7DD0-785B-4113-B31A-19F81C65DA86 @default.
- Q62046851 P577 Q62046851-2F49D9DD-F0AF-4117-AD59-BEB86E83218E @default.
- Q62046851 P8978 Q62046851-C9B1468E-A9B9-4AA1-AB45-5A92C0DBFE8A @default.
- Q62046851 P921 Q62046851-FB6A62A1-968C-4D6F-8700-4620E15E0BF9 @default.
- Q62046851 P356 978-3-642-37890-4_10 @default.
- Q62046851 P8978 Wozna-SzczesniakZ12 @default.
- Q62046851 P1433 Q924044 @default.
- Q62046851 P1476 "SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems" @default.
- Q62046851 P2093 "Bożena Woźna-Szcześniak" @default.
- Q62046851 P304 "170-189" @default.
- Q62046851 P31 Q13442814 @default.
- Q62046851 P356 "10.1007/978-3-642-37890-4_10" @default.
- Q62046851 P407 Q1860 @default.
- Q62046851 P50 Q62036847 @default.
- Q62046851 P577 "2013-01-01T00:00:00Z" @default.
- Q62046851 P8978 "conf/dalt/Wozna-SzczesniakZ12" @default.
- Q62046851 P921 Q781833 @default.