Matches in Wikidata for { <http://www.wikidata.org/entity/Q125689732> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- Q125689732 description "2010 nî lūn-bûn" @default.
- Q125689732 description "2010年の論文" @default.
- Q125689732 description "2010年学术文章" @default.
- Q125689732 description "2010年学术文章" @default.
- Q125689732 description "2010年学术文章" @default.
- Q125689732 description "2010年學術文章" @default.
- Q125689732 description "2010年學術文章" @default.
- Q125689732 description "2010년 논문" @default.
- Q125689732 description "article científic" @default.
- Q125689732 description "article scientific" @default.
- Q125689732 description "article scientifique" @default.
- Q125689732 description "articol științific" @default.
- Q125689732 description "articolo scientifico" @default.
- Q125689732 description "artigo científico" @default.
- Q125689732 description "artigo científico" @default.
- Q125689732 description "artigo científico" @default.
- Q125689732 description "artikel ilmiah" @default.
- Q125689732 description "artikull shkencor" @default.
- Q125689732 description "artikulong pang-agham" @default.
- Q125689732 description "artykuł naukowy" @default.
- Q125689732 description "artículo científico publicado en 2010" @default.
- Q125689732 description "artículu científicu" @default.
- Q125689732 description "bilimsel makale" @default.
- Q125689732 description "bài báo khoa học" @default.
- Q125689732 description "naučni članak" @default.
- Q125689732 description "scienca artikolo" @default.
- Q125689732 description "scientific article published in 2010" @default.
- Q125689732 description "teaduslik artikkel" @default.
- Q125689732 description "tieteellinen artikkeli" @default.
- Q125689732 description "tudományos cikk" @default.
- Q125689732 description "vedecký článok" @default.
- Q125689732 description "vetenskaplig artikel" @default.
- Q125689732 description "videnskabelig artikel udgivet maj 2010" @default.
- Q125689732 description "vitenskapelig artikkel" @default.
- Q125689732 description "vitskapeleg artikkel" @default.
- Q125689732 description "vědecký článek" @default.
- Q125689732 description "wetenschappelijk artikel" @default.
- Q125689732 description "wissenschaftlicher Artikel" @default.
- Q125689732 description "znanstveni članek" @default.
- Q125689732 description "επιστημονικό άρθρο" @default.
- Q125689732 description "мақолаи илмӣ" @default.
- Q125689732 description "наукова стаття, опублікована в травні 2010" @default.
- Q125689732 description "научна статия" @default.
- Q125689732 description "научная статья" @default.
- Q125689732 description "научни чланак" @default.
- Q125689732 description "научни чланак" @default.
- Q125689732 description "מאמר מדעי" @default.
- Q125689732 description "مقالة بحثية نشرت في مايو 2010" @default.
- Q125689732 description "মে ২০১০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q125689732 description "บทความทางวิทยาศาสตร์" @default.
- Q125689732 description "სამეცნიერო სტატია" @default.
- Q125689732 name "OOPS: An S5n Prover for Educational Settings" @default.
- Q125689732 type Item @default.
- Q125689732 label "OOPS: An S5n Prover for Educational Settings" @default.
- Q125689732 prefLabel "OOPS: An S5n Prover for Educational Settings" @default.
- Q125689732 P1433 Q125689732-2B098084-A031-4AA5-A8F3-C0656995A88E @default.
- Q125689732 P1476 Q125689732-F4DAC60C-2766-4EA6-8BF8-B85D152F35A8 @default.
- Q125689732 P2093 Q125689732-0691CBAF-BBA5-4D8C-B8F3-1D45C45A9AA6 @default.
- Q125689732 P2093 Q125689732-5B988407-06FA-4436-8349-83F70E3BA66A @default.
- Q125689732 P2093 Q125689732-623F1896-623E-4456-A738-D5DFF2CD7601 @default.
- Q125689732 P304 Q125689732-19ED9A65-A8E8-4CF9-8E31-97F49BF4144C @default.
- Q125689732 P31 Q125689732-C50B4E15-3966-48F8-915A-9BA9076BAC08 @default.
- Q125689732 P356 Q125689732-6ED91A15-95FB-4AB0-8C6A-1A80F675C22C @default.
- Q125689732 P478 Q125689732-1A6FC682-0C6B-41FC-910A-A663183AF634 @default.
- Q125689732 P577 Q125689732-2CB0E622-CE76-44EF-83B3-4A34C1EBB372 @default.
- Q125689732 P356 J.ENTCS.2010.04.018 @default.
- Q125689732 P1433 Q5358287 @default.
- Q125689732 P1476 "OOPS: An S5n Prover for Educational Settings" @default.
- Q125689732 P2093 "Elske van der Vaart" @default.
- Q125689732 P2093 "Gert van Valkenhoef" @default.
- Q125689732 P2093 "Rineke Verbrugge" @default.
- Q125689732 P304 "249-261" @default.
- Q125689732 P31 Q13442814 @default.
- Q125689732 P356 "10.1016/J.ENTCS.2010.04.018" @default.
- Q125689732 P478 "262" @default.
- Q125689732 P577 "2010-05-01T00:00:00Z" @default.