{"entities":{"Q5959854":{"pageid":8136656,"ns":120,"title":"Item:Q5959854","lastrevid":93541895,"modified":"2026-06-05T04:34:39Z","type":"item","id":"Q5959854","labels":{"en":{"language":"en","value":"Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1726965"}},"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":"Q5959854$16225287-5884-45FC-8AF5-F10B3FCE54B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"612a8661ff14925ad4d2b6f3b223f1201310d1d4","datavalue":{"value":{"text":"Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959854$3D9A085C-9E3A-4A8C-A82F-28D834C6CF6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d735175b8a294104a3d70f6b7b15e115f614c36","datavalue":{"value":"0990.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959854$64B61DFE-1259-4891-8D41-228482339887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e69b882b273c45e0dd5e798a41b5dfe05318622","datavalue":{"value":"10.1023/A:1011236117591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959854$1D202819-86B1-47CA-AD9F-4510B0DDB741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a8f7adba98d7ff3d1c6566c18ba7973a806312","datavalue":{"value":{"entity-type":"item","numeric-id":239143,"id":"Q239143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959854$C6239327-C082-4CBC-83D6-EE861F56F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff6b8d0e69d691cdaa3095a54a8c80265c9431e6","datavalue":{"value":{"entity-type":"item","numeric-id":239144,"id":"Q239144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959854$74DE72F3-A6E5-4ECC-B4DE-FB00B324E385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4abbba3b03aa40c5ed0af97cfe89d51ae34e2811","datavalue":{"value":{"entity-type":"item","numeric-id":859975,"id":"Q859975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959854$59F5977D-582C-4FC0-8B6D-909F74560627","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959854$17E5F9BB-41DB-4F74-A524-209801A2C404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5959854$A5B562B3-AB9B-4906-9757-E473711F0A7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959854$F8A5A08C-F8C2-4DE0-93CB-923DA6BB254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959854$029E626C-DD75-43DB-B873-62D2E31AE943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78f9b9eb70fe2f5cf9387269e420d5eab441a67e","datavalue":{"value":"1726965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959854$7D7CB68A-00C4-4BC4-AF3A-5C63E095ED9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc844aa101ab993c7bfc92bd10e4a8998a030821","datavalue":{"value":"industrial application of formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959854$E2D41255-CB08-4FC5-B750-7045232DC9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8b554a07c27dff22f97f7f5cf917b3324311d5","datavalue":{"value":"Maeslant Kering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959854$3934D05E-1475-4D84-AB35-B25A1D2AE5D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959854$1C701377-F756-478F-B77B-E0601379CABE","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":"Q5959854$03789CD4-F05F-42A4-A95C-ED157A2D37C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dadf02759750615d40fff8b2405222145035f8c1","datavalue":{"value":"https://doi.org/10.1023/a:1011236117591","type":"string"},"datatype":"url"},"type":"statement","id":"Q5959854$C105A79D-4C92-4EAF-97E3-369D34F96B98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3ca1704fa9ff0678eb6058cb0777bdc82a26ec6","datavalue":{"value":"W2169325581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959854$92D0B620-914B-4820-9F76-F149F09F1A4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8067b18de9aebdebb500842ad523adb2ec813f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5716909,"id":"Q5716909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c206279751a1c369567e30dfe57cc3d9ffa8e7e2","datavalue":{"value":{"amount":"+0.692423939704895","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":"Q5959854$E30C9D4A-A581-45FD-AB86-BE1D3A746079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56099eef0fc21a239b3ff1ddfe426e2b339c20a1","datavalue":{"value":{"entity-type":"item","numeric-id":4412469,"id":"Q4412469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae32022f284936edca8ed6d29b56c0ac1c986b37","datavalue":{"value":{"amount":"+0.6863102912902832","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":"Q5959854$64386148-1B60-4B7A-B97E-EF33049D9C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef891d76cbb7169709430ec1404ebbc685c89d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2077760,"id":"Q2077760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c562e777c60fdcdfb92ebdbdae3ccfc8d62d453","datavalue":{"value":{"amount":"+0.6802911758422852","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":"Q5959854$B80DB54C-790D-4863-AEF3-482E1977F4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b4aa61d1562067ba2991673788c60693ff7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5965515,"id":"Q5965515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4843c5506744649094d1155fee1b15a1b111ce18","datavalue":{"value":{"amount":"+0.6798562407493591","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":"Q5959854$E701D104-4EBA-4F9A-80F9-CA471A2A871D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7cd6ce3fca5084278ecab7284d2a7e529e97ae","datavalue":{"value":{"entity-type":"item","numeric-id":1066658,"id":"Q1066658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a186c3aa75cb094515e5c5f9615aa316362b34","datavalue":{"value":{"amount":"+0.6765459179878235","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":"Q5959854$C1EB4D72-78C2-4B34-9BC6-F9F6F42F376A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_engineering_with_formal_methods:_the_development_of_a_storm_surge_barrier_control_system_revisiting_seven_myths_of_formal_methods"}}}}}