{"entities":{"Q631572":{"pageid":633420,"ns":120,"title":"Item:Q631572","lastrevid":63233853,"modified":"2026-04-11T11:30:31Z","type":"item","id":"Q631572","labels":{"en":{"language":"en","value":"Cartesian effect categories are Freyd-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865428"}},"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":"Q631572$D4EA32C3-AAD9-4C0D-B831-5AFC6C92E472","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3b3bf0b68d80585bcbbc03f201ad9c62ac0ec3c","datavalue":{"value":{"text":"Cartesian effect categories are Freyd-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631572$DA2C36A5-857E-4C8B-8A16-F3368780E859","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a1a0b87d26485d62f096228a76d3aa3fd0c4621","datavalue":{"value":"1229.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$F95FA625-985D-4142-AE8C-0A7F08C2C6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63635de34ffb57bd53fe5d5cb03c7540f6090e8","datavalue":{"value":{"entity-type":"item","numeric-id":384992,"id":"Q384992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$C069E9DF-7D82-48B2-86F7-905C13DA944A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0053237aafbf1f84d532ac720618bcc7a9399d88","datavalue":{"value":{"entity-type":"item","numeric-id":382411,"id":"Q382411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$E0E482E0-25EA-49B6-A28B-329CE94F348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9603c1eb2a0329f978be13f9e3c8aea04a633b","datavalue":{"value":{"entity-type":"item","numeric-id":631571,"id":"Q631571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$C1C48513-B426-4A9D-85A0-71B40EFCA2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$67830ACC-5A19-4538-81C6-E38806797FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631572$C45B410A-B241-42E8-A105-48B94C6E1F1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$42C8A3E3-0FED-484D-84BB-E9671B89F686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$E88342AE-32C6-4AF5-A6EA-D910B475299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"975e306b2e493708715392b7bc75eadbf7291a79","datavalue":{"value":"18D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$CC77D22E-D08C-449A-83B5-25F5594824F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80c92b2b65928fa6a2c80578e363650d7a10feb9","datavalue":{"value":"5865428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$565939F8-E268-4E26-8B53-CC59008C0928","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$2739AFC1-A940-4B8C-A539-035699C18213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$ECB4C9FD-FB79-47B1-989E-D6B4BBE51CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$2397C52B-2B5F-4A15-98E9-D71C1F42D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01203e85327e54bcc3ef9ac92ffe317558d3c02","datavalue":{"value":"Freyd-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$F985ED13-438A-4511-B187-1433367C2702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac73f30d907047dc1bca822ed03ba8cc5c7a8dd7","datavalue":{"value":"premonoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$09051179-E41F-4394-96E0-958CA76AA673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8742c738db45d5f18cc94f8b2e4802992bbfa780","datavalue":{"value":"arrows","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$D9B25551-2EA3-4149-BDDD-168B3207E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c3a27d765a8770fe6681a92c562b9d0b09add5","datavalue":{"value":"sequential product","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$CC356197-1ED9-414D-9B31-156A800C056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486fadfe45bf3223c710d7a6616274775863095d","datavalue":{"value":"effect categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$B60C9556-07C3-4948-AE9F-907B03987E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ba4139fa12e5b64e992d9eec35bd30e84f266c7","datavalue":{"value":"Cartesian effect categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$6BA35EB3-A625-48FD-AAA9-1230C0CB4F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$63F8283E-4C77-4A31-AF05-21421FDB1E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37454b97f8a1cab3c557d07871ee454352ea477b","datavalue":{"value":"Haskell's arrows","type":"string"},"datatype":"string"},"type":"statement","id":"Q631572$8B81B5FD-8E61-4163-B778-F7BCCC0C7AB2","rank":"normal"}],"P1463":[{"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":"Q631572$A59684A6-A8BD-4CED-BD17-9A8DCC8FA26B","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":"Q631572$D20317F8-0102-4FD4-B297-2187A9D6F589","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51f4c09ad61c5ac76e49ee94f0a8c3e99f30e346","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q631572$2EECDFAD-7E0B-4AC6-BF30-750C568B4E65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f8c330b58d063a71eb75a92954df9aa6bd38e6d","datavalue":{"value":"W2052395241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$4CA14731-4E8C-4518-9B09-2E0A9710378A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f61bd595446db29343db326f47cc40d28f087e","datavalue":{"value":{"entity-type":"item","numeric-id":5166619,"id":"Q5166619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$F83B9247-CACC-47BD-AD49-3317AFFBF873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$BB7F8FE5-B0F9-4215-889F-47DDCA972166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703bc91e6b75515657468bfa5ea5def7a64cca33","datavalue":{"value":{"entity-type":"item","numeric-id":1121368,"id":"Q1121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$3454DEED-BFC6-4EC2-96FC-45D4A525038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178a58b5b46e9463d74ef8cdc0dd992a73fc94f0","datavalue":{"value":{"entity-type":"item","numeric-id":2851324,"id":"Q2851324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$78AB4E65-71BD-4F0C-B6C2-C21EC7819EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78f8f5f44891dbcf46a92514a699b5527659f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1566910,"id":"Q1566910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$2E65C64F-028F-4115-8549-F45301918DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$99C0A048-547D-4472-A9A1-A85EF6AD38F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$F1DB24DD-2F81-4F50-BDD8-868A6C1BA426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$AEAA2ABC-B2B2-4F14-9ADB-FB7E8B1F5A90","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":"Q631572$829D5238-359E-477C-8E62-2330E9CC5C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce42d0e1b28625faf6385be733adf88021aaed2","datavalue":{"value":{"entity-type":"item","numeric-id":4327833,"id":"Q4327833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$B5539AEA-CCC3-472C-8AF5-F1C8750A4282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4882f1f2bf6f8403de3060c90e78720810d9978","datavalue":{"value":{"entity-type":"item","numeric-id":5178012,"id":"Q5178012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$558A85A6-8EC0-4370-8CCE-BBCB14F088C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2b804bf61899331ed3cb80319b9e1347ffd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$A9BD4F4C-0711-4088-A9C7-1BFB8864F601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26dc63de6fac7518d2b54610868cabf1dab2c4","datavalue":{"value":{"entity-type":"item","numeric-id":4938649,"id":"Q4938649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$50044386-9E91-4707-B4B3-A5AB9294D0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631572$206478F5-4284-4A6F-B3E4-E941ECA0B39B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ec4952a6a2daf0731be10626a412f62237362d","datavalue":{"value":"10.1016/J.JSC.2010.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631572$0526F008-82FF-4A5E-9640-4FD1F1F5B098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706d8f20f1abe25ae154926ec520b5287f4d7ef9","datavalue":{"value":{"entity-type":"item","numeric-id":860841,"id":"Q860841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef5fe28b672415b4198b304e8b22f7fd13290a7","datavalue":{"value":{"amount":"+0.7596359848976135","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":"Q631572$1DEE8326-CDC5-4369-B262-BBC188B92E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80821dd30804b614296c144d922dd540b2e1cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3178272,"id":"Q3178272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2029265ad862c8c25a05eba328296367768c07","datavalue":{"value":{"amount":"+0.7490192651748657","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":"Q631572$8602BCA9-EAC2-4453-B3A2-AFD3BC16222B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7574b1812ed53d4f21cf058e6108de27f2385d61","datavalue":{"value":{"entity-type":"item","numeric-id":3638920,"id":"Q3638920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1042a6460a832fc45e7227f1a0e1e09329345c06","datavalue":{"value":{"amount":"+0.7405214309692383","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":"Q631572$E6E0C955-5102-468B-99AA-4C3A768FAB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aab33338f4c3a1a43ce4cd6938f56182e21438c","datavalue":{"value":{"entity-type":"item","numeric-id":3638922,"id":"Q3638922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0badbd69af1406e466a3bb6d520230150270d143","datavalue":{"value":{"amount":"+0.7293874025344849","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":"Q631572$3CA1103E-0C61-408F-B91C-090AF080BFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456ebd3e8807374439d4350f44c8aecbe7b99b96","datavalue":{"value":{"entity-type":"item","numeric-id":280202,"id":"Q280202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5eb10e85215149f731ff87236aac4a5bdc96380","datavalue":{"value":{"amount":"+0.7218074202537537","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":"Q631572$3DA34E2C-4D11-4207-8662-22B4D2E36E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cartesian effect categories are Freyd-categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cartesian_effect_categories_are_Freyd-categories"}}}}}