{"entities":{"Q5971403":{"pageid":8148199,"ns":120,"title":"Item:Q5971403","lastrevid":97794299,"modified":"2026-06-05T15:25:45Z","type":"item","id":"Q5971403","labels":{"en":{"language":"en","value":"Healthiness conditions for predicate transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664936"}},"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":"Q5971403$3A8F68D0-5BE2-4917-9BFB-B7A14B742855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2224edbaa242a9c443c4b972089f3109e1b38458","datavalue":{"value":{"text":"Healthiness conditions for predicate transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971403$8A565461-F3A2-40D0-89B6-B2CFDADD36DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1edd9aebbd198869d6c50643d4a19e7bc98ccff","datavalue":{"value":"1351.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$3CCB6FA8-19F4-470C-B582-99376FA4453D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c722b18062e530983ece38a50cd0cb269a2811aa","datavalue":{"value":{"entity-type":"item","numeric-id":371256,"id":"Q371256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$E6C3A0EB-2B15-4BCA-80C8-2A8BEA18791C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$B80AA158-1130-497E-95F2-2786495D7DCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-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":"Q5971403$62A9DD01-BA66-47B1-882A-31B3EDFE1A18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$2C9787EE-6DA6-4181-BF23-1BC858921FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$8C393C53-CFB9-46AC-A2C6-22D22635D01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$4C227BB2-06AE-48C9-B1CE-7B35642F2E72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1db8d33a0888c697c598f1649c5dc8bb9bfec187","datavalue":{"value":"6664936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$200666B3-2BA2-4252-8608-A1D3CC0EFD10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971403$41BA6C2D-CD73-4336-919D-7DF481C88CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e93a2a86d4585183186be9d6e35df7e75d36fe","datavalue":{"value":"healthiness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971403$9597CDC6-2D79-4B7D-A0EC-BBBF38E8271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4680ac9a4bf801fbb1b91be93fbacae4878d44fc","datavalue":{"value":"continuation monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971403$3D10AA3C-6541-4C77-A6B8-02C27FBC78F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b593f375b40a77d263d291672d7a8c71712e2c","datavalue":{"value":"commuting operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971403$7EE80EF7-A83F-4F18-905E-325A59A36128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a748f277fb72206704a8842b384c530339ee98","datavalue":{"value":"entropic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971403$9B627ECB-C89B-4798-954C-45EB702C0659","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":"Q5971403$F9592657-9244-47D9-A9EA-E28D2D9A589C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9d765b8dd5b1aadbb1913e663fef23606a1456c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971403$5B9CEB35-A0BA-4A7D-AE61-AF42F7BBB642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4938a39c62130ba353e22159429c3184f09a4575","datavalue":{"value":"W2212044066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$7BACCD3C-7E31-4E2F-BC58-813A5A2409FD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cdbe7d3f348855f3935960e14e43d1c430b7a27","datavalue":{"value":"Q113317725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$24128AF0-5D5F-46FE-904F-43E00931A3BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6c5904804a42b5924738c6004b52e8a9526c46","datavalue":{"value":{"entity-type":"item","numeric-id":2864147,"id":"Q2864147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$C479D566-ACFF-4CD0-8762-E115030101F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$AE697893-75F8-4307-8450-9B971BBCE7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$A47EF3D6-534E-4656-A310-B7AE82FA2170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad79bd0997416576802a75fe8e0542f6323c9511","datavalue":{"value":{"entity-type":"item","numeric-id":5458368,"id":"Q5458368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$45B35053-7F64-43D8-8FFC-8181964EEADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea309f37c981e5b0b2835f097b6a2ae230d10a51","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$64D0BB92-C101-4162-8A69-01EE76E8645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd8d78db07bbfbadb3bd525794ef4a1e8772f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2506496,"id":"Q2506496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$A6A223AC-5142-440A-81D3-B51768F653E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8712f1bc207788f59922bec79e7d5594f8f5eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5482269,"id":"Q5482269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$CE71E64A-5940-444F-A92C-CB0C878AE2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$02B8E887-EACE-44EB-B089-0C0CA95EEFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea96229519efac67a708edb5c42000de8e2e4e5","datavalue":{"value":{"entity-type":"item","numeric-id":418818,"id":"Q418818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$1C0A0B3E-A1AA-4F95-907D-903DE18694C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b15fe46c86d65b948da2460833dc71e09cb9911","datavalue":{"value":{"entity-type":"item","numeric-id":3636909,"id":"Q3636909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$3F37DF98-7183-47A0-BFAA-DBFF6D8F6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabd95059fb207199eba42dc770ae0ce2a2d6fde","datavalue":{"value":{"entity-type":"item","numeric-id":2980964,"id":"Q2980964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$6840A0F1-3CF9-4D0E-87B1-A6F5C9D3A99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69496384de3b7aa121e4db7da81e002bfecb1831","datavalue":{"value":{"entity-type":"item","numeric-id":1023294,"id":"Q1023294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$397FB540-5B47-44F4-B5B2-A52185C32AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48233718d4419ce37f1d28c7e5e9f5d4af260704","datavalue":{"value":{"entity-type":"item","numeric-id":541217,"id":"Q541217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$503907AF-5E7C-48DC-94AA-45E099BF37DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061bb07bd07b0a8305bb3d495b9c85e3aa462f94","datavalue":{"value":{"entity-type":"item","numeric-id":2884475,"id":"Q2884475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$240495D2-1217-496F-A1FA-8AED79237648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$BCD70D8E-7636-45F9-BC39-C881159DC55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$DF5742C8-FBB5-46DE-9750-7345E1254067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$57148F27-659E-48E2-B37F-3E5558F57DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$F1FE74D2-4CEA-48CA-A5B5-B53D2AFCB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$71F01574-92B9-4679-8577-8D0B4922974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fb6e183efb8cda59792ca96d54b00677761261","datavalue":{"value":{"entity-type":"item","numeric-id":2366146,"id":"Q2366146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$98275BFA-58E6-4927-82D7-EE61CB172FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87173fb80eb98b244bad127843fde7966f7c636","datavalue":{"value":{"entity-type":"item","numeric-id":2852372,"id":"Q2852372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$A987994B-3092-43D9-9D8A-529E572F3827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$9069A418-971B-4E4A-A76B-694E0E7AAF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c7ca13e70d3e8faf04a058e006d27ce9b92cb","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971403$5EAE8CED-B91D-47EA-B1D6-ECDC9C82ABDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d36f60f0f9d9873df9763a6ab121a495830cf0e4","datavalue":{"value":"10.1016/J.ENTCS.2015.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971403$E893E651-365A-42E9-BE2B-88D09B254A13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f59767fda50fcca17087ecdfa904cce13b24c35","datavalue":{"value":{"entity-type":"item","numeric-id":4635931,"id":"Q4635931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7a7d09a3ed8077e430d854725d8e683a1c97c8","datavalue":{"value":{"amount":"+0.7542653679847717","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":"Q5971403$9552E00E-7CE6-4AD0-BD2C-5E573E015D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba25d85936ea5f9ea52290d2224d965d90087530","datavalue":{"value":{"entity-type":"item","numeric-id":5925822,"id":"Q5925822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a79bba95c76a43e822ffe5e46561141b61e999","datavalue":{"value":{"amount":"+0.747078001499176","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":"Q5971403$BA0A75C8-77C2-45A1-90EE-05C5870EBF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c675f4be317e371cc1adb9259273d81eaeebbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a79bba95c76a43e822ffe5e46561141b61e999","datavalue":{"value":{"amount":"+0.747078001499176","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":"Q5971403$56D4E71D-5E4F-40D4-AB06-B727967E23AB","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":"29e4ee0fce04cb68a8cac9b4571f731c90d5e2f0","datavalue":{"value":{"amount":"+0.7462934851646423","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":"Q5971403$D8846178-D490-4A47-A37E-54AA14782282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9035e3aeefb926b2d1d362d5e3339167cf6676e5","datavalue":{"value":{"entity-type":"item","numeric-id":671411,"id":"Q671411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa243fbbf5ac9e83f7540e9a105b8d2a31313b8","datavalue":{"value":{"amount":"+0.7351444959640503","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":"Q5971403$77798351-A2B6-4C0D-9A9A-9C41547780CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Healthiness conditions for predicate transformers","badges":[]}}}}}