Matches in Wikidata for { <http://www.wikidata.org/entity/Q62038103> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q62038103 description "2016 nî lūn-bûn" @default.
- Q62038103 description "2016年の論文" @default.
- Q62038103 description "2016年学术文章" @default.
- Q62038103 description "2016年学术文章" @default.
- Q62038103 description "2016年学术文章" @default.
- Q62038103 description "2016年学术文章" @default.
- Q62038103 description "2016年学术文章" @default.
- Q62038103 description "2016年学术文章" @default.
- Q62038103 description "2016年學術文章" @default.
- Q62038103 description "2016年學術文章" @default.
- Q62038103 description "2016年學術文章" @default.
- Q62038103 description "2016年學術文章" @default.
- Q62038103 description "2016年學術文章" @default.
- Q62038103 description "2016년 논문" @default.
- Q62038103 description "article científic" @default.
- Q62038103 description "article scientific" @default.
- Q62038103 description "article scientifique" @default.
- Q62038103 description "articol științific" @default.
- Q62038103 description "articolo scientifico" @default.
- Q62038103 description "artigo científico" @default.
- Q62038103 description "artigo científico" @default.
- Q62038103 description "artigo científico" @default.
- Q62038103 description "artikel ilmiah" @default.
- Q62038103 description "artikull shkencor" @default.
- Q62038103 description "artikulong pang-agham" @default.
- Q62038103 description "artykuł naukowy" @default.
- Q62038103 description "artículo científico publicado en 2016" @default.
- Q62038103 description "artículu científicu" @default.
- Q62038103 description "bilimsel makale" @default.
- Q62038103 description "bài báo khoa học" @default.
- Q62038103 description "naučni članak" @default.
- Q62038103 description "scienca artikolo" @default.
- Q62038103 description "scientific article published in March 2016" @default.
- Q62038103 description "scientific article published in March 2016" @default.
- Q62038103 description "scientific article published in March 2016" @default.
- Q62038103 description "teaduslik artikkel" @default.
- Q62038103 description "tieteellinen artikkeli" @default.
- Q62038103 description "tudományos cikk" @default.
- Q62038103 description "vedecký článok" @default.
- Q62038103 description "vetenskaplig artikel" @default.
- Q62038103 description "videnskabelig artikel" @default.
- Q62038103 description "vitenskapelig artikkel" @default.
- Q62038103 description "vitskapeleg artikkel" @default.
- Q62038103 description "vědecký článek" @default.
- Q62038103 description "wetenschappelijk artikel" @default.
- Q62038103 description "wissenschaftlicher Artikel" @default.
- Q62038103 description "επιστημονικό άρθρο" @default.
- Q62038103 description "мақолаи илмӣ" @default.
- Q62038103 description "наукова стаття, опублікована в березні 2016" @default.
- Q62038103 description "научна статия" @default.
- Q62038103 description "научная статья" @default.
- Q62038103 description "научни чланак" @default.
- Q62038103 description "научни чланак" @default.
- Q62038103 description "מאמר מדעי" @default.
- Q62038103 description "مقالة علمية نشرت في مارس 2016" @default.
- Q62038103 description "মার্চ ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62038103 description "บทความทางวิทยาศาสตร์" @default.
- Q62038103 description "სამეცნიერო სტატია" @default.
- Q62038103 name "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 name "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 type Item @default.
- Q62038103 label "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 label "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 prefLabel "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 prefLabel "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 P1433 Q62038103-8B9FB93A-E321-4100-A5F2-A6DC1A527BBD @default.
- Q62038103 P1476 Q62038103-D43BC1B8-F297-4C46-854D-F09E4E65B269 @default.
- Q62038103 P2093 Q62038103-8EC4F6CD-75D5-490C-9E46-7788981012EB @default.
- Q62038103 P2093 Q62038103-F3309F4C-F56C-4C13-9046-1404EB43109B @default.
- Q62038103 P304 Q62038103-20ABB3F4-A6DC-41B5-A4F7-E9FC741215DD @default.
- Q62038103 P31 Q62038103-FDEC1099-4CE4-4A9A-84AF-E31711925031 @default.
- Q62038103 P356 Q62038103-95164013-2A6B-4FD6-BEC6-928388CAAED4 @default.
- Q62038103 P433 Q62038103-016A679B-A234-4D6E-BE34-F96C1C79B8BD @default.
- Q62038103 P478 Q62038103-EA1E4E48-6018-4766-8C14-B0B341CEF535 @default.
- Q62038103 P577 Q62038103-C4F15872-2A06-4D14-8147-CB2097816A94 @default.
- Q62038103 P6104 Q62038103-5FEBD973-7DB7-4A2B-9907-B48F3E36BDD3 @default.
- Q62038103 P894 Q62038103-489162E9-8C66-4D37-9410-39A9830362DE @default.
- Q62038103 P8978 Q62038103-6CC91B91-BD00-495A-860B-81A3C5D3C7B9 @default.
- Q62038103 P921 Q62038103-EC85DE59-4DC5-40B8-A0D4-690DE889C070 @default.
- Q62038103 P356 IFS-151874 @default.
- Q62038103 P8978 ShiL15 @default.
- Q62038103 P1433 Q15761645 @default.
- Q62038103 P1476 "Temporal normal form for Linear Temporal Logic formulae1" @default.
- Q62038103 P2093 "Hui-Xian Shi" @default.
- Q62038103 P2093 "Yong-Ming Li" @default.
- Q62038103 P304 "1657-1662" @default.
- Q62038103 P31 Q13442814 @default.
- Q62038103 P356 "10.3233/IFS-151874" @default.
- Q62038103 P433 "3" @default.
- Q62038103 P478 "30" @default.
- Q62038103 P577 "2016-03-01T00:00:00Z" @default.
- Q62038103 P6104 Q8487137 @default.
- Q62038103 P894 "1361.03012" @default.
- Q62038103 P8978 "journals/jifs/ShiL15" @default.
- Q62038103 P921 Q781833 @default.