{"entities":{"Q43948":{"pageid":44004,"ns":120,"title":"Item:Q43948","lastrevid":105428555,"modified":"2026-10-09T10:10:05Z","type":"item","id":"Q43948","labels":{"en":{"language":"en","value":"Regular_Algebras"}},"descriptions":{"en":{"language":"en","value":"AFP entry Regular_Algebras"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2a62595f0bd087342e6a379df32e0e9e738793e3","datavalue":{"value":"32237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43948$C78EDC56-F84D-4B0E-9620-B1F302BAAFAD","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"4b43231b10a490d0fc9650572fc43c6a53821ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$E503ECE9-0BC0-4B17-9D27-A019792772D4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$5163D4A0-04F5-43E2-9BEC-BBFAD16F26B5","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0a0dcc9ec46bf6ab9245c6315903e309b0d3482f","datavalue":{"value":"https://www.isa-afp.org/entries/Regular_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43948$D295FD9C-C8CF-4C4D-AD55-87EFE98CE236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43948$A82F875C-B56E-4F3D-A94E-98A00C6776B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43948$C339B6E7-DC0E-43C7-86AD-47BB807F7F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43948$A9B391BB-3988-49EE-8CE8-B5531F206529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43948$5C561B8F-A90A-451B-AB65-EE19B8E7CF6F","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$C805D63C-2BCB-46EF-8C2F-619076CDC790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$88997518-5CBE-4914-B8E4-F2F97DD26A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$064610D5-07AA-4428-B54D-83552A42A6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"239ac5c0327af3346b2f92ef805aaafc618ec12b","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$BBB29CDF-AD60-4D88-97BA-AB23E2003430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$87C1A010-B861-458E-AE31-7ED597EF1944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0b41f199822415452382cf24ab43b640f6230392","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$4D862BB4-F66B-4AC4-81BB-934BD36C00E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$C740F8BF-FD03-4727-B931-C485A21428E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$E5CBF18C-7202-4FCD-A127-FBE095950BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c665c382bcb7444338c1c6285a20640225aac29d","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$43C3049F-062A-4C3F-B882-2EC2E43BB621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b6a7b67681cd8fc938988f96f4440f9fb639f7f5","datavalue":{"value":{"entity-type":"item","numeric-id":22158,"id":"Q22158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$006F9013-792F-4CED-8D40-59D703801B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$9409FA12-52A6-49FF-99DE-98D346423DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$C808D149-2D56-4DF8-89A8-DE94B60F2C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$D15E4F58-558B-4138-8EBD-BA8AF3F0D347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$90F13EA8-0471-4A22-8CE0-51828AE6B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"be349a9c602ac7f46103617ce9f8f7a751e64df6","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$7BD76C9C-1F74-4992-8D33-87CB977E8699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$A67DD2CC-C6FA-4B2F-9A69-C225FED49ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bfb5210bbde24d510bf39c9b54b7019412693a5b","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$F4A374E0-8202-4F28-9B2A-694D169E699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$64D273D6-93C4-41CF-A117-B26908868A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28e644e40be74e8cdaf8abcb1de35b72a3f67ffa","datavalue":{"value":{"entity-type":"item","numeric-id":40021,"id":"Q40021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$3372F1B8-14E9-4906-9729-37BBBE75F95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$F6E3B4D6-69BB-4053-A3F6-74655E7C19D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f71ea6f9b956cd417148350fb7eba6dc366c822","datavalue":{"value":"https://isa-afp.org/entries/Regular_Algebras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43948$6ECD580F-D73E-4AD7-A2E4-8D27F1D8664D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c9ddb9cb8edac3e4e3079ad62f4b03206fa5cc4b","datavalue":{"value":"Simon Foster","type":"string"},"datatype":"string"},"type":"statement","id":"Q43948$0A33AA22-3C39-4FA8-ABDF-079E45DE30A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q43948$9D360364-29AA-43A7-90B0-E8CF3F44C8E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e9c16bdb5622ae0577ce8f93761cce87660009c","datavalue":{"value":"Regular algebras axiomatise the equational theory of regular expressions as induced by regular language identity. We use Isabelle/HOL for a detailed systematic study of regular algebras given by Boffa, Conway, Kozen and Salomaa. We investigate the relationships between these classes, formalise a soundness proof for the smallest class (Salomaa's) and obtain completeness of the largest one (Boffa's) relative to a deep result by Krob. In addition we provide a large collection of regular identities in the general setting of Boffa's axiom. Our regular algebra hierarchy is orthogonal to the Kleene algebra hierarchy in the Archive of Formal Proofs; we have not aimed at an integration for pragmatic reasons.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43948$4EB0373A-A4A2-4CCA-8C43-089C1D6A6815","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2998162356bcb00ff290fb3ad8035006d4a28d","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$4F6197C9-0620-419A-AE58-0549F1C0A127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c21563ebfe4989a0c68d86523017377bbcfc1cb","datavalue":{"value":{"entity-type":"item","numeric-id":406433,"id":"Q406433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$C796D68F-BA2C-4F50-9713-7EDFEEA86025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$9341F2B1-0736-420F-A0F7-A117103BAA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$1F61468C-F998-48EE-9C00-5A8D5D328ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$16807632-5C76-4254-A652-041133DD4F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$8082A9A7-B6FA-42BA-A79A-BD4AF0CB839C","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":"Q43948$682151C2-9C8C-4202-9B46-BD691310B702","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":"Q43948$C357BB36-D5CF-45D6-9F29-52EF2BA24C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$FEA08313-7EC5-4F0B-947A-E5B166D3636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$DC0FEB8A-18DB-4ABC-BB3C-A44BA3CDF31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$ADE838BE-299E-4846-A768-C548E1D45B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0e0d2f6f6067cafe5004d11baa83402037d817","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$A7510A57-C11D-4828-BBDE-069DA2FCB826","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":"Q43948$522D7FBC-5D51-4E31-8D2C-9D5817AF30BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$09963856-A2ED-41A6-A363-EC673F5CB177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$E1DF31F6-3A87-49F8-9A1F-1F8544492D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0bbb1d8cfb9b91bd41f05780d54a53310b43ff","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$51EFF236-C999-48EC-BA09-5236BD47DFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$796FB929-D6D4-4CAA-8863-EE1F7617A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466de9108e83281686b0a7a7ad213d23accf5e39","datavalue":{"value":{"entity-type":"item","numeric-id":715050,"id":"Q715050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$BCEDD64F-B6D4-440E-AF92-470A83AC2CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360383bb8da6b25f21760984236c3aab0e481c29","datavalue":{"value":{"entity-type":"item","numeric-id":604456,"id":"Q604456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$C6326F02-7AAC-479D-B47C-0B356581EDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$3C63E667-ACDC-41FD-8064-99115A81E413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f7032feec8f3cabf8b2aed26c255234ae5d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$D2E6006E-95B1-46E7-86AC-6C94E78B01CB","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":"Q43948$4971CEA9-7149-40A4-885B-76FAF7D54B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$CA3E6D94-F1D8-4D70-9392-4CF781E1D3DB","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":"Q43948$66F70001-8C44-447E-8667-8D7284A10D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$2FA8A269-5487-47CC-9D70-904C0DAB7D56","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":"Q43948$9A71B8B2-8ED5-4C3C-B945-8A4D69D8D6AF","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":"Q43948$37C90B1B-E13E-4538-8F6E-C2B052927DFA","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":"Q43948$498022C6-FA21-403A-9F5D-F682BF6AD852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$52CF040D-A227-40A9-BD92-83B7D4F764AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4137c951eaadde266e4273852e2721267a50cb34","datavalue":{"value":{"time":"+2014-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43948$1EBC8233-BAD3-41A2-B551-47CCDC6B91B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da0cba5700c06e3711af32b3066f358779596780","datavalue":{"value":{"text":"Regular Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43948$2A7492BD-EE5B-4CF5-BA3A-7C2851D3DED1","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$2FF14428-8593-4F3E-A346-13FD2F5FE3A8","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b1cb988fa001fdc76ae94cba69a4ea7c1fdb0613","datavalue":{"value":{"entity-type":"item","numeric-id":7361763,"id":"Q7361763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$7DA9D85F-D606-4C55-AD8E-C2DB0314CAA1","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43948$93955FC8-9F27-451E-92B3-66016F45A70E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_Algebras"}}}}}