{"entities":{"Q5716906":{"pageid":7746460,"ns":120,"title":"Item:Q5716906","lastrevid":48628045,"modified":"2026-01-05T10:44:34Z","type":"item","id":"Q5716906","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245869"}},"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":"Q5716906$EA8CF36C-D67A-4A5D-8E83-C0422AC778F4","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":"Q5716906$E44C8D31-7F1B-4606-8853-5B3B90FFC78B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75e71577b570585feb4fcb1f2d124c2287e1d968","datavalue":{"value":"1120.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716906$339434EA-E0F4-4B30-9A19-64F06B4C99A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa08d4cc6717ece235b1c8c3a03a1a20e03b323","datavalue":{"value":{"entity-type":"item","numeric-id":5716902,"id":"Q5716902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716906$16257289-6657-4202-8CF1-0F19F55D6A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9e1b9e35af8ab5f595d6acf264acdb0ddc8db1","datavalue":{"value":{"entity-type":"item","numeric-id":5716903,"id":"Q5716903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716906$38C37127-33D7-44CD-975C-D3E8443B24FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716906$08512FD3-04B2-4563-981D-C883825412B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c26a854c42ca5eebcaf1b6b6aabc98ff169b9da9","datavalue":{"value":{"entity-type":"item","numeric-id":5716904,"id":"Q5716904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716906$BCF41D7A-796A-4660-8A43-907A38C2B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35affb42867f051701e0e98cb330bd48e65bc22d","datavalue":{"value":{"entity-type":"item","numeric-id":5716905,"id":"Q5716905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716906$0FEC50A8-09DD-4FF6-90EE-F3F0C74CC2A6","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":"Q5716906$9908A5A8-A476-49EB-A5DB-9D927ABF086A","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":"Q5716906$95E80873-C56A-489C-B0EE-295E990EF055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716906$836B378B-481F-4803-A3C3-AD7B52EB6E68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aafa765eaef82aa057344cb77bf6e06cbca1932","datavalue":{"value":"2245869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716906$FDA36E23-5EF4-4D52-B52B-054D56E032A7","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":"Q5716906$BA6B079A-8B79-4925-8AD5-2E4050F2566C","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":"Q5716906$E0761857-896C-45C4-A60D-45CA19915CE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716906$860B7296-2477-4126-B0D4-6DC60BD322F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716906$C846AE65-5B4A-4942-8B68-C48976A5B220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e996e256a3c06a5ca725dfeb15c9ae397f0d7f0","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6353cd796c9c73397740e8b0e812696ad1d79df6","datavalue":{"value":{"amount":"+0.8165374994277954","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":"Q5716906$5BE36081-7A9B-4333-A3E7-8399EB2FC56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1c4a26d2c236c6b85feed5fb09e52656a29bf2","datavalue":{"value":{"amount":"+0.760198712348938","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":"Q5716906$1F693063-5EA5-4CE8-BF32-AFB7DEA9AE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4a02349b5bcfaf8698fdaaf23122651af6057d","datavalue":{"value":{"amount":"+0.7594231963157654","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":"Q5716906$E8C8C0A2-ACB6-4E8B-8DED-F5397069B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cb200af1790f3527259dfe5ec47c40966d092a","datavalue":{"value":{"entity-type":"item","numeric-id":2783117,"id":"Q2783117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db00f59b423e3c09039c054fbf831cf5b29b0fd","datavalue":{"value":{"amount":"+0.7585886716842651","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":"Q5716906$440945EA-619C-4178-9FBE-7287C07AC6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447eb0578e3755bbdb96083b4f9bdf2558c6d730","datavalue":{"value":{"entity-type":"item","numeric-id":5484908,"id":"Q5484908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e987e502406a29b3c3612f3a134b25043e4f0c82","datavalue":{"value":{"amount":"+0.7496147751808167","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":"Q5716906$C3069A39-922B-46DF-9E3F-00B9E6F71CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716906"}}}}}