{"entities":{"Q1848573":{"pageid":1859315,"ns":120,"title":"Item:Q1848573","lastrevid":70988265,"modified":"2026-04-13T18:43:05Z","type":"item","id":"Q1848573","labels":{"en":{"language":"en","value":"FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22--24, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1827112"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848573$0ADF1DF2-E88F-4501-B15D-52CCA619E355","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d4e30c0139892a80559e214df2c683fb5449622","datavalue":{"value":{"text":"FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22--24, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1848573$D2E07BAD-6B6C-413B-8E81-FF6FB311C41B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c903b6ffc36170ab9e446c68d879502dab0ca28c","datavalue":{"value":"0997.68675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848573$CF6CBCDA-46F9-4310-A3A7-F822C164BF26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85f0e669739e136829289deb4910be2f1452f344","datavalue":{"value":"10.1007/3-540-45614-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848573$41726B9A-3CE3-4B71-82DC-84F8E51F6464","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848573$0EAE10F9-5666-448D-9242-BE436BBD50FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20488eeb5ea8c02a3a8918e8660adb3815361e63","datavalue":{"value":{"time":"+2002-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1848573$4ACBCFF6-C056-4DC3-8BED-D583151A3862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848573$C6923893-B47F-4444-8982-125CDEE3C325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848573$F10BF258-4083-4830-8027-0D335B1BE351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49defcbc688250841a92cddfe809792f5511a31f","datavalue":{"value":"1827112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848573$F0A5A0C0-11F4-4898-9168-9560E96FB157","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848573$96E66596-EF0E-42A1-B332-A9A6E0194391","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9d3b85dbb39efab9cf54a168d29c9acc597fb7e","datavalue":{"value":"https://doi.org/10.1007/3-540-45614-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1848573$D6AB2CD9-1FFA-40DD-AC2D-13C3B3C5C1CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f6c38d8cef354656cdea1ef56a8698c243e59fa","datavalue":{"value":"W1481749898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848573$DA030126-66D7-4ECB-8A12-BC40A05B44F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22--24, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FME_2002:_Formal_methods_-_getting_IT_right._International_symposium_of_formal_methods_Europe,_Copenhagen,_Denmark,_July_22--24,_2002._Proceedings"}}}}}