{"entities":{"Q5716897":{"pageid":7746451,"ns":120,"title":"Item:Q5716897","lastrevid":92833619,"modified":"2026-06-05T02:52:07Z","type":"item","id":"Q5716897","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245864"}},"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":"Q5716897$B3FD2AC3-FC06-491A-9AF3-316EEDE17540","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":"Q5716897$4B4BA821-9EEA-401E-A211-97DFE494E6B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd8daa003516f8055ae7ad27c76495433c0050e","datavalue":{"value":"1120.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716897$A9D5B03D-9AD3-48E8-8FFF-D100A8920B39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48954c1a0cd2148a60dfcecb4d54e447f7acb36c","datavalue":{"value":{"entity-type":"item","numeric-id":286736,"id":"Q286736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716897$CFCAABA3-D2A8-4347-836B-03202CC33C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b40fd81af853019b11de675fbded6213d884330","datavalue":{"value":{"entity-type":"item","numeric-id":2702009,"id":"Q2702009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716897$14C21740-05B5-471F-96A8-06D9B3ED83C7","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":"Q5716897$96A63E3A-D61F-435A-8CE2-1F4D88FC7B9D","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":"Q5716897$C7292023-DAAC-4232-9506-9490AFECBA8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716897$E1B5DE58-A3A1-4CEB-8575-78AAEC85D8A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a54d5d18f46b044cfafd87c3a728341344ce4913","datavalue":{"value":"2245864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716897$AF555707-D533-42F6-8D92-C54C58474AF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716897$D3B7F4A0-6D00-403A-B4C5-9DF3CA52CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572b8e2a0e3d116b76938aacadb5c46cfdc1ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":14134,"id":"Q14134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716897$DC811361-6EFF-42BC-93B2-E551C51EEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716897$86588EC8-0613-42E7-8CA4-793A34267470","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":"Q5716897$1BE312B7-1930-4C09-B9E7-E88E339FF42F","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":"Q5716897$7A3C3F89-7216-463C-BF96-CE8D7E165662","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716897$BBD31270-4345-43FC-AACC-41D89F069548","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716897$2AEE8319-35C8-4289-833F-999C0ABD1F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8048ae7637f5f04664c47e928d1435a9cbdecb","datavalue":{"value":{"entity-type":"item","numeric-id":4654725,"id":"Q4654725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057e026160cc6bfbe11b316632a98f3e2936b8ba","datavalue":{"value":{"amount":"+0.81968092918396","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":"Q5716897$65ED6D1C-AD48-4D65-97AF-CC01A54F5C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858187508bd8b94c9147e910a32d9a5d0060ae85","datavalue":{"value":{"entity-type":"item","numeric-id":4737563,"id":"Q4737563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21018de4aaaa8d14e0fdc98a7442349b6bbdcab","datavalue":{"value":{"amount":"+0.8189709782600403","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":"Q5716897$614C1F9D-E86A-46EB-8CC1-8D800510C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a06980ebe8a69fca53a0e0bdcfa5f08ba15927","datavalue":{"value":{"entity-type":"item","numeric-id":2873685,"id":"Q2873685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5062165fb99b4a3c84976194b97f002f9225c8e3","datavalue":{"value":{"amount":"+0.810109555721283","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":"Q5716897$31D9BFCA-F1AA-4BD7-A80C-B1D4F1B5F79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb0f9d4ba024c49a42a8d1b9b411b2fb202a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3608886,"id":"Q3608886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee29077cf2d67f45c0f3ab91bae90c62c623916","datavalue":{"value":{"amount":"+0.8066505193710327","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":"Q5716897$368F1341-49E4-4EBF-B912-320A6433B08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46a0604fb9bac91230e8357f3fb88a6ea4c2819","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a915e301fa33d902a63f41d8ed72adb48d82048","datavalue":{"value":{"amount":"+0.7853463888168335","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":"Q5716897$5B129826-AC7E-480C-AAFD-EED00D152815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FM 2005: Formal Methods (scientific article; zbMATH DE number 2245864)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FM_2005:_Formal_Methods_(scientific_article;_zbMATH_DE_number_2245864)"}}}}}