{"entities":{"Q4611382":{"pageid":6640965,"ns":120,"title":"Item:Q4611382","lastrevid":58305009,"modified":"2026-04-04T15:48:04Z","type":"item","id":"Q4611382","labels":{"en":{"language":"en","value":"Natural transformations as rewrite rules and monad composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003196"}},"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":"Q4611382$A429353B-3045-44E5-B5BB-FFAA256AC2E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"682963e7daf7564ba41aaffb6cdf0681765552a4","datavalue":{"value":"1405.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$4BEEB381-7162-44B3-A3AD-A82A30E9699F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e57603ebec317396182bafcf529846de19e404","datavalue":{"value":"10.23638/LMCS-15(1:1)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$03E7F373-EAEC-4692-BE22-8D52A208BBCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$BE6805D1-91DF-4D31-9545-72CEC935DF2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4611382$9BC326B1-1F16-4F4C-9C5B-99EE575217A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b46c5c3356ead5009cdf0756650e94e7e44c5d37","datavalue":{"value":"https://arxiv.org/abs/1612.07273","type":"string"},"datatype":"url"},"type":"statement","id":"Q4611382$550051B7-C8DB-431F-A05D-8F910570B1C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$9E42EB23-5F21-416D-B559-C4F15EE7569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$800E997D-2BD4-4BB6-B9DF-AB38D1C38CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$433F7D83-C418-40D2-9E11-A7C25CB85193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$D8F91081-255C-413C-89C0-21F2E44A68DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefd50f074047e0a191f2c35332f615f31416dc6","datavalue":{"value":"7003196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611382$4E555915-CCBE-4339-8D38-14B3AFF6964A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611382$D9D52CD5-A330-4ACF-BA6C-463C19936319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ce2bdb669642435cbe0778e6bdb74adb8f61dd9","datavalue":{"value":"monad composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611382$CAAD8305-FA19-45B1-A3BA-B03537039E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611382$6D1BD998-DBDE-4408-B666-F635BF81766F","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":"Q4611382$898D3086-9FBC-43E2-8F85-C4858669D5E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$257E67D0-BD02-4903-9E7C-F5D7BB917079","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":"Q4611382$B8ABB7CE-4378-411A-8AB4-C29F3B0760E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6613b94cd9762808ae13c58dd7c2c31fb9aff4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1802251,"id":"Q1802251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$46496332-68B2-44E5-83F8-99652CA5A8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a3c49047d0efbb2a66e82f73aca1674734a2a4","datavalue":{"value":{"entity-type":"item","numeric-id":4934240,"id":"Q4934240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$27F41319-FD36-4D65-B92C-8BE5EC392C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13b1c907506ed25eaaec816e912c9604df86ef","datavalue":{"value":{"entity-type":"item","numeric-id":4923371,"id":"Q4923371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$44C6BC7D-83F3-4553-8231-FF0CD9EAE25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972e5334c2845489551079382eb0989ca7f83fae","datavalue":{"value":{"entity-type":"item","numeric-id":5712430,"id":"Q5712430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$E2F984FC-EC00-46B5-9FB7-CF0193F8F8C9","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":"Q4611382$4A02D787-1627-492E-84FB-EA2AD49E7257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$4E4624C3-D74F-4FF4-85BB-2759FC97C95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3361dc1bf2f414a80e2fc3735265a880eb2529e2","datavalue":{"value":{"entity-type":"item","numeric-id":4725721,"id":"Q4725721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$DFD5F5E3-E676-4899-B7D0-025A2FD9BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ae97b483420d175a59bc2a99668ebc187070ca","datavalue":{"value":{"entity-type":"item","numeric-id":3720767,"id":"Q3720767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611382$7918E4B2-8E3F-4714-B094-537682FC7A79","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":"Q4611382$C6B3CA7C-61A9-43E3-A5E2-7D48C070AE1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e400898497e6294b40d3c8ac9d5759abba4be969","datavalue":{"value":{"entity-type":"item","numeric-id":4923371,"id":"Q4923371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dde5db1a1690417d98b8626b7bfc56cf2426072","datavalue":{"value":{"amount":"+0.7943612933158875","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":"Q4611382$EBD974AB-6F09-40A3-A0EE-4C16C82E865B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba882c2d8cda44ee125a9243900b70d1bbae9e42","datavalue":{"value":{"entity-type":"item","numeric-id":1610278,"id":"Q1610278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516035c173960468a6f3d831442b8a4f5aacb844","datavalue":{"value":{"amount":"+0.7931321263313293","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":"Q4611382$64B1B789-9526-44F0-9E6C-A30DBB42BAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1232eb2fc98d2b876469d0767425c74298d5c193","datavalue":{"value":{"entity-type":"item","numeric-id":3432078,"id":"Q3432078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4feebc4b384f80827576c5d14edf4a4eed91d7","datavalue":{"value":{"amount":"+0.7628324627876282","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":"Q4611382$89D78615-F6AA-4B04-B1F0-76217BEF6E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da35d96ed28ea91c078a7e3832145268aa84b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e7c1c322c00d7c0f82cca4e16c0977d5cbe4e2","datavalue":{"value":{"amount":"+0.7601432800292969","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":"Q4611382$CEC25BAF-B81B-4CDA-9859-923D67130C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984a31bfb327a87f209636e7e06239ab663fb81e","datavalue":{"value":{"entity-type":"item","numeric-id":3520147,"id":"Q3520147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e7c1c322c00d7c0f82cca4e16c0977d5cbe4e2","datavalue":{"value":{"amount":"+0.7601432800292969","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":"Q4611382$1C7E7545-96A2-4CD6-8445-D3403710F1ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4611382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4611382"}}}}}