{"entities":{"Q1901893":{"pageid":1912635,"ns":120,"title":"Item:Q1901893","lastrevid":74252730,"modified":"2026-04-14T19:11:59Z","type":"item","id":"Q1901893","labels":{"en":{"language":"en","value":"Equational theory of relation algebras with positive operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 815631"}},"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":"Q1901893$3C6D536E-D2B8-4108-AEFF-DA93D7205A02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e917fccb6bfff543ed617823ba9629b33ec8d32b","datavalue":{"value":{"text":"Equational theory of relation algebras with positive operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901893$5B87BEEC-027B-4926-BF97-B73E7F8816DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd1deb189d06120597952a8ba6e23a3c8019466b","datavalue":{"value":"0833.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901893$C6820AAD-676F-4C71-B0E0-84BBA13DDB15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901893$363F4EEB-D614-4A6B-8AF3-E0AA9BD9B866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c98862405da01934b96b9633d4b6d492f4e24344","datavalue":{"value":{"time":"+1996-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901893$5406B2D0-7A09-47FB-AFEB-F9BEBC6828DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d374d104c19b265fd83d501e3331098fce31fa95","datavalue":{"value":"We use techniques of graph theory in order to give an effective description of equational theories of relation algebras with positive operations. As a consequence, in particular, we prove their solvability. The obtained result is applied to characterize varieties generated by positive reducts of Tarski algebras of relations, i.e., by algebras with the set of operations \\(\\Omega \\subset \\{\\circ,^{-1}, \\cap, \\cup\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$3DA89A36-DFFD-415F-99C6-595663B0897D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901893$480F3F09-3345-4023-B603-76AFF2B85BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901893$6B3DD387-493E-401E-869D-E3D9FE06CBEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d368eed5501fcea369a1bd68823aeb7e5bd2386a","datavalue":{"value":"815631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901893$A8902EDE-1E04-42FD-8BA2-AF9E4EA8B2C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$0D631739-38C0-433D-A03F-954F696B0881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$9FC88DFD-B2F4-4C0A-8DFF-9A9B18A6E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8494e6b6bc271adba78743507cad1299ec39731","datavalue":{"value":"positive operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$3965C887-EA1A-4C9E-8194-1794E02D436B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$D1C727D1-66BB-4D34-9A72-8C5E6BC6D44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$73D98DD2-6897-43D7-A089-B3FFC8794ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9036fd02fd7f5a6bedb13e2957b153f08d6ff897","datavalue":{"value":"positive reducts of Tarski algebras of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901893$9B188CD5-272A-47FA-BCCE-9D823FD18B4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aff1958b6fe825799c2ecae24f0added1c456ee","datavalue":{"value":{"entity-type":"item","numeric-id":284660,"id":"Q284660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901893$F17DCB08-5D18-432E-874D-BCFE0788DC59","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":"Q1901893$552593BC-F2FB-4450-9596-67EA9F5419B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff8035cf9f6ca4ba394c5831dd233c088759ebf","datavalue":{"value":{"entity-type":"item","numeric-id":1594049,"id":"Q1594049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac70ffa8af8570b4685e4dfad60da6e4d4f64263","datavalue":{"value":{"amount":"+0.8158011436462402","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":"Q1901893$52EFDFC1-2E43-4761-8CC3-2BBD02CD4AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542061c5c55c836eaf98ce162ee67d77de77f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97892ab7232d461433846026a2b84303529d7613","datavalue":{"value":{"amount":"+0.8020666837692261","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":"Q1901893$6A289C69-4053-40F4-9CDE-5CFC89538433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c966899e69a6bca2ee754d9fa06e179797d084","datavalue":{"value":{"entity-type":"item","numeric-id":647324,"id":"Q647324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4c3cadf168d5099f80cbf4c5579a96c6e58bfe","datavalue":{"value":{"amount":"+0.7826612591743469","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":"Q1901893$CBBD2F6C-C952-4CB5-BDDC-EBDB36B15EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f20f6a6a25caa24fd80293bd7bf1092ba70ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1272147,"id":"Q1272147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6880920458b215282454e3f6b72f525b9d291d","datavalue":{"value":{"amount":"+0.7771285772323608","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":"Q1901893$23D69A20-5C06-4AF8-A2C6-D44F65AE5B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdbb167983b39d28d1730bcabc0f8fa8af8eea3","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61926f2386cfb4866e5b9e0d97d4fdf4625545fc","datavalue":{"value":{"amount":"+0.7762260437011719","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":"Q1901893$91F6A217-FC16-4D83-B18F-4649A14B8C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational theory of relation algebras with positive operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_theory_of_relation_algebras_with_positive_operations"}}}}}