{"entities":{"Q2024352":{"pageid":2035094,"ns":120,"title":"Item:Q2024352","lastrevid":53991266,"modified":"2026-01-26T01:14:57Z","type":"item","id":"Q2024352","labels":{"en":{"language":"en","value":"Modular verification of programs with effects and effect handlers in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343220"}},"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":"Q2024352$D3051692-84C1-4670-8642-3E415411B2D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6bafeb5c2635cb51c4c50c7a81111aa5b467294","datavalue":{"value":{"text":"Modular verification of programs with effects and effect handlers in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2024352$96FEDDE7-7C7A-4794-99ED-9B180DAA410D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"504c7d094deb737fdf3fdaf5b94ab4747109b0bc","datavalue":{"value":"1460.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024352$C018367D-DC8B-4D18-AEDA-72C80B5291D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a1175e2c24d0c4a9cdcfcfdd6c07a2ff7ec9211","datavalue":{"value":"10.1007/978-3-319-95582-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024352$6EAC4C90-595A-4849-9B4E-26CB417ED050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1597690866ad0cc355cb0de322a22a336d4003","datavalue":{"value":{"entity-type":"item","numeric-id":1996430,"id":"Q1996430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$110E2F26-5BF6-498C-93B8-04434B774DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c91129883b1c8f62a4dd4f1c079991c736590f","datavalue":{"value":{"entity-type":"item","numeric-id":703497,"id":"Q703497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$E25D398E-3BD1-4628-BB02-2D8146E48154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9602d5f846245fe0a2079a6b5ebd24062f97cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1996431,"id":"Q1996431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$3B3F1EDE-593B-442C-9DD0-68F9CDBC42C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cef47801042cefc78e7b5d52c5dc66bb4e67c68","datavalue":{"value":{"entity-type":"item","numeric-id":1996432,"id":"Q1996432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$B63A6A45-A65D-48A1-8B0D-3B9535FB7D25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2024352$0D420A85-64DD-4848-881D-7F1FF7E2FD57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82d400680de0d8f11202a151bee438c868d5a639","datavalue":{"value":"https://hal.inria.fr/hal-01799712/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2024352$D0D60C83-BDBC-4B6A-AFA4-F58F860E7432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024352$487FBCCA-5A66-4FDA-9FF0-7EF34AD860B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024352$4EF43BD3-B202-4983-A494-ACE2CC372A72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8172cd91f50dceed0ad5fb448609b92628e47fb5","datavalue":{"value":"7343220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024352$F00299D5-004F-440D-A08A-E00DFFFDBD61","rank":"normal"}],"P1463":[{"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":"Q2024352$4A5AFF6A-E200-4E1C-BE7B-A85B98B8B831","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":"Q2024352$F563EB63-667D-482B-A0E2-A5E0701E29BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd0bff76949366b55c94d5934bd48cb13ce4e9e2","datavalue":{"value":"W2807309257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024352$DF52500E-B876-48F8-B4D5-8B21FF59F59D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64738746c7f98fb10a5cd52a09a9338c108e599b","datavalue":{"value":{"entity-type":"item","numeric-id":3100217,"id":"Q3100217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$EB87E4C9-4C79-45B2-88FC-3818BACF862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0d46c11b669eda41f53ccef370c4dd764b569b","datavalue":{"value":{"entity-type":"item","numeric-id":478396,"id":"Q478396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$2CDA9D11-1CEF-4D9F-BC9D-32AA6129D9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358d28337946cbbbe9042c0523c11a41b7ded37b","datavalue":{"value":{"entity-type":"item","numeric-id":2767981,"id":"Q2767981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$6E3BDC5B-CEDA-4694-904D-260D627DC762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$C59F7CB3-4DF6-49B7-A52B-78B62B021627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$5A57F61D-9413-4F5D-B820-69483E322A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5613958fb38fb10b07475ec915de57910506ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2814388,"id":"Q2814388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024352$E66AD6A5-7710-4DE1-BFB3-C0B4917D3BFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21f140224c0c0d4665f28b9e9fefb23afa9cab","datavalue":{"value":{"entity-type":"item","numeric-id":1996433,"id":"Q1996433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f70aae0bffccfaffaae3990e4592b16a125b7a","datavalue":{"value":{"amount":"+0.942781150341034","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":"Q2024352$13DB8D57-FEF6-44EC-8038-0F110977075C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a637a3ec8530fd323624ddc6f2ba82d813d4aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3546045,"id":"Q3546045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a7795565cd9edc304b7d1406b5ebaec5363633","datavalue":{"value":{"amount":"+0.7388760447502136","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":"Q2024352$63BFC913-1870-4C9A-943A-0A00BBB6ED99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62a3e1ad6d3adcef7c858b6dc71b22aec9d1f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc8a1c64d6761319aa1a94251b19ba94b95d969","datavalue":{"value":{"amount":"+0.715143084526062","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":"Q2024352$2F14AF07-E961-4155-9355-3A0D4E0DF794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc53649bd5d635da871bdf61e590a80b040daf0","datavalue":{"value":{"entity-type":"item","numeric-id":2176680,"id":"Q2176680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64dc35795b7ba9755a03b38942ab52878847c8c7","datavalue":{"value":{"amount":"+0.7088505029678345","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":"Q2024352$968B39E2-AE4D-44BC-B503-64E850FEFF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b07f7752f048810838a13b3751f9f4416cde07","datavalue":{"value":{"entity-type":"item","numeric-id":2828265,"id":"Q2828265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64d8b738d52492f8e0edaec9030e33d584258a9","datavalue":{"value":{"amount":"+0.7006177306175232","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":"Q2024352$1C9404E3-F18F-40CA-A901-A1248F9D921E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2024352","badges":[]}}}}}