{"entities":{"Q4555337":{"pageid":6584929,"ns":120,"title":"Item:Q4555337","lastrevid":53281688,"modified":"2026-01-24T15:23:33Z","type":"item","id":"Q4555337","labels":{"en":{"language":"en","value":"Linear distributivity with negation, star-autonomy, and Hopf monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6981656"}},"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":"Q4555337$69F2E012-4E4D-4B8D-88E0-2803683F9E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9b2171f01f67c6718a6f3920090aa162637ab17","datavalue":{"value":"1403.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$0089E633-03A1-4F0A-AFEE-ABAE97A6C7FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$DF2A3FA0-F634-4851-A53D-291218D58313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7670aec5a0f74b1f7e10fbdf6ffedad0148f693a","datavalue":{"value":{"entity-type":"item","numeric-id":1744373,"id":"Q1744373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$9E59087C-DBDC-41A7-83D0-CE9FE62624AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd5f23ee54392c85eac5a5d27f88a008ee6a7846","datavalue":{"value":{"time":"+2018-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4555337$F4E5AF28-3B73-4A86-839F-C7A4C848D413","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92d684b241ce2758bb7a5f573b982f414517377c","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/33/37/33-37abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4555337$81B8E8D2-5543-4CC1-BD5E-C6725A5359A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$9EE900FD-2EA1-4D70-A767-C26F1F5455BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$051BA50C-8EC1-42F9-AB41-9125A3A59605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$325D80B3-C47C-4A6D-9E6E-61FAE916254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$F918A20F-E325-4BD3-B810-A5DAAA1CFDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46d228144203299b76ed9fda9973fb3a3d18987c","datavalue":{"value":"16T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$C16118BD-19D6-4A29-A9B0-EA3FEE58AAB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0f8039f9f8c2bc9a49ad96561751630adaffc7c","datavalue":{"value":"6981656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$07F6445E-3156-4760-B2D3-4AD1053E710E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$7AC0FC76-F3F5-4FCE-AB60-0EFB487C618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a7d41d5210aea0dd8008059442be478e8f9001","datavalue":{"value":"*-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$6A7E8847-6C4E-48DC-A324-3A7D32508A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed9ed903e995038aca3e1eb218fc917d432439d","datavalue":{"value":"linearly distributive category with negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$888146F8-DA70-44DF-9B5E-392A2320E884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a0cbe5e4e67844c7a37e9f8995c022d014dc6c","datavalue":{"value":"opmonoidal monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$69C06354-0F8A-4671-91B9-B57D65E0E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78a340aae84fe93b7a72fd8000eaa3dc3c15078","datavalue":{"value":"Hopf monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$F25E400E-532B-443F-B978-07DE96E03026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc437091af8db8eacc978e41a69d76b068eec1f0","datavalue":{"value":"*-autonomous monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$54957982-2E3C-41B9-975E-832460E90F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac6eb5ee2fc7437fa3c58e8483f4104f46416bc","datavalue":{"value":"linearly distributive monad with negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555337$B57F7C52-4066-40E4-99A2-B742DCED1D57","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":"Q4555337$83A2EFB8-D4CF-4B08-8ED4-874D19F3C46A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aacca1bae93e3371c483c354bb7d19879fee0ea","datavalue":{"value":{"entity-type":"item","numeric-id":3411960,"id":"Q3411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$8130F7EB-0B1C-4DFC-8708-ECD2946BCF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04308d00790b7a85cbe36d678a9ef5b0389be57a","datavalue":{"value":{"entity-type":"item","numeric-id":673964,"id":"Q673964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$FC8BCF18-00CC-4621-BB12-5EA943EF1195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086411ca01e86d5e15284612c20f7c6c7a173c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2637475,"id":"Q2637475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$CC2DBDAC-E561-4FC5-B582-8679E29B223E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee34b88725ae812bfaa8c30753483b05c0267e59","datavalue":{"value":{"entity-type":"item","numeric-id":533951,"id":"Q533951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$E3FAE287-123E-4768-8795-5A547853EE7B","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":"Q4555337$106777A9-886A-4E3F-8806-FE189D2311E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$EBD24BC2-FD4E-4F8C-861C-35705A5463AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$B0E5609B-62F2-42DE-AD96-8FC016757EDF","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":"Q4555337$F05E7884-1A5B-46F1-A808-925C3A6123F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549ff2bd4b82561393c0e2d19f45f32cc318679c","datavalue":{"value":{"entity-type":"item","numeric-id":2884478,"id":"Q2884478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555337$C9D4C325-EFD8-4E10-8BA4-D5BB932DBCA6","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":"Q4555337$1B1CA774-9FE8-4C81-B827-D3BF6BB72DE5","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"edb4a6f3b3f3606116a796b98df9493483f3f322","datavalue":{"value":"bafkreienxva2o3w4hj2jwe4aqfjzwsuoxd4timr7og3zbzhssufga23dly","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555337$444DB6F7-FEF9-48BA-85E0-66E14A48BAF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780ea52f29a9c41be47c7ee75fc9cce4f95b553b","datavalue":{"value":{"entity-type":"item","numeric-id":2884478,"id":"Q2884478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c498808e4f9756919775d1e471c5eb09987e4d","datavalue":{"value":{"amount":"+0.8845929503440857","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":"Q4555337$C30AD9FC-9339-4C4D-92B7-74DF41119677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7943b6b4be0d8a33138be0b2c5fc013c7850a365","datavalue":{"value":{"entity-type":"item","numeric-id":2383006,"id":"Q2383006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d696979fe63d15fd635311ba6b93f16588f7e1","datavalue":{"value":{"amount":"+0.8085610270500183","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":"Q4555337$73E54140-61AD-4A76-A9C5-67A3B3470402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d2c1934abc0491f50df58bad9eb9dc889c8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":3519055,"id":"Q3519055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1b8515ac50fbdc4d98678bb5dd4e457b915d52","datavalue":{"value":{"amount":"+0.7857773303985596","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":"Q4555337$1880B850-993F-41DD-889C-902ADEB2A3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55bd76bb00acd530eaea5601d6acf84944d0f8a","datavalue":{"value":{"entity-type":"item","numeric-id":533951,"id":"Q533951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48db2f12d8a74aa3e01de61e149146182d499a7e","datavalue":{"value":{"amount":"+0.7794222831726074","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":"Q4555337$99377F70-5BEC-4BB3-8585-CB4D083DFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f326c36086eaba014450c10ed122e194801bee","datavalue":{"value":{"entity-type":"item","numeric-id":5200287,"id":"Q5200287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63ae371ab90539271b254788c4ce15c358b1c25","datavalue":{"value":{"amount":"+0.7733358144760132","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":"Q4555337$959DF4C8-CE7A-4B6A-B490-EED523288F6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4555337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4555337"}}}}}