Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317563> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113317563 description "2018 nî lūn-bûn" @default.
- Q113317563 description "2018年の論文" @default.
- Q113317563 description "2018年学术文章" @default.
- Q113317563 description "2018年学术文章" @default.
- Q113317563 description "2018年学术文章" @default.
- Q113317563 description "2018年学术文章" @default.
- Q113317563 description "2018年学术文章" @default.
- Q113317563 description "2018年学术文章" @default.
- Q113317563 description "2018年學術文章" @default.
- Q113317563 description "2018年學術文章" @default.
- Q113317563 description "2018年學術文章" @default.
- Q113317563 description "2018年學術文章" @default.
- Q113317563 description "2018年學術文章" @default.
- Q113317563 description "2018년 논문" @default.
- Q113317563 description "article científic" @default.
- Q113317563 description "article scientific" @default.
- Q113317563 description "article scientifique" @default.
- Q113317563 description "articol științific" @default.
- Q113317563 description "articolo scientifico" @default.
- Q113317563 description "artigo científico" @default.
- Q113317563 description "artigo científico" @default.
- Q113317563 description "artigo científico" @default.
- Q113317563 description "artikel ilmiah" @default.
- Q113317563 description "artikull shkencor" @default.
- Q113317563 description "artikulong pang-agham" @default.
- Q113317563 description "artykuł naukowy" @default.
- Q113317563 description "artículo científico publicado en 2018" @default.
- Q113317563 description "artículu científicu espublizáu n'abril de 2018" @default.
- Q113317563 description "bilimsel makale" @default.
- Q113317563 description "bài báo khoa học" @default.
- Q113317563 description "naučni članak" @default.
- Q113317563 description "scienca artikolo" @default.
- Q113317563 description "scientific article published on 17 April 2018" @default.
- Q113317563 description "scientific article published on 17 April 2018" @default.
- Q113317563 description "scientific article published on 17 April 2018" @default.
- Q113317563 description "teaduslik artikkel" @default.
- Q113317563 description "tieteellinen artikkeli" @default.
- Q113317563 description "tudományos cikk" @default.
- Q113317563 description "vedecký článok" @default.
- Q113317563 description "vetenskaplig artikel" @default.
- Q113317563 description "videnskabelig artikel udgivet 17. april 2018" @default.
- Q113317563 description "vitenskapelig artikkel" @default.
- Q113317563 description "vitskapeleg artikkel" @default.
- Q113317563 description "vědecký článek" @default.
- Q113317563 description "wetenschappelijk artikel" @default.
- Q113317563 description "wissenschaftlicher Artikel" @default.
- Q113317563 description "επιστημονικό άρθρο" @default.
- Q113317563 description "мақолаи илмӣ" @default.
- Q113317563 description "наукова стаття, опублікована у квітні 2018" @default.
- Q113317563 description "научна статия" @default.
- Q113317563 description "научная статья" @default.
- Q113317563 description "научни чланак" @default.
- Q113317563 description "научни чланак" @default.
- Q113317563 description "מאמר מדעי" @default.
- Q113317563 description "مقالة بحثية نشرت في 17 أبريل 2018" @default.
- Q113317563 description "১৭ এপ্রিল ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317563 description "บทความทางวิทยาศาสตร์" @default.
- Q113317563 description "სამეცნიერო სტატია" @default.
- Q113317563 name "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata" @default.
- Q113317563 type Item @default.
- Q113317563 label "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata" @default.
- Q113317563 prefLabel "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata" @default.
- Q113317563 P1433 Q113317563-F7E05AA5-197C-4250-ACCB-0424896DC7F6 @default.
- Q113317563 P1476 Q113317563-0F44E3A7-6685-4E33-A676-97DBD74E2B62 @default.
- Q113317563 P2093 Q113317563-4A6931CB-1C6D-4AE4-BF8A-9CC8D7A22B91 @default.
- Q113317563 P2093 Q113317563-9B15BA22-43A5-485F-8AC3-FF01254F63B1 @default.
- Q113317563 P2093 Q113317563-C3158AA6-69B5-4DA6-8CD5-1ABEDB2B9DCA @default.
- Q113317563 P304 Q113317563-A4B49C2E-0310-4F38-9CB7-1CBEC18C3284 @default.
- Q113317563 P31 Q113317563-22F0EA69-C169-4EF9-B094-B3730A6A687E @default.
- Q113317563 P356 Q113317563-E5C07F26-49A2-4F35-99D4-F3EF6BF67083 @default.
- Q113317563 P478 Q113317563-8D9BE8E0-862C-486E-9816-983DDBD3A1CD @default.
- Q113317563 P577 Q113317563-A9C8247E-9A96-4E2A-ABCC-AE33D038B474 @default.
- Q113317563 P356 J.ENTCS.2018.03.017 @default.
- Q113317563 P1433 Q5358287 @default.
- Q113317563 P1476 "A Symbolic Decision Procedure for Symbolic Alternating Finite Automata" @default.
- Q113317563 P2093 "Fang Wang" @default.
- Q113317563 P2093 "Loris D'Antoni" @default.
- Q113317563 P2093 "Zachary Kincaid" @default.
- Q113317563 P304 "79-99" @default.
- Q113317563 P31 Q13442814 @default.
- Q113317563 P356 "10.1016/J.ENTCS.2018.03.017" @default.
- Q113317563 P478 "336" @default.
- Q113317563 P577 "2018-04-17T00:00:00Z" @default.