Wikidata |

Wikidata

Matches in Wikidata for { <http://www.wikidata.org/entity/Q113772744> ?p ?o ?g. }

Showing items 1 to 91 of 91 with 100 items per page.

Q113772744 description "2021 nî lūn-bûn" @default.
Q113772744 description "2021年の論文" @default.
Q113772744 description "2021年学术文章" @default.
Q113772744 description "2021年学术文章" @default.
Q113772744 description "2021年学术文章" @default.
Q113772744 description "2021年学术文章" @default.
Q113772744 description "2021年学术文章" @default.
Q113772744 description "2021年学术文章" @default.
Q113772744 description "2021年學術文章" @default.
Q113772744 description "2021年學術文章" @default.
Q113772744 description "2021年學術文章" @default.
Q113772744 description "2021年學術文章" @default.
Q113772744 description "2021年學術文章" @default.
Q113772744 description "2021년 논문" @default.
Q113772744 description "article científic" @default.
Q113772744 description "article scientific" @default.
Q113772744 description "article scientifique" @default.
Q113772744 description "articol științific" @default.
Q113772744 description "articolo scientifico" @default.
Q113772744 description "artigo científico" @default.
Q113772744 description "artigo científico" @default.
Q113772744 description "artigo científico" @default.
Q113772744 description "artikel ilmiah" @default.
Q113772744 description "artikull shkencor" @default.
Q113772744 description "artikulong pang-agham" @default.
Q113772744 description "artykuł naukowy" @default.
Q113772744 description "artículo científico publicado en 2021" @default.
Q113772744 description "artículu científicu espublizáu en 2021" @default.
Q113772744 description "bilimsel makale" @default.
Q113772744 description "bài báo khoa học" @default.
Q113772744 description "naučni članak" @default.
Q113772744 description "scienca artikolo" @default.
Q113772744 description "scientific article published in 2021" @default.
Q113772744 description "scientific article published on 22 August 2021" @default.
Q113772744 description "scientific article published on 22 August 2021" @default.
Q113772744 description "teaduslik artikkel" @default.
Q113772744 description "tieteellinen artikkeli" @default.
Q113772744 description "tudományos cikk" @default.
Q113772744 description "vedecký článok" @default.
Q113772744 description "vetenskaplig artikel" @default.
Q113772744 description "videnskabelig artikel udgivet 22. august 2021" @default.
Q113772744 description "vitenskapelig artikkel" @default.
Q113772744 description "vitskapeleg artikkel" @default.
Q113772744 description "vědecký článek" @default.
Q113772744 description "wetenschappelijk artikel" @default.
Q113772744 description "wissenschaftlicher Artikel" @default.
Q113772744 description "επιστημονικό άρθρο" @default.
Q113772744 description "мақолаи илмӣ" @default.
Q113772744 description "наукова стаття, опублікована в серпні 2021" @default.
Q113772744 description "научна статия" @default.
Q113772744 description "научная статья" @default.
Q113772744 description "научни чланак" @default.
Q113772744 description "научни чланак" @default.
Q113772744 description "מאמר מדעי" @default.
Q113772744 description "مقالة بحثية نشرت في 22 أغسطس 2021" @default.
Q113772744 description "২২ আগস্ট ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
Q113772744 description "บทความทางวิทยาศาสตร์" @default.
Q113772744 description "სამეცნიერო სტატია" @default.
Q113772744 name "Theorems for free from separation logic specifications" @default.
Q113772744 type Item @default.
Q113772744 label "Theorems for free from separation logic specifications" @default.
Q113772744 prefLabel "Theorems for free from separation logic specifications" @default.
Q113772744 P1433 Q113772744-20E60C16-234F-4689-A428-8D4DDA58C99D @default.
Q113772744 P1476 Q113772744-4A016112-E972-4F76-B5C5-568AC93BD9FB @default.
Q113772744 P2093 Q113772744-30FD0398-D6AF-44E2-B005-17F75954ECC2 @default.
Q113772744 P2093 Q113772744-313FA244-561D-43A1-9A78-BCAFFE4F7AB3 @default.
Q113772744 P2093 Q113772744-6CD89FC9-1090-4C78-9966-C84BAF557DD7 @default.
Q113772744 P2093 Q113772744-CC656948-DF1F-4256-B74C-6A596C2D5C4A @default.
Q113772744 P2093 Q113772744-DFC26236-4075-43EF-8AA3-832492050359 @default.
Q113772744 P2093 Q113772744-F2D22E95-D5FA-464B-B71D-52BB9A470FB0 @default.
Q113772744 P304 Q113772744-2F70413C-77E1-4BEF-9391-BF63CAB628D3 @default.
Q113772744 P31 Q113772744-392F78F3-C626-4C64-9014-CDFAF48DF657 @default.
Q113772744 P356 Q113772744-10266B7B-D258-4443-AEAC-2097C3A3005A @default.
Q113772744 P433 Q113772744-80378B4E-9265-41F2-8FEF-2A1E7708B8C6 @default.
Q113772744 P478 Q113772744-53900B0E-EF9A-4DF7-98BA-54F5E2698CFE @default.
Q113772744 P577 Q113772744-EF4D3504-9C51-484A-820C-C49BE2E09678 @default.
Q113772744 P356 3473586 @default.
Q113772744 P1433 Q93356659 @default.
Q113772744 P1476 "Theorems for free from separation logic specifications" @default.
Q113772744 P2093 "Armaël Guéneau" @default.
Q113772744 P2093 "Guilhem Jaber" @default.
Q113772744 P2093 "Kasper Svendsen" @default.
Q113772744 P2093 "Lars Birkedal" @default.
Q113772744 P2093 "Nikos Tzevelekos" @default.
Q113772744 P2093 "Thomas Dinsdale-Young" @default.
Q113772744 P304 "1-29" @default.
Q113772744 P31 Q13442814 @default.
Q113772744 P356 "10.1145/3473586" @default.
Q113772744 P433 "ICFP" @default.
Q113772744 P478 "5" @default.
Q113772744 P577 "2021-08-22T00:00:00Z" @default.