{"entities":{"Q3457781":{"pageid":5237181,"ns":120,"title":"Item:Q3457781","lastrevid":52417394,"modified":"2026-01-22T14:43:24Z","type":"item","id":"Q3457781","labels":{"en":{"language":"en","value":"Formal safety assessment via contract-based design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521667"}},"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":"Q3457781$7E03D7C2-CD6A-43AC-A003-2843D2974231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e37d55c7a24fffaf0bc160258030d54342dbee5c","datavalue":{"value":{"text":"Formal Safety Assessment via Contract-Based Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457781$4CBE1CDB-BF71-4038-BDCD-E5C5F948F394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c437ed72749112c8a216e7059eb26f10d724572d","datavalue":{"value":"1448.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457781$08071DE1-168A-4F50-825C-0FEDA2564A65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e5e8bc3c91b793cd024cd88d299c9e205e64c4b","datavalue":{"value":"10.1007/978-3-319-11936-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457781$B1E5477A-ED36-4D9B-A9CD-7E80E729DEC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457781$A269535A-5D59-4930-A088-556AC9F01998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457781$19671558-43C9-4742-8B90-09922CCF3745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad8f0c5e18250286cd0743bdf54bf15fe7b46c5","datavalue":{"value":{"entity-type":"item","numeric-id":667522,"id":"Q667522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457781$685A4B72-16E7-4C22-9AEC-8CF15A3A569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457781$1DD62700-2110-486D-94B7-792E8237A39A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457781$88D5695D-AE14-4301-AEF3-AEC0CCF052CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457781$BFFF0C0A-B9E7-4C38-B204-F12D6607D784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457781$9DBA88D1-1C3E-42BD-8FD1-397447AB4C88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ef0ec4c859cca4cd29434a5b7db80d838e7a45b","datavalue":{"value":"6521667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457781$7A962F66-7845-4062-A46B-F0A01B8E2CCF","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":"Q3457781$57D829EA-EAB1-465C-BB6A-932FF2E1C954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f6f56a9eef5ab3aa9aa4f74a7e34effd93f91de","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457781$1F522954-AC3B-49E2-BEA5-7261811A475B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c511e877b2bf5604d9e7d0a2ebf1f187231d8c86","datavalue":{"value":"W67120322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457781$32B116F1-2122-49C6-8C26-D3CA82DD458C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8e5488ed6daa19256d97b7f4f0de3ee0c59b5f82","datavalue":{"value":"Q62041144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457781$A3B95742-DDD2-4BAF-9263-363C08C1FA7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788b6b231fa9974851d6e32de7d3a787c11b6d14","datavalue":{"value":{"entity-type":"item","numeric-id":5178999,"id":"Q5178999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11749f565a30de74fd4e6add8471f555d4da3cd0","datavalue":{"value":{"amount":"+0.7315431833267212","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":"Q3457781$7FD58350-A011-497E-8E58-3CE44591A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3203939d9627e7f1f228825d6171ab4355a0b45","datavalue":{"value":{"entity-type":"item","numeric-id":5293807,"id":"Q5293807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca78da9b1cd4901ed1e08d55ee7e321b8a174ca","datavalue":{"value":{"amount":"+0.7220893502235413","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":"Q3457781$7A3D6AE7-4A38-4677-9092-29730B572CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6efe0901b89baab0239dcd583be69e900114e5","datavalue":{"value":{"entity-type":"item","numeric-id":2026377,"id":"Q2026377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdaaaf2ba63308dc9824b6afbd746b044ce2604","datavalue":{"value":{"amount":"+0.6941741108894348","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":"Q3457781$F7DA57CB-35E0-4272-B425-3DF993AFDF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786ef836313095dcac7d19104784f9dd224fc7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3510794,"id":"Q3510794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc54ad1ed3331ee5faf2433afa91fcc9d77e6cd6","datavalue":{"value":{"amount":"+0.69363933801651","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":"Q3457781$7D13FB70-EB60-46FA-8E94-3CE31F4FA1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0b912d4c995bad8e04d53eb270777d9bb7fdd3","datavalue":{"value":{"entity-type":"item","numeric-id":5151038,"id":"Q5151038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1afeb4268e35202e18f71ff23ed459bff15ca23","datavalue":{"value":{"amount":"+0.6823194622993469","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":"Q3457781$1A56B597-CE86-4EC1-B3BB-0785628DB3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457781"}}}}}