{"entities":{"Q3523187":{"pageid":5553091,"ns":120,"title":"Item:Q3523187","lastrevid":80636831,"modified":"2026-05-06T16:39:27Z","type":"item","id":"Q3523187","labels":{"en":{"language":"en","value":"Building Formal Method Tools in the Isabelle/Isar Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318955"}},"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":"Q3523187$F5920238-BD54-411D-AF33-78E67A6C62B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b7ad4decd654484045c29ad9879ddee062436c2","datavalue":{"value":{"text":"Building Formal Method Tools in the Isabelle/Isar Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523187$63AAFE6A-A9FD-46BF-9ACC-571996CA4671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee0c8db2cc7d282682ff450d5828ac5233905f3b","datavalue":{"value":"1144.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523187$2DF3BA5E-6B39-4503-B617-4E0016CDE302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ecd536e70d9d7d1500485dd4652db1ce7689c4","datavalue":{"value":"10.1007/978-3-540-74591-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523187$46F79F12-4378-4F52-B06F-8CA39E969DC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a162d67ca0f0da05fadb758011f7efa5d1e07db6","datavalue":{"value":{"entity-type":"item","numeric-id":287364,"id":"Q287364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$7994D2E6-4FCF-45AC-9CD9-5A41089C14C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$32253B1A-A93A-4A8B-B6B6-30C96A3C5176","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":"Q3523187$39091110-1252-47CF-9164-71FA4BFB8898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523187$652E4521-193F-4F03-BEA9-CF3A3A959965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523187$79AA1751-E360-4A65-8BA1-D5E274BC722A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e3a9e68fc4875873a291af62c19a6a0223d2c4d","datavalue":{"value":"5318955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523187$0A4F2641-C34F-48FE-BE4F-763F4C74B593","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$CE1C26B3-B147-41B9-B63D-FFABF6749E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$C5C3ECDC-51C2-414B-9E9B-18384C7E69D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$48CAEE8A-A068-445F-94CB-D930D6C60419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$488D2F5D-458B-49A6-B1E7-90227763E946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95fec11edcf5b3fa68e98a31465e1e07269fb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":15531,"id":"Q15531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$413F11ED-34D7-41F8-A01B-92464BBB31E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523187$522BE5DB-7023-48AB-BC58-026122B99A44","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":"Q3523187$B4D64941-3E47-4FA3-8B37-F49EFD3E6E20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a79b2c7484e334c3b282e1b2ab50752cf2f09bc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523187$F8F463C6-833C-4415-8EED-7AE3CD1368D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51c7133520029b24193b7b20f3183b595f0e12f6","datavalue":{"value":"W119548244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523187$D38099FA-426B-458B-A03E-2D4B8E56EEC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4bb3d11064d685d0a79d24cd71d61c2ef37be23","datavalue":{"value":{"amount":"+0.8579265475273132","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":"Q3523187$67BCB703-D1FF-4A21-A2B4-FBB1FA7F0DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619d07d39ad50d8b9a4d0bfcd8121f291b2fc77d","datavalue":{"value":{"entity-type":"item","numeric-id":4364537,"id":"Q4364537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7185ea74cdd8d2e98714d81a587b02e34e1c9f2d","datavalue":{"value":{"amount":"+0.7740757465362549","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":"Q3523187$92ECB238-1EE0-4897-BD74-E9E01DAEA11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8f9cd1bac8ec2d9d4616b42894d3d10dc6e5af","datavalue":{"value":{"amount":"+0.7736786007881165","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":"Q3523187$A3FD192D-B3E0-419D-933C-F2DCBD3B9C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50ad8a3efeeccd952f15206d6520ed593ff8b29","datavalue":{"value":{"entity-type":"item","numeric-id":5756773,"id":"Q5756773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e04cb2ed0c51414b8ce38d6212ee0bc6cfac7e3","datavalue":{"value":{"amount":"+0.7594183087348938","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":"Q3523187$1940BF00-B6BF-496F-AE5C-92F38C0C570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07db83e9850675c28d20aa6bff284743f23e36df","datavalue":{"value":{"entity-type":"item","numeric-id":1798941,"id":"Q1798941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0208a04c6fc9d306f4227d70ca89709c7994b9b","datavalue":{"value":{"amount":"+0.7506504654884338","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":"Q3523187$4CD4FE40-4FA3-480D-8A51-85F6350F8AD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Building Formal Method Tools in the Isabelle/Isar Framework","badges":[]}}}}}