{"entities":{"Q2520681":{"pageid":2531424,"ns":120,"title":"Item:Q2520681","lastrevid":74168859,"modified":"2026-04-14T18:46:11Z","type":"item","id":"Q2520681","labels":{"en":{"language":"en","value":"Theorem-proving analysis of digital control logic interacting with continuous dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664853"}},"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":"Q2520681$84E44F2F-78E8-4EF1-8B9D-DAE022E63832","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b2d95419405521c75a00cf1e65262eccd7eac5","datavalue":{"value":{"text":"Theorem-proving analysis of digital control logic interacting with continuous dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520681$228824C8-DAA8-4311-A2BE-7CD5ADC5172E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f10fe1d90acb5dd26e556dacb5296854a0f8ba9","datavalue":{"value":"1351.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$339E7227-43CE-48FE-A649-B6A0806111C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d20196da5e392a7df384766853465bde476fd52","datavalue":{"value":{"entity-type":"item","numeric-id":2520679,"id":"Q2520679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$38A3AD90-1AE9-46C1-A940-6CD79A15EF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"019fa1785a19108fd7d4f117f8868a660c441d90","datavalue":{"value":{"entity-type":"item","numeric-id":374455,"id":"Q374455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$2DA5B68E-5FB6-43C4-B901-E3955C0D6EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fccff5cc42f46768129c78eb1f75fb6a2e8326bf","datavalue":{"value":{"entity-type":"item","numeric-id":555709,"id":"Q555709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$1FAC443D-AA92-4754-B982-E0AD8448EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6205c87547d685bd521b0a3f88085764b33a061d","datavalue":{"value":{"entity-type":"item","numeric-id":2520680,"id":"Q2520680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$52021686-4411-451E-AB1B-897B72E0B949","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520681$6D27DC50-E795-470F-8631-01F383E9F402","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$E32B9397-5C2B-415A-B5A9-568695E59073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$AB119C66-F3C2-4E93-87E7-D05FF21F1DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"650b441211bf1285f5a191c81417587861eac84a","datavalue":{"value":"80A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$792CB49E-029F-4D27-9151-BEF04BB968F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$5DA7AD76-38C4-4919-AFC2-8EE7E855B26D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e15c032d8eb0b1aca8b98ab9b1c46d68ef7d138e","datavalue":{"value":"6664853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$EC71FE99-8303-49B5-B68E-2BC6262AFF85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520681$B034B1C9-8259-4B90-9FAC-0AB6FEF2B780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520681$70B3D145-29F2-459C-94DE-C1C8D4FEEC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520681$9D9D2947-6E0A-4371-A178-C3B91AC604A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520681$0E9CE3B9-DFA2-4369-8856-55CD91DD73AC","rank":"normal"}],"P1463":[{"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":"Q2520681$6B753AC4-0956-4CE5-BE1A-14E4800FF136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$8DECCE9E-3B14-42FF-8860-01055E077699","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":"Q2520681$EC549608-D247-4748-B2DA-852CE0128A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7e54db29dc295a9b9756837c66765de28884c3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520681$139EB118-A8AF-46C6-A411-6F8F63906E4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d516d70d04d26db8fddfe106bdf26439a815e89","datavalue":{"value":"W2252122258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$48E48929-16C0-4EC1-94DA-7427656EA6B5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"042a2cb3ad0240936f2d946e364962fcfcec7910","datavalue":{"value":"Q113317762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$71B7FB6F-4EAC-4D54-85EC-3C8DB17127D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$CD0B74E9-B0D6-4D61-985F-BD1437CB0F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cec4389bb8228dfd4a53d2a8cb72dac5e820913","datavalue":{"value":{"entity-type":"item","numeric-id":4916067,"id":"Q4916067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$C4EB8F0E-5090-415E-A9B1-4020F3754352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7575166e78b4e9a5f630f6a49dce1ed3c2c4df72","datavalue":{"value":{"entity-type":"item","numeric-id":1929306,"id":"Q1929306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$AD8BAD49-9C73-4E26-A83E-916B69FCB537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520681$3DBF73A4-8403-4CE1-8691-C588F8AC6CB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d7ada0db7ad247cf447672b5ebafa48e762a2e6","datavalue":{"value":"10.1016/J.ENTCS.2015.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520681$DCF3615E-DD63-4ADE-8F86-4A2D0EC67E95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac2372f118748833d3c362456a02a48d81772f9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e97864a08f1f22c45c3ce5c26fa5b285c7fb64c","datavalue":{"value":{"amount":"+0.6861063241958618","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":"Q2520681$3998738E-CD26-4C0C-9918-1A0C88C6331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218c873ec3550595796d46d881e98f5c8ae2789b","datavalue":{"value":{"entity-type":"item","numeric-id":3392923,"id":"Q3392923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb15e15dc20965465858f719e1b99e48e29fcf8d","datavalue":{"value":{"amount":"+0.6776794791221619","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":"Q2520681$67BE3C97-C408-456F-8157-2A3A428CDAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a198c50b69a06da8122ebef0eed68220a4fa36","datavalue":{"value":{"entity-type":"item","numeric-id":4374110,"id":"Q4374110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef253131e11ead1957a5c1e68626607d879f793","datavalue":{"value":{"amount":"+0.6716152429580688","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":"Q2520681$40B94DA9-1CA7-4C7D-BF57-3614EA8669AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2741c52220bb969f7227380e5961fee06f2cc5a7","datavalue":{"value":{"entity-type":"item","numeric-id":264193,"id":"Q264193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b35e0f12a5b97f1b07cac150cad98bdc4ce196","datavalue":{"value":{"amount":"+0.6672011017799377","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":"Q2520681$B4FCE976-9174-46EC-A476-306790D27237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929c50a7dbb0add8c99e9e2e2992d1548609923","datavalue":{"value":{"entity-type":"item","numeric-id":2303883,"id":"Q2303883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4a621f52aa2761b832b0ea4fde382bc1e80c3d","datavalue":{"value":{"amount":"+0.6654047966003418","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":"Q2520681$DCFB0BBF-FA98-45A3-A814-9162D5C371CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem-proving analysis of digital control logic interacting with continuous dynamics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem-proving_analysis_of_digital_control_logic_interacting_with_continuous_dynamics"}}}}}