Matches in Wikidata for { <http://www.wikidata.org/entity/Q113691890> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113691890 description "2018 nî lūn-bûn" @default.
- Q113691890 description "2018年の論文" @default.
- Q113691890 description "2018年学术文章" @default.
- Q113691890 description "2018年学术文章" @default.
- Q113691890 description "2018年学术文章" @default.
- Q113691890 description "2018年学术文章" @default.
- Q113691890 description "2018年学术文章" @default.
- Q113691890 description "2018年学术文章" @default.
- Q113691890 description "2018年學術文章" @default.
- Q113691890 description "2018年學術文章" @default.
- Q113691890 description "2018年學術文章" @default.
- Q113691890 description "2018年學術文章" @default.
- Q113691890 description "2018年學術文章" @default.
- Q113691890 description "2018년 논문" @default.
- Q113691890 description "article científic" @default.
- Q113691890 description "article scientific" @default.
- Q113691890 description "article scientifique" @default.
- Q113691890 description "articol științific" @default.
- Q113691890 description "articolo scientifico" @default.
- Q113691890 description "artigo científico" @default.
- Q113691890 description "artigo científico" @default.
- Q113691890 description "artigo científico" @default.
- Q113691890 description "artikel ilmiah" @default.
- Q113691890 description "artikull shkencor" @default.
- Q113691890 description "artikulong pang-agham" @default.
- Q113691890 description "artykuł naukowy" @default.
- Q113691890 description "artículo científico publicado en 2018" @default.
- Q113691890 description "artículu científicu espublizáu en 2018" @default.
- Q113691890 description "bilimsel makale" @default.
- Q113691890 description "bài báo khoa học" @default.
- Q113691890 description "naučni članak" @default.
- Q113691890 description "scienca artikolo" @default.
- Q113691890 description "scientific article published in 2018" @default.
- Q113691890 description "scientific article published on 29 October 2018" @default.
- Q113691890 description "scientific article published on 29 October 2018" @default.
- Q113691890 description "teaduslik artikkel" @default.
- Q113691890 description "tieteellinen artikkeli" @default.
- Q113691890 description "tudományos cikk" @default.
- Q113691890 description "vedecký článok" @default.
- Q113691890 description "vetenskaplig artikel" @default.
- Q113691890 description "videnskabelig artikel udgivet 29. oktober 2018" @default.
- Q113691890 description "vitenskapelig artikkel" @default.
- Q113691890 description "vitskapeleg artikkel" @default.
- Q113691890 description "vědecký článek" @default.
- Q113691890 description "wetenschappelijk artikel" @default.
- Q113691890 description "wissenschaftlicher Artikel" @default.
- Q113691890 description "επιστημονικό άρθρο" @default.
- Q113691890 description "мақолаи илмӣ" @default.
- Q113691890 description "наукова стаття, опублікована в жовтні 2018" @default.
- Q113691890 description "научна статия" @default.
- Q113691890 description "научная статья" @default.
- Q113691890 description "научни чланак" @default.
- Q113691890 description "научни чланак" @default.
- Q113691890 description "מאמר מדעי" @default.
- Q113691890 description "مقالة بحثية نشرت في 29 أكتوبر 2018" @default.
- Q113691890 description "২৯ অক্টোবর ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113691890 description "บทความทางวิทยาศาสตร์" @default.
- Q113691890 description "სამეცნიერო სტატია" @default.
- Q113691890 name "DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)" @default.
- Q113691890 type Item @default.
- Q113691890 label "DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)" @default.
- Q113691890 prefLabel "DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)" @default.
- Q113691890 P1433 Q113691890-350F6686-3658-434D-A6DC-F5D4C493F479 @default.
- Q113691890 P1476 Q113691890-0187F7E0-F450-4AE4-A3F9-5C885802484D @default.
- Q113691890 P2093 Q113691890-2625CA11-F427-4F0A-AF9C-539B23CACC3B @default.
- Q113691890 P304 Q113691890-A284863E-87E1-4426-9D39-0B7B7FACB570 @default.
- Q113691890 P31 Q113691890-F6AEA5F1-5659-4419-859A-2BC2D2FEFD72 @default.
- Q113691890 P356 Q113691890-68E47510-D645-469C-B89E-64C89CAB6D4B @default.
- Q113691890 P478 Q113691890-D516BD2A-CB1A-408C-839A-9011B77A7613 @default.
- Q113691890 P577 Q113691890-554AF00B-A0CC-4DE5-8083-E0F0CD47C0F8 @default.
- Q113691890 P818 Q113691890-3b3fb48f-c61e-4a56-9255-ead0192f5126 @default.
- Q113691890 P356 EPTCS.280.12 @default.
- Q113691890 P1433 Q5358295 @default.
- Q113691890 P1476 "DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)" @default.
- Q113691890 P2093 "Matt Kaufmann" @default.
- Q113691890 P304 "161-163" @default.
- Q113691890 P31 Q13442814 @default.
- Q113691890 P356 "10.4204/EPTCS.280.12" @default.
- Q113691890 P478 "280" @default.
- Q113691890 P577 "2018-10-29T00:00:00Z" @default.
- Q113691890 P818 "1810.05666" @default.