{"entities":{"Q2988972":{"pageid":2999696,"ns":120,"title":"Item:Q2988972","lastrevid":52812140,"modified":"2026-01-23T13:38:00Z","type":"item","id":"Q2988972","labels":{"en":{"language":"en","value":"Symbolic-numeric reachability analysis of closed-loop control software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721662"}},"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":"Q2988972$E7551E75-C6B7-47C3-ADED-0E1112754C82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9df71ed70b065e1ee7561f66e4843e1186cf539","datavalue":{"value":{"text":"Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988972$BA6EE3B1-ED7A-45CE-8FC2-65FD9F6AE6E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fd267a5ee37ea51f4f3a38194fda3b07c62b60e","datavalue":{"value":"1364.93058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$67FD82A4-88A3-432C-92D5-9FA2553BF2A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d803a40fe1c2c23f8e275b0113e4b72f66a9f3","datavalue":{"value":"10.1145/2883817.2883819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$C0C458D3-EE32-4098-9909-D734B017AAC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a66a93fe86d0c71d1cb727bcc08a8e2fffb904e","datavalue":{"value":{"entity-type":"item","numeric-id":2988971,"id":"Q2988971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988972$FAFCB651-BF91-4C6C-B728-ED4CF198A989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988972$71220DA1-C998-4F36-AAD1-2FC2872F5535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988972$8871FAC2-858C-4F09-AC9C-9ADAEC4D8BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44f768c24bbb69aa562f594bffbf9e5c61424ed","datavalue":{"value":{"entity-type":"item","numeric-id":1406261,"id":"Q1406261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988972$F36D8C9C-3D07-46E7-9D95-E2092BBED923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988972$C90D4DFA-248E-4CC5-990D-2AB17C78B5E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988972$8307E4A8-092D-4032-8145-2DFD34B352F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$97E0E7B1-3A5F-4981-BE67-B7A45E7CC313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$E2AC431D-DA48-41F4-9234-97B659943A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$509E5EBE-A974-49C9-93EB-599EEAA7C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$95C75365-C001-4961-9068-E3D819C30F70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"425d5ba97d878769783ff8f70d7db1fe19e9139f","datavalue":{"value":"6721662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$2A53A27D-C1F9-446D-89B7-45B601DB0251","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988972$393E39CD-AB9A-419A-8E71-8DD85B6B2ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988972$6525E6AF-7EFA-47B6-A02D-963BB9CB5F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a782d2e4557002706a4cae3d1b5278feacedc3e","datavalue":{"value":"program analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988972$A877D36C-BF15-4502-9C32-8295E551F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988972$C02980C7-8B3A-4796-896C-1E39BFCF06D2","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":"Q2988972$FA11B9FB-4D9B-465A-8C68-33D1FFB6E9EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c70b07b6089e90af8e8cd0bde3463bf17bbf531","datavalue":{"value":"https://doi.org/10.1145/2883817.2883819","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988972$B43B1ADE-254B-4513-B235-676EC0462361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8f9d1288eb3044e3b7e9d388a9e6b1c1ac92ac7","datavalue":{"value":"W2342314656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$F6EE751F-3351-4EF1-BB6C-1AF6B056F6C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"11e8b2ecab73de78a9d0a6a70ca7bfa47c1e396f","datavalue":{"value":"Q130971962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988972$3B397339-2267-4C74-A8B2-FBECF362BA3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2613e5534e7edd34021dea9f858374230bd31d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2988922,"id":"Q2988922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0906c42d754eea764d30ccc1906d4f7bd035b4","datavalue":{"value":{"amount":"+0.772071361541748","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":"Q2988972$0FCCB1CE-25F7-46EB-8602-DDEB0952CAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8ae93195c2a4653ca6463ba9598f19f6a559c3","datavalue":{"value":{"entity-type":"item","numeric-id":3523120,"id":"Q3523120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275817a996913659a0f56a23211bad9b82d962e4","datavalue":{"value":{"amount":"+0.7456372976303101","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":"Q2988972$889677DC-7FA6-4C7F-A7A4-A1FE1D6D6647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec7866f7d50d75152ca45ca722e4c2b9caebd3","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e547d56a5f6b31350edf718ca7cad894d8debb","datavalue":{"value":{"amount":"+0.7273322939872742","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":"Q2988972$CEDA1AA9-5E6C-4669-9F4B-09D356A9B9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8d9f7d5a5bf8a64d095440478f84aedab4176","datavalue":{"value":{"entity-type":"item","numeric-id":866095,"id":"Q866095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96d4ca031e4018c7961ab675ece20f891570dca","datavalue":{"value":{"amount":"+0.70854651927948","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":"Q2988972$AB3739D9-BA4D-4D35-B20E-499441CE4BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1b221c8a543bea18d88bc7246fff4b1fec3062","datavalue":{"value":{"amount":"+0.7081091403961182","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":"Q2988972$14E2ACAA-335C-477C-9737-C07E55C67E2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988972"}}}}}