{"entities":{"Q5716879":{"pageid":7746433,"ns":120,"title":"Item:Q5716879","lastrevid":48628465,"modified":"2026-01-05T10:44:44Z","type":"item","id":"Q5716879","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245848"}},"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":"Q5716879$C5AC507F-856C-44BE-BCB5-D13B9CA561A9","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":"Q5716879$292D24D5-C7FF-4DC4-8892-9B6592D81F52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"811fcd6e5fde69b44e252ce0f88228d4a27d8efc","datavalue":{"value":"1120.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716879$F4E5632E-9E90-4C42-9C0F-EE51F7A45AC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716879$4E12F680-153B-4A76-8F78-64F22A3F85C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a554aec36fc4a6a6f650f34c2516421d15681542","datavalue":{"value":{"entity-type":"item","numeric-id":1004292,"id":"Q1004292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716879$982BCCFE-40A3-4336-BC52-BBE2709B1C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716879$75651F44-F957-4261-B924-A69501AC4C60","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":"Q5716879$D57E6773-6DEA-4081-B217-9C5B91EC9E84","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":"Q5716879$A2EB7656-DAA7-466B-A0CD-9C2522C2B209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716879$3E69F02B-A79F-49B1-AB8A-DB97011F77DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716879$63DC1A44-EB05-43ED-8186-AF95A5234EBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b262828f82bda66f1b525ed36aec7dbf24c327a8","datavalue":{"value":"2245848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716879$28AE6C21-005A-4DB3-BE63-DFB5532F1959","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716879$BF4416B0-AA8F-400C-A3EE-F0A20A37566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716879$90581A5A-CE45-42B5-8F79-A6777F686D72","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":"Q5716879$DC9E1FFF-7A51-47F6-BCAC-1FAB810583EA","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":"Q5716879$F543C4A0-EA5F-46C3-936E-EACD36CE861A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716879$6C430B9B-97A6-432D-B0A9-2BEF18DF4C2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716879$64994A41-1A7C-4F8C-B937-613E6B5BD673","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a750499399fb23693a151d13210daf45e5912f","datavalue":{"value":{"entity-type":"item","numeric-id":766162,"id":"Q766162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6131e258acad450fa7dce52ca67206ee5373c4","datavalue":{"value":{"amount":"+0.8225755095481873","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":"Q5716879$45B8D300-9686-499E-8189-814BE45CE2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c00d6b98765156e0ec29101db3b1772bc2b3dc0","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1e326b2627bba304c2e0004b6e33ef22b16936","datavalue":{"value":{"amount":"+0.8129107356071472","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":"Q5716879$FBD24A4F-83D8-4C1F-8E53-25EB07B3354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf6128767f41e8247a95055a64d5113ae336cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2873610,"id":"Q2873610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448d60002bb2bdc6df1f7ea2f1d86e87402c90cb","datavalue":{"value":{"amount":"+0.8080075979232788","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":"Q5716879$0A2812CB-00D0-416E-BC75-89C15F777338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681352376c2b85e9d4774b7db7bcada633e09457","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8aaf043b9e88606601cf182c1b7668e01e24010","datavalue":{"value":{"amount":"+0.8016654253005981","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":"Q5716879$2F4E8502-6C19-421C-A1A2-463D01530F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed37ac69fe647fd59558e80e317d7f099713676","datavalue":{"value":{"entity-type":"item","numeric-id":3585033,"id":"Q3585033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e22b3aeb98331193eb14d351dbffa8d4603beea","datavalue":{"value":{"amount":"+0.7673583626747131","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":"Q5716879$A6E60EC0-8771-44E4-9B43-124D7B537412","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716879"}}}}}