Matches in Wikidata for { <http://www.wikidata.org/entity/Q113772687> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113772687 description "2021 nî lūn-bûn" @default.
- Q113772687 description "2021年の論文" @default.
- Q113772687 description "2021年学术文章" @default.
- Q113772687 description "2021年学术文章" @default.
- Q113772687 description "2021年学术文章" @default.
- Q113772687 description "2021年学术文章" @default.
- Q113772687 description "2021年学术文章" @default.
- Q113772687 description "2021年学术文章" @default.
- Q113772687 description "2021年學術文章" @default.
- Q113772687 description "2021年學術文章" @default.
- Q113772687 description "2021年學術文章" @default.
- Q113772687 description "2021年學術文章" @default.
- Q113772687 description "2021年學術文章" @default.
- Q113772687 description "2021년 논문" @default.
- Q113772687 description "article científic" @default.
- Q113772687 description "article scientific" @default.
- Q113772687 description "article scientifique" @default.
- Q113772687 description "articol științific" @default.
- Q113772687 description "articolo scientifico" @default.
- Q113772687 description "artigo científico" @default.
- Q113772687 description "artigo científico" @default.
- Q113772687 description "artigo científico" @default.
- Q113772687 description "artikel ilmiah" @default.
- Q113772687 description "artikull shkencor" @default.
- Q113772687 description "artikulong pang-agham" @default.
- Q113772687 description "artykuł naukowy" @default.
- Q113772687 description "artículo científico publicado en 2021" @default.
- Q113772687 description "artículu científicu espublizáu en 2021" @default.
- Q113772687 description "bilimsel makale" @default.
- Q113772687 description "bài báo khoa học" @default.
- Q113772687 description "naučni članak" @default.
- Q113772687 description "scienca artikolo" @default.
- Q113772687 description "scientific article published in 2021" @default.
- Q113772687 description "scientific article published on 31 October 2021" @default.
- Q113772687 description "scientific article published on 31 October 2021" @default.
- Q113772687 description "teaduslik artikkel" @default.
- Q113772687 description "tieteellinen artikkeli" @default.
- Q113772687 description "tudományos cikk" @default.
- Q113772687 description "vedecký článok" @default.
- Q113772687 description "vetenskaplig artikel" @default.
- Q113772687 description "videnskabelig artikel udgivet 31. oktober 2021" @default.
- Q113772687 description "vitenskapelig artikkel" @default.
- Q113772687 description "vitskapeleg artikkel" @default.
- Q113772687 description "vědecký článek" @default.
- Q113772687 description "wetenschappelijk artikel" @default.
- Q113772687 description "wissenschaftlicher Artikel" @default.
- Q113772687 description "επιστημονικό άρθρο" @default.
- Q113772687 description "мақолаи илмӣ" @default.
- Q113772687 description "наукова стаття, опублікована в жовтні 2021" @default.
- Q113772687 description "научна статия" @default.
- Q113772687 description "научная статья" @default.
- Q113772687 description "научни чланак" @default.
- Q113772687 description "научни чланак" @default.
- Q113772687 description "מאמר מדעי" @default.
- Q113772687 description "مقالة بحثية نشرت في 31 أكتوبر 2021" @default.
- Q113772687 description "৩১ অক্টোবর ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113772687 description "บทความทางวิทยาศาสตร์" @default.
- Q113772687 description "სამეცნიერო სტატია" @default.
- Q113772687 name "Structured Proofs for Adversarial Cyber-Physical Systems" @default.
- Q113772687 type Item @default.
- Q113772687 label "Structured Proofs for Adversarial Cyber-Physical Systems" @default.
- Q113772687 prefLabel "Structured Proofs for Adversarial Cyber-Physical Systems" @default.
- Q113772687 P1104 Q113772687-8F22D93B-BB5B-4092-91C2-D3911026DCA9 @default.
- Q113772687 P1433 Q113772687-1151BE53-64B8-4D55-92A3-82CD4DD1D89C @default.
- Q113772687 P1476 Q113772687-D3F32700-FC04-465D-BC64-1CCEEF446BCA @default.
- Q113772687 P2093 Q113772687-8CE88202-8C06-4A43-A592-816C93E1D575 @default.
- Q113772687 P304 Q113772687-4E2AADD3-0FBE-4791-B48E-B0710CD22588 @default.
- Q113772687 P31 Q113772687-4D39D930-5540-438F-B819-8DFF1CFD2B97 @default.
- Q113772687 P356 Q113772687-91DA9DA2-C6E7-4E22-B42E-11782682F07F @default.
- Q113772687 P433 Q113772687-FA49577F-B354-4725-8E0D-D95124EC332E @default.
- Q113772687 P478 Q113772687-3F86B481-F420-46A7-B936-BECE849EE47D @default.
- Q113772687 P50 Q113772687-18B23559-84A6-4AC9-8FD6-EAE188F8FDD9 @default.
- Q113772687 P577 Q113772687-CE8DB5B1-9A26-4FFE-ADD7-722790DE5FA9 @default.
- Q113772687 P818 Q113772687-a9066ed1-e7db-413d-a64c-7bfa384cbf4e @default.
- Q113772687 P356 3477024 @default.
- Q113772687 P1104 "+26" @default.
- Q113772687 P1433 Q15752813 @default.
- Q113772687 P1476 "Structured Proofs for Adversarial Cyber-Physical Systems" @default.
- Q113772687 P2093 "Brandon Bohrer" @default.
- Q113772687 P304 "1-26" @default.
- Q113772687 P31 Q13442814 @default.
- Q113772687 P356 "10.1145/3477024" @default.
- Q113772687 P433 "5s" @default.
- Q113772687 P478 "20" @default.
- Q113772687 P50 Q56419822 @default.
- Q113772687 P577 "2021-10-31T00:00:00Z" @default.
- Q113772687 P818 "2107.08852" @default.