{"entities":{"Q860883":{"pageid":862731,"ns":120,"title":"Item:Q860883","lastrevid":64900041,"modified":"2026-04-11T22:58:34Z","type":"item","id":"Q860883","labels":{"en":{"language":"en","value":"Discrete Lawvere theories and computational effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083523"}},"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":"Q860883$3A87E741-D964-45F4-85E6-0707B39B96A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2017f71e77fe8f8389c0ccbffdeecd352bf83295","datavalue":{"value":{"text":"Discrete Lawvere theories and computational effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860883$4C41F4E8-621E-4DD2-BBBC-4ED8ABC7FECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00cf90b7b5a0c462318c17296d35917aac766b40","datavalue":{"value":"1112.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$08C7551F-925E-4DF2-8DF4-63083DC4A1DB","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":"Q860883$92475FEF-A770-4FF9-BDB2-BF2CF1011421","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860883$FBED0AE9-FAD2-4246-9D3D-8E88E5C51247","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ac32802c0ec7614193105733331154a71f49ce9","datavalue":{"value":"Lawvere theories are a category-theoretic formulation of universal algebra for which the notion of operation is primitive. Countable Lawvere theories allow for the modelling of several computational effects in terms of sums, tensors and distributive tensors. The enrichment of a category allows to extend the type of computational effects that can be modelled. For countable Lawvere theories, sums and tensors extend to the enriched version, but distributive tensors do not.   In this paper, the authors modify the notion of enriched Lawvere theory, introducing the discrete Lawvere theory, so that it is possible to incorporate an enriched account of the distributive tensor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$5DFE7565-306A-431C-B4D0-6328A4AEE814","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$0AAF3D70-D4B7-44DE-8081-3566E6CE1E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$4C0C8D16-B1E9-4AD3-A376-A63F087E5902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"975e306b2e493708715392b7bc75eadbf7291a79","datavalue":{"value":"18D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$D6F8035F-D56B-407C-B8FF-C8C9724CFC33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c7a7e955b9b4529b53cca869c5febc2b594534b","datavalue":{"value":"5083523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$518C8042-8819-4FB5-9865-E046CF2F538D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed5f77fbd77cdb7af9b8c2630577b9817d0bae3","datavalue":{"value":"countable Lawvere V-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$C695E255-FCCD-43EF-AFF2-6212A5082818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf8bc1d27ad68619c38d63a351efdff227d440c","datavalue":{"value":"discrete Lawvere V-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$454B49DE-9778-47E7-9433-E7AF8F0FE8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$2DCC3634-A84C-4B2E-A142-20D6F3AC6FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15c5923dcda999fc25ee141a0e8c6f3b32cf4bb8","datavalue":{"value":"sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$34E96C74-238E-4E53-BE80-21495D4A8781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2dc43b856e0f1e6f56e48af033620ef2b1aaf16","datavalue":{"value":"tensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$76D0B68F-6D25-4181-A3C1-30EB4E9F874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01cf49f4cfed3520aad832648299b7c85d5c8198","datavalue":{"value":"distributive tensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$2358B3AA-48DC-4158-BA03-360B63E66515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d61cdd87be2b90cae107d80059ba3b13553db25","datavalue":{"value":"image","type":"string"},"datatype":"string"},"type":"statement","id":"Q860883$2C458770-BA68-4A4D-BB10-ABF57F59E324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$9BF144CE-63F5-48FE-A36F-AE9EA39E6DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$F5032439-C29C-4B49-B3EB-E2CD76DE5C28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$61022F54-20DA-44BA-9FB1-EE311F6A5257","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":"Q860883$412B046A-B534-443D-940A-302E6EB0B91C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4581526619e183ca839b9e78efe404200f018955","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q860883$CBBFBE2D-EC4C-41C8-B2BF-6D2FA87380C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8a8a8e2b01dc42fdb1912b6e01e677814645492","datavalue":{"value":"W2044178213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$ABF14887-58B6-47FB-A8FC-38CE003E0A83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$E9880148-0BA5-44D9-80B3-C41662306A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$8B6B5683-B68D-4435-A097-E74D29B4B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$03A61750-4E8B-4A02-8BA6-7637FAF4BB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$5315D235-D226-445F-8235-974C0CD5A5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d77bbce06dee767b923dbce7a63e4752ff3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$D50CA79D-F593-45F9-B30A-E918B903B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3acaf3ff6d4f048b664ed45362d020b6c99b35","datavalue":{"value":{"entity-type":"item","numeric-id":1349652,"id":"Q1349652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$29E82319-620E-4B63-9193-0199CE99E985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$8A1D89EF-D86B-4BF2-B045-0A2DDFAEE044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$34B60D46-8537-4482-A8F7-84B3EA1E7ECF","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":"Q860883$2AE67379-FB6C-4910-9A6A-66237E468C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41f90f9ba74ab10633050ecdac3c2fca2cbd707","datavalue":{"value":{"entity-type":"item","numeric-id":1850100,"id":"Q1850100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$4E049F21-0D28-48DB-82C9-2FE9779DD1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a24148a61daca7521d113a3065543db08d853","datavalue":{"value":{"entity-type":"item","numeric-id":879352,"id":"Q879352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$FACA8E81-974E-40C2-96B1-E5C66197AA74","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":"Q860883$97B77A05-47EB-4306-AA25-C1C2044B0B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$5545E69B-B1C4-4162-B843-9F924EF06F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$9E2A3BFD-D0E3-4498-B4CA-C556A64456B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$2193CC87-B3C9-4751-B4D1-EBD6B3C91AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffe0cbff210ca5e66d4c8a0b29b8f6543576a1d","datavalue":{"value":{"entity-type":"item","numeric-id":690382,"id":"Q690382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$1D0B82A9-2D98-46EB-960C-3B45CE26E32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$EEA4AF17-2296-4FC7-80E6-4321D0D48D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff9a50bd7a588db4b52f42842fe16c94f4fc620","datavalue":{"value":{"entity-type":"item","numeric-id":1818636,"id":"Q1818636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$BFABEB03-ED20-418C-8792-8E3F2AED3B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$7E5514FF-8BC2-461E-8FF3-8B3B5873D231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1b6b246852af81e4f50adea3e077c4e4540f42","datavalue":{"value":{"entity-type":"item","numeric-id":1145208,"id":"Q1145208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$4BE72032-D3C2-46F3-B632-389A7D4CB468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9badc6ac1d95d67ed514f7a977398948dcda3edf","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$1138775E-219A-4A90-AB9C-CCF878E4FA42","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":"Q860883$A0490C06-24F0-4EF0-81CF-22B290CC5F49","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":"Q860883$EB0C1F84-8F67-4A30-97C0-BF7C85EEDE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$6C66C765-C984-4FE0-8DF8-08451EB6D483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$8C3CC5DB-0B50-4F63-B187-522CD2F11D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$41F17125-D9C2-473F-81D2-046BB9CF3CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebad142680ea0de124d0e755966b4efdccca316","datavalue":{"value":{"entity-type":"item","numeric-id":1898465,"id":"Q1898465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$4F66B3DD-1DE0-4DE2-8E43-DAEA46E45EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef0291e0d3c0d57f6596cad586e01c5227f22","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$C2FD7B37-C4AF-477B-9600-93DBE9D0F177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471374b7fffb268d7bd0f4179e873c76b1af7774","datavalue":{"value":{"entity-type":"item","numeric-id":5308467,"id":"Q5308467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$4FB61BDD-3478-41D7-AABB-1F6E5AF78BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e9d76aa5250eeaf868474317875013ddf95e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5492831,"id":"Q5492831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$9B563299-F816-4B11-B4B0-446437260F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e1ca20a5253e40e9f7c427df5aa3a732027b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4488202,"id":"Q4488202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$AF528D61-5B10-4E5E-BA32-DB77F34872DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860883$19B9E8BE-70FF-4EE2-BA9E-AFC0D81CE6E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50198b120c9bddd9154cd83b293efe9142c78434","datavalue":{"value":"10.1016/J.TCS.2006.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860883$7EAD74D5-3ED5-457C-AE99-7EA90389CEBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2769b6c16f34d2eaf19b8d11ccb7fabe5a497213","datavalue":{"value":{"entity-type":"item","numeric-id":5492831,"id":"Q5492831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c9f854620f66d6caa1210651841c47253551a2","datavalue":{"value":{"amount":"+0.9244707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$E9215EFD-D1BB-44D1-A6D3-738CA05C3CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9064a17df18db777d9fc0c191d4201d47612e2e5","datavalue":{"value":{"entity-type":"item","numeric-id":2863882,"id":"Q2863882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938e931b434893249cff1fe10dd02a21f3a369ff","datavalue":{"value":{"amount":"+0.83786017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$CE6A886B-33EE-419B-9FDB-E5AB6839554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9887c557230ede9d6bac6071eec48fb04c9c66","datavalue":{"value":{"entity-type":"item","numeric-id":4939149,"id":"Q4939149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ab9c1ddb368b82e0affa12b5918b7766be4243","datavalue":{"value":{"amount":"+0.82764804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$07E1A206-607E-4809-A35F-470429663770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b14336688f55929452fb65f732446bb2687a035","datavalue":{"value":{"entity-type":"item","numeric-id":3793110,"id":"Q3793110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20070e387a30cb1eb70706f1e1aba6c54acf38d8","datavalue":{"value":{"amount":"+0.82208836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$7015F8E7-06A4-4BF1-BC82-4BA54DBEEED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653dca178f73e0f091443ca7303ded686bf83c68","datavalue":{"value":{"entity-type":"item","numeric-id":4469703,"id":"Q4469703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186cfa5859154d07f316c301a016c9cfb3dcf633","datavalue":{"value":{"amount":"+0.8199251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$A03610F9-3256-4101-B315-BE87A18D1DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f731fb46326e593c326b45e784ad9c02c719d5","datavalue":{"value":{"entity-type":"item","numeric-id":4454968,"id":"Q4454968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ddbc659990b4f2abec677c75cc5606056bc0fa","datavalue":{"value":{"amount":"+0.81802636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$7907A69E-4E9E-486D-9A93-6DB31D60B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9097a08ce541e254a938207f4c5e3dd39f18a1","datavalue":{"value":{"entity-type":"item","numeric-id":2631568,"id":"Q2631568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c084aebb9dbae3b07ae1456c85332c52fc0ac198","datavalue":{"value":{"amount":"+0.8175321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$99F7D32A-E1CA-4AEE-A0CB-CEA289544236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f1c24560c6bee7c22155b9ff82270e4d18d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5494383,"id":"Q5494383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9ab3a9a53035a99c2b002b2a2948e52c7385b6","datavalue":{"value":{"amount":"+0.81746936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$2D2EBC04-6FC8-4E05-B4D3-44C0BB512E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f06df915f86cb126cbc16255aea8a1afdf30b5","datavalue":{"value":{"entity-type":"item","numeric-id":2988063,"id":"Q2988063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de74da2abf97a69de48c07398b499e20c38084d8","datavalue":{"value":{"amount":"+0.8155697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$C4566670-7FE1-4EB9-9F64-133B6DA1DD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc5252a4fcc8654a7b4cde61dff56346100b629","datavalue":{"value":{"entity-type":"item","numeric-id":3509937,"id":"Q3509937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ced209f83f5b7da53523729bcf0cee527104715","datavalue":{"value":{"amount":"+0.8144361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q860883$B529D3DF-D0EA-4BCC-B5A5-F70B05C1DA78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discrete Lawvere theories and computational effects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discrete_Lawvere_theories_and_computational_effects"}}}}}