{"entities":{"Q1996433":{"pageid":2007175,"ns":120,"title":"Item:Q1996433","lastrevid":53946110,"modified":"2026-01-25T23:35:55Z","type":"item","id":"Q1996433","labels":{"en":{"language":"en","value":"Modular verification of programs with effects and effects handlers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317639"}},"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":"Q1996433$596328D6-C9ED-4980-8356-656C4C461EA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6353be188334291f9eddb6965b6779527c49538","datavalue":{"value":{"text":"Modular verification of programs with effects and effects handlers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996433$80149053-A308-4039-A091-9718B6A9B2EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea02d959fb7a5c1e7952c2940e4091cfcaa83013","datavalue":{"value":"1458.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996433$C0A5E995-F69C-47D5-A9FC-A445BCFA6FCE","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":"Q1996433$841D021C-9074-4A61-9F0C-0326089E21DB","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":"Q1996433$A1927E5F-C004-4F7D-BA44-3810892F65C1","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":"Q1996433$08CCA779-3310-4DD1-8D97-EB48BB1A9B79","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":"Q1996433$0787EC18-EBC0-4A69-B532-BAC30E9FB331","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$F28C87CD-C746-4A58-9963-515BF9D7CF73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abf8c791dda646fcab93c7619a351c524ac0efaf","datavalue":{"value":{"time":"+2021-03-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":"Q1996433$821A7049-B847-4456-8E26-A8C22A2F39DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996433$DFB0B973-BD87-4FFD-84CA-25223230C177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996433$51E15A60-804E-44C1-8D50-30A1B8FB69D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3877ee3ba8c83569431e66b4e63463cec3bbef13","datavalue":{"value":"7317639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996433$E118B063-F968-4E60-A7BD-A32A6BCD7967","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996433$D35BE64D-9E04-4188-AC0F-51721EFBA6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996433$77BF17DB-BE98-4923-83A0-FDDBC85D0988","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3517a2607fd5501e7abf98f71a49c3e02398ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":24313,"id":"Q24313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$3D515A31-2EEE-4F95-9191-8A2204E64F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f5a8f1ad36814e42046eebe0d98a77863cb9fcd","datavalue":{"value":{"entity-type":"item","numeric-id":34512,"id":"Q34512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$C6A60336-BAAF-41C3-9B3F-FA4F47F7BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ee91bb7da8a7ce3b7316263f04fce04eaef6287","datavalue":{"value":{"entity-type":"item","numeric-id":53254,"id":"Q53254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$0EEE5B2A-0F28-4D9E-9DEB-F0E66E471169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab4f75d2955c067db3834ac768e394a715f5379c","datavalue":{"value":{"entity-type":"item","numeric-id":53255,"id":"Q53255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$3A3B1C83-4E9C-4975-AA10-E92773AA04FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$1D5A7892-FDDC-4041-A454-419C926BDCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$4F382ABE-9FE3-4DAD-BC72-C59006A0D2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddd31dae9cec559546306beb5fe50048bbc464af","datavalue":{"value":{"entity-type":"item","numeric-id":21898,"id":"Q21898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$527C1B78-3DED-44D4-AC97-AEC586492C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$0F0FB6F4-39C8-4B16-93E3-6AD66096B53B","rank":"normal"},{"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":"Q1996433$74C7C425-6AB4-4093-BD23-2B5FEDD6EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$4F6E07CD-C738-4DFA-BD23-7296BA578A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34f9cb359241516883d2e895731824bfc5d80800","datavalue":{"value":{"entity-type":"item","numeric-id":35126,"id":"Q35126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$F4A43D69-2BE0-4E5C-A0C1-EB22BF3F8841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb6a7b246bf9c4bb421886df1d84726267770772","datavalue":{"value":{"entity-type":"item","numeric-id":40358,"id":"Q40358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$7AE17A05-9744-42F2-8BDE-91EAAB1DAD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$179F754C-897C-493A-BAC4-A41B70F5CDCD","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":"Q1996433$CE6312BF-766E-4F42-A097-97C446BCD006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2160fc93ab593e23630ba7ae13346f16d3bda8a0","datavalue":{"value":"https://doi.org/10.1007/s00165-020-00523-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996433$0D5165CE-612F-4176-8875-293143FE754E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de290e1df7509125eddeed0939cdc5a554548490","datavalue":{"value":"W3110742659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996433$36304E71-7FE9-4539-AE51-C8A3512FBB37","rank":"normal"}],"P223":[{"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":"Q1996433$4DD8A269-0119-4B32-91B3-81CDE0EB338C","rank":"normal"},{"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":"Q1996433$F88F9020-58DB-44D1-B8B5-6AE2A608C5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$7DB6F1CF-C801-4734-AD08-67960609F1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d5e0a7c092c4629f013c081922d81de7d081dd","datavalue":{"value":{"entity-type":"item","numeric-id":2348761,"id":"Q2348761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$59E50C52-6683-49C6-BD80-7C1D61D279DA","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":"Q1996433$9D0DC933-FB38-4005-B031-B8ACAAB72026","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":"Q1996433$C69A50B4-C9C1-45B0-889A-855DBA473435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5d6fd007c57866aaa71932e7c04693d1c28a3c","datavalue":{"value":{"entity-type":"item","numeric-id":1698760,"id":"Q1698760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$B5FCE43F-1026-4F02-B89A-10F062997074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996433$3A54283F-9E26-49C7-AEC1-17CFE03C7429","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3281af24d3deb1c87f5034879df46008e1b40ac3","datavalue":{"value":"10.1007/S00165-020-00523-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996433$3DFAAED8-F965-42C4-9279-5106FB00863F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ab9a2246156b2d83005a2af29fdeee8918f244","datavalue":{"value":{"entity-type":"item","numeric-id":2024352,"id":"Q2024352"},"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":"Q1996433$A595BE3B-8A0B-4931-A3CA-D2AEE606B3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f2a0c6f39dc0aed790c4e94401e88394107a05","datavalue":{"value":{"amount":"+0.736132025718689","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":"Q1996433$A312A5C8-62A5-4B5C-977C-E4FA5146FB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f2a0c6f39dc0aed790c4e94401e88394107a05","datavalue":{"value":{"amount":"+0.736132025718689","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":"Q1996433$9815E14D-61BF-4256-A6C2-2B008A6086F6","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":"41b8b2148a8f670b5994bc13aaff30148f3c1364","datavalue":{"value":{"amount":"+0.7330103516578674","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":"Q1996433$7B85782E-6C5A-4343-8111-017E559E461C","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":"43ccb4c83387225a5decdd8e5a8fb5609058f3e9","datavalue":{"value":{"amount":"+0.7291863560676575","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":"Q1996433$6522A261-4FFB-4F98-A96A-AC964D8AFD25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996433"}}}}}