Matches in Wikidata for { <http://www.wikidata.org/entity/Q124812031> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- Q124812031 description "2023 nî lūn-bûn" @default.
- Q124812031 description "2023年の論文" @default.
- Q124812031 description "2023年学术文章" @default.
- Q124812031 description "2023年学术文章" @default.
- Q124812031 description "2023年学术文章" @default.
- Q124812031 description "2023年學術文章" @default.
- Q124812031 description "2023年學術文章" @default.
- Q124812031 description "2023년 논문" @default.
- Q124812031 description "article científic" @default.
- Q124812031 description "article scientific" @default.
- Q124812031 description "article scientifique" @default.
- Q124812031 description "articol științific" @default.
- Q124812031 description "articolo scientifico" @default.
- Q124812031 description "artigo científico" @default.
- Q124812031 description "artigo científico" @default.
- Q124812031 description "artigo científico" @default.
- Q124812031 description "artikel ilmiah" @default.
- Q124812031 description "artikull shkencor" @default.
- Q124812031 description "artikulong pang-agham" @default.
- Q124812031 description "artykuł naukowy" @default.
- Q124812031 description "artículo científico publicado en 2023" @default.
- Q124812031 description "artículu científicu" @default.
- Q124812031 description "bilimsel makale" @default.
- Q124812031 description "bài báo khoa học" @default.
- Q124812031 description "naučni članak" @default.
- Q124812031 description "scienca artikolo" @default.
- Q124812031 description "scientific article published in 2023" @default.
- Q124812031 description "teaduslik artikkel" @default.
- Q124812031 description "tieteellinen artikkeli" @default.
- Q124812031 description "tudományos cikk" @default.
- Q124812031 description "vedecký článok" @default.
- Q124812031 description "vetenskaplig artikel" @default.
- Q124812031 description "videnskabelig artikel udgivet 22. september 2023" @default.
- Q124812031 description "vitenskapelig artikkel" @default.
- Q124812031 description "vitskapeleg artikkel" @default.
- Q124812031 description "vědecký článek" @default.
- Q124812031 description "wetenschappelijk artikel" @default.
- Q124812031 description "wissenschaftlicher Artikel" @default.
- Q124812031 description "znanstveni članek" @default.
- Q124812031 description "επιστημονικό άρθρο" @default.
- Q124812031 description "мақолаи илмӣ" @default.
- Q124812031 description "наукова стаття, опублікована у вересні 2023" @default.
- Q124812031 description "научна статия" @default.
- Q124812031 description "научная статья" @default.
- Q124812031 description "научни чланак" @default.
- Q124812031 description "научни чланак" @default.
- Q124812031 description "מאמר מדעי" @default.
- Q124812031 description "مقالة بحثية نشرت في 22 سبتمبر 2023" @default.
- Q124812031 description "২২ সেপ্টেম্বর ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124812031 description "บทความทางวิทยาศาสตร์" @default.
- Q124812031 description "სამეცნიერო სტატია" @default.
- Q124812031 name "A Formalized Extension of the Substitution Lemma in Coq" @default.
- Q124812031 type Item @default.
- Q124812031 label "A Formalized Extension of the Substitution Lemma in Coq" @default.
- Q124812031 prefLabel "A Formalized Extension of the Substitution Lemma in Coq" @default.
- Q124812031 P1433 Q124812031-A75D0230-DB6D-4E99-A17E-0DCF5374F2E0 @default.
- Q124812031 P1476 Q124812031-4C0DE15C-1A9B-4601-B178-8BFE5820BCF9 @default.
- Q124812031 P2093 Q124812031-2B4F00D2-782A-43DD-8BBA-24983F5CC614 @default.
- Q124812031 P2093 Q124812031-7247A922-80F7-4E26-BA13-DF3AD64F1F0A @default.
- Q124812031 P304 Q124812031-45AA3A66-346E-47CF-967D-A28F9C29BA09 @default.
- Q124812031 P31 Q124812031-87D791F9-0D83-4FCA-89F1-65361EDAA9A1 @default.
- Q124812031 P356 Q124812031-906B7461-A93E-4755-B29C-4C09A604972B @default.
- Q124812031 P478 Q124812031-11032F91-32D5-46C0-B785-4AFF273AD252 @default.
- Q124812031 P577 Q124812031-004E5D9C-EE99-459D-9BE6-F3229B84EFE2 @default.
- Q124812031 P818 Q124812031-3f4632ae-f214-4a12-ac8b-16e811f11dfa @default.
- Q124812031 P356 EPTCS.389.7 @default.
- Q124812031 P1433 Q5358295 @default.
- Q124812031 P1476 "A Formalized Extension of the Substitution Lemma in Coq" @default.
- Q124812031 P2093 "Flávio L. C. de Moura" @default.
- Q124812031 P2093 "Maria J. D. Lima" @default.
- Q124812031 P304 "80-95" @default.
- Q124812031 P31 Q13442814 @default.
- Q124812031 P356 "10.4204/EPTCS.389.7" @default.
- Q124812031 P478 "389" @default.
- Q124812031 P577 "2023-09-22T00:00:00Z" @default.
- Q124812031 P818 "2309.13801" @default.