{"entities":{"Q5919003":{"pageid":8050187,"ns":120,"title":"Item:Q5919003","lastrevid":93437564,"modified":"2026-06-05T04:23:57Z","type":"item","id":"Q5919003","labels":{"en":{"language":"en","value":"Fine-grained complexity of safety verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268909"}},"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":"Q5919003$525FE1DF-A5CF-49B9-8077-19F7C467BC35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23b1f9330dcbd3723f46c0722601216785adc7e8","datavalue":{"value":{"text":"Fine-grained complexity of safety verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919003$09C2C351-5862-4169-933D-F4812B729886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"550676205fe4661283b1031de0faf675e7e8bbca","datavalue":{"value":"1468.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$6578D889-4F00-423C-B835-A0F794A15161","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"632b2b13417fdf201c1dbfcfb4a5ba17a2586125","datavalue":{"value":{"entity-type":"item","numeric-id":2208300,"id":"Q2208300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$F4D6BC7F-26B2-47EF-B153-5D09C826F53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$BCCEFB53-D549-44A6-B336-33B14DF4030B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c9e52031a5706f049b4a3c6f99d07154b104d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208301,"id":"Q2208301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$719EA94A-C8FC-4672-A90A-29CAD696A6AD","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":"Q5919003$9FCB7ED9-22DB-4B17-B23A-3BC739F01817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919003$97A694ED-6E9E-449D-B84B-93DD055275D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$DA92BAE1-0DD9-4756-B767-420B2E5EE468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$C1C44259-5B53-4EB4-9BF3-09839D71F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$5AEA1D3D-75AB-4262-8D4D-AAF4666693B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$F45F9E4F-8DF5-4A4B-8DAC-B293322679FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$EF73D7C7-5384-4040-969D-C5028D9C11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$3B231835-8F30-4A5F-9996-B1BA61707E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26412b44144a95865e46ebd88cb36a7e6c7cdfc4","datavalue":{"value":"7268909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$C4517E8A-0EF0-4299-8A4E-3FE59D8C6C82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919003$795C2D33-5031-4C5C-8780-DED7C559277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919003$FE31048D-D4E8-43A3-8950-C2B7C30B9524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6662364db17862eb88962f414bb00491088635","datavalue":{"value":"fine-grained complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919003$E728E115-97EE-458C-A9DF-B74014BDE428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919003$C6D11F0A-3FAC-47F8-A2DF-EB21F397B54D","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":"Q5919003$D87BDBAA-490B-4AE3-8286-A5692EE20AE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a35362982910831099ac703f310129b7c04267bd","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09572-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919003$76417B8D-3586-4060-A27F-3256B9361D5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e36aa07d7cd7ee1a45f6e73c19f5ee2ae173a7b","datavalue":{"value":"W2787008790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$25E1881B-820F-4E12-BD62-E70C18B2ADCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86140b344d9b9d7a31896e33938c41738b5fae0","datavalue":{"value":{"entity-type":"item","numeric-id":2978551,"id":"Q2978551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$6003437B-0C05-440B-85E3-A536B5CF2DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04941868d724514b2169d98168bdb89f64a18289","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$F0897E14-89F3-4BCF-8D1C-4D944BDADD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd7010994775c5bb3ef1327498c7d5c1757be2","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$5500C937-AAE7-470A-8790-D86F52E5A3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51311c498bfdb46c71d3b0e0457406166bc7819e","datavalue":{"value":{"entity-type":"item","numeric-id":262282,"id":"Q262282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$85722C64-F85E-4DB7-B028-4FCBA85310EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b19a3632c2026e90215c41118dbb16f94a23ae","datavalue":{"value":{"entity-type":"item","numeric-id":1034099,"id":"Q1034099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$5AD67FAE-0638-4F13-B94D-4E8A55DBAB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b38574ba6bca5da0db1c75e0b34bee1c17f73f","datavalue":{"value":{"entity-type":"item","numeric-id":4979840,"id":"Q4979840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$F9FBE6F1-09AD-4B05-9DC3-5EC0B71017A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a4c23b508911cd4dee06950b209c7fd3b1801e","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$73CD5E72-95B7-4D7B-984D-199F009C79C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e634c3759189c4345651780a9fc7a435e9aab89","datavalue":{"value":{"entity-type":"item","numeric-id":5111714,"id":"Q5111714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$4AD0C4E3-0C5C-41E1-8490-8AB7B409651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772aaef887d3eda31d3f1b8dc35a14e80ff6ac8a","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$D1CF77DA-B1FE-4924-B072-B29B82401327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ccd52480738f16f133e453f288930971d4db9d","datavalue":{"value":{"entity-type":"item","numeric-id":4962605,"id":"Q4962605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$068526E7-102D-4E6F-83D8-51C86E6EF813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$351C7964-9D41-448C-93E1-C02D2CA21751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4037481ec702b575d8ae4bfa2a63a94dcf0baea5","datavalue":{"value":{"entity-type":"item","numeric-id":4736876,"id":"Q4736876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$1D738AE8-7FF5-47B6-88FA-D126033AF5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$82A46100-CE11-40BE-8E2A-59D626B939C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f0e8da5c7ada91dbf136fec680c4ce963669e","datavalue":{"value":{"entity-type":"item","numeric-id":2272923,"id":"Q2272923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$F3810FB0-FFE2-4258-B3E1-DDADDEC3C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b4fc90a450d898ef2b017a9eafada8e5ce647a","datavalue":{"value":{"entity-type":"item","numeric-id":3177767,"id":"Q3177767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$C566DE3D-6B9B-4902-99C1-DAD149A5D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e436cd142d60b17a9973e774c6bbcc13b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":3617757,"id":"Q3617757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$3A7C3969-281D-418E-BAF7-3EF6EBADFBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cefe2a78fddd72d5cf152acadd7bf277a869efb","datavalue":{"value":{"entity-type":"item","numeric-id":2256724,"id":"Q2256724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$84038649-63CC-4143-BBED-B2F31D90347C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9787b6b44f9c53c142f20800b3d518d41056b10a","datavalue":{"value":{"entity-type":"item","numeric-id":2830210,"id":"Q2830210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$CFB02BEC-BEB3-428F-BDFB-02841879D8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9998a3f298b79f1a6a6c5768dfa90bb3cac3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$3D4B96C3-FA33-480B-AAEC-6C365A507D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$C15D916F-CE41-41A6-BE42-E7C061599F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f246b270136383471281ad7ac2abb203965ef30","datavalue":{"value":{"entity-type":"item","numeric-id":5710806,"id":"Q5710806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$27F9BD33-74C3-4B00-9C8A-C8DEA909223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67d32e2526a0951c6dbbf20a98951c02007a95e","datavalue":{"value":{"entity-type":"item","numeric-id":2164219,"id":"Q2164219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$6BC339BB-63DB-472B-B4D0-79BEE2702227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8578dc33f61f9f52084ab063ce58f84067974f","datavalue":{"value":{"entity-type":"item","numeric-id":619903,"id":"Q619903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$3C89EF04-32D7-4657-9142-1DD62622EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792c2fd1a6805d7c32a0fdf6f8624cefbc46b361","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$EEDA17C0-5ADF-4B1F-9213-5DA9A87A3FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1579353b78c6aab8c838c97a5749840903528a93","datavalue":{"value":{"entity-type":"item","numeric-id":2911646,"id":"Q2911646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$8D13CF0C-837D-44A5-8305-9C9816AFE06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$0BAA08A3-3ED6-460B-9DA1-20AB72EB4CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$859CC2A1-550B-429F-87B0-A92DE53FE1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21848069efac2a47f27e38d913c717cf8ab7bfd4","datavalue":{"value":{"entity-type":"item","numeric-id":5365079,"id":"Q5365079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$39F0AA2D-52FB-487D-8FDA-9B4724D3391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$5E3AD6B0-A781-40B4-BE5A-CA8FC4CBA15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566e9f0277016b4d53ce96f65ba7f452cab0b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":4544433,"id":"Q4544433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$AB6E7B58-3303-4E81-9406-DDBE6BDF9453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef86d27229f88234625ab5cf631770a7bacc164","datavalue":{"value":{"entity-type":"item","numeric-id":794427,"id":"Q794427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919003$C7C241E3-B000-4DE2-85A3-EBB9F2CCFED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7774b2b3bb6397688e9dad5d0583d72d13f7ae47","datavalue":{"value":"10.1007/S10817-020-09572-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919003$73DC9DAE-9FCD-4760-ACB8-240B230AB06D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3ac429cd5b7b2e267856ac44ec1770eb09bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dccc0c0cff472833a8a0f54deb9d1c82cddd3b","datavalue":{"value":{"amount":"+0.9926304817199708","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":"Q5919003$3CE82A0B-AA8F-4902-9611-C1FA019CBF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6c4d4e4627c3a3166b7992f7bfd1bfbd429d83","datavalue":{"value":{"entity-type":"item","numeric-id":5875672,"id":"Q5875672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308fa001e36bf13569bc1e5ba7875f989e8e6876","datavalue":{"value":{"amount":"+0.7705464363098145","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":"Q5919003$EE185277-A618-4376-B916-1E755E55F7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39755ea34d9b606a93c4b7b2ca4b3733bf5122d5","datavalue":{"value":{"entity-type":"item","numeric-id":3177767,"id":"Q3177767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1579f8a73de71e944e7c1ddff193fe8b646f0a0e","datavalue":{"value":{"amount":"+0.7514053583145142","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":"Q5919003$D0D357C0-44A9-4B34-96C8-4E47B2E90AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c4de13273701c786fea45ad4f57635f36ffb34","datavalue":{"value":{"entity-type":"item","numeric-id":5111714,"id":"Q5111714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0700b16c49ba6ec33f26d34b9e6915248d2a1137","datavalue":{"value":{"amount":"+0.7357143759727478","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":"Q5919003$EC9794A9-A1DA-4B2B-9E1D-0DC1675BF38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07895d05435c79eb941c568143035934ddddac5","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922b95d596cf719359c4faf9b9e599fbdf5cc6fb","datavalue":{"value":{"amount":"+0.7094715237617493","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":"Q5919003$0BD70746-5D42-4E22-BA0E-1569F555F31E","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":"Q5919003$B293C4AC-2C7D-4208-B7CA-76FFB819078E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fine-grained complexity of safety verification (scientific article; zbMATH DE number 7268909)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fine-grained_complexity_of_safety_verification_(scientific_article;_zbMATH_DE_number_7268909)"}}}}}