{"entities":{"Q672318":{"pageid":674167,"ns":120,"title":"Item:Q672318","lastrevid":63461439,"modified":"2026-04-11T13:19:45Z","type":"item","id":"Q672318","labels":{"en":{"language":"en","value":"Predicate transformers and higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984920"}},"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":"Q672318$FB6EEE7F-315C-48E4-97A4-911BDC0F1488","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cf8bd46f1d9086241afb3a9a8148a08128323d8","datavalue":{"value":{"text":"Predicate transformers and higher-order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672318$7A53AD72-31FF-453E-B630-E60CE18A5F08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31fc1aa2ab3dcfb122fef9003a79c523d4b475d5","datavalue":{"value":"0874.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672318$E01B0F60-DE43-468A-BB19-2DFB4D180F46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd6a7d86047ab0530346289a112066270bec81ae","datavalue":{"value":"10.1016/0304-3975(94)00247-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672318$CCFB93D5-EC77-4109-A134-5BA492274BBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$0AE5B2AE-3E98-4AFC-A628-12D9D787DEA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$390D5504-CBEB-41B1-9FD8-0EC154680C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672318$44C1196B-FA51-4D79-9607-B7D407C35F59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672318$79A6AA31-7740-47D1-8886-3C8FDEC6A975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672318$B8D2545B-80F8-4737-9302-30EF0A24D978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a499776b42bf39c96fa0690557538b3b7157ca6","datavalue":{"value":"984920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672318$3F55AD8A-1132-4B08-B4EA-6E6609CCC4BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672318$A1D0C50E-32E1-47C8-9A68-0AEB4E9221C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q672318$6327F62C-D1B6-43AE-A536-7B6CF5A2B71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c9bd6fb3361376108abb0e4010e4da7fca18d7","datavalue":{"value":"categorial axiomatizations of program constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q672318$03D2909F-01A1-48F9-B84C-E594F47A1FC7","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":"Q672318$F1C12931-D533-4702-ABE5-BD1A51C64CCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$AD5F2CF6-CB62-4B9C-9284-B3DF8F2CD748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$1820C130-0742-495F-B580-403D6E4308E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$C5406112-B0F1-439F-A7EB-BB7D0A70768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$28A386EB-12C0-4845-9628-85E3F3304A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$4786A432-AA87-4060-91D5-930B4DD6F0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af65cf8cee4dae7e94dd132968e7c6f75b2e1098","datavalue":{"value":{"entity-type":"item","numeric-id":685524,"id":"Q685524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$FC2A0FD0-B6CA-4895-80F3-0829CFCDD598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03e2a3552cff7687726e6f228d839fe37b944d2","datavalue":{"value":{"entity-type":"item","numeric-id":1065535,"id":"Q1065535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$83419C6A-6C18-47FC-8438-86CCC962C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01111f5254308eb3f98b670c8054942aae6a5a41","datavalue":{"value":{"entity-type":"item","numeric-id":1199549,"id":"Q1199549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$D9D18101-D643-4B1F-A23F-54AE6C3DF716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e72d3481d690e4c10cdc05b7d6ad88162db034f","datavalue":{"value":{"entity-type":"item","numeric-id":4286530,"id":"Q4286530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$037BEC92-6031-492F-A035-B5867728F3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$B30E1C95-EEB9-40C6-8295-622B1C5941A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623fe1d1c4dabc18d41e15f2075fe2481838316c","datavalue":{"value":{"entity-type":"item","numeric-id":3994464,"id":"Q3994464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$2C57951E-F091-4263-9FE4-7BE50033DA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$F32DD958-3B45-4162-9622-7B80C084CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$52B72D32-B27A-4A0D-9B3B-99C6D8842446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5f2bf84f29b7e182cc99915fb6781a55f47a74","datavalue":{"value":{"entity-type":"item","numeric-id":1330446,"id":"Q1330446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$8D2C0698-867B-486A-9358-A8AE3C1AC9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$EB74F09A-FB1B-4A41-B6FF-B54619F6BCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c54674a814e673e92ba77d8e697cda0ad59a5e","datavalue":{"value":{"entity-type":"item","numeric-id":1583261,"id":"Q1583261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$2314126B-A085-46E9-89CA-89E427D46255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ed38d62a7304471d302848d6db0f9f8f6fa239","datavalue":{"value":{"entity-type":"item","numeric-id":3799624,"id":"Q3799624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$077E73F4-0B6B-4EFA-84CE-14D755126F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e6ac0a3b1ddb77f75539373cfc425e2a0d879a","datavalue":{"value":{"entity-type":"item","numeric-id":4279250,"id":"Q4279250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$7EFA327F-27B5-495A-8C0F-43516271EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a275d198e79a5a779c9122030ac5928da828940","datavalue":{"value":{"entity-type":"item","numeric-id":1120666,"id":"Q1120666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$08DEF1F5-A291-4451-95A1-0A4D252D37EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$0A45C32B-F1D8-463D-9D05-3790BE591CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$B962770B-8EA8-4685-8198-13707AC86729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73afd4a8b9c57c125e3b479571ed5c961d82ebe0","datavalue":{"value":{"entity-type":"item","numeric-id":797986,"id":"Q797986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$F43B8EEF-4907-48C2-A4A2-02CDE729179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb7673265fee00e00cba5dd593a3c34bf3f60eb","datavalue":{"value":{"entity-type":"item","numeric-id":4006227,"id":"Q4006227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$4FCF428D-4F3F-4C7B-876B-30B363502EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943a523b7cbb0aa1180e62f02172f23674d20d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746866,"id":"Q3746866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$7B5E5147-29F1-4148-874F-D431BDF1E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828d8a6508cb5136b9fc44f1936b3d1c96aaa534","datavalue":{"value":{"entity-type":"item","numeric-id":1113659,"id":"Q1113659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$EA16E6F6-824E-45E5-AFC3-B7C5333808CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$9DC637EE-25A7-4C84-A724-7BCDAD06D8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$AB0FAC86-632D-438A-918A-F17F2CDB5339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$18E61B69-2972-46B5-8D76-0E71B7633997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569508b7db6ec5f95c2f477a018ea09e386a63c5","datavalue":{"value":{"entity-type":"item","numeric-id":1330667,"id":"Q1330667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$F21B9C4E-0FDF-4227-AB51-BED4E27EA6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$FDDCF69E-8AA4-40FD-9A4B-1E809B2E7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c0c08c998a0a93f03ec352999bc5310d5a0101","datavalue":{"value":{"entity-type":"item","numeric-id":3920613,"id":"Q3920613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$9EC0F93D-E90F-4AC9-A25D-E7893A36CEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad3a48e9e243625175c9b269b07cd1f7ba2490dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003369,"id":"Q4003369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$2DBC7FD5-B72A-4334-8E5C-6C1E26F2C1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$B5A34315-4034-4E70-8900-E7346B167684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b459c3ae29ae68093eaf6d16ea43862ec5501b3","datavalue":{"value":{"entity-type":"item","numeric-id":913527,"id":"Q913527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$A13504A6-5C0E-4B03-ADDD-C37B7BA5EE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce2149efb7776ed100ced5cc608e13cc485228a","datavalue":{"value":{"entity-type":"item","numeric-id":4201911,"id":"Q4201911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672318$112ABAA7-F394-434B-ADC8-1917783E13A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60df4762723e971c99c9532e7521987b341b716","datavalue":{"value":{"amount":"+0.7916600108146667","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":"Q672318$C9E0E5FB-5357-4DF0-8AB0-2509C5E6CF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383f42692b0b240b983fc72d6c6d15ed690383d","datavalue":{"value":{"entity-type":"item","numeric-id":4236215,"id":"Q4236215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8914cd5cde6d8802db38ab51016499ada5c4fcde","datavalue":{"value":{"amount":"+0.7899954915046692","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":"Q672318$22D0C9D7-DB06-498B-B1D4-A314376174EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee6dc52a2c17d365097e197976397402868d20f","datavalue":{"value":{"entity-type":"item","numeric-id":1898816,"id":"Q1898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8914cd5cde6d8802db38ab51016499ada5c4fcde","datavalue":{"value":{"amount":"+0.7899954915046692","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":"Q672318$6FF4DDB3-EA14-4559-AC2B-A6A3FD62BE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04a6a9b10a8d62591516ab840f0eb5eee93977c","datavalue":{"value":{"entity-type":"item","numeric-id":1906039,"id":"Q1906039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf91d4493541ef4990ee6082f883f63b862e1297","datavalue":{"value":{"amount":"+0.7786323428153992","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":"Q672318$EC754E37-7215-4AA9-A026-67DC81D7A709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5c38e7560a88fabc79072d867e2df17eed3392","datavalue":{"value":{"amount":"+0.7768546938896179","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":"Q672318$4011E309-9696-4378-A79E-4AF0C5184C6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate transformers and higher-order programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_transformers_and_higher-order_programs"}}}}}