{"entities":{"Q421481":{"pageid":423248,"ns":120,"title":"Item:Q421481","lastrevid":61771890,"modified":"2026-04-11T01:33:13Z","type":"item","id":"Q421481","labels":{"en":{"language":"en","value":"Intermutation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038209"}},"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":"Q421481$2B98FD81-A899-4430-AEFA-38071D02ADD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ac8c01866061fff8b377d11e45c39ac8feec60d","datavalue":{"value":{"text":"Intermutation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q421481$F5955DF4-9662-4562-9365-A2289337D236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9fc49c2cc258f63876d48a7b1344fddb67dcaad","datavalue":{"value":"1258.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421481$B5C46D0F-EFE3-40E1-AB36-ED54C394CDDA","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":"Q421481$1583D4F4-7C86-4659-97D1-B2F3BF1962C8","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":"Q421481$AE16E576-F5F8-4F41-8DBC-7458A5D4BFB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$26157777-9075-4906-8464-12B508426FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q421481$3252523E-73AD-4CFB-BA39-89298605D700","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9642a1e61ab6bc146197f1c2e4f76d2a619e94e7","datavalue":{"value":"https://arxiv.org/abs/math/0701325","type":"string"},"datatype":"url"},"type":"statement","id":"Q421481$8B022005-8068-49F7-BAEA-A512FD7ED880","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cf26f7c3c11987af0116991485c6d3ec0eb022f","datavalue":{"value":"This paper proves a coherence result for categories equipped with a natural transformation from \\((A\\wedge B)\\vee(C\\wedge D)\\) to \\((A\\vee C)\\wedge(B\\vee D)\\) where \\(\\wedge\\) and \\(\\vee\\) are biendofunctors. These natural transformations occur in iterated, or \\(n\\)-fold, monoidal categories. A related, but different, coherence result was obtained by \\textit{C. Balteanu} et al. [Adv. Math. 176, No. 2, 277--349 (2003; Zbl 1030.18006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q421481$88C54E13-539B-459A-8EFD-4A1187CE695F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$93525FAC-5FA0-447A-95EC-105AEE61B236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421481$2DD2B183-4C5B-4E3F-9012-97D715229B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fcffa45a9a315d4f41d84082f273439b9134c19","datavalue":{"value":"55P35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421481$4EE65F8F-B933-412D-99F4-773965254D31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696ece1df4b2d4fa72ed3c493683dc748b9384c2","datavalue":{"value":"6038209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421481$CD0B070A-38F4-4C1F-A184-3AECD911D732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q421481$5F0ECA66-44D0-4F41-A81B-86C454C84B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q421481$74EAC233-7DEC-4FB1-BD1A-AB8C33672E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c20ea90ee7897ade7f5947eaef8f47379d43f0","datavalue":{"value":"iterated monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q421481$3CEDC290-C794-464D-98F8-5BDD5AD3738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a5357800d9b1f59f6f8578e128070bcc48994d","datavalue":{"value":"loop space","type":"string"},"datatype":"string"},"type":"statement","id":"Q421481$9D3FB515-1F5C-4C1F-946C-BDFC40D8526E","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":"Q421481$01B4F95F-DAA1-438D-BF34-ACA64FD20F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3b77ef94eb147418112a4309099bd0c4062f8fe","datavalue":{"value":"W3193017023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421481$CC3218A2-65CF-468D-AB18-CDBA1AB667B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44982935af70045b25c651fb98ba95a3afadc4b","datavalue":{"value":{"entity-type":"item","numeric-id":4871931,"id":"Q4871931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$3F2E126A-5222-4521-A815-5917FDF49C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa48d5e7dad0d76840a9f69d9ef79442725dd44","datavalue":{"value":{"entity-type":"item","numeric-id":1924002,"id":"Q1924002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$B4B4AF0F-49B4-469A-B4D5-B5A18C78EE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad24652c1d8176152076789fce3cd6cc58f003f","datavalue":{"value":{"entity-type":"item","numeric-id":1400997,"id":"Q1400997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$B4D69C98-FD7C-4A72-82B9-828EEE0832F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$94B9FBFE-68BF-4685-BCAA-B85D2886D423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0581d67197ed273468e87cc26938ce8560d0342","datavalue":{"value":{"entity-type":"item","numeric-id":5292628,"id":"Q5292628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$20B2FA06-BCE0-48D8-98F7-9682397900E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c694a926a4541db3d8f9dad5bdeacfa898716b8","datavalue":{"value":{"entity-type":"item","numeric-id":817702,"id":"Q817702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$125077E8-5358-4195-9157-EC207500DD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$8EB453F1-CF85-46CF-AC5E-B8C660448327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$E66DDA6F-029C-4EC8-958D-9C6AB23F39C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6964350d78cdff29ae6ae56a9f9c8712b2251b3","datavalue":{"value":{"entity-type":"item","numeric-id":4254631,"id":"Q4254631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$889D6BD2-7AF5-4A31-ADAE-6FF634ACD139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0be4b6838184cb0d7b9e29f82c1f2a4c16a5440","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$1250DCB2-FCD5-4CC0-BC36-DA8FBBC69E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8c67b932b131540c251343cd1140ba6962a01","datavalue":{"value":{"entity-type":"item","numeric-id":2498908,"id":"Q2498908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$99D38BF3-8295-4F88-B9CB-2AFFC7A92E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bcee7226228c5b45b2db641af73bfe6de70cf31","datavalue":{"value":{"entity-type":"item","numeric-id":882124,"id":"Q882124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$05DB7AB1-ED1F-4057-B8BF-9E16CF0E5D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$77D3A640-EE4A-41B3-884A-1EFA24E6F7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25008034e4bd61cc9fabb1c376fbf192c953e742","datavalue":{"value":{"entity-type":"item","numeric-id":2381420,"id":"Q2381420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$8E05E0F5-DA0F-4AC8-8922-7F9661C50FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439ff1de4a25ce425aff3996f741b68a86882ed","datavalue":{"value":{"entity-type":"item","numeric-id":1320266,"id":"Q1320266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$669D7D70-2D10-4141-88BF-C6C008923439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625c1f47e906c1e1ede572eb6f3bb98622129ff","datavalue":{"value":{"entity-type":"item","numeric-id":5617745,"id":"Q5617745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$FFB463C1-0F8F-4135-9FCD-644CB3CFFC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8e4ff166c5f6ef317b88f145baec9e196c8dc4","datavalue":{"value":{"entity-type":"item","numeric-id":5423981,"id":"Q5423981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$42E83B8C-BA27-48D1-AC8D-49945D6D37ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56af7da161b7df012d917bae6045a8522f6bb0b","datavalue":{"value":{"entity-type":"item","numeric-id":4367588,"id":"Q4367588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$3FFF7D6E-D231-4139-A2A8-20D8ED8F251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$FD367F6D-7FC3-40A6-9E8F-404D90E7E0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$282F41A8-6D50-41E3-89D3-03928A8FB794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3030e8e11ce902fda27f8db4a377ab45d97141","datavalue":{"value":{"entity-type":"item","numeric-id":5665322,"id":"Q5665322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421481$F381894E-8987-4358-B873-708393E85D9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddbce52e4ec2988721c0fc65c5933c40848eab76","datavalue":{"value":"10.1007/S10485-010-9228-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421481$2830077E-7D4B-44D5-A363-3A6A749E1BEA","rank":"normal"}],"P1643":[{"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":"515ecbd576762a0cd1a7f131dad08af953bdd040","datavalue":{"value":{"amount":"+0.7899278402328491","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":"Q421481$C67FC38E-FAA3-4518-A508-6DBF020E2EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d090086bc7d3d8c10e93b2ee35dfe13ef32071b6","datavalue":{"value":{"entity-type":"item","numeric-id":2014742,"id":"Q2014742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841a40533eb1ab26d1d0a13071834688268227e4","datavalue":{"value":{"amount":"+0.7759280204772949","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":"Q421481$707093FC-3C8C-4494-ACD5-FC15B68EEAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0325aca116319c5dc33c8d90e391514a9911e86","datavalue":{"value":{"entity-type":"item","numeric-id":3974848,"id":"Q3974848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef52a98a9c233eb395098dfaabc4fbc15e70207","datavalue":{"value":{"amount":"+0.7646597027778625","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":"Q421481$3B5F4F03-CAA1-45DA-948D-28E49C1F3096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb29787403383635e80c665ada81f87da9c158b","datavalue":{"value":{"entity-type":"item","numeric-id":882124,"id":"Q882124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d540b9f31d92175898a84ba0133d957c30702527","datavalue":{"value":{"amount":"+0.7589927315711975","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":"Q421481$BDF69A6A-B737-4327-B69C-3DD150680494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e15e4b0529429a71b34c2a3f38e745c8df4a71","datavalue":{"value":{"entity-type":"item","numeric-id":3137160,"id":"Q3137160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315c86e2daa611127fc5b19f3408533d0d60fba2","datavalue":{"value":{"amount":"+0.74969881772995","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":"Q421481$0BA5FF45-A22C-4F87-AD42-D5D2C36ACA9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intermutation","badges":[]}}}}}