Matches in Wikidata for { <http://www.wikidata.org/entity/Q113870178> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q113870178 description "2022 nî lūn-bûn" @default.
- Q113870178 description "2022年の論文" @default.
- Q113870178 description "2022年学术文章" @default.
- Q113870178 description "2022年学术文章" @default.
- Q113870178 description "2022年学术文章" @default.
- Q113870178 description "2022年学术文章" @default.
- Q113870178 description "2022年学术文章" @default.
- Q113870178 description "2022年学术文章" @default.
- Q113870178 description "2022年學術文章" @default.
- Q113870178 description "2022年學術文章" @default.
- Q113870178 description "2022年學術文章" @default.
- Q113870178 description "2022年學術文章" @default.
- Q113870178 description "2022年學術文章" @default.
- Q113870178 description "2022년 논문" @default.
- Q113870178 description "article científic" @default.
- Q113870178 description "article scientific" @default.
- Q113870178 description "article scientifique" @default.
- Q113870178 description "articol științific" @default.
- Q113870178 description "articolo scientifico" @default.
- Q113870178 description "artigo científico" @default.
- Q113870178 description "artigo científico" @default.
- Q113870178 description "artigo científico" @default.
- Q113870178 description "artikel ilmiah" @default.
- Q113870178 description "artikull shkencor" @default.
- Q113870178 description "artikulong pang-agham" @default.
- Q113870178 description "artykuł naukowy" @default.
- Q113870178 description "artículo científico publicado en 2022" @default.
- Q113870178 description "artículu científicu espublizáu en 2022" @default.
- Q113870178 description "bilimsel makale" @default.
- Q113870178 description "bài báo khoa học" @default.
- Q113870178 description "naučni članak" @default.
- Q113870178 description "scienca artikolo" @default.
- Q113870178 description "scientific article published in 2022" @default.
- Q113870178 description "scientific article published in July 2022" @default.
- Q113870178 description "scientific article published in July 2022" @default.
- Q113870178 description "teaduslik artikkel" @default.
- Q113870178 description "tieteellinen artikkeli" @default.
- Q113870178 description "tudományos cikk" @default.
- Q113870178 description "vedecký článok" @default.
- Q113870178 description "vetenskaplig artikel" @default.
- Q113870178 description "videnskabelig artikel udgivet juli 2022" @default.
- Q113870178 description "vitenskapelig artikkel" @default.
- Q113870178 description "vitskapeleg artikkel" @default.
- Q113870178 description "vědecký článek" @default.
- Q113870178 description "wetenschappelijk artikel" @default.
- Q113870178 description "wissenschaftlicher Artikel" @default.
- Q113870178 description "επιστημονικό άρθρο" @default.
- Q113870178 description "мақолаи илмӣ" @default.
- Q113870178 description "наукова стаття, опублікована в липні 2022" @default.
- Q113870178 description "научна статия" @default.
- Q113870178 description "научная статья" @default.
- Q113870178 description "научни чланак" @default.
- Q113870178 description "научни чланак" @default.
- Q113870178 description "מאמר מדעי" @default.
- Q113870178 description "مقالة بحثية نشرت في يوليو 2022" @default.
- Q113870178 description "জুলাই ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113870178 description "บทความทางวิทยาศาสตร์" @default.
- Q113870178 description "სამეცნიერო სტატია" @default.
- Q113870178 name "On free abelian categories for theorem proving" @default.
- Q113870178 type Item @default.
- Q113870178 label "On free abelian categories for theorem proving" @default.
- Q113870178 prefLabel "On free abelian categories for theorem proving" @default.
- Q113870178 P1433 Q113870178-86DE48A4-4340-4588-BF20-94984F5DCADE @default.
- Q113870178 P1476 Q113870178-4FF49E40-4CBF-43A9-A5DA-9433F5DE11AF @default.
- Q113870178 P2093 Q113870178-BC2959C4-31F5-4BF6-8ECC-32D49BA853BF @default.
- Q113870178 P304 Q113870178-4541C540-F6D5-4E7F-A290-2073B9910831 @default.
- Q113870178 P31 Q113870178-82080A5D-E9EE-4C34-A163-EEC78A736A0A @default.
- Q113870178 P356 Q113870178-2FA97232-1EDE-4D85-9285-9F60F857EE5B @default.
- Q113870178 P433 Q113870178-1CFB9956-EC81-4DDC-88A8-7F5987B0C48F @default.
- Q113870178 P478 Q113870178-B9AC5CEF-7BF9-4761-B7EB-D6B96D1FC1E0 @default.
- Q113870178 P577 Q113870178-B8BD9955-E56E-48FE-8E99-78000F76C329 @default.
- Q113870178 P6104 Q113870178-32979997-E9BD-4E4C-8A21-F0EB742277EE @default.
- Q113870178 P894 Q113870178-1582EC58-97A7-42B4-AE2B-885DB4556D45 @default.
- Q113870178 P356 J.JPAA.2021.106994 @default.
- Q113870178 P1433 Q15441938 @default.
- Q113870178 P1476 "On free abelian categories for theorem proving" @default.
- Q113870178 P2093 "Sebastian Posur" @default.
- Q113870178 P304 "106994" @default.
- Q113870178 P31 Q13442814 @default.
- Q113870178 P356 "10.1016/J.JPAA.2021.106994" @default.
- Q113870178 P433 "7" @default.
- Q113870178 P478 "226" @default.
- Q113870178 P577 "2022-07-01T00:00:00Z" @default.
- Q113870178 P6104 Q8487137 @default.
- Q113870178 P894 "1481.18012" @default.