Matches in Wikidata for { <http://www.wikidata.org/entity/Q123020155> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q123020155 description "2023 nî lūn-bûn" @default.
- Q123020155 description "2023年の論文" @default.
- Q123020155 description "2023年学术文章" @default.
- Q123020155 description "2023年学术文章" @default.
- Q123020155 description "2023年学术文章" @default.
- Q123020155 description "2023年學術文章" @default.
- Q123020155 description "2023年學術文章" @default.
- Q123020155 description "2023년 논문" @default.
- Q123020155 description "article científic" @default.
- Q123020155 description "article scientific" @default.
- Q123020155 description "article scientifique" @default.
- Q123020155 description "articol științific" @default.
- Q123020155 description "articolo scientifico" @default.
- Q123020155 description "artigo científico" @default.
- Q123020155 description "artigo científico" @default.
- Q123020155 description "artigo científico" @default.
- Q123020155 description "artikel ilmiah" @default.
- Q123020155 description "artikull shkencor" @default.
- Q123020155 description "artikulong pang-agham" @default.
- Q123020155 description "artykuł naukowy" @default.
- Q123020155 description "artículo científico publicado en 2023" @default.
- Q123020155 description "artículu científicu" @default.
- Q123020155 description "bilimsel makale" @default.
- Q123020155 description "bài báo khoa học" @default.
- Q123020155 description "naučni članak" @default.
- Q123020155 description "scienca artikolo" @default.
- Q123020155 description "scientific article published in 2023" @default.
- Q123020155 description "teaduslik artikkel" @default.
- Q123020155 description "tieteellinen artikkeli" @default.
- Q123020155 description "tudományos cikk" @default.
- Q123020155 description "vedecký článok" @default.
- Q123020155 description "vetenskaplig artikel" @default.
- Q123020155 description "videnskabelig artikel udgivet 10. marts 2023" @default.
- Q123020155 description "vitenskapelig artikkel" @default.
- Q123020155 description "vitskapeleg artikkel" @default.
- Q123020155 description "vědecký článek" @default.
- Q123020155 description "wetenschappelijk artikel" @default.
- Q123020155 description "wissenschaftlicher Artikel" @default.
- Q123020155 description "znanstveni članek" @default.
- Q123020155 description "επιστημονικό άρθρο" @default.
- Q123020155 description "мақолаи илмӣ" @default.
- Q123020155 description "наукова стаття, опублікована в березні 2023" @default.
- Q123020155 description "научна статия" @default.
- Q123020155 description "научная статья" @default.
- Q123020155 description "научни чланак" @default.
- Q123020155 description "научни чланак" @default.
- Q123020155 description "מאמר מדעי" @default.
- Q123020155 description "مقالة بحثية نشرت في 10 مارس 2023" @default.
- Q123020155 description "১০ মার্চ ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123020155 description "บทความทางวิทยาศาสตร์" @default.
- Q123020155 description "სამეცნიერო სტატია" @default.
- Q123020155 name "A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools" @default.
- Q123020155 type Item @default.
- Q123020155 label "A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools" @default.
- Q123020155 prefLabel "A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools" @default.
- Q123020155 P1433 Q123020155-1419A6E0-3F55-44F4-BD43-472C14362132 @default.
- Q123020155 P1476 Q123020155-C41428DD-41B9-47EE-AD29-64E353E70A92 @default.
- Q123020155 P2093 Q123020155-1D435804-EC3D-484D-9CB2-18B4931C2C9F @default.
- Q123020155 P2093 Q123020155-80C99BA9-5B94-4E19-BF18-8FF331D93931 @default.
- Q123020155 P2093 Q123020155-CC45FDF4-84A8-47CD-9016-4D90AC2DD169 @default.
- Q123020155 P304 Q123020155-1DCF6646-C4A0-4FED-A5A0-34E30FC66998 @default.
- Q123020155 P31 Q123020155-08AEDD77-65C2-4A96-8E2C-36ED9DFE20E3 @default.
- Q123020155 P356 Q123020155-3B27C713-23D2-46B3-8958-57BB510682DC @default.
- Q123020155 P478 Q123020155-F21E65A6-4D17-4133-B6CE-4D77CC99508B @default.
- Q123020155 P577 Q123020155-7DD6F9B4-0FFF-4883-99B8-5A058B6F9369 @default.
- Q123020155 P818 Q123020155-df7d0f6f-7809-4939-bd89-a2f1e9a76e10 @default.
- Q123020155 P356 EPTCS.375.3 @default.
- Q123020155 P1433 Q5358295 @default.
- Q123020155 P1476 "A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools" @default.
- Q123020155 P2093 "Joana Teles" @default.
- Q123020155 P2093 "Pedro Quaresma" @default.
- Q123020155 P2093 "Vanda Santos" @default.
- Q123020155 P304 "24-37" @default.
- Q123020155 P31 Q13442814 @default.
- Q123020155 P356 "10.4204/EPTCS.375.3" @default.
- Q123020155 P478 "375" @default.
- Q123020155 P577 "2023-03-10T00:00:00Z" @default.
- Q123020155 P818 "2303.05863" @default.