{"entities":{"Q4645164":{"pageid":6674745,"ns":120,"title":"Item:Q4645164","lastrevid":53315429,"modified":"2026-01-24T17:25:18Z","type":"item","id":"Q4645164","labels":{"en":{"language":"en","value":"Nonfinite axiomatizability of the equational theory of shuffle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999418"}},"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":"Q4645164$7008C40A-0B13-4BB5-AB08-300AA865F078","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa584de0a77e2f9abfc71fc55237aa5da745aa33","datavalue":{"value":{"text":"Nonfinite axiomatizability of the equational theory of shuffle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645164$1B503FF5-76F0-465B-BDA6-9127EBDAAA01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1540d145216923b193d4eb67f7abc594267c61c","datavalue":{"value":"1412.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645164$39975D45-87CD-4D12-9088-56BF27375E6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b82e2de9fa80075fac0912c436344a410e29ef9","datavalue":{"value":"10.1007/3-540-60084-1_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645164$04938796-6448-418C-9789-FF6EDFC4B982","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62767d519669f0120f1ad06c4697e3313416e2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1130163,"id":"Q1130163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$BF31D3DB-5CCF-44FF-BA13-924DA908B150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$FEC958E8-7C11-4E23-8CA1-E8D9EB867AC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$BAB6DF21-E72A-4D49-8D31-DB3D7319FAB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645164$D6C17577-72BE-4DEF-B6EF-1DB5052136AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645164$9106805D-D75B-4F1A-9453-1C6D20C60E5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fce3f0afb313b2c248e3d968fa565166e1a3180","datavalue":{"value":"6999418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645164$CE35135C-38BB-499B-8BC6-F11D1B6F4B7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc2242e3b9a13b6a360ed8d353c2e4fc3293541","datavalue":{"value":"open vertex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645164$16EB95DD-01A6-4A65-A8A9-BE9937316627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645164$F702F6A0-5093-43BF-BA3B-1BCF2F1D6968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645164$F0D87717-F405-40CB-8A2C-5D6F847361A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86166313ad73a1de172ce82477a301f3a2b50f9f","datavalue":{"value":"principal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645164$55D9AFEB-D8FC-411E-9EE1-D3473FE70DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560cfc8099a9e8a9c4681d1f6519df1c3f8dc484","datavalue":{"value":"closed ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645164$6BE3DBA5-79CE-4A64-B7F3-08ABF97EB9B9","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":"Q4645164$20A45D9A-DF04-4DB5-BCB9-FB0DC6105287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"084f0a8846857dc1304d90063647e4b85c4932ef","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645164$BAAEFA26-F146-48F4-88C4-D876EB577F50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec63be02516acf063a6aa0177a413b1804811fd","datavalue":{"value":"W1567957328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645164$DEC43191-CA31-4387-99DD-31E223A3BD9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fd11f4a96ee7eac280113e91bc424c6adee914","datavalue":{"value":{"entity-type":"item","numeric-id":2736337,"id":"Q2736337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$64BF5472-3933-45FB-8EB2-ACFD7D76EE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5267fc1d11c25dd2dba00cf39924a4f728fc42","datavalue":{"value":{"entity-type":"item","numeric-id":2365760,"id":"Q2365760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$DB824621-7F05-4949-B19B-A5D4723C29AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a26e6bdd1261de50d5d0497494901fadd8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":3030266,"id":"Q3030266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$36BA4B2F-A587-4ED3-879C-C6A166D61C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$0F59A96B-0E1A-4294-A210-F9F9638A6538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$465FF56A-5608-4043-BCE8-7A66BDC13B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1294a0dd96a0928644625507b37d16e6a40d6d15","datavalue":{"value":{"entity-type":"item","numeric-id":5096740,"id":"Q5096740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$F39C1BD5-6BEC-4693-94DF-32EAF5B629D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$B7426F60-20B8-483E-ADEE-7EB24A2EE33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$6D85DCEB-79A0-468F-BD0F-1F5157C7E67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ab1ad4f4b5f582f4909f36e0deda39b01a41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3136615,"id":"Q3136615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$6C3C8E8C-0635-4CE9-8567-2677AF5032A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$CDEABBC3-2AB1-4B29-B22D-2D7EB25FACA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$C892F95C-E00D-45FC-98EC-8463EDFF7068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$86941157-74DF-4E40-8ABE-652AA0F9D765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$074734FA-D9C1-495B-8F0D-9C1EFFBF1346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$D517A8BF-A400-4FF7-A773-E8E17CDF0FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$729F39C3-7CF1-43CD-9743-D9E51229B477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$BC4DBC04-72B6-441B-B5FF-03EBE323F14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$DD547191-424D-4C51-96A0-9345F8139230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcfe987d8cbbd43f7b7238b024d7a85de33a069","datavalue":{"value":{"entity-type":"item","numeric-id":3936212,"id":"Q3936212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645164$8CEB4246-AF6D-4188-8902-1F97863123AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d8dcc0cb20d3bd4bb04c953fa5e77872c12fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1130164,"id":"Q1130164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612472e3b5bd5c2020034cab8da8a8315164d194","datavalue":{"value":{"amount":"+0.9889652132987976","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":"Q4645164$F53CC7D9-2A45-47FD-9E57-CB42A1CD5C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb89dc39fc0335eb21b665fe2bcbd9458c03e6b5","datavalue":{"value":{"entity-type":"item","numeric-id":1383153,"id":"Q1383153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d8051fd69e59d5bc53dc8aae31c0023d0044d3","datavalue":{"value":{"amount":"+0.9109041094779968","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":"Q4645164$A433E829-89DF-43EC-8C54-3AA49CBE9728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05587df7bdd971834aac28f2eadcdf4cc958ec6a","datavalue":{"value":{"entity-type":"item","numeric-id":5096740,"id":"Q5096740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0f8a03b05787e4a0e85b2f8d673dd90940c727","datavalue":{"value":{"amount":"+0.8523117899894714","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":"Q4645164$FB950AEF-05DD-4A36-A1F8-1352E0AAD46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8905b57742bcdf6269f90b46546771e618d56e","datavalue":{"value":{"entity-type":"item","numeric-id":4718894,"id":"Q4718894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f6258de09233974a51ecd156d59a7b0566e5bb","datavalue":{"value":{"amount":"+0.7964783906936646","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":"Q4645164$7EE0B405-09B7-450A-91CE-EDB68823B4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba227babfc03d21745cbfaf5d31bcd442c1dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":671351,"id":"Q671351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4566137a9ef15e7304a7342ed763375e22971ec","datavalue":{"value":{"amount":"+0.7677485942840576","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":"Q4645164$4282FE85-8EEE-4F55-9324-0C7833A57569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645164"}}}}}