Matches in Wikidata for { <http://www.wikidata.org/entity/Q57733881> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- Q57733881 description "article published in 1994" @default.
- Q57733881 description "wetenschappelijk artikel" @default.
- Q57733881 description "наукова стаття, опублікована в 1994" @default.
- Q57733881 name "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 name "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 type Item @default.
- Q57733881 label "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 label "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 prefLabel "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 prefLabel "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 P1476 Q57733881-67B868A2-8B48-4E6F-AF7B-E9B5E9CAA1B1 @default.
- Q57733881 P2093 Q57733881-CE6D5DFF-5E34-4BD8-A6D7-D1F9C714523D @default.
- Q57733881 P304 Q57733881-4999ED0D-D7B0-4B4E-944B-2B6C607E6A59 @default.
- Q57733881 P31 Q57733881-B4677C0A-3DB6-4E16-88BB-5B30307B475F @default.
- Q57733881 P356 Q57733881-E7262C60-657E-425F-9450-1546412EE036 @default.
- Q57733881 P577 Q57733881-6BCB7C9C-BE09-402E-96DB-5D06A6BE0CD1 @default.
- Q57733881 P8978 Q57733881-194DDB48-645A-42C9-9072-DDF8FBBF1BFF @default.
- Q57733881 P356 978-1-4471-3229-5_7 @default.
- Q57733881 P8978 Larsen93 @default.
- Q57733881 P1476 "Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL" @default.
- Q57733881 P2093 "Peter Gorm Larsen" @default.
- Q57733881 P304 "118-134" @default.
- Q57733881 P31 Q13442814 @default.
- Q57733881 P356 "10.1007/978-1-4471-3229-5_7" @default.
- Q57733881 P577 "1994-01-01T00:00:00Z" @default.
- Q57733881 P8978 "conf/sosl/Larsen93" @default.