Matches in Wikidata for { <http://www.wikidata.org/entity/Q125057351> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- Q125057351 description "2022 nî lūn-bûn" @default.
- Q125057351 description "2022年の論文" @default.
- Q125057351 description "2022年学术文章" @default.
- Q125057351 description "2022年学术文章" @default.
- Q125057351 description "2022年学术文章" @default.
- Q125057351 description "2022年學術文章" @default.
- Q125057351 description "2022年學術文章" @default.
- Q125057351 description "2022년 논문" @default.
- Q125057351 description "article científic" @default.
- Q125057351 description "article scientific" @default.
- Q125057351 description "article scientifique" @default.
- Q125057351 description "articol științific" @default.
- Q125057351 description "articolo scientifico" @default.
- Q125057351 description "artigo científico" @default.
- Q125057351 description "artigo científico" @default.
- Q125057351 description "artigo científico" @default.
- Q125057351 description "artikel ilmiah" @default.
- Q125057351 description "artikull shkencor" @default.
- Q125057351 description "artikulong pang-agham" @default.
- Q125057351 description "artykuł naukowy" @default.
- Q125057351 description "artículo científico publicado en 2022" @default.
- Q125057351 description "artículu científicu" @default.
- Q125057351 description "bilimsel makale" @default.
- Q125057351 description "bài báo khoa học" @default.
- Q125057351 description "naučni članak" @default.
- Q125057351 description "scienca artikolo" @default.
- Q125057351 description "scientific article published in 2022" @default.
- Q125057351 description "teaduslik artikkel" @default.
- Q125057351 description "tieteellinen artikkeli" @default.
- Q125057351 description "tudományos cikk" @default.
- Q125057351 description "vedecký článok" @default.
- Q125057351 description "vetenskaplig artikel" @default.
- Q125057351 description "videnskabelig artikel udgivet 28. juni 2022" @default.
- Q125057351 description "vitenskapelig artikkel" @default.
- Q125057351 description "vitskapeleg artikkel" @default.
- Q125057351 description "vědecký článek" @default.
- Q125057351 description "wetenschappelijk artikel" @default.
- Q125057351 description "wissenschaftlicher Artikel" @default.
- Q125057351 description "znanstveni članek" @default.
- Q125057351 description "επιστημονικό άρθρο" @default.
- Q125057351 description "мақолаи илмӣ" @default.
- Q125057351 description "наукова стаття, опублікована в червні 2022" @default.
- Q125057351 description "научна статия" @default.
- Q125057351 description "научная статья" @default.
- Q125057351 description "научни чланак" @default.
- Q125057351 description "научни чланак" @default.
- Q125057351 description "מאמר מדעי" @default.
- Q125057351 description "مقالة بحثية نشرت في 28 يونيو 2022" @default.
- Q125057351 description "২৮ জুন ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q125057351 description "บทความทางวิทยาศาสตร์" @default.
- Q125057351 description "სამეცნიერო სტატია" @default.
- Q125057351 name "Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement" @default.
- Q125057351 type Item @default.
- Q125057351 label "Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement" @default.
- Q125057351 prefLabel "Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement" @default.
- Q125057351 P1433 Q125057351-ADC4C276-AED2-44BF-8763-D6F3BDD8F1C2 @default.
- Q125057351 P1476 Q125057351-2A5CFB06-8DFB-45A9-B288-7F8CA82F8E4E @default.
- Q125057351 P2093 Q125057351-1B7493E4-7476-489F-A2F8-4EC180C2E254 @default.
- Q125057351 P2093 Q125057351-72F3467E-8970-4D7D-88B9-BAD254BE0243 @default.
- Q125057351 P304 Q125057351-A712305A-F765-48FE-8A68-828E8BAF11C1 @default.
- Q125057351 P31 Q125057351-E6E32285-0C67-4B3E-878E-6FFFE2B472B4 @default.
- Q125057351 P356 Q125057351-FE6933DE-CBBC-4853-967C-F07A311E2920 @default.
- Q125057351 P433 Q125057351-46D9D80C-ECB1-487C-9C2F-5D2464E39FAD @default.
- Q125057351 P478 Q125057351-FE84BE1B-2AAA-4E49-96B9-FE69D63A8C01 @default.
- Q125057351 P577 Q125057351-33FBF76E-C4BF-4717-A6A4-6988791889B4 @default.
- Q125057351 P356 AAAI.V36I5.20523 @default.
- Q125057351 P1433 Q27722923 @default.
- Q125057351 P1476 "Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement" @default.
- Q125057351 P2093 "Kailun Luo" @default.
- Q125057351 P2093 "Yongmei Liu" @default.
- Q125057351 P304 "5800-5808" @default.
- Q125057351 P31 Q13442814 @default.
- Q125057351 P356 "10.1609/AAAI.V36I5.20523" @default.
- Q125057351 P433 "5" @default.
- Q125057351 P478 "36" @default.
- Q125057351 P577 "2022-06-28T00:00:00Z" @default.