Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317510> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113317510 description "2018 nî lūn-bûn" @default.
- Q113317510 description "2018年の論文" @default.
- Q113317510 description "2018年学术文章" @default.
- Q113317510 description "2018年学术文章" @default.
- Q113317510 description "2018年学术文章" @default.
- Q113317510 description "2018年学术文章" @default.
- Q113317510 description "2018年学术文章" @default.
- Q113317510 description "2018年学术文章" @default.
- Q113317510 description "2018年學術文章" @default.
- Q113317510 description "2018年學術文章" @default.
- Q113317510 description "2018年學術文章" @default.
- Q113317510 description "2018年學術文章" @default.
- Q113317510 description "2018年學術文章" @default.
- Q113317510 description "2018년 논문" @default.
- Q113317510 description "article científic" @default.
- Q113317510 description "article scientific" @default.
- Q113317510 description "article scientifique" @default.
- Q113317510 description "articol științific" @default.
- Q113317510 description "articolo scientifico" @default.
- Q113317510 description "artigo científico" @default.
- Q113317510 description "artigo científico" @default.
- Q113317510 description "artigo científico" @default.
- Q113317510 description "artikel ilmiah" @default.
- Q113317510 description "artikull shkencor" @default.
- Q113317510 description "artikulong pang-agham" @default.
- Q113317510 description "artykuł naukowy" @default.
- Q113317510 description "artículo científico publicado en 2018" @default.
- Q113317510 description "artículu científicu espublizáu n'ochobre de 2018" @default.
- Q113317510 description "bilimsel makale" @default.
- Q113317510 description "bài báo khoa học" @default.
- Q113317510 description "naučni članak" @default.
- Q113317510 description "scienca artikolo" @default.
- Q113317510 description "scientific article published on 30 October 2018" @default.
- Q113317510 description "scientific article published on 30 October 2018" @default.
- Q113317510 description "scientific article published on 30 October 2018" @default.
- Q113317510 description "teaduslik artikkel" @default.
- Q113317510 description "tieteellinen artikkeli" @default.
- Q113317510 description "tudományos cikk" @default.
- Q113317510 description "vedecký článok" @default.
- Q113317510 description "vetenskaplig artikel" @default.
- Q113317510 description "videnskabelig artikel udgivet 30. oktober 2018" @default.
- Q113317510 description "vitenskapelig artikkel" @default.
- Q113317510 description "vitskapeleg artikkel" @default.
- Q113317510 description "vědecký článek" @default.
- Q113317510 description "wetenschappelijk artikel" @default.
- Q113317510 description "wissenschaftlicher Artikel" @default.
- Q113317510 description "επιστημονικό άρθρο" @default.
- Q113317510 description "мақолаи илмӣ" @default.
- Q113317510 description "наукова стаття, опублікована в жовтні 2018" @default.
- Q113317510 description "научна статия" @default.
- Q113317510 description "научная статья" @default.
- Q113317510 description "научни чланак" @default.
- Q113317510 description "научни чланак" @default.
- Q113317510 description "מאמר מדעי" @default.
- Q113317510 description "مقالة بحثية نشرت في 30 أكتوبر 2018" @default.
- Q113317510 description "৩০ অক্টোবর ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317510 description "บทความทางวิทยาศาสตร์" @default.
- Q113317510 description "სამეცნიერო სტატია" @default.
- Q113317510 name "Formalizing Constructive Projective Geometry in Agda" @default.
- Q113317510 type Item @default.
- Q113317510 label "Formalizing Constructive Projective Geometry in Agda" @default.
- Q113317510 prefLabel "Formalizing Constructive Projective Geometry in Agda" @default.
- Q113317510 P1433 Q113317510-932F19CB-F6B7-455F-92A2-DD569D25054B @default.
- Q113317510 P1476 Q113317510-4D1418F3-1772-4535-B1AC-E692F604AAC2 @default.
- Q113317510 P2093 Q113317510-4A7F94F9-FB35-4BA5-BD79-A770B713A1C3 @default.
- Q113317510 P304 Q113317510-E4354975-CB2D-4A7A-9976-AEFEE9C7008C @default.
- Q113317510 P31 Q113317510-90C0C95F-C2C0-42D6-B1B1-C4355BF40A6D @default.
- Q113317510 P356 Q113317510-DCB8B0BA-A1E5-4A36-8863-93ABB0F65C95 @default.
- Q113317510 P478 Q113317510-58B22908-CE58-42DA-A3CA-EA24AA2B1945 @default.
- Q113317510 P577 Q113317510-6A645B26-D9A8-4DDE-BD3A-C02C27D1E21A @default.
- Q113317510 P6104 Q113317510-D4B5CD3F-2656-4C80-8E11-0CF32D380D3E @default.
- Q113317510 P894 Q113317510-DC192CED-DE8A-4D5B-BB63-256F5EDB7B78 @default.
- Q113317510 P356 J.ENTCS.2018.10.005 @default.
- Q113317510 P1433 Q5358287 @default.
- Q113317510 P1476 "Formalizing Constructive Projective Geometry in Agda" @default.
- Q113317510 P2093 "Guillermo Calderón" @default.
- Q113317510 P304 "61-77" @default.
- Q113317510 P31 Q13442814 @default.
- Q113317510 P356 "10.1016/J.ENTCS.2018.10.005" @default.
- Q113317510 P478 "338" @default.
- Q113317510 P577 "2018-10-30T00:00:00Z" @default.
- Q113317510 P6104 Q8487137 @default.
- Q113317510 P894 "1433.68575" @default.