Matches in Wikidata for { <http://www.wikidata.org/entity/Q113700886> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113700886 description "2022 nî lūn-bûn" @default.
- Q113700886 description "2022年の論文" @default.
- Q113700886 description "2022年学术文章" @default.
- Q113700886 description "2022年学术文章" @default.
- Q113700886 description "2022年学术文章" @default.
- Q113700886 description "2022年学术文章" @default.
- Q113700886 description "2022年学术文章" @default.
- Q113700886 description "2022年学术文章" @default.
- Q113700886 description "2022年學術文章" @default.
- Q113700886 description "2022年學術文章" @default.
- Q113700886 description "2022年學術文章" @default.
- Q113700886 description "2022年學術文章" @default.
- Q113700886 description "2022年學術文章" @default.
- Q113700886 description "2022년 논문" @default.
- Q113700886 description "article científic" @default.
- Q113700886 description "article scientific" @default.
- Q113700886 description "article scientifique" @default.
- Q113700886 description "articol științific" @default.
- Q113700886 description "articolo scientifico" @default.
- Q113700886 description "artigo científico" @default.
- Q113700886 description "artigo científico" @default.
- Q113700886 description "artigo científico" @default.
- Q113700886 description "artikel ilmiah" @default.
- Q113700886 description "artikull shkencor" @default.
- Q113700886 description "artikulong pang-agham" @default.
- Q113700886 description "artykuł naukowy" @default.
- Q113700886 description "artículo científico publicado en 2022" @default.
- Q113700886 description "artículu científicu espublizáu en 2022" @default.
- Q113700886 description "bilimsel makale" @default.
- Q113700886 description "bài báo khoa học" @default.
- Q113700886 description "naučni članak" @default.
- Q113700886 description "scienca artikolo" @default.
- Q113700886 description "scientific article published in 2022" @default.
- Q113700886 description "scientific article published on 31 July 2022" @default.
- Q113700886 description "scientific article published on 31 July 2022" @default.
- Q113700886 description "teaduslik artikkel" @default.
- Q113700886 description "tieteellinen artikkeli" @default.
- Q113700886 description "tudományos cikk" @default.
- Q113700886 description "vedecký článok" @default.
- Q113700886 description "vetenskaplig artikel" @default.
- Q113700886 description "videnskabelig artikel udgivet 31. juli 2022" @default.
- Q113700886 description "vitenskapelig artikkel" @default.
- Q113700886 description "vitskapeleg artikkel" @default.
- Q113700886 description "vědecký článek" @default.
- Q113700886 description "wetenschappelijk artikel" @default.
- Q113700886 description "wissenschaftlicher Artikel" @default.
- Q113700886 description "επιστημονικό άρθρο" @default.
- Q113700886 description "мақолаи илмӣ" @default.
- Q113700886 description "наукова стаття, опублікована в липні 2022" @default.
- Q113700886 description "научна статия" @default.
- Q113700886 description "научная статья" @default.
- Q113700886 description "научни чланак" @default.
- Q113700886 description "научни чланак" @default.
- Q113700886 description "מאמר מדעי" @default.
- Q113700886 description "مقالة بحثية نشرت في 31 يوليو 2022" @default.
- Q113700886 description "৩১ জুলাই ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113700886 description "บทความทางวิทยาศาสตร์" @default.
- Q113700886 description "სამეცნიერო სტატია" @default.
- Q113700886 name "ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL" @default.
- Q113700886 type Item @default.
- Q113700886 label "ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL" @default.
- Q113700886 prefLabel "ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL" @default.
- Q113700886 P1476 Q113700886-E978E9D4-EBC8-41F9-8962-6E9B8B76CDC0 @default.
- Q113700886 P2093 Q113700886-26EA08A6-50A1-4CEF-AA15-0F5D1D8AFE4D @default.
- Q113700886 P2093 Q113700886-CF9C2B29-6E56-4A88-B027-754C04D02695 @default.
- Q113700886 P304 Q113700886-DC7E3A34-E6AA-42CD-9AF8-A4F96A5B5BAD @default.
- Q113700886 P31 Q113700886-824FFDAA-ADEC-4BE1-8744-6EB06EC91A81 @default.
- Q113700886 P356 Q113700886-928A1ACC-8889-4B59-8D61-7F96D23C41BE @default.
- Q113700886 P433 Q113700886-360EABCA-D01A-4F49-847A-DC841FFACEFB @default.
- Q113700886 P478 Q113700886-0FE6CE82-B987-4933-9BDF-E1AF7DD23AFF @default.
- Q113700886 P577 Q113700886-61008CC9-A3E8-4948-B10F-7256EE0FC44F @default.
- Q113700886 P356 JCIA2022.1.2.3 @default.
- Q113700886 P1476 "ON THE PROOF OF THE THEOREMS OF FOUNDATIONS OF GEOMETRY USING ISABELLE/HOL" @default.
- Q113700886 P2093 "Fumiya Iwama" @default.
- Q113700886 P2093 "Tadashi Takahashi" @default.
- Q113700886 P304 "45-69" @default.
- Q113700886 P31 Q13442814 @default.
- Q113700886 P356 "10.32890/JCIA2022.1.2.3" @default.
- Q113700886 P433 "No.2" @default.
- Q113700886 P478 "1" @default.
- Q113700886 P577 "2022-07-31T00:00:00Z" @default.