{"entities":{"Q5716901":{"pageid":7746455,"ns":120,"title":"Item:Q5716901","lastrevid":92833655,"modified":"2026-06-05T02:52:07Z","type":"item","id":"Q5716901","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245868"}},"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":"Q5716901$7C727B4D-2383-4A1A-8448-6EA932E462DE","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":"Q5716901$F18C8594-37D0-437E-AA6C-CBE9C18A4072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e783769fdd635887cce063c129d9cfcc700058d0","datavalue":{"value":"1120.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716901$E7B3193E-93B0-45CA-BE37-DD9B1F9AD823","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":"Q5716901$075D405A-8C0E-4AAD-ABBE-79CFCB250E18","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":"Q5716901$B31979A1-2696-44D9-B480-BB41C58DDFCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716901$58D2412D-D5FA-4745-9A1D-8240D14BFBBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c5c518c475e9c8b785cc661ee67a025ef6a6dd1","datavalue":{"value":"2245868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716901$7E1A79C8-7561-483A-9FF8-D45FB698359B","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":"Q5716901$76ED4422-95F3-4050-B5AE-83D40D4BF8D1","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":"Q5716901$09CE1708-5D4D-4FA2-9531-C4BF2FEA5D80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716901$8A716B7D-8B39-4C00-84EB-29DEEDEFF65B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716901$1AC486D5-5DA2-498D-A82D-960CA18983D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8766837713dce3655dbbd21c12ef3d5b90aa281","datavalue":{"value":{"entity-type":"item","numeric-id":5435633,"id":"Q5435633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399e764af4246f5184a89055aee963d9b82822b9","datavalue":{"value":{"amount":"+0.7597084045410156","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":"Q5716901$6A094689-ACD6-401A-9F40-9557599E5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ccc5d6f6a410b705419c029b176f35e23f0ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4531750,"id":"Q4531750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57de58cb383edeb4ea7ddf29240a9b206fe4b5a","datavalue":{"value":{"amount":"+0.7528484463691711","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":"Q5716901$4D9C48B6-E89D-4E19-9A0F-6DCC0EC42A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e7fb217c914e638e4f5584326c05b02f37a783","datavalue":{"value":{"entity-type":"item","numeric-id":4787242,"id":"Q4787242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc49be5982c83858149c020c25c8174af0688c49","datavalue":{"value":{"amount":"+0.743913471698761","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":"Q5716901$1F593197-7971-4822-AD19-F670A31B8A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a86794cf4076c68faa757aa8a6ee19590f4c951","datavalue":{"value":{"entity-type":"item","numeric-id":1122998,"id":"Q1122998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bed37fd535c99ac09b0886798cd018ca28d4205","datavalue":{"value":{"amount":"+0.7385197281837463","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":"Q5716901$0659AEC7-675B-4404-9700-8F3812DF2B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab5af0b01032fe41b463bb1909a4831e2c66566","datavalue":{"value":{"entity-type":"item","numeric-id":816201,"id":"Q816201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455d6f24ccbd37d3cd4dcd529a38f1712dbee981","datavalue":{"value":{"amount":"+0.7349247336387634","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":"Q5716901$B6301C65-4B7C-4640-90C6-E8C536A4F262","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245868)","badges":[]}}}}}