{"entities":{"Q5158366":{"pageid":7187937,"ns":120,"title":"Item:Q5158366","lastrevid":57186435,"modified":"2026-03-27T10:15:19Z","type":"item","id":"Q5158366","labels":{"en":{"language":"en","value":"Relating structure and power: Comonadic semantics for computational resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7412832"}},"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":"Q5158366$2F829EE8-B864-4A57-AA0D-2A1F7308D331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b3928752340a6a3580a13a86f3667e5b3cabdc2","datavalue":{"value":{"text":"Relating structure and power: Comonadic semantics for computational resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158366$48E0EDC6-A504-4EDA-9F18-43C1DB329A7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158366$FA08B5EB-92E3-4B46-898D-ABA794D18916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b75334d18c83240062fdd777540ec3775c0769b","datavalue":{"value":{"entity-type":"item","numeric-id":1798779,"id":"Q1798779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158366$1575C525-46A3-4F33-B0B6-A977325B5D7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ea68637f5cfe48b0d0d77e5f0fa82323c89d78","datavalue":{"value":{"time":"+2021-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5158366$25407A15-7690-4FB0-9A3E-A86F639CDBBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0471d5c7a529e318b0ee85c033b47a777709284","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/9669/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5158366$29490834-95BF-455B-8DFA-6CD157D5ABF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158366$AFC26BE1-D452-47BB-B794-CBDF42DA2C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158366$7D156357-80D1-4511-99B8-0F463853D770","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e7df32c36b4c41ef1b888fa9594006d3e39cc2","datavalue":{"value":"7412832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158366$E92923AB-98D1-499B-9E6B-5BA0882DA691","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$8A745C9E-9F5C-4BC9-B991-B7C1A57B4621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535d360cb8c0c1aa80f78a968709bdfad17bee58","datavalue":{"value":"combinatorial games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$FF810ED8-0332-4016-B69C-6686489CBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$1B5969B4-2C8F-497C-8A07-C77014F68DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$712B6DF4-3D9D-41FD-856A-A56DFE61B22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$EC189B2A-FF11-46EF-91CC-264E80E0568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$75D63077-9B63-4725-BE48-8F768121C679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabd3779cfa346430d098f45e1b965ccc59191da","datavalue":{"value":"coKleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$CACD9EC2-61F7-4F2A-BF03-F0CF3B2BE552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b9935ac94899b6493e609a91b9e8bef94407d5","datavalue":{"value":"coalgebras of a comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158366$F2D10453-2645-4D0B-ABE3-AF734BDFBADE","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":"Q5158366$53624A38-4A62-4C3E-8AA9-33DDAF4953F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf0a3354686262905ec7df34f484fa30d3bc02a3","datavalue":{"value":"W3192733234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158366$E3C7D6CB-76E2-4114-985C-8B29A42B4005","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d25b3338a5661f722340ee1862ca86c3e6501191","datavalue":{"value":"10.1093/LOGCOM/EXAB048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158366$DB26EDB5-32A2-4E50-BFBB-8DD25CD9ABDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9789bae36f98419b5f186d6e46116d9d725ccda5","datavalue":{"value":{"entity-type":"item","numeric-id":5079721,"id":"Q5079721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","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":"Q5158366$9A622B8E-1877-4BC3-AFAF-6CBC47F01F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f3c851549403149f6ceb697cdceed0da845304","datavalue":{"value":{"entity-type":"item","numeric-id":1798780,"id":"Q1798780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd01892f05841ca6c7e26c04222b85005fa3df1b","datavalue":{"value":{"amount":"+0.98963654","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":"Q5158366$72313A93-136D-4498-AD72-0905032D0FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b866d4b9e6d3233ea3e4b2521098e7110fa66902","datavalue":{"value":{"entity-type":"item","numeric-id":3701490,"id":"Q3701490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb58ee51cb7a178453a3e9f5b7146ae9b6174b3","datavalue":{"value":{"amount":"+0.8509025","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":"Q5158366$D0578762-BE53-48AB-A365-08B63F3D33EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0faa6f7ffb95a665cb8c6326b2b83eff4ab73a9","datavalue":{"value":{"entity-type":"item","numeric-id":4993785,"id":"Q4993785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755fc2b52bbfe31c483bcdce13fd108d8aca6d88","datavalue":{"value":{"amount":"+0.8508628","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":"Q5158366$44336C2D-137D-48DB-8C71-ECC2D300D0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da3e275d8ed9b4101872954145f75b57d1310ba","datavalue":{"value":{"entity-type":"item","numeric-id":4807501,"id":"Q4807501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c5be3196e0c9c84e02a440e8fe5b313ea7fc49","datavalue":{"value":{"amount":"+0.8442129","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":"Q5158366$29F680B3-DF5B-4F2D-B9EC-A7C46068B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285a311e7b12606474b5e6d0b657418e8329e658","datavalue":{"value":{"entity-type":"item","numeric-id":3138535,"id":"Q3138535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80ae9a7403e3dbec61032b4cdb2e72bfc944e73","datavalue":{"value":{"amount":"+0.8403784","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":"Q5158366$69773928-83A6-4325-8917-1ABC4BEEEC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff60205e12306d19abb2aae244d7c4c0221c31e","datavalue":{"value":{"entity-type":"item","numeric-id":980944,"id":"Q980944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1ed1b74577808dbbc3ba0dadd7d8cf3b613b67","datavalue":{"value":{"amount":"+0.83498657","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":"Q5158366$A5BEA84F-25DC-44DA-99DF-717F06082E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58761ed76e10878f74eef39fd1018d920776c180","datavalue":{"value":{"entity-type":"item","numeric-id":2873672,"id":"Q2873672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951f9bbdfe21a6db9e8397b78f73564d0524ca58","datavalue":{"value":{"amount":"+0.83471507","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":"Q5158366$E617803A-649F-4ECE-B80E-A07B8843D474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a1a06bc8adf21cb6cf35eccb6a0a94a2437e42","datavalue":{"value":{"entity-type":"item","numeric-id":2724785,"id":"Q2724785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486ff8efaaa3fb7cd09cdd14e5c56c1968bc39bb","datavalue":{"value":{"amount":"+0.8283791","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":"Q5158366$5106EFA3-2E91-4309-B75B-57651E8FFB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2aeaae4005b4e75972222c4d00b61e83eeb59d","datavalue":{"value":{"entity-type":"item","numeric-id":6173574,"id":"Q6173574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae0db6c127d9fa045bf5cab42610e8e0f71f708","datavalue":{"value":{"amount":"+0.82645553","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":"Q5158366$9EE0C54C-8F77-4CFD-80FA-969B59836A5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158366$DF29F66A-2E0B-469D-AF8F-AB86C8782A45","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":"Q5158366$AD7BBA0B-D6D7-4C6E-93D4-80BE8CAA601C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5158366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5158366"}}}}}