Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317629> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q113317629 description "2016 nî lūn-bûn" @default.
- Q113317629 description "2016年の論文" @default.
- Q113317629 description "2016年学术文章" @default.
- Q113317629 description "2016年学术文章" @default.
- Q113317629 description "2016年学术文章" @default.
- Q113317629 description "2016年学术文章" @default.
- Q113317629 description "2016年学术文章" @default.
- Q113317629 description "2016年学术文章" @default.
- Q113317629 description "2016年學術文章" @default.
- Q113317629 description "2016年學術文章" @default.
- Q113317629 description "2016年學術文章" @default.
- Q113317629 description "2016年學術文章" @default.
- Q113317629 description "2016年學術文章" @default.
- Q113317629 description "2016년 논문" @default.
- Q113317629 description "article científic" @default.
- Q113317629 description "article scientific" @default.
- Q113317629 description "article scientifique" @default.
- Q113317629 description "articol științific" @default.
- Q113317629 description "articolo scientifico" @default.
- Q113317629 description "artigo científico" @default.
- Q113317629 description "artigo científico" @default.
- Q113317629 description "artigo científico" @default.
- Q113317629 description "artikel ilmiah" @default.
- Q113317629 description "artikull shkencor" @default.
- Q113317629 description "artikulong pang-agham" @default.
- Q113317629 description "artykuł naukowy" @default.
- Q113317629 description "artículo científico publicado en 2016" @default.
- Q113317629 description "artículu científicu espublizáu n'ochobre de 2016" @default.
- Q113317629 description "bilimsel makale" @default.
- Q113317629 description "bài báo khoa học" @default.
- Q113317629 description "naučni članak" @default.
- Q113317629 description "scienca artikolo" @default.
- Q113317629 description "scientific article published on 07 October 2016" @default.
- Q113317629 description "scientific article published on 7 October 2016" @default.
- Q113317629 description "scientific article published on 7 October 2016" @default.
- Q113317629 description "teaduslik artikkel" @default.
- Q113317629 description "tieteellinen artikkeli" @default.
- Q113317629 description "tudományos cikk" @default.
- Q113317629 description "vedecký článok" @default.
- Q113317629 description "vetenskaplig artikel" @default.
- Q113317629 description "videnskabelig artikel udgivet 7. oktober 2016" @default.
- Q113317629 description "vitenskapelig artikkel" @default.
- Q113317629 description "vitskapeleg artikkel" @default.
- Q113317629 description "vědecký článek" @default.
- Q113317629 description "wetenschappelijk artikel" @default.
- Q113317629 description "wissenschaftlicher Artikel" @default.
- Q113317629 description "επιστημονικό άρθρο" @default.
- Q113317629 description "мақолаи илмӣ" @default.
- Q113317629 description "наукова стаття, опублікована в жовтні 2016" @default.
- Q113317629 description "научна статия" @default.
- Q113317629 description "научная статья" @default.
- Q113317629 description "научни чланак" @default.
- Q113317629 description "научни чланак" @default.
- Q113317629 description "מאמר מדעי" @default.
- Q113317629 description "مقالة بحثية نشرت في 7 أكتوبر 2016" @default.
- Q113317629 description "৭ অক্টোবর ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317629 description "บทความทางวิทยาศาสตร์" @default.
- Q113317629 description "სამეცნიერო სტატია" @default.
- Q113317629 name "Approximate Relational Hoare Logic for Continuous Random Samplings" @default.
- Q113317629 type Item @default.
- Q113317629 label "Approximate Relational Hoare Logic for Continuous Random Samplings" @default.
- Q113317629 prefLabel "Approximate Relational Hoare Logic for Continuous Random Samplings" @default.
- Q113317629 P1433 Q113317629-9847B810-3164-47A5-BAC1-5EC66A3B1980 @default.
- Q113317629 P1476 Q113317629-45A57373-7A79-41EF-B07B-309949A85D15 @default.
- Q113317629 P2093 Q113317629-9D64CF55-23E9-4CB0-969B-FD197B98C4B9 @default.
- Q113317629 P304 Q113317629-DEF66809-B2C3-4AF7-964D-CBA1A77BE3E2 @default.
- Q113317629 P31 Q113317629-F590A0A6-12AA-4EEE-95F6-96D00BF024C7 @default.
- Q113317629 P356 Q113317629-31238EF0-6340-4A1A-8407-B33A5FA122E0 @default.
- Q113317629 P478 Q113317629-336B3D27-2FEC-491C-8B4D-4D410C48C735 @default.
- Q113317629 P577 Q113317629-3F86B8B6-37AF-425B-B6E6-CD3BE6EE77B0 @default.
- Q113317629 P6104 Q113317629-FA6F8BF2-9745-4FD1-8C54-1AB539A4A3F3 @default.
- Q113317629 P818 Q113317629-bcc0e0c7-085b-4239-b536-68b7035a901c @default.
- Q113317629 P894 Q113317629-0C2A06E2-34A8-442E-A1CD-FC9494526FFF @default.
- Q113317629 P356 J.ENTCS.2016.09.043 @default.
- Q113317629 P1433 Q5358287 @default.
- Q113317629 P1476 "Approximate Relational Hoare Logic for Continuous Random Samplings" @default.
- Q113317629 P2093 "Tetsuya Sato" @default.
- Q113317629 P304 "277-298" @default.
- Q113317629 P31 Q13442814 @default.
- Q113317629 P356 "10.1016/J.ENTCS.2016.09.043" @default.
- Q113317629 P478 "325" @default.
- Q113317629 P577 "2016-10-07T00:00:00Z" @default.
- Q113317629 P6104 Q8487137 @default.
- Q113317629 P818 "1603.01445" @default.
- Q113317629 P894 "1401.68206" @default.