{"entities":{"Q6858375":{"pageid":20646886,"ns":120,"title":"Item:Q6858375","lastrevid":84255518,"modified":"2026-05-14T06:39:41Z","type":"item","id":"Q6858375","labels":{"en":{"language":"en","value":"Rewriting modulo traced comonoid structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8159489"}},"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":"Q6858375$6E97BB30-AACF-4D54-A9E2-20486E34FD84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5a4a0c20392baeb60bba7b16700cb8aeb387e95","datavalue":{"value":{"text":"Rewriting modulo traced comonoid structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6858375$1DE8A8C5-53F2-44C4-AEF3-C1096E082ED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8d58d52bc5c3bcc81ce49540f6a6793838ccc25","datavalue":{"value":"10.46298/LMCS-22(1:2)2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858375$AFB70B64-D7D9-4984-801D-FC548E2703B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$1719FF5E-253A-4497-ADF5-BAD6A8C3AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a204c3bbf6f9c67466d4e1bad2d0ef50bd24b9cb","datavalue":{"value":{"entity-type":"item","numeric-id":6351175,"id":"Q6351175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$0393FE47-3907-4018-BD99-5EA4DC52B1D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$96D8DBEC-941E-45BB-B593-5CEB37C665E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"201bc5f1c6aaafff5af492cceff0e56940339da6","datavalue":{"value":{"time":"+2026-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6858375$486CFD3B-5386-4A3A-B116-46A69227CE90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858375$81B4075D-F45D-4F14-8F0B-874C66F0DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858375$D65C8709-BA41-4B91-87E6-07F0BC20C7C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e02541358754194822a482200b751183ead46a","datavalue":{"value":"8159489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858375$00E14A18-9278-4743-B561-651C0F928C73","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":"Q6858375$FC9A7F51-E3F1-4197-822E-4799CD4693B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e794961e1312781aa63cf0378b1e0c3eae4c96","datavalue":{"value":"symmetric traced monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858375$1906F9B6-F54B-4AD0-A600-ABEC026637AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d550d58996ce31d7946eace013bf629d3913d2ff","datavalue":{"value":"string diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858375$D628A14E-DA7F-4EDC-B803-BD45671C1642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858375$51D4B43A-6757-4DB1-BCFF-9685D72DA932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeaa3e09072782e779f711e1db4104feaeb50d93","datavalue":{"value":"comonoid structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858375$046D9F51-3C0D-4C25-83E7-1D1FCD478177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74788223129b017a6b473abd1dafe98e3ac300c6","datavalue":{"value":"double pushout rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858375$20EB61B3-6935-47C8-8A7E-8CD5F242D5DC","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":"Q6858375$C7C9E462-C0D6-4132-9E94-F2538D0ACEEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7cf3396c20a5402919a3a45d540486b0b70403","datavalue":{"value":{"entity-type":"item","numeric-id":6610604,"id":"Q6610604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$88A23657-D8B2-44F4-A331-1FFB8ACAC484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764f59316a28b6fe3912f02f96a19c4c7822a616","datavalue":{"value":{"entity-type":"item","numeric-id":4093423,"id":"Q4093423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$C97EE432-CA27-4BD3-904D-2640AD83E994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcb0a63005ad482c443e708ed4d6184dc02a7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5261936,"id":"Q5261936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$E3947BF3-40C9-45CB-A0EE-25D42CCF745F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f65202bec871f4dc2c7f100917df3a60bfc9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2988637,"id":"Q2988637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$AC2075B1-720D-4B2A-9B7E-DAFA8C5BC35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ab7ccc60cb1362fbb95f94291d264d825472d6","datavalue":{"value":{"entity-type":"item","numeric-id":5066951,"id":"Q5066951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$37230CF7-781D-4088-9710-CE15003118A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8c647295be26835ca40c8752642524aa711e24","datavalue":{"value":{"entity-type":"item","numeric-id":5058366,"id":"Q5058366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$01CB5980-B2B6-4C14-9579-603A9877C6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa69a1912def65591745e2ab8374c2a820d941ae","datavalue":{"value":{"entity-type":"item","numeric-id":5879265,"id":"Q5879265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$729A12C3-8BFD-4579-84DB-450741C3EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff45fdf3999085344d7032927c89366dffd8a118","datavalue":{"value":{"entity-type":"item","numeric-id":6181925,"id":"Q6181925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$ED30C22E-76A7-43EB-90A6-B1DB97C43AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163216dfc1f07a337d4e9acb72e1d7ba4d2310c5","datavalue":{"value":{"entity-type":"item","numeric-id":6654524,"id":"Q6654524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$8673063B-6AA0-4028-BAD7-218791147D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab36b0930b03855dcb3163a7075b9ba4fbef326","datavalue":{"value":{"entity-type":"item","numeric-id":6153336,"id":"Q6153336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$D124F60D-21BB-47AB-9269-A9DE5B0B1C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632ba73945ea4bac93467775839f31b82ba68fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3190134,"id":"Q3190134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$371A8B3B-DF10-4367-B635-839467A5F9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba96f83ee5a3db35621065d31d4ce8dbdf49f7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2819836,"id":"Q2819836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$79A80841-0AAC-4949-91C9-BDFA2952CABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5a1b23fcfd1cecde1b1c86efcb35bd03b2b321","datavalue":{"value":{"entity-type":"item","numeric-id":308156,"id":"Q308156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$EE714236-8BBA-44D6-A80F-6603ACAF897A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45bfeb3f681e3fd0efd4377b0b15c55504fe6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3485876,"id":"Q3485876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$A9A89143-37C9-43DB-BEA9-16E9D0D3B268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8297fb5d760e87c3b4bc882a234bc4620a351572","datavalue":{"value":{"entity-type":"item","numeric-id":4917191,"id":"Q4917191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$5ECDAB15-B839-40D9-AFAC-9BDF254B8C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36d7d97026cd553890bf8bf659121a9c590144","datavalue":{"value":{"entity-type":"item","numeric-id":4122833,"id":"Q4122833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$17E23562-B44E-4BCD-8CB8-15BC49D82DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0486c8cd0ae92d7a054cb1702ff6e5233c1fcb77","datavalue":{"value":{"entity-type":"item","numeric-id":6102159,"id":"Q6102159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$8268C016-0135-444E-80CE-8FA49DB59131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b6bd2673cc2de0cf132abda9b99ff7fde0efc3","datavalue":{"value":{"entity-type":"item","numeric-id":4106724,"id":"Q4106724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$A4C647A0-5CDC-4BE3-8763-08CD1130FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9163f37ebcc5c820e155fb82b4bf1cedbeacb756","datavalue":{"value":{"entity-type":"item","numeric-id":2001422,"id":"Q2001422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$18B01CE5-A970-4291-8CF0-22118364906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741eec84c97fc9db2020bdf20e8c57d543bb38f2","datavalue":{"value":{"entity-type":"item","numeric-id":4635907,"id":"Q4635907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$45A3026C-A944-4763-AB15-573FDC3081C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4585fb584a3d19cf6347efdb1e1ff1f49a1b5a34","datavalue":{"value":{"entity-type":"item","numeric-id":6622051,"id":"Q6622051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$9D370892-D9A4-4B93-ADA5-2B274E819A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$5E621F7E-0755-49D2-972C-39F397C8E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46df63794102dc6167e308ad3eb895cc031efe7e","datavalue":{"value":{"entity-type":"item","numeric-id":2842820,"id":"Q2842820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$4D56F82E-B5FA-483E-8BA9-A3588285CE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906e4eb70b4fa4dc23564ae708b7e1f58a8f65b9","datavalue":{"value":{"entity-type":"item","numeric-id":2474534,"id":"Q2474534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$118EE12C-1151-444B-87FE-C78A9E9947E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$01DDB752-F5F6-4E8B-A172-239C52C109A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$D2D0AE48-B730-4659-A6AF-01D95BF9CE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e669d619744876f0c82cdeef232d348e00f27209","datavalue":{"value":{"entity-type":"item","numeric-id":5414967,"id":"Q5414967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$7D2A8235-F3AC-444C-ABBB-1A6359014B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$FF388C4B-E4C2-4E70-BDF5-F2D8EBB6AAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$4ABED4F3-8B3A-46F5-8530-71AF9BABCBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de91b91539e6dce8e5fed1bf2118f8815976390f","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$2E0BB894-BC7E-407D-A6C4-A3180939A3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$39F0E332-8000-41CE-903E-7036A41A70AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b363bc7055a2eb6216b60ec72df8524cf95f23b2","datavalue":{"value":{"entity-type":"item","numeric-id":5545545,"id":"Q5545545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$BF6EEB39-ED19-474B-9F98-DD4160A59C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0891d4bbf089964efee0b6bbf5b7e8dce00cf58","datavalue":{"value":{"entity-type":"item","numeric-id":3627015,"id":"Q3627015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$87D76B15-3A29-4FDD-B2A9-D4F62702F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3386e5e64cacb476206a1ab2e0a80247a8ef9985","datavalue":{"value":{"entity-type":"item","numeric-id":5620163,"id":"Q5620163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$C75C9C77-DF39-488F-876C-BFC31599CEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1427f5bd67877182fd0da9f3fc2daa1f4f5dc2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2233427,"id":"Q2233427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$71CD9BCD-23F5-4E13-95C2-92112A009C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6def1004b32357d49234e24e821b2e48dae61b5","datavalue":{"value":{"entity-type":"item","numeric-id":5701017,"id":"Q5701017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$5D8D5DAA-7F35-48F6-9691-FD4A333019AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$DFA6753A-E88D-4EFD-BCED-A5F72C4D790B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9524028fec94a230f82dd6b0680a6fdc305948c9","datavalue":{"value":{"entity-type":"item","numeric-id":2904623,"id":"Q2904623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$B640222C-A7D0-4E16-B954-A2F5C2820677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df760edc831b9b161e67e7148822443d34c08ed","datavalue":{"value":{"entity-type":"item","numeric-id":4261098,"id":"Q4261098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$E7141236-478C-4EBB-A8D6-2B1F53260D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8301d2ae94e2b0a9e5c6dd5f35bf6c0b09fb5ee","datavalue":{"value":{"entity-type":"item","numeric-id":6610642,"id":"Q6610642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858375$8E515A81-E20F-4958-9225-F889A57E0814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting modulo traced comonoid structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_modulo_traced_comonoid_structure"}}}}}