{"entities":{"Q6149967":{"pageid":13284274,"ns":120,"title":"Item:Q6149967","lastrevid":58715805,"modified":"2026-04-06T10:57:35Z","type":"item","id":"Q6149967","labels":{"en":{"language":"en","value":"Discrete equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813380"}},"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":"Q6149967$AA2F5333-C01D-40FA-B128-AD6E58B96467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ccc545530ef527cc2cc3ff55da4d6b91b84c0da","datavalue":{"value":{"text":"Discrete equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149967$CFD5433F-7A59-40BA-9C24-6C919BAC9682","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$95842579-FDBF-4FC2-87C9-0204810C5B74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$B449C3FA-B4D6-45E9-BF91-87B38CE3F2C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149967$463B2E76-7F53-4D0C-B459-10F1369FFBA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80334f2bee11b02355832f0d179960f8adc707f5","datavalue":{"value":"https://arxiv.org/abs/2204.02590","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149967$0431C9D4-8199-4560-B229-578F407E7C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149967$E66741F0-BB3D-4636-AD9A-158999554B60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fdaa60d873dae9e7741db22d861fe6ceb43a12a","datavalue":{"value":"7813380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149967$C5DCB216-6B0A-4699-B8A4-F6297D7EF9D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6ae4a0fe9f22c88932096eefab5dc750fd8df5","datavalue":{"value":"enriched equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149967$21ACE2E6-33DD-46D1-8B3E-89713E6231B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9302e27cfa56f6976da5567b5eeaccdda28e2499","datavalue":{"value":"enriched Monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149967$B0631F36-9EC9-4F52-97B0-6D1459F875FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81285d981f1f1724aed8776d2bf1146d9782ef7f","datavalue":{"value":"Birkhoff subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149967$E7252813-B58F-4B89-B95A-083AD6E90BA3","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":"Q6149967$5EF2E881-4A31-4142-84DF-8C084C49FEE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cd29b80ec2ba35c1b4ac95242b7a2175750ac29","datavalue":{"value":"W4391187550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149967$4682946F-20A5-40A5-9E7C-BC8C744B8A41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"996fcc38c305ce47a5062694e52b817449773b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5058361,"id":"Q5058361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$F9EFF405-49FB-409A-824C-DDE6482C5563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc21af6188e32f57200034ce59ea479c19d9ecca","datavalue":{"value":{"entity-type":"item","numeric-id":5068206,"id":"Q5068206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$5673E800-FF56-4DA0-B3CC-5A6598D06687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$2AB5CE5A-C798-4EBE-B0C5-F2021989A67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$5FB13769-DE85-4B01-87C1-4ED85C687B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d25260136951a14687081f2d19f464d842a23","datavalue":{"value":{"entity-type":"item","numeric-id":1762479,"id":"Q1762479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$3C11B6A5-6C1D-48B4-AACD-C13FE858D5E4","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":"Q6149967$6BB122F6-119F-464A-BB8F-758474F6E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$1B9180FB-7FDB-496B-AA63-B416E5E3E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c97834596ed1acea219d8b107eaf8e5581de6e","datavalue":{"value":{"entity-type":"item","numeric-id":2001598,"id":"Q2001598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$6D6D178C-EC50-4794-8BD3-B60060C575E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0783f85e99e7dffe0dfd7a137e42e4f7d2481da5","datavalue":{"value":{"entity-type":"item","numeric-id":5654202,"id":"Q5654202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$CAE2E7EB-2117-48E0-BEF3-4979655C61E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4112a1f33c23692e911c39e2f8775a878df82ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5387358,"id":"Q5387358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$F6E4A2DC-D2D3-4FA4-97A3-E68E470AAD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$C6FA7494-3FA7-4E72-A2AF-866FB3BA5B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$DE114AF4-BAC3-4237-82D4-D0F1C30D542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb0dffb4f53d966bd71a12fcad1413ceb580454","datavalue":{"value":{"entity-type":"item","numeric-id":4635933,"id":"Q4635933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$5B9AB353-2232-46B6-B6E3-83C68D0D31EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d42692376a23419cc69bb480f79c6fee97d73a","datavalue":{"value":{"entity-type":"item","numeric-id":2289091,"id":"Q2289091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$1CE1D4E4-3370-4D9E-BA97-737F4EEBB880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e9d76aa5250eeaf868474317875013ddf95e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5492831,"id":"Q5492831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149967$4B1A9492-13C0-42D3-95D2-BDB997A1F07A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eafa11479565310d080b9a3647ac4f27974c7adc","datavalue":{"value":"10.1017/S096012952400001X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149967$6149399A-2FC2-48B0-8129-9D76726EC409","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":"Q6149967$5F9742DF-59F6-4F4E-8EE0-3F920A1D4363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149967"}}}}}