Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041487> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q62041487 description "1993 nî lūn-bûn" @default.
- Q62041487 description "1993年の論文" @default.
- Q62041487 description "1993年学术文章" @default.
- Q62041487 description "1993年学术文章" @default.
- Q62041487 description "1993年学术文章" @default.
- Q62041487 description "1993年学术文章" @default.
- Q62041487 description "1993年学术文章" @default.
- Q62041487 description "1993年学术文章" @default.
- Q62041487 description "1993年學術文章" @default.
- Q62041487 description "1993年學術文章" @default.
- Q62041487 description "1993年學術文章" @default.
- Q62041487 description "1993年學術文章" @default.
- Q62041487 description "1993年學術文章" @default.
- Q62041487 description "1993년 논문" @default.
- Q62041487 description "article científic" @default.
- Q62041487 description "article scientific" @default.
- Q62041487 description "article scientifique" @default.
- Q62041487 description "articol științific" @default.
- Q62041487 description "articolo scientifico" @default.
- Q62041487 description "artigo científico" @default.
- Q62041487 description "artigo científico" @default.
- Q62041487 description "artigo científico" @default.
- Q62041487 description "artikel ilmiah" @default.
- Q62041487 description "artikull shkencor" @default.
- Q62041487 description "artikulong pang-agham" @default.
- Q62041487 description "artykuł naukowy" @default.
- Q62041487 description "artículo científico publicado en 1993" @default.
- Q62041487 description "artículu científicu" @default.
- Q62041487 description "bilimsel makale" @default.
- Q62041487 description "bài báo khoa học" @default.
- Q62041487 description "naučni članak" @default.
- Q62041487 description "scienca artikolo" @default.
- Q62041487 description "scientific article published in 1993" @default.
- Q62041487 description "scientific article published in 1993" @default.
- Q62041487 description "scientific article published in 1993" @default.
- Q62041487 description "teaduslik artikkel" @default.
- Q62041487 description "tieteellinen artikkeli" @default.
- Q62041487 description "tudományos cikk" @default.
- Q62041487 description "vedecký článok" @default.
- Q62041487 description "vetenskaplig artikel" @default.
- Q62041487 description "videnskabelig artikel" @default.
- Q62041487 description "vitenskapelig artikkel" @default.
- Q62041487 description "vitskapeleg artikkel" @default.
- Q62041487 description "vědecký článek" @default.
- Q62041487 description "wetenschappelijk artikel" @default.
- Q62041487 description "wissenschaftlicher Artikel" @default.
- Q62041487 description "επιστημονικό άρθρο" @default.
- Q62041487 description "мақолаи илмӣ" @default.
- Q62041487 description "наукова стаття, опублікована в 1993" @default.
- Q62041487 description "научна статия" @default.
- Q62041487 description "научная статья" @default.
- Q62041487 description "научни чланак" @default.
- Q62041487 description "научни чланак" @default.
- Q62041487 description "מאמר מדעי" @default.
- Q62041487 description "مقالة علمية نشرت في 1993" @default.
- Q62041487 description "১৯৯৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041487 description "บทความทางวิทยาศาสตร์" @default.
- Q62041487 description "სამეცნიერო სტატია" @default.
- Q62041487 name "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 name "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 type Item @default.
- Q62041487 label "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 label "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 prefLabel "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 prefLabel "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 P1433 Q62041487-3D4C0E00-C970-4DBB-9F39-634CD63C2E87 @default.
- Q62041487 P1476 Q62041487-922C43BD-0D84-4D0A-B42B-2680A2415979 @default.
- Q62041487 P2093 Q62041487-48513552-EBF2-416D-B2D0-D8491EB8E00B @default.
- Q62041487 P2093 Q62041487-77405721-0A91-4249-A65A-F0C2F0C661E5 @default.
- Q62041487 P304 Q62041487-56C5F37F-AF56-4DE5-AC87-7C9F65175F60 @default.
- Q62041487 P31 Q62041487-8EC13BB4-2572-4713-9A5D-74DCC987BF69 @default.
- Q62041487 P356 Q62041487-0848A13C-2038-4812-A305-FD24199E3EFD @default.
- Q62041487 P407 Q62041487-39ABD934-D635-4CEC-AF8E-E6D79D408EDD @default.
- Q62041487 P50 Q62041487-DC2CC97A-355A-4A88-AF6D-A484F528DA58 @default.
- Q62041487 P577 Q62041487-BDD1F1AA-C49B-493E-98F3-0C3F960A62AF @default.
- Q62041487 P8978 Q62041487-8B2AA8B5-0E76-42C7-87E8-EA1ADAF799F4 @default.
- Q62041487 P356 3-540-57292-9_37 @default.
- Q62041487 P8978 ArmandoCV93 @default.
- Q62041487 P1433 Q924044 @default.
- Q62041487 P1476 "Building and executing proof strategies in a formal metatheory" @default.
- Q62041487 P2093 "Alessandro Armando" @default.
- Q62041487 P2093 "Luca Viganò" @default.
- Q62041487 P304 "11-22" @default.
- Q62041487 P31 Q13442814 @default.
- Q62041487 P356 "10.1007/3-540-57292-9_37" @default.
- Q62041487 P407 Q1860 @default.
- Q62041487 P50 Q62036606 @default.
- Q62041487 P577 "1993-01-01T00:00:00Z" @default.
- Q62041487 P8978 "conf/aiia/ArmandoCV93" @default.