{"entities":{"Q5747654":{"pageid":7777205,"ns":120,"title":"Item:Q5747654","lastrevid":41878868,"modified":"2025-05-09T08:36:43Z","type":"item","id":"Q5747654","labels":{"en":{"language":"en","value":"Automated Machine-Checked Hybrid System Safety Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785347"}},"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":"Q5747654$D7F9F559-817D-42E0-97F4-5C94FE056E7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5318e5d2d7a99423ac4db8d9e241edda279ff0b","datavalue":{"value":{"text":"Automated Machine-Checked Hybrid System Safety Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747654$5AC3CF02-85DA-4040-891D-40E5C8D88F24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2f8927a4f6ab7e75c1c003a9f1569ddfb410d19","datavalue":{"value":"1291.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747654$7FF827F6-ADBA-44CA-BB6D-7F9BF73CD12B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10f9997929babf1b60258e6d787755508115537b","datavalue":{"value":"10.1007/978-3-642-14052-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747654$2C050DC4-D57A-4AD5-B810-75E84C158D81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$C97974C0-F72A-4D9C-BFAD-475D84B3251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43147a09f38888bdc440722fa90e825a1545dbf","datavalue":{"value":{"entity-type":"item","numeric-id":843948,"id":"Q843948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$DC725B5E-08E5-4B35-942F-BAEA7D3B8328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3a8c39d9d4d0dcffb621b2516c564cb272502b","datavalue":{"value":{"entity-type":"item","numeric-id":5096256,"id":"Q5096256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$1B116366-A255-4A3A-AB28-F47821874F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5803880d1a3015657cb8cbe67e318be0131f8b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3094176,"id":"Q3094176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$B21B4925-4BBC-45CB-9C88-DDCB27CBB214","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$054F75BF-0E9D-4C2D-86C8-0934073784DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747654$A3267219-5A76-402D-88E5-7378082BF004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747654$EDD0D9F9-AE89-4502-84CD-B10EB9621575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747654$8AC5214B-629D-4C1E-BDF2-365711AC15AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"369d34e80b93cf9a56339ef359d35e7014ed3929","datavalue":{"value":"5785347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747654$95A1B7FA-4D2E-4DAC-B2FC-9856A3F6A606","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$1A134F22-AAAC-4C5C-B183-0E00ACE3203F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$F5E7067A-5CAE-45C4-9DA9-23A84CE65998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74709fe208fb3c9a7200c0f5d8fe8f5ccc4dd827","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$E1CBC4A2-DAA6-4CF9-85BE-5FCFBB9CCA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$B2C5C0B4-3865-4E43-9D12-F1807692C20C","rank":"normal"},{"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":"Q5747654$9767AEC3-5155-44C3-B293-9D67B228D22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747654$CD46CCF2-1E58-4C61-97A5-5DF6123EC011","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":"Q5747654$EE02A4BC-C0E0-4C28-8253-5B55D8119F8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75397886a97279bd700fec7a5c79e251565c2fcd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747654$C1F92350-FBF7-4321-89EB-31265B88D29B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7add2de2e142d9c0df95f9ab04b5a0b63c8fe239","datavalue":{"value":"W2106424662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747654$E96BFE90-8A8A-41C8-A76E-C6C92E666AA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111c8abd414d1e9c55dc8eb82b2d7b9d5e7a17c9","datavalue":{"value":{"entity-type":"item","numeric-id":2945598,"id":"Q2945598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99d9a60f3afd7823c16cc87fa40f9b6c1467fc2","datavalue":{"value":{"amount":"+0.8945851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747654$9A8E25CE-AD27-47A3-AC56-5827C47F0834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a873c125fa8140c4d5e23041e3ee33ad70b1032","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a6485ea97fcc90e54846fdd089383eaa2973bd","datavalue":{"value":{"amount":"+0.8935329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747654$3A98DBC1-0BE7-4DEE-939F-262A3519014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ab2e85a16a2ffbc1f8d3fc96e346efdd16f975","datavalue":{"value":{"amount":"+0.89343804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747654$7E5941C3-64B7-4102-B2F9-C723C51C1FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b61d153ca9b19f3d5f85333f857392b2d99e97","datavalue":{"value":{"entity-type":"item","numeric-id":3176388,"id":"Q3176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45d9dfaae6fac647cc406e8ecbf4df679302759","datavalue":{"value":{"amount":"+0.877818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747654$16217601-A8A4-4B92-9694-49C88B89E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced599a5ef556f3bc8bd16da3ea41af8836b03d4","datavalue":{"value":{"entity-type":"item","numeric-id":893625,"id":"Q893625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46af99dd386f3a21e6d21a4d8f0c60a41a57e394","datavalue":{"value":{"amount":"+0.87696505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747654$ADB549AB-35B6-4D4E-BE88-790764BF6739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feae8dc0560b7264c4493046e4beea2afa5d066","datavalue":{"value":{"entity-type":"item","numeric-id":3522915,"id":"Q3522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788fcafacf7674034dbe95b3488b7e29d59df949","datavalue":{"value":{"amount":"+0.8741696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747654$5837D56C-0F47-43A7-8CF4-0590F767DA2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747654"}}}}}