{"entities":{"Q5716873":{"pageid":7746427,"ns":120,"title":"Item:Q5716873","lastrevid":92833403,"modified":"2026-06-05T02:52:04Z","type":"item","id":"Q5716873","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245843"}},"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":"Q5716873$77CA1DA6-C7CD-421E-940E-3178E7665AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09931771c06d46aeabc60a38e18ef709b76800bb","datavalue":{"value":{"text":"FM 2005: Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716873$3B74C77C-5F99-42D9-A8E3-E328A5E3FC91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cef5ac651acf6d3b677fef7bf39fdc5a1bcdf52a","datavalue":{"value":"1120.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716873$8E212101-09CB-46E2-8F6C-2E6528C62A4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c914a1bb096c6a9717842e013c3c56938a8f343","datavalue":{"value":{"entity-type":"item","numeric-id":1238396,"id":"Q1238396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716873$FD43107A-C104-42F6-B80C-04BDDDF8A834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf0adc959fb4621f3b5937554f26394d60e9913","datavalue":{"value":{"entity-type":"item","numeric-id":351738,"id":"Q351738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716873$711A6C97-E8A7-45CC-A2C8-82CF1AB3170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5b268ce7fd02548f146715152e6991b24d455a","datavalue":{"value":{"entity-type":"item","numeric-id":5716872,"id":"Q5716872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716873$DFCC67D7-5A68-4E58-8FD0-A635C5D71788","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":"Q5716873$FFAB264F-97B1-4C34-A3F1-DD53F48911C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716873$886AB58E-954C-4F55-AD63-552CB1B4CA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716873$755F6EF7-3E32-4F44-8D36-4C4759892170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3687c59585e2789a4845a4b0a6f319afa76bd1d","datavalue":{"value":"2245843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716873$8B6C4299-F9D2-4CAE-9CB5-5E97693F9681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce15f012d1da8bf95a383413a5e4b2cc1f5af49","datavalue":{"value":"safety-critical","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716873$7B20FB6B-F639-4CD2-BF9F-4B55404662D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716873$DB9A2916-B381-4C9C-A581-1624904E20E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4778fbdbaa9a6c54376d68370deec9d71bf45e","datavalue":{"value":"timing tolerances","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716873$9F4A9876-B94B-441D-9CCE-254ABC379E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229ab8ddd187a7f37cfe7db6e6ef38bd5a138dc2","datavalue":{"value":"requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716873$E6DAC9D4-49B0-48DF-9A27-B62ED43C2E60","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":"Q5716873$4F916697-8719-427A-A2C7-F7F74274DE89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3233b52d4c27ffc27fd1bfa49d7d5f3d07054b6d","datavalue":{"value":"https://doi.org/10.1007/b27882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716873$90918A46-3A2C-4DFD-A487-7564F470F459","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716873$AE76B7F0-886F-4DF0-9CE3-D0ED89A56740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716873$FF53B907-E535-4850-8C66-74012D2C513C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d42d1f8b965849367e37e81edeb0ace17d94a33","datavalue":{"value":{"entity-type":"item","numeric-id":3525017,"id":"Q3525017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e614107182bb86766376de20c1aee32925d3d3d","datavalue":{"value":{"amount":"+0.7193575501441956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716873$5C3D4142-D06E-4AA4-A885-212D2DB0A8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916b81819218c9ac26e4af39eff32bd103fae445","datavalue":{"value":{"entity-type":"item","numeric-id":5897456,"id":"Q5897456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3a53fa178971f2f5f018bea211974fb91cfc70","datavalue":{"value":{"amount":"+0.7156421542167664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716873$00D65E77-CA29-4577-922B-ABD3166433F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae98787f575e03bcbdb34bd6168c66f3ed0f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2642537,"id":"Q2642537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a527fa47131b96df0c8f0d15fedfed23983cdf1","datavalue":{"value":{"amount":"+0.7056993842124939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716873$89C7E640-8EF9-499B-A163-9F266DAF247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023eecda68e2d18f804e40e3c0e247f9182d6f84","datavalue":{"value":{"entity-type":"item","numeric-id":5176179,"id":"Q5176179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1702e93074661434dd4d3a255870e02a30b4c90","datavalue":{"value":{"amount":"+0.7027221918106079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716873$237487AE-3E0A-4A34-B4CB-E9CCAF2CCC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26995c4e6e4931172a7fa83d6e3b693ada7188e5","datavalue":{"value":{"entity-type":"item","numeric-id":4724515,"id":"Q4724515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cfc790d3c4d685ce2f707ab35abfaef865e81d","datavalue":{"value":{"amount":"+0.6959454417228699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716873$A166CEA5-39AF-477C-9299-55247E556004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245843)","badges":[]}}}}}