Matches in Wikidata for { <http://www.wikidata.org/entity/Q125025150> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- Q125025150 description "2023 nî lūn-bûn" @default.
- Q125025150 description "2023年の論文" @default.
- Q125025150 description "2023年学术文章" @default.
- Q125025150 description "2023年学术文章" @default.
- Q125025150 description "2023年学术文章" @default.
- Q125025150 description "2023年學術文章" @default.
- Q125025150 description "2023年學術文章" @default.
- Q125025150 description "2023년 논문" @default.
- Q125025150 description "article científic" @default.
- Q125025150 description "article scientific" @default.
- Q125025150 description "article scientifique" @default.
- Q125025150 description "articol științific" @default.
- Q125025150 description "articolo scientifico" @default.
- Q125025150 description "artigo científico" @default.
- Q125025150 description "artigo científico" @default.
- Q125025150 description "artigo científico" @default.
- Q125025150 description "artikel ilmiah" @default.
- Q125025150 description "artikull shkencor" @default.
- Q125025150 description "artikulong pang-agham" @default.
- Q125025150 description "artykuł naukowy" @default.
- Q125025150 description "artículo científico publicado en 2023" @default.
- Q125025150 description "artículu científicu" @default.
- Q125025150 description "bilimsel makale" @default.
- Q125025150 description "bài báo khoa học" @default.
- Q125025150 description "naučni članak" @default.
- Q125025150 description "scienca artikolo" @default.
- Q125025150 description "scientific article published in 2023" @default.
- Q125025150 description "teaduslik artikkel" @default.
- Q125025150 description "tieteellinen artikkeli" @default.
- Q125025150 description "tudományos cikk" @default.
- Q125025150 description "vedecký článok" @default.
- Q125025150 description "vetenskaplig artikel" @default.
- Q125025150 description "videnskabelig artikel udgivet 12. september 2023" @default.
- Q125025150 description "vitenskapelig artikkel" @default.
- Q125025150 description "vitskapeleg artikkel" @default.
- Q125025150 description "vědecký článek" @default.
- Q125025150 description "wetenschappelijk artikel" @default.
- Q125025150 description "wissenschaftlicher Artikel" @default.
- Q125025150 description "znanstveni članek" @default.
- Q125025150 description "επιστημονικό άρθρο" @default.
- Q125025150 description "мақолаи илмӣ" @default.
- Q125025150 description "наукова стаття, опублікована у вересні 2023" @default.
- Q125025150 description "научна статия" @default.
- Q125025150 description "научная статья" @default.
- Q125025150 description "научни чланак" @default.
- Q125025150 description "научни чланак" @default.
- Q125025150 description "מאמר מדעי" @default.
- Q125025150 description "مقالة بحثية نشرت في 12 سبتمبر 2023" @default.
- Q125025150 description "১২ সেপ্টেম্বর ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q125025150 description "บทความทางวิทยาศาสตร์" @default.
- Q125025150 description "სამეცნიერო სტატია" @default.
- Q125025150 name "Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials" @default.
- Q125025150 type Item @default.
- Q125025150 label "Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials" @default.
- Q125025150 prefLabel "Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials" @default.
- Q125025150 P1433 Q125025150-C6088EAE-8647-4C25-851A-BACB6B5DF445 @default.
- Q125025150 P1476 Q125025150-D3B6A48D-FF78-4216-ABED-C1E935199497 @default.
- Q125025150 P2093 Q125025150-3A3A7F8B-66B8-4993-A4AC-844764B7D0BD @default.
- Q125025150 P2093 Q125025150-7C858CAC-5748-4B16-85B9-0A483998183E @default.
- Q125025150 P2093 Q125025150-8058F599-4A6B-4031-A26F-6DE6B53F12F8 @default.
- Q125025150 P2093 Q125025150-A1F267AE-76E8-420A-BC42-BCFD501AFD0B @default.
- Q125025150 P304 Q125025150-FA2E4F4A-D973-48D4-8379-02250E3A62D2 @default.
- Q125025150 P31 Q125025150-BE2CC543-294C-4286-8E27-BD2FF74E1EAE @default.
- Q125025150 P356 Q125025150-A6634BB1-3B9C-4A33-99AB-BF0254534740 @default.
- Q125025150 P478 Q125025150-4DC44BCE-91D6-4137-BCC5-0DD4698EC4EA @default.
- Q125025150 P577 Q125025150-A1698BA6-907A-4ED5-842A-9A3F100D81D0 @default.
- Q125025150 P818 Q125025150-c8199ecf-4818-499e-bec4-3864892ec8c0 @default.
- Q125025150 P356 EPTCS.385.33 @default.
- Q125025150 P1433 Q5358295 @default.
- Q125025150 P1476 "Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials" @default.
- Q125025150 P2093 "Daniela Ferreiro" @default.
- Q125025150 P2093 "José F. Morales" @default.
- Q125025150 P2093 "Manuel V. Hermenegildo" @default.
- Q125025150 P2093 "Salvador Abreu" @default.
- Q125025150 P304 "324-329" @default.
- Q125025150 P31 Q13442814 @default.
- Q125025150 P356 "10.4204/EPTCS.385.33" @default.
- Q125025150 P478 "385" @default.
- Q125025150 P577 "2023-09-12T00:00:00Z" @default.
- Q125025150 P818 "2308.15896" @default.