{"entities":{"Q6176567":{"pageid":13311455,"ns":120,"title":"Item:Q6176567","lastrevid":58741995,"modified":"2026-04-06T13:32:35Z","type":"item","id":"Q6176567","labels":{"en":{"language":"en","value":"RHLE: modular deductive verification of relational \\(\\forall \\exists\\) properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7717070"}},"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":"Q6176567$587B9D05-EBAD-4A21-ABB0-06488DD3712E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d86f674fc1f46e6ea339df7a078202c63720975","datavalue":{"value":{"text":"RHLE: modular deductive verification of relational \\(\\forall \\exists\\) properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176567$755D9BF4-01F9-4C03-95ED-D682470EFE12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85da345fb37169e18655b71875c84887e33d5d6","datavalue":{"value":"1524.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176567$F5E2E41B-C289-41CF-AF10-90E48C2BCBCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d02c8686ccbdaf88d81ceb285198269eb6881f17","datavalue":{"value":"10.1007/978-3-031-21037-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176567$B89E9BDE-F877-47E8-8C11-3A96206A9A39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e214f3a54b279c16e1b1176fb764562ee9b00371","datavalue":{"value":{"entity-type":"item","numeric-id":5885921,"id":"Q5885921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$B3E11C84-C448-4E20-ADA3-71FABAB04AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bba32c65263c7db974875295957dcadaf17010b","datavalue":{"value":{"entity-type":"item","numeric-id":6176565,"id":"Q6176565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$162BB701-1FC4-4714-B45D-56E9A630C432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbd3d67a970e8905d9107b27e5cac65bd55191c8","datavalue":{"value":{"entity-type":"item","numeric-id":6176566,"id":"Q6176566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$955C7C2C-706D-4E22-A6CD-AEB6B00A03D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2925d733af62343b50741933d1d093dc5f330d","datavalue":{"value":{"entity-type":"item","numeric-id":2819859,"id":"Q2819859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$BD2F6F83-09B9-40A2-A96A-6D64CF337F68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$B2720267-5704-4088-80A8-74B8EF84C9A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c23e2f8c5005e57b25458422f4cd3f060374be12","datavalue":{"value":{"time":"+2023-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176567$1CF3F88C-D7DE-42CB-A3D7-F75778F77AC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ffb4291c2e6912de14de3fce0f7b78c097c874","datavalue":{"value":"https://arxiv.org/abs/2002.02904","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176567$FB12B7A4-103B-4445-A5F4-5CD264D2D907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176567$8796C4CC-CCB4-4004-B305-A27CE74D2B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176567$B8A2D770-A020-4324-B183-A42AAA372779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dac227ceed182ca6c090a532f9f0c0c44bf5d620","datavalue":{"value":"7717070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176567$3A0D55B8-E5FA-47BD-8557-CC5759C0F962","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":"Q6176567$C2BF38A0-4C4A-46B8-88E6-D365D88F192C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891d7c6865e75ecfcce4f7008c1e72e5f8caa063","datavalue":{"value":"W3107663325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176567$FA766424-DF2A-473E-B128-F3EDD0433C6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$96108EEA-912F-4622-89A9-E5FB78015CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$863893FF-EAD1-4FE2-B283-6F8E1B6EBE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890db7446e2310e3c1bd99c02cf47b64ec54941b","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$5AAC835B-40E8-440E-BBDC-327330259399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$9844A9CB-D32E-4AB1-B978-3023F5AF56D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$5D2182FC-748C-43DB-B624-CBF95530D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$52556764-0394-491D-8B44-591C9B8FC4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$CC7EC4FB-9065-40BE-B357-7B8983B28F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$F17A858D-E1CC-40C9-A0AA-2D9F561B4BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$8DFE4014-023C-415A-AFA9-BDACA529B22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$1208C8BC-68AB-4685-947E-0E048CDFE0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$9394B6C4-2D68-4C89-8DF4-DA6C849F0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b799aade81b4cd5b689709b2689d4aca488326","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$F9FB72B8-4997-471F-B00B-281D9E622479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176567$E8EFE3C7-7834-46F2-B155-9C66C3625731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6603eec3a834de925fcf826d0b5358c38fd5b0","datavalue":{"value":{"amount":"+0.798604428768158","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":"Q6176567$8646BA04-62DE-4F15-815C-5963DB853CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4392861c3eb71f2ca17be6465901766e073b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd8dea20c1be0c65e803362f53e2379bcaa3ebd","datavalue":{"value":{"amount":"+0.7758222818374634","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":"Q6176567$0156CC05-AC75-4806-8A3A-D56A201B141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339516b1d3912a8a65a1d443327df4329e2669be","datavalue":{"value":{"entity-type":"item","numeric-id":2165505,"id":"Q2165505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c176bd448bf40e13e461843f99b93a5643d12c","datavalue":{"value":{"amount":"+0.7713282704353333","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":"Q6176567$EA08392A-A3D8-4415-AFAB-DEC446AE1D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fcdb3fb79b452c963099673ae138310008b8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7d98a23fb51fa8670eaf5dca6eaa3340560923","datavalue":{"value":{"amount":"+0.7653692364692688","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":"Q6176567$098374E8-BEC5-4162-989E-5391FE20D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af71c955c01f4f71da78a5f362198a2025331a54","datavalue":{"value":{"amount":"+0.7552533745765686","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":"Q6176567$AF352B20-A054-4650-AEAD-08A6A3AD09AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176567"}}}}}