{"entities":{"Q2093020":{"pageid":2103763,"ns":120,"title":"Item:Q2093020","lastrevid":74052390,"modified":"2026-04-14T18:11:43Z","type":"item","id":"Q2093020","labels":{"en":{"language":"en","value":"Composition under distributive natural transformations: or, when predicate abstraction is impossible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612180"}},"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":"Q2093020$7BC789BD-727C-41AC-8493-B769FADBE00A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b33cc73f9ba7fb9e84ce729966d82a5b521d58a","datavalue":{"value":{"text":"Composition under distributive natural transformations: or, when predicate abstraction is impossible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2093020$341D2B0E-92FA-4C37-9413-152DDC978CB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0af1e04ee9c06ee0c0f44f740b4d4c8ef29381","datavalue":{"value":{"entity-type":"item","numeric-id":2093019,"id":"Q2093019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093020$3EFFB704-1883-4470-9ED5-4C3FBC44CB05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093020$EFA87DF1-7901-4A6A-9861-55C6E4DBB12D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2093020$6EB7BD35-56DA-43B1-9BF7-AF95033878F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093020$C3E8DCE0-E556-42C3-BEE4-20B407B4039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093020$B7C5A066-B25B-493E-9189-46F9D2972530","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b4842c99a24b15dbb5556bf95ad6d2ebfd3fc5","datavalue":{"value":"7612180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093020$C9819E31-E5B2-4FDA-980A-3006C9090831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093020$F2895CB3-CD08-448A-A03B-D7C921191C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233449e53180967eb6e1efb22725e04fac76a3e2","datavalue":{"value":"Hamblin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093020$8548BDA0-F1D2-4A59-A504-046ECE73833B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54781759e2eb13d12c2d3b5ce46246bad862182c","datavalue":{"value":"alternative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093020$A3A7CAB0-5212-4C85-BF6C-CE6131F77184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093020$A1A7894A-E402-4C19-95BC-39E426DA4440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75b19267f1fcd08e86f7820379cde3ce90b0b52","datavalue":{"value":"type shifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093020$D1A98019-9420-4A0F-98A8-047D4EA13033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093020$C394F216-0B60-4AB9-AD2D-9F2F4B1B09FB","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":"Q2093020$B6CFB23D-45CD-4847-B841-D7AF6513AAF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9bef03550ca02017f6c93377d062cf15b62141a","datavalue":{"value":"https://doi.org/10.1007/s10849-022-09361-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2093020$0EB3558D-6A88-4F18-A6F6-000585ECAF08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abcc4822650df8237db0d86cfc1e5911d5fbd696","datavalue":{"value":"W4224240578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093020$935B4978-B67F-4D48-AF44-CDC8902F9AF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e7723481de080c6e3d925b8e57478d4e822d90","datavalue":{"value":{"entity-type":"item","numeric-id":4121405,"id":"Q4121405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093020$198F0FF1-C83F-47E5-9329-77156B57F281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093020$3283B1E0-D772-47CE-8C99-B1AEC2FA032E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97e92bc1fb4f82e36632de3cce1ad768bdc914e","datavalue":{"value":{"entity-type":"item","numeric-id":4081200,"id":"Q4081200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093020$CFBC53EC-B0E2-469E-8BD5-AE135052992C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fa39a5a3bf49134639b5595a79d0cab802afd39","datavalue":{"value":"10.1007/S10849-022-09361-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093020$88294A20-FF47-47C3-8A76-1C3DB8CF467E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a222f75823aab5c47592ec20f22b4298c6cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":1352493,"id":"Q1352493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fa426c201766652f5b0ce1ae5be00644cc6b25","datavalue":{"value":{"amount":"+0.8620886","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":"Q2093020$869555ED-88C0-4580-A0E3-F96DEE7DA5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354e42d7b813f501035a1c52f259208402ad939f","datavalue":{"value":{"entity-type":"item","numeric-id":1262300,"id":"Q1262300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6f97e7adeefd976494f46f2ca9440d6037eb49","datavalue":{"value":{"amount":"+0.8620518","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":"Q2093020$98E0DE3C-C837-4E44-96BA-59EF4895B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa099c8d463174f0ad07f80a020ca1167c1bdd3","datavalue":{"value":{"entity-type":"item","numeric-id":6165816,"id":"Q6165816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc613e69f6cb99b4022b032819deb1ed2a75447","datavalue":{"value":{"amount":"+0.8499879","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":"Q2093020$819B26CD-1E08-4EAE-B266-9C2EF2717E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a75dd5a7d30a90a7411897b1cd61d1a9b19ade","datavalue":{"value":{"entity-type":"item","numeric-id":5213631,"id":"Q5213631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4d9ce8003ef5a86763ad8f96e81e27213438df","datavalue":{"value":{"amount":"+0.8479405","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":"Q2093020$C04F2110-7254-4F05-A925-8E17AB56CC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72fe091fb97008d47fd1e6cdd0219c660000181","datavalue":{"value":{"entity-type":"item","numeric-id":266237,"id":"Q266237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffaca8c4cbb66741e77d6886fa9293bbeb9720cb","datavalue":{"value":{"amount":"+0.84782064","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":"Q2093020$E63EF1D1-570F-49FF-9EBB-90FD65DF0D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5de50a3b293b0c7a653f6b51d33ce7db7a529","datavalue":{"value":{"entity-type":"item","numeric-id":1841517,"id":"Q1841517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705d9b6a1a082e17c5232afd9a94d09da0c0f67e","datavalue":{"value":{"amount":"+0.8467816","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":"Q2093020$76362A8E-7D5B-4D87-BDF4-67A66457BE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb0fb70f7aca9411211409d177bd7bc85fc6c29","datavalue":{"value":{"entity-type":"item","numeric-id":2228351,"id":"Q2228351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef8b493e5f650a2a39e49affa87b978803d9d2c","datavalue":{"value":{"amount":"+0.84472054","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":"Q2093020$2050827E-0CA0-4426-896E-BFC20081DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82279e36f2aea0359724508c9e587c5508be158","datavalue":{"value":{"entity-type":"item","numeric-id":1797923,"id":"Q1797923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec02b92c3cc93282efc7cf74702cf0ed6c7d66e","datavalue":{"value":{"amount":"+0.8441256","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":"Q2093020$AA754BC4-61FF-4E12-9220-64A51AD67415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f90d678a6e317f374f8cce2229fe81591e5210","datavalue":{"value":{"entity-type":"item","numeric-id":3525003,"id":"Q3525003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b32143592fa95b77176271b748e9fd371dad46c","datavalue":{"value":{"amount":"+0.84402966","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":"Q2093020$1403DE46-5FB7-4BC2-A992-0EF5462D81F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109a12f1a72b8d11148a095dfd3167ec43e9cc1a","datavalue":{"value":{"entity-type":"item","numeric-id":5079758,"id":"Q5079758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c49c5a54885dd70ac74af5d5919599939d6e76","datavalue":{"value":{"amount":"+0.8435174","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":"Q2093020$C8FFC71D-84B5-4006-80AD-8E883D5D2489","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093020$11D32FA3-21C4-41F8-AC2C-F002574EA26E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composition under distributive natural transformations: or, when predicate abstraction is impossible","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Composition_under_distributive_natural_transformations:_or,_when_predicate_abstraction_is_impossible"}}}}}