Matches in Wikidata for { <http://www.wikidata.org/entity/Q125897995> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q125897995 description "2011 nî lūn-bûn" @default.
- Q125897995 description "2011年の論文" @default.
- Q125897995 description "2011年学术文章" @default.
- Q125897995 description "2011年学术文章" @default.
- Q125897995 description "2011年学术文章" @default.
- Q125897995 description "2011年學術文章" @default.
- Q125897995 description "2011年學術文章" @default.
- Q125897995 description "2011년 논문" @default.
- Q125897995 description "article científic" @default.
- Q125897995 description "article scientific" @default.
- Q125897995 description "article scientifique" @default.
- Q125897995 description "articol științific" @default.
- Q125897995 description "articolo scientifico" @default.
- Q125897995 description "artigo científico" @default.
- Q125897995 description "artigo científico" @default.
- Q125897995 description "artigo científico" @default.
- Q125897995 description "artikel ilmiah" @default.
- Q125897995 description "artikull shkencor" @default.
- Q125897995 description "artikulong pang-agham" @default.
- Q125897995 description "artykuł naukowy" @default.
- Q125897995 description "artículo científico publicado en 2011" @default.
- Q125897995 description "artículu científicu" @default.
- Q125897995 description "bilimsel makale" @default.
- Q125897995 description "bài báo khoa học" @default.
- Q125897995 description "naučni članak" @default.
- Q125897995 description "scienca artikolo" @default.
- Q125897995 description "scientific article published in 2011" @default.
- Q125897995 description "teaduslik artikkel" @default.
- Q125897995 description "tieteellinen artikkeli" @default.
- Q125897995 description "tudományos cikk" @default.
- Q125897995 description "vedecký článok" @default.
- Q125897995 description "vetenskaplig artikel" @default.
- Q125897995 description "videnskabelig artikel udgivet juni 2011" @default.
- Q125897995 description "vitenskapelig artikkel" @default.
- Q125897995 description "vitskapeleg artikkel" @default.
- Q125897995 description "vědecký článek" @default.
- Q125897995 description "wetenschappelijk artikel" @default.
- Q125897995 description "wissenschaftlicher Artikel" @default.
- Q125897995 description "znanstveni članek" @default.
- Q125897995 description "επιστημονικό άρθρο" @default.
- Q125897995 description "мақолаи илмӣ" @default.
- Q125897995 description "наукова стаття, опублікована в червні 2011" @default.
- Q125897995 description "научна статия" @default.
- Q125897995 description "научная статья" @default.
- Q125897995 description "научни чланак" @default.
- Q125897995 description "научни чланак" @default.
- Q125897995 description "מאמר מדעי" @default.
- Q125897995 description "مقالة بحثية نشرت في يونيو 2011" @default.
- Q125897995 description "জুন ২০১১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q125897995 description "บทความทางวิทยาศาสตร์" @default.
- Q125897995 description "სამეცნიერო სტატია" @default.
- Q125897995 name "Specification and verification" @default.
- Q125897995 type Item @default.
- Q125897995 label "Specification and verification" @default.
- Q125897995 prefLabel "Specification and verification" @default.
- Q125897995 P1433 Q125897995-050A79D4-B10B-436C-BC98-E678938CF6BB @default.
- Q125897995 P1476 Q125897995-C8D2BCE3-2E9F-4298-8A44-04102BC311CA @default.
- Q125897995 P2093 Q125897995-16F50747-5B0B-4C52-9494-804C38EAD62C @default.
- Q125897995 P2093 Q125897995-438967C0-D673-4FE1-B13E-5446CCD0D6D7 @default.
- Q125897995 P2093 Q125897995-9DD88F6C-1B40-4543-8729-0D30E0C249D6 @default.
- Q125897995 P2093 Q125897995-B799C8D6-2C04-4ECE-9CFF-DD823FB90CDA @default.
- Q125897995 P2093 Q125897995-C4F8B960-329C-4A5F-8514-80D26BAF70EE @default.
- Q125897995 P2093 Q125897995-D16C1481-62DC-4AC5-BB45-1FC6276917F8 @default.
- Q125897995 P304 Q125897995-C94576D8-0B3A-4578-9967-4CBA26D40031 @default.
- Q125897995 P31 Q125897995-1E3BBACA-EA03-4944-9232-417DF7B572DA @default.
- Q125897995 P356 Q125897995-DC6C1B45-4B04-4CDF-B02B-B535D1730B76 @default.
- Q125897995 P433 Q125897995-9DEDF880-3F55-4249-8D83-DDB2C67039FE @default.
- Q125897995 P478 Q125897995-8B7F0163-41EB-42DA-A94E-F97E95073286 @default.
- Q125897995 P577 Q125897995-54263316-3252-413A-BA7C-308AC1D8845B @default.
- Q125897995 P356 1953122.1953145 @default.
- Q125897995 P1433 Q1120519 @default.
- Q125897995 P1476 "Specification and verification" @default.
- Q125897995 P2093 "Herman Venter" @default.
- Q125897995 P2093 "K. Rustan M. Leino" @default.
- Q125897995 P2093 "Manuel Fähndrich" @default.
- Q125897995 P2093 "Mike Barnett" @default.
- Q125897995 P2093 "Peter Müller" @default.
- Q125897995 P2093 "Wolfram Schulte" @default.
- Q125897995 P304 "81-91" @default.
- Q125897995 P31 Q13442814 @default.
- Q125897995 P356 "10.1145/1953122.1953145" @default.
- Q125897995 P433 "6" @default.
- Q125897995 P478 "54" @default.
- Q125897995 P577 "2011-06-01T00:00:00Z" @default.