{"entities":{"Q6536435":{"pageid":14147578,"ns":120,"title":"Item:Q6536435","lastrevid":55648885,"modified":"2026-02-17T20:21:02Z","type":"item","id":"Q6536435","labels":{"en":{"language":"en","value":"Model predictive runtime verification for cyber-physical systems with real-time deadlines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7842241"}},"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":"Q6536435$BDDCA760-CD1E-4893-A223-F52C50460244","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ff67451512da3efbd1e3a33e1a41ca09c74c8f4","datavalue":{"value":{"text":"Model predictive runtime verification for cyber-physical systems with real-time deadlines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536435$F6DEE76F-16F7-4F25-AB48-BC46E32B8C1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be798720e37014fb8d43cd84a0c046bca496803f","datavalue":{"value":"10.1007/978-3-031-42626-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536435$1EE4DCF1-E612-431D-B83B-513E725FC459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2b8ea0c98f238490b191d24c19d7b3cdd37ea45","datavalue":{"value":{"entity-type":"item","numeric-id":264632,"id":"Q264632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$93100EAF-C7EB-4190-9F55-0D7A6B28BCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0674dad7695da5afef9bedbd2f018572f613724f","datavalue":{"value":{"entity-type":"item","numeric-id":6536434,"id":"Q6536434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$CDDC43C8-577B-4D89-A6E4-0932537F204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746866a399ab811e72cb5750ea25865a077225c6","datavalue":{"value":{"entity-type":"item","numeric-id":2149963,"id":"Q2149963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$DE2470DD-4C34-4283-922A-5335C6B1AAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05394c1233e13e351336d373ed5521331f09619e","datavalue":{"value":{"entity-type":"item","numeric-id":1996028,"id":"Q1996028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$08C5AFA0-B933-4CC0-8928-A225D4FA5A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63732236fa66d5c3f9fb2c4a703259d2ca600fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1996029,"id":"Q1996029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$66436025-2C08-4FA2-A3A7-1D4342C07023","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfe8f812c44973320a5b5393ac1a99b462a2ece6","datavalue":{"value":{"time":"+2024-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536435$26B62809-6DF4-40E2-BCDE-88E8D3F9967B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536435$72F5A527-D400-4874-856F-A365E5C1C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536435$5F509C1A-36A4-44AB-BFCD-4F35343FEC24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77b463ad8c3d98399d2572849296bdd0c3eee87d","datavalue":{"value":"7842241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536435$339A294F-F0F5-431C-9AE4-A4B7B2077C57","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":"Q6536435$BDEAB435-68E5-4B35-8020-9A1A7A044E3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fac0f2ab2d031a427d668c7048fa8b0093a1db","datavalue":{"value":{"entity-type":"item","numeric-id":4263638,"id":"Q4263638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$CE4C64EA-20A0-4837-9BE3-2023ACB9033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60197adaef23685c9d89e4701b1e4ab33e18e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2785490,"id":"Q2785490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$79B1041A-E293-41CA-BA2E-17CC5A343636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849031cf45ab42176fab912cf02d81d8dbbadcb3","datavalue":{"value":{"entity-type":"item","numeric-id":6102167,"id":"Q6102167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$9A008C64-D160-4C38-8EEE-10D4702DCCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$FFC77927-1411-444F-95C1-56B1CF10EA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4038eee0a4b3e188e9dd827d8354b8a23dd2ab04","datavalue":{"value":{"entity-type":"item","numeric-id":6108431,"id":"Q6108431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$873C8BC6-FAFC-4013-8DF1-8FC86AA2996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0930d753077688d9a20ba54e32a116cb1fecb6fe","datavalue":{"value":{"entity-type":"item","numeric-id":6162118,"id":"Q6162118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$2345AD12-10D5-49F1-B02F-BA86225A7C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f749762bf9352ba9c913f1727cabf5b0aa9b66df","datavalue":{"value":{"entity-type":"item","numeric-id":5281891,"id":"Q5281891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$6E105628-A9D0-4928-AA85-43DC9BEEAC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecf9c0df2b6eabde9db6e7c3e11ae4c9d764ffd","datavalue":{"value":{"entity-type":"item","numeric-id":3384434,"id":"Q3384434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$3185237B-FD04-4742-B330-B6AE8BDFB861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd9fcbe118c2c019355507c4da6dfe190894de6","datavalue":{"value":{"entity-type":"item","numeric-id":1996030,"id":"Q1996030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$9550BBAB-564B-478C-939F-C06813C344F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eae62c058d6c3b073105abf4e6cf5e325aa8014","datavalue":{"value":{"entity-type":"item","numeric-id":6154870,"id":"Q6154870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$426FB111-C957-45E7-ABDE-56CC1691B922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013b5b426f10df389d1965b7a910d8e146f81596","datavalue":{"value":{"entity-type":"item","numeric-id":2735974,"id":"Q2735974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$0C7AEFF7-F18F-4AF3-88E1-07B64DE45635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$07809741-BFE5-42C4-A797-7AE356537F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997ab0c9f5837016f731cbea3be0e5a33c2667ea","datavalue":{"value":{"entity-type":"item","numeric-id":2402553,"id":"Q2402553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536435$0B0E10D9-F889-4F8D-959E-71C7AC322336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee47b4481933b95332e9904ab6ead696d07aec","datavalue":{"value":{"entity-type":"item","numeric-id":479806,"id":"Q479806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0df4d46339c3ed11943165eeec73eb5a0f02693","datavalue":{"value":{"amount":"+0.6982589364051819","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":"Q6536435$78D77009-66C7-48F5-B5DA-AA9E176A33F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f994e193fb39990d22d0f214eedfdb48655908a","datavalue":{"value":{"entity-type":"item","numeric-id":2986950,"id":"Q2986950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf489756784b6a66b793c15b8db6590d1337818","datavalue":{"value":{"amount":"+0.6859298348426819","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":"Q6536435$F08CEB82-24BB-4F2C-AD31-95F4B2A17A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e61023adf697e12abc787a5ebff6abf0993d2ce","datavalue":{"value":{"entity-type":"item","numeric-id":6108431,"id":"Q6108431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fd5849b07b4eb45285c2f117776cf6fd1f2bad","datavalue":{"value":{"amount":"+0.6823273301124573","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":"Q6536435$673684A4-5D00-4D70-B06B-32F72BE5A00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67596c10471469df07a88237665417912735079","datavalue":{"value":{"entity-type":"item","numeric-id":681465,"id":"Q681465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75060e9e13967c0a80d8306562589505dcb83625","datavalue":{"value":{"amount":"+0.6728601455688477","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":"Q6536435$7A82D546-BBA8-446F-909E-91D3CC112422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca52710c1986fa82ddbc2931b9e7c7868d1b658","datavalue":{"value":{"entity-type":"item","numeric-id":1797058,"id":"Q1797058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085c06aa5060301eaecf1783ecc865cc7c28a749","datavalue":{"value":{"amount":"+0.6722491979598999","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":"Q6536435$067457CA-9366-45D5-A7F3-2DBFA834DA01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536435"}}}}}