{"entities":{"Q6653093":{"pageid":14264250,"ns":120,"title":"Item:Q6653093","lastrevid":57126927,"modified":"2026-03-26T17:25:45Z","type":"item","id":"Q6653093","labels":{"en":{"language":"en","value":"IsaVODEs: Interactive verification of cyber-physical systems at scale"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7958427"}},"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":"Q6653093$83613C68-A70F-49EA-934E-B8744F0460AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77e0879c591538ad88db76a9da76391f820f9a12","datavalue":{"value":{"text":"IsaVODEs: Interactive verification of cyber-physical systems at scale","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653093$6C8C89A8-F334-4BF1-8162-270E2AB5B1DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa50bb85a8ff3eebc859f9fb68dfa18c6b1e647","datavalue":{"value":{"entity-type":"item","numeric-id":832720,"id":"Q832720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$8D50193B-C174-47ED-87EC-62B58E47A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$14E99DE2-FA30-49D2-9316-82012C955D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf537b03219b4eca2e51e05fc4b4b0a0202e87c6","datavalue":{"value":{"entity-type":"item","numeric-id":1982647,"id":"Q1982647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$505D4D4E-DE60-41A5-9B93-58934B2F025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$6B91C996-513F-4D45-B439-15C204E5D352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40671d187b90b5d3da1fc997cc20a9697cf39b8b","datavalue":{"value":{"entity-type":"item","numeric-id":6653091,"id":"Q6653091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$B6076D8E-C33E-4751-8631-52AD6C63E2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b8800fe7acbc4227c0f7719dc60d464a910b437","datavalue":{"value":{"entity-type":"item","numeric-id":6653092,"id":"Q6653092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$32D6E927-15FF-497C-9E77-CC447B57CF58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$AAE08969-F6E2-434B-9DFD-27DC22D92C67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36a753f28d83967922d073eae3d7f7df264e02ed","datavalue":{"value":{"time":"+2024-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":"Q6653093$68F6B262-2215-48AE-81F6-34F4CD0772E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653093$E41E7892-EA67-41BF-B923-B91E711DD6C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94a74d2d5069d6edb5ba2eefdcda69feba37ced5","datavalue":{"value":"7958427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653093$C67D14F4-D131-41E9-A9A0-4350E47CC2EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653093$BE44B67F-5588-4E4E-947A-7BA2992F5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653093$E645A7BA-F4B9-46EF-8AAF-558677500CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a15d51ccb4d92ed647d418d2b88c0e22f275558","datavalue":{"value":"program correctness and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653093$8B92D148-3B8B-44BA-BBDE-F3D73DBCC871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653093$5ABFCEAB-6187-44AF-87D8-5DD0919DD9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653093$E8D7C088-B3C3-45C0-BB3C-EC63DB02B814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a289d59a4a184861187e67a8c6219e217bcaa7a","datavalue":{"value":"lenses","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653093$1565A811-34C0-4354-AE7B-C047F8932AF7","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":"Q6653093$C439F24C-3D96-4CB6-B339-E1549C0C1673","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$38BC9D64-6399-4BA0-A861-6140E77E3884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f24952a078e3100763f9c6bbc3f677243a5b3c","datavalue":{"value":{"entity-type":"item","numeric-id":2945622,"id":"Q2945622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$1DBBC06C-A7CF-49AC-8AEC-3C271852D8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc62f32ebe5f2c566c09500f98ee202c262830a","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$73177640-8BC2-4FC0-977C-9BD64E10F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$D63CA9EC-2E4D-436C-9F68-DA27BB7EBB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$12802DE0-23F0-44F8-A657-D01BE8B2539F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$312D048C-E364-4971-8ED3-1B85972BE2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d3aec833cdd3cd581a6940d6e98f1f489fd75a","datavalue":{"value":{"entity-type":"item","numeric-id":5098716,"id":"Q5098716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$4DF6C719-D633-4A3B-8145-B73DCBDFA6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d5526333ecce1996660037c310a447acb45cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$94B225A0-EDE0-4F95-9C72-D7DBA8822656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a28ad9e79fef79ebf67bc1a3dbc21b09bcd510","datavalue":{"value":{"entity-type":"item","numeric-id":2065527,"id":"Q2065527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$A9485E53-7160-4800-B599-72277DCEAD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$4845D04E-8877-4C6E-948E-81B63B943D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1c4c660585b45239de4749a59c6c8ca5596bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2104559,"id":"Q2104559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$05F74459-3A7E-478E-9687-0D28A76C3CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a70ad38291edfe02c754f317e893f9e8215911","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$645015ED-4685-48F7-8689-039ACC7C62B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$2BA647D1-FFBD-4B62-BB6B-D8B7D637C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$4C7046C5-2050-4B97-9A9F-69E1B589C6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2abd106579378d3a4dcae2b2666452f8595a8d","datavalue":{"value":{"entity-type":"item","numeric-id":2038037,"id":"Q2038037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$4302DA60-8F4B-4513-96C1-CFD6D0C1B3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6974134b0a79f0a7c99fc8d68a2c66295fb57263","datavalue":{"value":{"entity-type":"item","numeric-id":1722644,"id":"Q1722644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$D609D777-F1A1-4922-A611-1BAE4F52121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9869af4c1832a9ef2f342be2d269b8ea895d4f2a","datavalue":{"value":{"entity-type":"item","numeric-id":1739913,"id":"Q1739913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$2F2E8ABE-868A-4DCE-98B0-62EFF8C1F8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$6E7295AE-06AA-4C1A-8DF5-4D9FE4625C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b352b10f19d804a8ff77cf9676c394ef8041f","datavalue":{"value":{"entity-type":"item","numeric-id":1725844,"id":"Q1725844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$8B33BF26-4D42-4DB0-AB0C-72FADAEE9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8a6a7f4a099b96912e5cba667c8ca70d007bb8","datavalue":{"value":{"entity-type":"item","numeric-id":287365,"id":"Q287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$84F1A5F0-7279-48CE-B4C3-8D4B98D686E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1507b6b5edb70d4c69829a2d7e9cc7ed436f50","datavalue":{"value":{"entity-type":"item","numeric-id":832721,"id":"Q832721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$81AB1A2E-9CDB-4099-BE51-77703A0574E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee5dcfa4bed4983e23b945544634540279752e","datavalue":{"value":{"entity-type":"item","numeric-id":5145359,"id":"Q5145359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$DEBFD010-BD5D-4A6B-AAFD-F4D64ECD1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91c17eb426dae0dddf6a4c3a8672996b8f72054","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$3C11E5C9-D6EF-4047-92DB-B64936451CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$0767E8FA-53F7-4E22-8C36-A1F139A39AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369a00a912276bbb6f1d71c301f7df62056f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5277902,"id":"Q5277902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$C00099CD-3630-4F39-9FAC-73F5CB782304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$8FCE6596-7D31-4666-A140-7085B7452949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c69be16780078a8295bdfd62e2936605ba3724a","datavalue":{"value":{"entity-type":"item","numeric-id":6488467,"id":"Q6488467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$56450854-9EC7-4B96-8639-F15CDE8B496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc7bb688e36a446efbb878eae04a63fae25e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":6174532,"id":"Q6174532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$F67562D8-1AD0-426B-BF15-138E58364889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a2529aaa16c6d813dc42566a570f45ddd0218","datavalue":{"value":{"entity-type":"item","numeric-id":969979,"id":"Q969979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$09030EBF-E54F-40A3-A2FF-ED47FA88F6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8851fe9a8b74a22f13014c60a93a01c4d96c785","datavalue":{"value":{"entity-type":"item","numeric-id":2897328,"id":"Q2897328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$6B5C0400-C61D-4DF6-8D50-15291664D0BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6336becda6e80e9f0f87284a19805d9ebb161064","datavalue":{"value":"10.1007/S10817-024-09709-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653093$25BB530F-CB13-427A-8298-30469D59307B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$330C963B-7560-48F7-B601-F1ACB6480316","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653093$27372D6D-5F1B-45B9-B853-C24420D9D951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6653093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6653093"}}}}}