Wikidata |

Wikidata

Matches in Wikidata for { <http://www.wikidata.org/entity/Q57977956> ?p ?o ?g. }

Showing items 1 to 100 of ±109 with 100 items per page.

Q57977956 description "2008 nî lūn-bûn" @default.
Q57977956 description "2008年の論文" @default.
Q57977956 description "2008年学术文章" @default.
Q57977956 description "2008年学术文章" @default.
Q57977956 description "2008年学术文章" @default.
Q57977956 description "2008年学术文章" @default.
Q57977956 description "2008年学术文章" @default.
Q57977956 description "2008年学术文章" @default.
Q57977956 description "2008年學術文章" @default.
Q57977956 description "2008年學術文章" @default.
Q57977956 description "2008年學術文章" @default.
Q57977956 description "2008年學術文章" @default.
Q57977956 description "2008年學術文章" @default.
Q57977956 description "2008년 논문" @default.
Q57977956 description "article científic" @default.
Q57977956 description "article scientific" @default.
Q57977956 description "article scientifique" @default.
Q57977956 description "articol științific" @default.
Q57977956 description "articolo scientifico" @default.
Q57977956 description "artigo científico" @default.
Q57977956 description "artigo científico" @default.
Q57977956 description "artigo científico" @default.
Q57977956 description "artikel ilmiah" @default.
Q57977956 description "artikull shkencor" @default.
Q57977956 description "artikulong pang-agham" @default.
Q57977956 description "artykuł naukowy" @default.
Q57977956 description "artículo científico publicado en 2008" @default.
Q57977956 description "artículu científicu" @default.
Q57977956 description "bilimsel makale" @default.
Q57977956 description "bài báo khoa học" @default.
Q57977956 description "naučni članak" @default.
Q57977956 description "scienca artikolo" @default.
Q57977956 description "scientific article published in 2008" @default.
Q57977956 description "scientific article published in 2008" @default.
Q57977956 description "scientific article published in 2008" @default.
Q57977956 description "teaduslik artikkel" @default.
Q57977956 description "tieteellinen artikkeli" @default.
Q57977956 description "tudományos cikk" @default.
Q57977956 description "vedecký článok" @default.
Q57977956 description "vetenskaplig artikel" @default.
Q57977956 description "videnskabelig artikel" @default.
Q57977956 description "vitenskapelig artikkel" @default.
Q57977956 description "vitskapeleg artikkel" @default.
Q57977956 description "vědecký článek" @default.
Q57977956 description "wetenschappelijk artikel" @default.
Q57977956 description "wissenschaftlicher Artikel" @default.
Q57977956 description "επιστημονικό άρθρο" @default.
Q57977956 description "мақолаи илмӣ" @default.
Q57977956 description "наукова стаття, опублікована у 2008" @default.
Q57977956 description "научна статия" @default.
Q57977956 description "научная статья" @default.
Q57977956 description "научни чланак" @default.
Q57977956 description "научни чланак" @default.
Q57977956 description "מאמר מדעי" @default.
Q57977956 description "مقالة علمية نشرت في 2008" @default.
Q57977956 description "২০০৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
Q57977956 description "บทความทางวิทยาศาสตร์" @default.
Q57977956 description "სამეცნიერო სტატია" @default.
Q57977956 name "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 name "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 type Item @default.
Q57977956 label "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 label "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 prefLabel "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 prefLabel "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 P1433 Q57977956-23C8A28A-F19E-45E8-A509-2E708E74A248 @default.
Q57977956 P1476 Q57977956-2546BF5E-6777-4EAE-8F6E-F17FC2FFD123 @default.
Q57977956 P2093 Q57977956-546E880A-AFA9-4829-891A-849D4CE66ECC @default.
Q57977956 P2093 Q57977956-849956A2-C1E9-4270-A4BF-DF5A5D1B156C @default.
Q57977956 P2093 Q57977956-8FD0ED34-7E53-458F-A3BE-A09D31A78EB1 @default.
Q57977956 P2093 Q57977956-99DF4549-86BE-4E26-AEB7-47A7EDB30095 @default.
Q57977956 P2860 Q57977956-0F574A47-D176-4435-B58C-5730973850DE @default.
Q57977956 P2860 Q57977956-71DE2239-C1AF-4C1D-A765-79641F7FC824 @default.
Q57977956 P2860 Q57977956-976B8715-D58C-4652-82AC-40322BA7F9D2 @default.
Q57977956 P304 Q57977956-4BF9EA3B-5F08-4EE2-B85A-CE3FC8A3E0AA @default.
Q57977956 P31 Q57977956-58BD78E3-CFC9-4E44-9EE8-FA1CC5E15063 @default.
Q57977956 P356 Q57977956-F7F3E436-5742-426B-A5E2-9C6E2F13454F @default.
Q57977956 P407 Q57977956-08C3E615-80BD-4520-8EC5-2F57E175E78E @default.
Q57977956 P50 Q57977956-59D1D25F-08B0-495C-BD2B-E0A08AAABAC8 @default.
Q57977956 P50 Q57977956-F8A3FF5F-0A5B-42C1-8C7B-2739CA559981 @default.
Q57977956 P50 Q57977956-FB5B22C6-DD7C-4FAE-9CFC-3DBD75E9F93F @default.
Q57977956 P577 Q57977956-55D0B0AC-3A6E-4BD3-81AB-AA6CEDF238A3 @default.
Q57977956 P6104 Q57977956-47AF45C8-FA66-44D7-BDB4-15E5BDC419EC @default.
Q57977956 P894 Q57977956-59C3837E-951A-43A4-852C-48817852C0D7 @default.
Q57977956 P8978 Q57977956-93485447-C804-4CEF-BB13-FAF139EEC33B @default.
Q57977956 P921 Q57977956-F1E56702-14B0-45BF-BD5E-85BC493D1BB5 @default.
Q57977956 P356 978-3-540-89982-2_39 @default.
Q57977956 P8978 MontaliTACGLM08 @default.
Q57977956 P1433 Q924044 @default.
Q57977956 P1476 "Verification from Declarative Specifications Using Logic Programming" @default.
Q57977956 P2093 "Evelina Lamma" @default.
Q57977956 P2093 "Federico Chesani" @default.
Q57977956 P2093 "Marco Gavanelli" @default.
Q57977956 P2093 "Paola Mello" @default.
Q57977956 P2860 Q55886416 @default.
Q57977956 P2860 Q55898551 @default.
Q57977956 P2860 Q57977962 @default.
Q57977956 P304 "440-454" @default.
Q57977956 P31 Q13442814 @default.
Q57977956 P356 "10.1007/978-3-540-89982-2_39" @default.