{"entities":{"Q6194574":{"pageid":13329462,"ns":120,"title":"Item:Q6194574","lastrevid":58753467,"modified":"2026-04-06T14:35:33Z","type":"item","id":"Q6194574","labels":{"en":{"language":"en","value":"Automated hypersafety verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805533"}},"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":"Q6194574$C54A5E9F-2414-44F5-BDD5-25F46E6E8CD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"930e6b592a57994cd7812c744e54f6b053992964","datavalue":{"value":{"text":"Automated hypersafety verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6194574$6D378B15-BACA-45A9-BE32-3B2C19A051E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9680ad9068be3512ef53ae8a0ce4d76ec8ee22ae","datavalue":{"value":"10.1007/978-3-030-25540-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194574$8996FC4D-2A7B-41A2-B7B2-48DB868243AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194574$8CC455B5-05F9-4010-8CEA-1C45B728C15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0fd2984dfe31ae8eeeae5e84ffe182ec2afb959","datavalue":{"value":{"entity-type":"item","numeric-id":6194573,"id":"Q6194573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194574$5F4D8EDD-497B-46F6-ABC1-E23C42F7BEBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194574$D7874908-40F8-4072-8DB6-E2D0A4A51E70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-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":"Q6194574$A522D176-1D81-446C-8FB2-184A60176898","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bcd4724383d4d5ab7ec35b157ef230ecb0fc52e","datavalue":{"value":"https://arxiv.org/abs/1905.09242","type":"string"},"datatype":"url"},"type":"statement","id":"Q6194574$8D4F865D-5623-481A-A73B-8170816D6121","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194574$768D0635-5E39-49CE-9B26-1587CCBEE37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194574$845C2155-876F-407C-8CA5-754DD4776DB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38c047d4cb9315b45aa5a31fddd47c155bdca41d","datavalue":{"value":"7805533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194574$818F4365-D85F-4AEF-9312-C60151058961","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":"Q6194574$15AC1AC4-8F2C-459C-9BE2-A8A9C34AA88F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e032824b09aed5ce818379be9df264cac412c203","datavalue":{"value":"W2962297646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194574$1969058A-95AF-464C-A543-007F5AD9CD37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a881ee9d4f7c65515250e9bc2bdce222c8b6372e","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb75dda232cf185bccdeae28436682267b09b6e","datavalue":{"value":{"amount":"+0.7772451043128967","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":"Q6194574$C16D67BA-62AA-44CA-9C66-28F6B5BCF903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fda7001e44752e70301bfd93a323460f12d91b","datavalue":{"value":{"amount":"+0.7351208329200745","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":"Q6194574$86466346-7926-40B0-A49E-6888C935196B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e078017d99c3a2d875f52148013fad1fef6d8ff","datavalue":{"value":{"entity-type":"item","numeric-id":6535349,"id":"Q6535349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def0c1c5058f47f35020b7f09ba3a2c54ec77367","datavalue":{"value":{"amount":"+0.7297104001045227","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":"Q6194574$48FB8500-5818-4F9D-98C8-EF23D1BB9B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b53cfdadd7ac2724951f4431129f57c92cc635","datavalue":{"value":{"entity-type":"item","numeric-id":6194570,"id":"Q6194570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0df8db9f60d85ad44ec7d8ef3a70b60248bcdbd","datavalue":{"value":{"amount":"+0.7267616987228394","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":"Q6194574$2858996B-2277-4DB6-9E2C-00D9BED4E01B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194574$B93BC6C3-9283-4680-B229-69E9B9DF6E38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6194574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6194574"}}}}}