{"entities":{"Q1175933":{"pageid":1186682,"ns":120,"title":"Item:Q1175933","lastrevid":47045494,"modified":"2025-12-31T12:10:35Z","type":"item","id":"Q1175933","labels":{"en":{"language":"en","value":"One variable is not enough for defining relation algebras, but two are"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14884"}},"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":"Q1175933$E2652828-7BDA-406F-9355-1CBE8BC68806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48f3d18bf857b85962634dfda9d5c33e47dac56c","datavalue":{"value":{"text":"One variable is not enough for defining relation algebras, but two are","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175933$332606E4-E321-40C2-9A62-DE463C2BD137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95af56ba94b8a50e48236eac0802e9cb9636cbec","datavalue":{"value":"0735.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175933$2F9D7A0C-5C4D-4D9B-A6EE-5DF22621E1F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efec90aaec337854f422282e387ac65348154511","datavalue":{"value":"10.1007/BF01190856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175933$35B8A4E8-95CA-4ED4-83E1-9DDD7EBB7784","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":"Q1175933$5B832429-DF48-4729-82A9-B197FA30AAFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175933$3EBD44CF-D065-478E-966E-087247E39D89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1e4e395a6599b059661a3b9f7fb46281f4a4054","datavalue":{"value":"The definitions investigated in this paper are axiomatizations of the class of relation algebras by sets of first-order formulas over the class of Boolean algebras. The main results are the non-existence of such an axiomatization involving only one variable (which answers in the negative a question raised by Tarski) and the existence of a system of axioms involving only two variables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175933$6E845480-914B-49A8-95B6-A17F67432102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175933$16805EE4-C318-4C68-B9FB-326376A1086F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2916e8bf65b524c8e080f4e9a775ce389b645b26","datavalue":{"value":"14884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175933$CC9042C4-C09F-4B51-947E-269329EEAF67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175933$BFDCF5A9-1002-4976-AA1B-7A06DE7D57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175933$739B7ED3-D31E-4438-B975-9747FE551E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175933$9019BDFA-B92F-4C21-8A89-F70EFADA261B","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":"Q1175933$9C5F721C-BC0B-4265-9503-5CB31F7CD3D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$F34A6B02-30F1-4A79-B6A1-D5D8F1CE3126","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":"Q1175933$961CF6CF-A7C2-42C7-B134-401BF0FF860E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13278d951c8d69735622ef9c0f7dc35c54ce7db4","datavalue":{"value":{"entity-type":"item","numeric-id":5787935,"id":"Q5787935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$1C4EE273-757C-4D77-B4D4-99B27B74814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$7365A24E-F8E7-477E-B6F6-BB6144E45FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$C92F62D7-1491-401D-91BB-10C61A11BCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$A26BB71E-9A49-4CB9-96FF-2EF6C4C9DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8361fdc8ecf2d3b24d04b76e52798969e4b254f9","datavalue":{"value":{"entity-type":"item","numeric-id":3708022,"id":"Q3708022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$406B4FA5-A9BD-499E-B15B-ADDC45D4BE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b4603bde536e7c3cf4b70f67c4f3e1e6573232","datavalue":{"value":{"entity-type":"item","numeric-id":1225621,"id":"Q1225621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175933$798EA1B5-0493-4CAE-AF34-D6461BAB42E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0c95cf2eefbce1635206143bb5a5b064d4bc959","datavalue":{"value":"https://doi.org/10.1007/bf01190856","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175933$F4F4418B-F37D-4C84-957B-5E600CA36161","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d20911fe1ae927ef565c6432a05364bb66e72f7","datavalue":{"value":"W194942576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175933$9B6F3279-EF33-4EEB-B772-C13ED76146D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b02e4d1c83403a03a310bdd69a81c11ea811d7","datavalue":{"value":{"entity-type":"item","numeric-id":1377626,"id":"Q1377626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11877c002d75cc327dd5f5553664553e78b76234","datavalue":{"value":{"amount":"+0.7763833403587341","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":"Q1175933$C1FC6E8E-3B07-473A-8B29-F87AB4595A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b8bf7765598e48be136b8150734cf851f967c0","datavalue":{"value":{"entity-type":"item","numeric-id":4011721,"id":"Q4011721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11877c002d75cc327dd5f5553664553e78b76234","datavalue":{"value":{"amount":"+0.7763833403587341","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":"Q1175933$596D26F4-8B29-47A6-8649-714416C00E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f62fa47ef46f55e51a7d3b20369f6be9026ab46","datavalue":{"value":{"entity-type":"item","numeric-id":4362875,"id":"Q4362875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da46f858352817bac949c453b90aface8279e44","datavalue":{"value":{"amount":"+0.7657880783081055","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":"Q1175933$0E92E204-7F48-4C4C-9F5E-18332A4AB6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b591ac6208ec6e877d2ca5bba3f6cd004707af","datavalue":{"value":{"entity-type":"item","numeric-id":5737952,"id":"Q5737952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d43367fc26c6de1e08bcacaf1d27068ec8c796","datavalue":{"value":{"amount":"+0.7644065022468567","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":"Q1175933$64E5EB6A-1789-443A-8684-D3F4710039B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ab65e66c27113dac946f292e010f14dbd752f1","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842cdb037a0fe03d3c3a10201b60f5ee77fea5ef","datavalue":{"value":{"amount":"+0.7618932127952576","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":"Q1175933$0A7DB9A1-001B-4018-8A73-6B1BD003D56C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1175933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1175933"}}}}}