{"entities":{"Q4554783":{"pageid":6584375,"ns":120,"title":"Item:Q4554783","lastrevid":53271968,"modified":"2026-01-24T14:47:55Z","type":"item","id":"Q4554783","labels":{"en":{"language":"en","value":"Formal verification of control systems software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6975983"}},"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":"Q4554783$000496AF-31E2-4024-84B2-93F708270613","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"506db34a196b3f572dcabfad1b614a5ed14a851c","datavalue":{"value":{"text":"Formal Verification of Control Systems Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4554783$2ED75256-D2AE-4AD7-8ADA-14A868CA6327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd44f70d3ae96fd2a0606b16853441dc11b274ed","datavalue":{"value":"1410.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$DDC39C32-3F26-4A49-80FD-EBDCDB8F3445","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fe64fdc2dd4253a553c2cdee4327e1e7f4784b5","datavalue":{"value":"10.1515/9780691189581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$3D57833C-F3CD-4809-929A-962344AC677E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4554783$6F99E463-2D2B-4BEA-8E04-676B55FA098B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3d24d28690de6d4b33bf9b0b533ae845a7c7a48","datavalue":{"value":{"time":"+2018-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4554783$E215FC2D-9C91-4003-90A4-8264D8C20178","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$A212FCB6-5824-46EA-B19B-B64696B2BF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ebdf98283f7948a43bca5d4e86e3c163160a35c1","datavalue":{"value":"93-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$5D80B345-75CB-471B-87B8-39D1D20D234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$17D322E8-0969-48E5-9FA1-B70E193FAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$F823E65D-DF18-4063-B846-567606B47B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$C563A600-E89E-4138-95A4-A3680F2DC768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$1C4B312D-8F3F-4591-8A7C-4B4C79D2952D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8604906e0db6467e7c102275db5345366090268","datavalue":{"value":"6975983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$D4449F8F-F93E-4362-9A62-53305CA842BC","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":"Q4554783$4E73B8C6-CDA0-4D4C-9DFC-D15FB4EDFF2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f83a0996d61342b77e813ae822abdc615abce48","datavalue":{"value":"https://doi.org/10.1515/9780691189581","type":"string"},"datatype":"url"},"type":"statement","id":"Q4554783$EA503D61-18E4-4B7A-9D8E-295A54537909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"874ec9eed54a56565d249e0705992073493636d1","datavalue":{"value":"W4237104417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554783$C6BAB82F-7628-499D-82C3-FBEEB94BE129","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86891089eddbc210a5c7252d207632660086c2c5","datavalue":{"value":{"entity-type":"item","numeric-id":5877492,"id":"Q5877492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cfa68048ee3d1fbd658129437a14d636e70fcb","datavalue":{"value":{"amount":"+0.7805441617965698","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":"Q4554783$9CCD69C3-00F1-4C5A-86A5-CEBD2C295E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ee0161eda379d508f03734ede606fe00296992","datavalue":{"value":{"entity-type":"item","numeric-id":4610434,"id":"Q4610434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a844ce46a9fcfd2e67d99cddf05a15be2e6913b0","datavalue":{"value":{"amount":"+0.7716310024261475","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":"Q4554783$94B4CF97-6A8E-460D-90A2-2B6167508DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4a5e811b912f210d0e5220ef81ba26c37c0253","datavalue":{"value":{"entity-type":"item","numeric-id":4560620,"id":"Q4560620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2749c86bd37b0e68ed58bc842966f9630a0175","datavalue":{"value":{"amount":"+0.7640432119369507","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":"Q4554783$E2BDA4A4-E1CF-4C3B-A9F1-BD5CAFDD07EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e54353f0e4b020b0f80734c43b669a67a2d127","datavalue":{"value":{"amount":"+0.7569372057914734","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":"Q4554783$6CE4F17C-DDBE-4641-80F0-11D415FB3752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b256fbd870bdd2a67f49eea121827cca963ef26","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e54353f0e4b020b0f80734c43b669a67a2d127","datavalue":{"value":{"amount":"+0.7569372057914734","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":"Q4554783$1B6AE109-4BEB-473D-AC9E-6295FF88B0B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4554783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4554783"}}}}}