Matches in Wikidata for { <http://www.wikidata.org/entity/Q104101648> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q104101648 description "2019 nî lūn-bûn" @default.
- Q104101648 description "2019年の論文" @default.
- Q104101648 description "2019年学术文章" @default.
- Q104101648 description "2019年学术文章" @default.
- Q104101648 description "2019年学术文章" @default.
- Q104101648 description "2019年学术文章" @default.
- Q104101648 description "2019年学术文章" @default.
- Q104101648 description "2019年学术文章" @default.
- Q104101648 description "2019年學術文章" @default.
- Q104101648 description "2019年學術文章" @default.
- Q104101648 description "2019年學術文章" @default.
- Q104101648 description "2019年學術文章" @default.
- Q104101648 description "2019年學術文章" @default.
- Q104101648 description "2019년 논문" @default.
- Q104101648 description "article científic" @default.
- Q104101648 description "article scientific" @default.
- Q104101648 description "article scientifique" @default.
- Q104101648 description "articol științific" @default.
- Q104101648 description "articolo scientifico" @default.
- Q104101648 description "artigo científico" @default.
- Q104101648 description "artigo científico" @default.
- Q104101648 description "artigo científico" @default.
- Q104101648 description "artikel ilmiah" @default.
- Q104101648 description "artikull shkencor" @default.
- Q104101648 description "artikulong pang-agham" @default.
- Q104101648 description "artykuł naukowy" @default.
- Q104101648 description "artículo científico publicado en 2019" @default.
- Q104101648 description "artículu científicu" @default.
- Q104101648 description "bilimsel makale" @default.
- Q104101648 description "bài báo khoa học" @default.
- Q104101648 description "naučni članak" @default.
- Q104101648 description "scienca artikolo" @default.
- Q104101648 description "scientific article published on 26 February 2019" @default.
- Q104101648 description "scientific article published on 26 February 2019" @default.
- Q104101648 description "scientific article published on 26 February 2019" @default.
- Q104101648 description "teaduslik artikkel" @default.
- Q104101648 description "tieteellinen artikkeli" @default.
- Q104101648 description "tudományos cikk" @default.
- Q104101648 description "vedecký článok" @default.
- Q104101648 description "vetenskaplig artikel" @default.
- Q104101648 description "videnskabelig artikel udgivet 26. februar 2019" @default.
- Q104101648 description "vitenskapelig artikkel" @default.
- Q104101648 description "vitskapeleg artikkel" @default.
- Q104101648 description "vědecký článek" @default.
- Q104101648 description "wetenschappelijk artikel" @default.
- Q104101648 description "wissenschaftlicher Artikel" @default.
- Q104101648 description "επιστημονικό άρθρο" @default.
- Q104101648 description "мақолаи илмӣ" @default.
- Q104101648 description "наукова стаття, опублікована в лютому 2019" @default.
- Q104101648 description "научна статия" @default.
- Q104101648 description "научная статья" @default.
- Q104101648 description "научни чланак" @default.
- Q104101648 description "научни чланак" @default.
- Q104101648 description "գիտական հոդված հրատարակված 2019 թվականի փետրվարի 26-ին" @default.
- Q104101648 description "מאמר מדעי" @default.
- Q104101648 description "مقالة علمية نشرت في 26 فبراير 2019" @default.
- Q104101648 description "২৬ ফেব্রুয়ারি ২০১৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q104101648 description "บทความทางวิทยาศาสตร์" @default.
- Q104101648 description "სამეცნიერო სტატია" @default.
- Q104101648 name "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 name "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 type Item @default.
- Q104101648 label "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 label "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 prefLabel "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 prefLabel "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 P1433 Q104101648-780532B9-0E81-4A72-8C37-1B0C7E26CA1F @default.
- Q104101648 P1476 Q104101648-FC257D44-BDCF-4344-8CAD-25A23A6848C3 @default.
- Q104101648 P2093 Q104101648-83842A2E-2D2F-4B5D-A9AE-01E03CC3CC33 @default.
- Q104101648 P2093 Q104101648-DFB405EB-808B-4A23-A5FA-4B15EA3278BD @default.
- Q104101648 P304 Q104101648-35DE111A-B741-4A0F-AD70-62D71D0BB4F1 @default.
- Q104101648 P31 Q104101648-55305105-C47C-4224-8EFB-546E45C788DF @default.
- Q104101648 P356 Q104101648-7BD844B8-9D1B-4CEB-A3D7-062257B61D6C @default.
- Q104101648 P433 Q104101648-35D23EDD-8D06-416C-841A-84F09AB76BF3 @default.
- Q104101648 P478 Q104101648-0CF24C2C-92E6-45C1-A46F-717B4CACF0C8 @default.
- Q104101648 P50 Q104101648-FBBD2C95-E2C2-468C-A732-B5A8BEE45719 @default.
- Q104101648 P577 Q104101648-7E0FEF50-CBB0-4E37-986E-D57CD2FB2EE5 @default.
- Q104101648 P698 Q104101648-89114CED-0FA7-4D5E-A2F9-629CDBF93464 @default.
- Q104101648 P8978 Q104101648-86FB2AAC-EEB6-4F71-AAFF-B1CA76AFCE75 @default.
- Q104101648 P356 S10703-018-00329-2 @default.
- Q104101648 P698 33281299 @default.
- Q104101648 P8978 KaufmannBK20 @default.
- Q104101648 P1433 Q15755416 @default.
- Q104101648 P1476 "Incremental column-wise verification of arithmetic circuits using computer algebra" @default.
- Q104101648 P2093 "Daniela Kaufmann" @default.
- Q104101648 P2093 "Manuel Kauers" @default.
- Q104101648 P304 "22-54" @default.
- Q104101648 P31 Q13442814 @default.
- Q104101648 P356 "10.1007/S10703-018-00329-2" @default.
- Q104101648 P433 "1" @default.
- Q104101648 P478 "56" @default.
- Q104101648 P50 Q687404 @default.
- Q104101648 P577 "2019-02-26T00:00:00Z" @default.
- Q104101648 P698 "33281299" @default.
- Q104101648 P8978 "journals/fmsd/KaufmannBK20" @default.