{"entities":{"Q3583020":{"pageid":5612924,"ns":120,"title":"Item:Q3583020","lastrevid":80888168,"modified":"2026-05-06T17:13:48Z","type":"item","id":"Q3583020","labels":{"en":{"language":"en","value":"Coherence for monoidal monads and comonads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774835"}},"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":"Q3583020$3DE1C3DB-ECB8-4553-9A17-0E50B66287D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4010d4f2877b46c5fa531e118b27e67ebef65780","datavalue":{"value":{"text":"Coherence for monoidal monads and comonads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583020$2E3B062B-53CC-4B79-849F-7F6CC3CD8038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec1ff87fab56c59053f6f57fbbc6eae8f86c5907","datavalue":{"value":"1204.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$2D091DCC-7758-41C3-B0FE-404FA5EA5812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58b4d72e2c291e824d8a61ba18e097cbaa01577c","datavalue":{"value":"10.1017/S0960129510000034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$30AFBCE7-3E15-46CB-B397-E7EC1A132F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$7E70855A-FD5C-4E8A-A586-3E069EA359F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$87C75BFB-6A6C-4440-961E-619CB8106147","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$AC64389E-2E35-4B7C-9FCE-113BCD6DB483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583020$6C4E9FF6-6016-44A1-B78F-F3DF4E8EF657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f786463baa186b2409ff35a43c3d2bac92201968","datavalue":{"value":"https://arxiv.org/abs/0907.2199","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583020$470E8FAD-5369-43E7-BD9F-F0D92E7FB8CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$F3A46524-24F3-420D-9313-4CADF3A087CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$0E641888-578F-4FD9-8E4F-2540338882F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$A8476A4E-9F52-41BA-B8BB-452F4A791828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b07a88ce32e0912815e2d3320d94b4f16ff187fd","datavalue":{"value":"5774835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$E43DCDFE-9C24-4E7D-A34C-5442305834C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$D92DB52A-612B-45B6-B5F5-0AE7BC0B11DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"567414484272ba411093b975da0a2adb10f16e98","datavalue":{"value":"relational graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$1AD6B6B7-8722-4C33-A353-DF84722967A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$FFBB8A21-1F8A-4F57-AADC-262DC32B0BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$14D2B0D6-84AB-4E66-9639-908909D8C0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$7311581F-F08E-4160-AFB2-61797A8DEDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57f1af98510548632e9f01a4b08fa2002d7df1b","datavalue":{"value":"monoidal functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$07361AB8-B984-48E1-A21E-39F459CE8B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583020$5C81148A-86AA-4974-9DD6-C905E15E3D8C","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":"Q3583020$BF779116-41EC-4CA0-959D-DA86D56840F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$0E2D3344-CBAA-40B9-9F42-12CA7D7184AE","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":"Q3583020$3A9E95AC-19A9-42E1-A585-6885A01E9AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d7305646dbc38ec17740b732273c51f24dd53c","datavalue":{"value":{"entity-type":"item","numeric-id":834844,"id":"Q834844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$A7ACBBEB-10DA-447E-AA2D-929AD23E7B7F","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":"Q3583020$16746D58-7086-45F2-BB85-1025FE5CC11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bf484952327639ed9c8a95e475b0d49f3da091","datavalue":{"value":{"entity-type":"item","numeric-id":2383006,"id":"Q2383006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$2F6DE298-0B95-406A-9B27-4BC05E45E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178be2f80179ff7c6ff4a0789bef3e9ad123eb5c","datavalue":{"value":{"entity-type":"item","numeric-id":5960404,"id":"Q5960404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$2AC68A18-EBFF-41FF-B6BE-5AD8CAEAB8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8fdaf0f45e8ce1cec3ea525b9f588fea2543a3","datavalue":{"value":{"entity-type":"item","numeric-id":1866040,"id":"Q1866040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583020$F0A9EC93-B70E-4C24-AA31-4BB1864933DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"355838a1efd91e5cdfa9b2fdd01987ac379d2529","datavalue":{"value":"W2964131885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583020$5AC9592B-16AB-4554-9F5D-6C0EA476AA00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5708a0f875150b29681ae31583dd785da22082e","datavalue":{"value":{"entity-type":"item","numeric-id":3583019,"id":"Q3583019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519aa1334925986db6c94034cf335e38e9254bc9","datavalue":{"value":{"amount":"+0.8597980737686157","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":"Q3583020$72081365-DE92-45B7-B0A4-25B89C01017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7809bbf23cf6d18ff1f947180d5f27ea7714554","datavalue":{"value":{"entity-type":"item","numeric-id":1604796,"id":"Q1604796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422404b3636bc65345a63e5a43d0fac10bb4cead","datavalue":{"value":{"amount":"+0.8100029826164246","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":"Q3583020$A1B73317-6E9A-43E5-B33E-1B77529201AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7366bd2a73f05c43289253a0be077895f8d8b094","datavalue":{"value":{"amount":"+0.7589289546012878","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":"Q3583020$83A6B4AB-5D2B-49B2-8206-5F6A0D751BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f11d15431ed4dc809aa6c97c188d2abdd628e95","datavalue":{"value":{"entity-type":"item","numeric-id":2351511,"id":"Q2351511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7366bd2a73f05c43289253a0be077895f8d8b094","datavalue":{"value":{"amount":"+0.7589289546012878","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":"Q3583020$4409F5D3-CF01-4818-B549-80D85DFA37F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1971260d020ac489e843973fee34e8464a57f627","datavalue":{"value":{"entity-type":"item","numeric-id":531368,"id":"Q531368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6172b897b7aee4367b7148ab9ee30087c0a760ed","datavalue":{"value":{"amount":"+0.7497798204421997","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":"Q3583020$D91220CE-1281-41E5-82C5-F03D75304260","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence for monoidal monads and comonads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_for_monoidal_monads_and_comonads"}}}}}