{"entities":{"Q5919616":{"pageid":8051311,"ns":120,"title":"Item:Q5919616","lastrevid":93384086,"modified":"2026-06-05T04:18:34Z","type":"item","id":"Q5919616","labels":{"en":{"language":"en","value":"Fine-grained complexity of safety verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105332"}},"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":"Q5919616$EF56741F-FA23-4CE2-ACBE-19AF1DAC6EDE","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":"Q5919616$C9D3539F-1E9A-415F-932C-4E7E12DF8373","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bfd1f07f67daca48e106413a4be364e5a1148bb","datavalue":{"value":"1423.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$30FC6ABA-30BF-40D7-BDAE-66C0B7D4A45B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089963219cdc2cce11d84c26cdcd5fc4d18a9dde","datavalue":{"value":"10.1007/978-3-319-89963-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$A5F9C15A-9AF4-46B7-83F8-9E689060A116","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":"Q5919616$4E68E68E-72B2-4800-946A-2315D5645A90","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":"Q5919616$8593E2B8-613E-47AA-A6CE-9346872E5637","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":"Q5919616$1ADB4852-6878-4C83-8A58-3AD006738229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919616$A9F1D56B-A091-41AC-BA51-E3FA557D302E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-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":"Q5919616$3A1C2DA1-A7CA-4CB2-9A0E-9FAA79458D46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c3071db632bd7ad5ad10d79e3f16678c569f48e","datavalue":{"value":"https://arxiv.org/abs/1802.05559","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919616$32463DC6-462D-4F3E-82CC-D2D7D40B5E89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$683C193A-5362-45E2-AAE3-353009EC7E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$6FA811ED-523E-4E15-9ED7-55D9060B9212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$953D35AD-6F40-42EB-99D1-018397853257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$2DC19F2E-57D1-44BE-97FE-CCE3D81001E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9da831c4db468da4ea3abd7e67b926bde5213aec","datavalue":{"value":"7105332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$3F34CE0B-F5F1-4591-BA62-AA415628F872","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":"Q5919616$03351DF4-B519-48E4-927F-0735C5392DF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f214706558e5e3ebcd40261dd0329cc529479f18","datavalue":{"value":"W2964160499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919616$CA9A9BF9-361C-486E-B948-4B15E1411425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36a3f6104230163279f6b2a08f2a9eef2d0c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5919003,"id":"Q5919003"},"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":"Q5919616$B75D762F-9606-4CF8-A648-9A5C8C00024D","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":"e3f2c1155d8b390dde8842f6c41f85a1e3a70d05","datavalue":{"value":{"amount":"+0.7715699076652527","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":"Q5919616$B362BDA2-5BC1-41BB-9E8C-36CE5D23908C","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":"ad41919eb96d06200275f5cc4fc754183c6598d4","datavalue":{"value":{"amount":"+0.7532630562782288","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":"Q5919616$5937CF82-39C1-4CA7-A096-CCCBC3AFFD53","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":"7f6482a5f3b0013ed89a95ffabd3a702bb868158","datavalue":{"value":{"amount":"+0.731859564781189","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":"Q5919616$2D9D02A8-A521-43F4-9FA8-20B5B8222007","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":"876381c6cf319a51dd50ac09df589eb55091ab7a","datavalue":{"value":{"amount":"+0.7091808915138245","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":"Q5919616$5CBEA737-ED9A-4910-9D1E-9646657EDA62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fine-grained complexity of safety verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fine-grained_complexity_of_safety_verification"}}}}}