{"entities":{"Q1894553":{"pageid":1905295,"ns":120,"title":"Item:Q1894553","lastrevid":71708280,"modified":"2026-04-14T00:01:48Z","type":"item","id":"Q1894553","labels":{"en":{"language":"en","value":"The equational theory of union-free algebras of relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780795"}},"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":"Q1894553$5BF09A21-6A3B-456D-936A-DDB3F0983879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f311a2d2866911dd891d1fa9ebce0d62b18ddaf","datavalue":{"value":{"text":"The equational theory of union-free algebras of relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894553$CA7CD9C5-DA2C-4E91-876B-1F75A6CEA1EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1679b1ecce09c195182f0f97d96ebe47912ad930","datavalue":{"value":"0826.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$6745A141-1A19-426E-A32E-9733745942B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2549904613fab35016f333f8b54d3e971d5c9857","datavalue":{"value":"10.1007/BF01225472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$56B1BC65-0915-44E8-ADB3-2FCD00415E97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$B56615CA-8BE1-4479-A2AB-8BDAB5D2B471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc61b985d707194960702e87c36d0ac304698626","datavalue":{"value":{"time":"+1995-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894553$C7802317-2F9C-41B4-B11E-F0F471C2A56F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acad38b96f35b57bd77408cca0af24867cf6e354","datavalue":{"value":"Let \\(\\mathcal P\\), \\(\\mathcal R\\) be the classes of algebras isomorphic to positive, subpositive (no \\(\\cap\\)) set relation algebras, respectively. The authors show that the equational theories of \\(\\mathcal P\\), \\(\\mathcal R\\) are decidable and that \\(\\mathcal R\\) is not a variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894553$CCC9D7A4-59EF-4581-AC86-200156D8BD4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$4C3F141F-4DA7-452B-A5D8-BABCEA640744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$6AE01205-49F8-4C5A-B393-6E0AA39A0E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$DA4EA5C9-26F6-4AB5-91E2-B708B0F0D8F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ea147daac881ba64662b0a6e3f0c6aad7019a3e","datavalue":{"value":"780795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$5897EC2C-48D5-4F5E-96FD-0D5D1D900C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e96a2edaec14dd4ea02e24ff12b8c8fb55a5320","datavalue":{"value":"set relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894553$70DDAA03-D0E0-40FF-8CC6-DF9F0EAB61A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$CDE5CC1C-8DF0-4C29-BBDD-8866BB7055C1","rank":"normal"},{"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":"Q1894553$90146AEF-E7E5-474C-ADFE-D712190FC9EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$4D598D40-BC68-4B0A-B5BD-8F741C534996","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":"Q1894553$5ABD8206-F84C-426E-A492-50206AB7B1C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$426D6C23-E501-4A00-9531-B0F17F4D98ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975593ca4b2b9af72be87491af8461a076c54b55","datavalue":{"value":{"entity-type":"item","numeric-id":2277499,"id":"Q2277499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$22AE39E3-F093-4A5A-A2E6-D2495CF64AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c88472092ca4eb2e97c46f16b7d6d00641ff7a4","datavalue":{"value":{"entity-type":"item","numeric-id":4011711,"id":"Q4011711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$244BA44C-0390-4492-81E9-963D8DE4154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026341202735b2f08b61e14b013f5b9ee0ebfdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2759824,"id":"Q2759824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$6A81ED03-173C-4DB2-B8E9-3756BFCB2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b6b909a45a35f578a2fe122e63fcc4f12d095c","datavalue":{"value":{"entity-type":"item","numeric-id":1901893,"id":"Q1901893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$2DD639C6-C099-43B9-A97C-93A20C6E004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f5ec6f0768ee3845af05759180e71738caf1fb","datavalue":{"value":{"entity-type":"item","numeric-id":4170775,"id":"Q4170775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$D482FA98-0322-40C4-AE36-DF231602B04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1f3ba2148bce75c78a9b9421068bac39372a65","datavalue":{"value":{"entity-type":"item","numeric-id":2276955,"id":"Q2276955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$2A2DFC45-9AE2-47A6-BD5B-9D8FB26A76D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e2a9267b97ee61c7a8831987d365bb3890d994","datavalue":{"value":{"entity-type":"item","numeric-id":4724677,"id":"Q4724677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$2A18F996-6DF6-431B-A353-3C444160C443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76fa1f83944c15b5ff6961f5d9e24eb7e0afa70","datavalue":{"value":{"entity-type":"item","numeric-id":2539869,"id":"Q2539869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$C5CFE26B-2CC0-423C-AB9E-F80EBA2FCBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47609b5dff03ce50530aa7210c78bab2df28cb1f","datavalue":{"value":{"entity-type":"item","numeric-id":4041836,"id":"Q4041836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$65EEA89D-3F35-401C-852B-D6F6E73F55D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894553$4DD89C2C-A74D-44E7-BE99-3582090EAEF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"222076b2f5fb7bf76c66a37bf7bd95a2900ec6ad","datavalue":{"value":"https://doi.org/10.1007/bf01225472","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894553$FD1BA9FD-9262-40E9-9C90-5EFABCE9B5FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d511825f4acaf28ca44af4078ac2517b582c29d0","datavalue":{"value":"W1993804761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894553$94013D2D-484A-4BBE-8752-494EB74F6906","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25211aec653e1ac6dc3a9c4259b0bfcc32ac5c1e","datavalue":{"value":{"amount":"+0.8094884157180786","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":"Q1894553$4F38BFFE-F442-47DD-90A9-0C79EA888F1B","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":"36c86681ce03b15adb733783bc9653b47001c247","datavalue":{"value":{"amount":"+0.8059403896331787","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":"Q1894553$D7E5E123-8632-4604-A16A-10678A8D7544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf810e5239d03a0a37e4acf2f53f5e913d993216","datavalue":{"value":{"entity-type":"item","numeric-id":1854402,"id":"Q1854402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c86681ce03b15adb733783bc9653b47001c247","datavalue":{"value":{"amount":"+0.8059403896331787","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":"Q1894553$4C691365-0AA4-421E-A9CF-081C1E591677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1384ca90a6847d404e5f06f4dab11bec97f038c1","datavalue":{"value":{"entity-type":"item","numeric-id":1901893,"id":"Q1901893"},"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":"Q1894553$8AFEC817-5EE4-4F4A-AB8C-579C3D839017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The equational theory of union-free algebras of relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_equational_theory_of_union-free_algebras_of_relations"}}}}}