{"entities":{"Q2988966":{"pageid":2999690,"ns":120,"title":"Item:Q2988966","lastrevid":85813136,"modified":"2026-06-03T11:37:32Z","type":"item","id":"Q2988966","labels":{"en":{"language":"en","value":"Case studies in data-driven verification of dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721655"}},"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":"Q2988966$01A51355-3BA0-4754-8B4F-1E31D334BAFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6c1dfcaca23883fca0e8a9b2288bbe41669f031","datavalue":{"value":{"text":"Case Studies in Data-Driven Verification of Dynamical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988966$03772E95-B8D3-419A-8800-4CF9C0AF4787","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"941704cb85463eaa7e672e8b7e7a66dd177bf6fd","datavalue":{"value":"1366.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$8CE905E9-3077-4691-B692-9C87D8B2C29B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9d15f4587c8c298c8c6c3ff62755f95e0c37c3a","datavalue":{"value":"10.1145/2883817.2883846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$D495B385-8F79-4D0F-B09B-793172CF6632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca88e7b91748e3cd526a516d97581e953b89e52","datavalue":{"value":{"entity-type":"item","numeric-id":2988964,"id":"Q2988964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988966$174D6EA7-514A-4AA2-8061-33DDF4467FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255228f6529a1c632d2c2a5e1b74c01bee2a93bd","datavalue":{"value":{"entity-type":"item","numeric-id":2988965,"id":"Q2988965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988966$9D82A470-E67A-473B-AC0A-458DBBC147FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55b5ba3ef5a2982f6063e0c6411db4c5efd9af49","datavalue":{"value":{"entity-type":"item","numeric-id":340711,"id":"Q340711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988966$BFD279CC-3063-410D-8E04-458D2F75F615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988966$DAD6111A-5BA0-406A-8021-A6D6346CEA9F","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":"Q2988966$5435B287-B8DF-44F2-A2FD-47F5DEFE8BE1","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":"Q2988966$533AB991-6EB1-4417-BCE1-3EF25AF1E4CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$B83466B5-9A48-4220-9643-16964874AC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$67493B9B-227D-4110-A4B0-A649FAFFE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd9a801a526fc4d8fad4b9db030b9cb0c67a3fce","datavalue":{"value":"93C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$E9F4C9DA-042B-48A3-B48B-377CEE20CD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$642EC3CF-C8BE-4E9B-86A8-72DEBDB767D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f003c03cf8e6a3ad55391a97188b71cca51177d","datavalue":{"value":"6721655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$3CD7CA3C-1648-4719-86AF-A0B56E93F119","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff56c8fe9d2192cdb4d726b046fc635205530dab","datavalue":{"value":"adaptable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988966$2FC0C603-0177-44D8-B09C-FF796C6891AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5dd8c82433041f35cfc4a3abdfdea31dd5a8e4","datavalue":{"value":"autonomous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988966$A77964D1-6E67-4CE3-A08A-B9D1CD5AFE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746afcbd4fa3727028c405e64f1404810e8aa4b4","datavalue":{"value":"data-driven verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988966$AFEAEDB2-1D3E-447F-9B3D-B449BC4B6545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a82fae3db60d5c90a35e29b8727e46d8d27746","datavalue":{"value":"statistical learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988966$C3C79365-380B-42C2-BCB5-95853B838126","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db4bb49203dec3210bcf4e1585af145b88e0f5b2","datavalue":{"value":"Q60022133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$8162662E-A3FC-4A45-84DC-7E9331A4374A","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":"Q2988966$949D28E4-FEA9-4BB0-8866-AD9E680179CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"719d9cddfaee4a0fb2d780febd90c9d124145808","datavalue":{"value":"https://doi.org/10.1145/2883817.2883846","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988966$FF85BC6F-BA09-4F10-8563-BE750775C3B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d466537dd021691fb16107ae7ea3487893e38343","datavalue":{"value":"W2338188380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$B8AD6225-0AEE-4BF9-9E2D-F9B00C43DAF6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e025cde35b10128fe76d0add65012ef159edf2a1","datavalue":{"value":"conf/hybrid/KozarevQHT16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988966$57469C20-8571-49CA-AB1B-7D481A368C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538c440b24798cc27d69365271d46477bf1b9a02","datavalue":{"value":{"entity-type":"item","numeric-id":2409334,"id":"Q2409334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba9fee0f84051697748f1c0a78dd90e39ca088b","datavalue":{"value":{"amount":"+0.7830260396003723","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":"Q2988966$8FF1572E-24FC-4D38-8BA4-5F6ED9048249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d00c82ab606062335d575001a70b94a8d8149c","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572bbc9090811db7a3cf75bde70a9ca20c77d933","datavalue":{"value":{"amount":"+0.7233692407608032","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":"Q2988966$E3241F79-02B5-4625-8B9B-1F2E656E7FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14fb9cf7b814cea03d1bf9489ba00579f2aaa9a","datavalue":{"value":{"entity-type":"item","numeric-id":2151266,"id":"Q2151266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4b933583a813aff811f6d5ec3872cca2af6506","datavalue":{"value":{"amount":"+0.711185872554779","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":"Q2988966$CC49E7F6-70F5-4DAF-B00C-399B2E4AF8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff06d3e40fb14f3aa2839efa23fa649b74e0637","datavalue":{"value":{"entity-type":"item","numeric-id":1693116,"id":"Q1693116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aedb175ac2d858a777d5c638959f94862f3aa97","datavalue":{"value":{"amount":"+0.7002112865447998","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":"Q2988966$2C1BC89F-93CC-43F8-B8A6-C2216DCDE939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743db1a83c1d74f3499ad5a12b2d04d01633033f","datavalue":{"value":{"entity-type":"item","numeric-id":2280933,"id":"Q2280933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c154eafc5f8b1924e717e0a0b7077773c8767f5","datavalue":{"value":{"amount":"+0.6872199773788452","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":"Q2988966$A332CE05-800F-4901-9723-7F009E4F1065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Case studies in data-driven verification of dynamical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Case_studies_in_data-driven_verification_of_dynamical_systems"}}}}}