{"entities":{"Q4254690":{"pageid":6284291,"ns":120,"title":"Item:Q4254690","lastrevid":88627253,"modified":"2026-06-04T15:01:29Z","type":"item","id":"Q4254690","labels":{"en":{"language":"en","value":"The shuffle Hopf algebra and noncommutative full completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310804"}},"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":"Q4254690$EE54D24D-A704-4D84-A1A8-0058015467AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7093709734dd1e8697b5fb04346c9a189742f01","datavalue":{"value":{"text":"The shuffle Hopf algebra and noncommutative full completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254690$6707676A-06E3-4D2C-B9C5-DA4B3368F6D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c12791e97b75e5240f4a76c9d89155a89e1826fc","datavalue":{"value":"0926.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$589BA278-571D-4975-8412-727BB17FFD87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"253b3d6c71a666b56ef33a329c1dc322eec23bc6","datavalue":{"value":"10.2307/2586659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$627ADC8D-36A4-42BD-916B-9218C99A2D24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$1AFFD0A9-A358-4AB0-89B2-52C75B5007A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254690$FC0A90F6-3D7E-4662-A8E9-63D62F24C2CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74294a10557c95ed93d7572498400f9eea9ed246","datavalue":{"value":"https://semanticscholar.org/paper/08815b9b258a61a3667867042e12d50fa82c23d1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254690$049AE788-AAC0-4EC8-AB2D-A56F16A4D84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$6B930CDD-804F-4377-B8E2-E618E75AAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$EDA7908C-F841-4236-8683-14C7B5699594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$8FB96798-9E34-4AD0-9325-57DF13AF46E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$A01C3E60-8D32-48B8-8425-2C094E57CADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$648291FF-EEE5-4511-B99C-74FC81AE02D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"899fca94b925e8d55fb79a6fbb185bf8e5d5822f","datavalue":{"value":"1310804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$4A19CF16-A98A-4CCE-96C3-5BF7CD0F8AE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$22598D23-C5AF-4F89-A753-326AE988490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14017d5c5cb50df5bba167cbcdcaf9e3ba0b1aaa","datavalue":{"value":"equivariant transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$1E4D05A4-DF71-4BA1-A522-43EE2B8C64D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$BD371E4D-17B2-4186-B017-BC2DC8A965D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7612be44175841db287ced67c793b9d7a90302","datavalue":{"value":"multiplicative fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$A54A4F12-0EE3-47F2-9976-444556D10A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c69420e617fd32bf6a4203f58356b04114a53c","datavalue":{"value":"noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$4CCC5709-0C53-4F27-B70B-A816A843A38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750c07e6335bea8a69b6d3c9c9af52298a4a0f28","datavalue":{"value":"cyclic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$AC6EE83A-B761-4068-AD3C-AB91F947E634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca98853913a24c3c68ca96d125731e2c2328b23","datavalue":{"value":"interpreting proofs as dinatural transformations on a category of topological vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$E8BE73BA-02EC-47B4-BED9-9350853089AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bd5a5d0d6ba254fee5bb1a1c15730354a7d818","datavalue":{"value":"noncocommutative Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$9AD43914-5B7F-4F4F-AD7A-AE112DACEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94b13d0f6d915ea0e0a521f0a72b031d9db80d7","datavalue":{"value":"shuffle algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$A073B9E0-3511-4A15-9CF8-901A602A7DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430ff059570d9e54bdce5cf5b9769dbc663ac257","datavalue":{"value":"denotations of cut-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254690$C2AB20C8-EADC-4B16-8DA5-6A55F8E70416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3de85f6c33c712dd4c532c867e0f7e1c3d5d050","datavalue":{"value":{"entity-type":"item","numeric-id":1421607,"id":"Q1421607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$352D5D76-817D-4E62-837C-357DC27791E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$9A4DFDC9-3FB2-4B42-A290-44F44AA1DB60","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":"Q4254690$C7AFCDC1-9522-415B-B886-F18E0DDAF420","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8340476c2b4329a4fc74ab283bc920dc6f88f498","datavalue":{"value":"W1975997375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254690$2F8E7922-EB87-4E58-8810-2FED3613CA69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$7A92856D-513B-4A54-B2A5-1442845DD35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43966bd08e04211bfe4e46e27697c8f5d82d0a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3491773,"id":"Q3491773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$7B939936-B94D-4DBB-85BF-FA34A8C4FD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baeac37e0f9bfe1994691ad4908511fa020bb034","datavalue":{"value":{"entity-type":"item","numeric-id":908997,"id":"Q908997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$B9A4A434-B535-4FE5-80DF-64862AA714C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652e56fafd3a986ef27cf8891d2941a0ad8f1250","datavalue":{"value":{"entity-type":"item","numeric-id":5727254,"id":"Q5727254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$4AA8B118-B34A-43EB-9648-0098C4F7E435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$EBC3AB65-3AC0-4905-A8A1-50F9A3C1ABF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$777E13DE-4BD5-4379-9786-F5468B0AFE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$2D5BAC89-CF4F-4FE9-8094-39FA4F90CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b405e3ba95c8e2fc367178d507bbb2e31e45da5","datavalue":{"value":{"entity-type":"item","numeric-id":3924225,"id":"Q3924225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$1B4DF8F6-F39A-4F20-9A1F-74A98181750F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e664c53debae71bd3947b36756de2ad2859884e","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$264BD33A-488E-4500-8FF2-2FEEFB52146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$5233157B-5B68-47CD-9E84-80FE83ADF980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$F4175A60-4F0C-4D45-AF74-8CC21B0CC1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$350676BC-41CD-4EEF-B750-E5E07255773C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce43943cdea99839778a97c2299e9ea778a76da","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$02386067-8FA4-4DD7-B4F1-34E85D5F6E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$9BD23A3F-EC7C-486A-8E63-C328A676F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$3D441FEE-6727-4A92-AC4B-E24903EDF98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12c3f647c7da57c3813be3794fd842b1a429ddb","datavalue":{"value":{"entity-type":"item","numeric-id":5288004,"id":"Q5288004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$0396E415-9ECB-403C-9BCC-A0685697A9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c9fc416778c056a486cab9e8c82f05dbf1b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":912846,"id":"Q912846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$DCF679F6-77D4-4CF5-8CF0-A9F4BE23F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f103bf19f98ddf120c93ad01051ecf5a2c64f71","datavalue":{"value":{"entity-type":"item","numeric-id":1345016,"id":"Q1345016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$EEA13C49-79BF-4695-8CE1-C7A67945FB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$C1C8751D-0C8F-415A-894F-C47A5E1EEDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91162405d4eea68e25195c368ce334188f72fc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4882498,"id":"Q4882498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$B76388DD-C5D4-4125-BACE-9415F21D5645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d60c2b217f319153631b8dd8991deb4f0b64440","datavalue":{"value":{"entity-type":"item","numeric-id":4882499,"id":"Q4882499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254690$71F15C4E-3580-4362-8EA2-93D2F6C57F6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e48a0b4b764db15dab81bbee3ab939368ba9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4222824,"id":"Q4222824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1617ec956b0de9e83c665aa30aeb53d88c25d25e","datavalue":{"value":{"amount":"+0.960664927959442","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":"Q4254690$5EFEC622-9E31-46E5-A17F-7019B2FDA8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f0d56d41395e473df72e5ca04321be50bc42e6","datavalue":{"value":{"entity-type":"item","numeric-id":4882498,"id":"Q4882498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbca00b075ac91f09aeb7f50423e568cca304e3e","datavalue":{"value":{"amount":"+0.7909448742866516","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":"Q4254690$E84337C1-BA97-49B0-9E38-AF114BFADA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df843f74dae19690f95e659a4f964d14eeffbce","datavalue":{"value":{"entity-type":"item","numeric-id":1840462,"id":"Q1840462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e93358478e1b9a5a28d383ac22586a737a3a67b","datavalue":{"value":{"amount":"+0.7553651928901672","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":"Q4254690$D04A2908-A603-4832-BF0F-23495DE37FAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The shuffle Hopf algebra and noncommutative full completeness","badges":[]}}}}}