Matches in Wikidata for { <http://www.wikidata.org/entity/Q57733847> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q57733847 description "article scientifique publié en 1999" @default.
- Q57733847 description "wetenschappelijk artikel" @default.
- Q57733847 description "наукова стаття, опублікована в 1999" @default.
- Q57733847 name "A Lightweight Approach to Formal Methods" @default.
- Q57733847 name "A Lightweight Approach to Formal Methods" @default.
- Q57733847 type Item @default.
- Q57733847 label "A Lightweight Approach to Formal Methods" @default.
- Q57733847 label "A Lightweight Approach to Formal Methods" @default.
- Q57733847 prefLabel "A Lightweight Approach to Formal Methods" @default.
- Q57733847 prefLabel "A Lightweight Approach to Formal Methods" @default.
- Q57733847 P1104 Q57733847-B49303BD-A314-4F6A-92E1-8FB26A8DBDCC @default.
- Q57733847 P1433 Q57733847-E8A33836-02B1-4470-AE8C-E762D457597F @default.
- Q57733847 P1476 Q57733847-76491FD6-6F61-4913-8CB4-A4EEF70CF625 @default.
- Q57733847 P2093 Q57733847-4E85BC75-C7F2-4277-BF63-B4960B7590C2 @default.
- Q57733847 P2093 Q57733847-9015ED4F-368B-448C-A0D5-EC74AC48B59A @default.
- Q57733847 P304 Q57733847-654EF17E-493B-40FD-BAED-A579585FC7E5 @default.
- Q57733847 P31 Q57733847-C92C4B79-DFA1-4C8D-BCCE-64AA4A4AA9B1 @default.
- Q57733847 P356 Q57733847-D41D72B2-6A33-4480-A0E9-080CBEB5751A @default.
- Q57733847 P407 Q57733847-8A06F7EE-50FC-4ED5-8694-C79C60BB692D @default.
- Q57733847 P577 Q57733847-BB3C2F6E-632C-4FEF-9EA9-4F5BC350C4ED @default.
- Q57733847 P8978 Q57733847-59FDD528-B035-4930-ADE1-31C4B035CE10 @default.
- Q57733847 P356 3-540-48257-1_10 @default.
- Q57733847 P8978 AgerholmL98 @default.
- Q57733847 P1104 "+16" @default.
- Q57733847 P1433 Q924044 @default.
- Q57733847 P1476 "A Lightweight Approach to Formal Methods" @default.
- Q57733847 P2093 "Peter Gorm Larsen" @default.
- Q57733847 P2093 "Sten Agerholm" @default.
- Q57733847 P304 "168-183" @default.
- Q57733847 P31 Q13442814 @default.
- Q57733847 P356 "10.1007/3-540-48257-1_10" @default.
- Q57733847 P407 Q1860 @default.
- Q57733847 P577 "1999-01-01T00:00:00Z" @default.
- Q57733847 P8978 "conf/fm/AgerholmL98" @default.