{"entities":{"Q5716870":{"pageid":7746424,"ns":120,"title":"Item:Q5716870","lastrevid":48628444,"modified":"2026-01-05T10:44:43Z","type":"item","id":"Q5716870","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245841"}},"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":"Q5716870$416AF863-F29F-4150-AEE5-A3DA39C9243A","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":"Q5716870$E452A8EA-61D8-42A1-979B-D8F85CD90986","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd669c66c01b19d87d6721344eb2f4590609590","datavalue":{"value":"1120.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716870$5D103DD0-A586-4E2A-9666-B06A6B41B23C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd154d500121dd85ed8715f2591c86ffcd5e899","datavalue":{"value":{"entity-type":"item","numeric-id":5716869,"id":"Q5716869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716870$E8A91866-2D0B-4773-B084-6FDB087F4ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"039badb94433e9f3ddfc52148870f0906bfdef98","datavalue":{"value":{"entity-type":"item","numeric-id":5410045,"id":"Q5410045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716870$ED5483C0-BF15-4471-A228-A8A62BB6EAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716870$CFF13FA0-3B3B-48C1-B63D-54ECC63C3F4D","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":"Q5716870$18300D50-AAE6-44D6-B22F-22C50FAA6D31","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":"Q5716870$245825CC-A9E6-4A82-9D3E-3EC9BE254FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716870$FBF00A43-884F-4A1D-83FC-3126908C61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716870$5F7A89F3-E0EE-4BDE-9551-8D54DFD90CCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"047c1a898b94f7345a52c49712ec93816a7288de","datavalue":{"value":"2245841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716870$10F69249-A028-48B3-A497-1E7DC21798DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716870$D8E2F266-C547-44BA-9EC6-5672259DF32A","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":"Q5716870$8D273E80-9DB3-4914-8D3F-8565F8E3A232","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":"Q5716870$C4CEB057-D298-4731-9030-9D136E38A43C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716870$02E9C4CC-DAE2-4A9D-8264-6BFA7C36062A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716870$F1070030-8B37-4CF9-A07D-0B14BC25FB42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10e85e7181590b50a29ad123b345e2886469d86","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff319ec3c5c6fe80f1a5b543d162590f148ec52f","datavalue":{"value":{"amount":"+0.7135205268859863","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":"Q5716870$6AB6FD7F-F3C7-462A-BF7C-D31CD600AD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9386b4dcd9f8620fb3573ee03696246cf0a9d339","datavalue":{"value":{"amount":"+0.6925941109657288","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":"Q5716870$A8E3A0B9-27A1-4A2A-B386-DEE3F976CB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b97148ac17a4158636b28a0c57c327ff2aabd3","datavalue":{"value":{"entity-type":"item","numeric-id":1426941,"id":"Q1426941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ab60f29cbd36ecba505760af0411e50a1c5599","datavalue":{"value":{"amount":"+0.688949465751648","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":"Q5716870$090A1535-2441-44EE-98D4-6CBACFD23519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5026785fe38f1575d7754d751ee3fcae1200fd","datavalue":{"value":{"entity-type":"item","numeric-id":928671,"id":"Q928671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586c74b6bead356051fd5990c8646d1e9c5fec13","datavalue":{"value":{"amount":"+0.6801025867462158","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":"Q5716870$34BFDA3C-FB16-4092-81AC-C22090D1A778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82772ac289f9a75e23efc44c1ba8e16ed9ae2195","datavalue":{"value":{"entity-type":"item","numeric-id":1604726,"id":"Q1604726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb25e3eb9cad2bb5d102f0128e0bc2814472503f","datavalue":{"value":{"amount":"+0.6777886152267456","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":"Q5716870$41FDEB5E-7724-41BA-B8E1-4DF76AA7DAEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716870"}}}}}