{"entities":{"Q1363476":{"pageid":1374215,"ns":120,"title":"Item:Q1363476","lastrevid":68557521,"modified":"2026-04-13T00:32:47Z","type":"item","id":"Q1363476","labels":{"en":{"language":"en","value":"On quasi-identities of relation algebras with Diophantine operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1046597"}},"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":"Q1363476$A5BA29E1-163F-4F6C-9A08-5EBD01FC0845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657fd31d3801b0dd65390b9f30418b9495d7fb11","datavalue":{"value":{"text":"On quasi-identities of relation algebras with Diophantine operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363476$3764EDC3-7945-43B1-B4D7-EACC1782F7E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6bfcea899f87415fb7aecf3dde8a28dee857b82","datavalue":{"value":"0870.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363476$8D192FA1-633C-4BE2-A799-358ACCC14C67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a7d7e827a0ccc99a5ef1fd1a3d120eeaa6edba1","datavalue":{"value":"10.1007/BF02674896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363476$272ABA1F-5F79-4377-8002-F537D2D56357","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$CDD1108D-6E06-4437-B5F8-0BBFC40F56D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac8443813f2a05dafec6041e70cd505aec3d667","datavalue":{"value":{"time":"+1997-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363476$BDEFC272-894D-41A6-8784-92AEBB9C3AA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db7c238b9f5b664387965fb9e40632e221ab16c5","datavalue":{"value":"Let \\(\\operatorname{Rel}(U)\\) denote the set of all binary relations defined on a set \\(U\\). Consider the set of operations \\(F_{\\varphi}(r_{1}, \\ldots, r_{n}) = (x, y)\\), where \\(\\varphi(x, y, r_{1}, \\ldots, r_{n})\\) is valid in \\(U\\) on elements \\(x, y\\) and relations \\(r_{1}, \\ldots, r_{n}\\). A set of relations \\(\\Phi \\subseteq \\operatorname{Rel}(U)\\) closed under a set \\(\\Omega\\) of operations defines the relation algebra \\((\\Phi, \\Omega )\\). A relation algebra is Diophantine if all its operations are Diophantine (= primitive-positive). Classes of Diophantine relation algebras are studied in the article. Quasi-equational theories of the classes are described and bases of quasi-identities are constructed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363476$DD43F6B0-87AE-4E70-8A79-5D923A66F625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363476$316F4BEB-5542-4CD4-9A47-8FFF637B1464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363476$9BA51B65-39F2-448B-A40C-2F052C6AD2FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8158d829c98dbdbe7d11786770d75d99198203c","datavalue":{"value":"1046597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363476$607326C0-4A90-499C-AA46-600CAA6BD848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363476$EAB8327C-B076-4AA1-BFDC-4EA2BA477EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980e446bd74ff12e4779aacb1fce23fc4aeda862","datavalue":{"value":"Diophantine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363476$337D6E6E-A618-4F78-892F-4BFCCC2FB09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1405694a71025bf5d25a73890ef3c9f86e0124ad","datavalue":{"value":"primitive-positive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363476$0B1E0B57-7F8D-4BED-BFA3-35D53AFA2339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06fef9695de23062431af9ea097636108fd293f8","datavalue":{"value":"quasi-equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363476$40EC1CC1-635D-44FC-A288-0EACCE13AE72","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":"Q1363476$C104CD62-CE7C-4899-8648-7B15B2EC5808","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":"Q1363476$457062B1-5BA8-4FAE-BE1E-2903BC987118","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$774EAC27-886E-4950-8BC0-CEC73FD4A370","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":"Q1363476$A8C290F3-5F08-48AC-971A-9EE4AAA1444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c5c5b097523413ac5b42d02ad0fb2942dfd8df","datavalue":{"value":{"entity-type":"item","numeric-id":4011733,"id":"Q4011733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$4B98EFBB-091F-4DBA-9641-5424385F270B","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":"Q1363476$9D656230-63A1-481F-A832-7036FADC0562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$D402B14F-E230-46A9-AC14-3FA4EE5ACCF6","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":"Q1363476$E4635B4B-58A2-4BCB-B38D-D91E3891CD85","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":"Q1363476$3F25F2E6-316D-4D4C-A69B-1C7C906CC959","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":"Q1363476$AA6AE0F9-2D53-461C-9D2E-7EAA33D3D4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4fd1f08969b87f833c028e2c931fbffa4b757","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$45F60F18-73DB-4FAA-B5BC-0192E59D2F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$D1FAAB21-32B8-481A-A430-9613592FB56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b50c0ca1dc18869b0aaeb3200315ad6202bbc58","datavalue":{"value":{"entity-type":"item","numeric-id":1070254,"id":"Q1070254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363476$397E357D-117B-4502-BB89-9F5EFF04148C","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":"958315241a01635ddb19658a2328249f5b0a1a28","datavalue":{"value":{"amount":"+0.9073553085327148","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":"Q1363476$630CEB71-A524-4D0F-9E12-97B5660440E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dd249b14954b14266e3e642a61ff8fa7ce0b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5239568,"id":"Q5239568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c828ad60e665b3792d517c6525276a0f57b5773b","datavalue":{"value":{"amount":"+0.8490456342697144","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":"Q1363476$98AC9389-ED20-44B4-8B52-52B362CB8AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880c09b77351c4890726727a4fab748a14a66b29","datavalue":{"value":{"entity-type":"item","numeric-id":5109607,"id":"Q5109607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1327cb71031ca4ded4250f471c8d7cc195059bfa","datavalue":{"value":{"amount":"+0.799241840839386","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":"Q1363476$C8FA88B4-FD40-4589-9C84-8203C6F92D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590a795e9254a55523e127c4d086dae64d1945b6","datavalue":{"value":{"entity-type":"item","numeric-id":2304501,"id":"Q2304501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb391d07fd2b03d6720c1a9655c7af102d2752a8","datavalue":{"value":{"amount":"+0.7971392869949341","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":"Q1363476$CB0AD9E0-4E54-4F57-B499-3CF9FCFD09BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b120f762f489094703c9b9e313fe34d174b0d05","datavalue":{"value":{"entity-type":"item","numeric-id":5140751,"id":"Q5140751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752dde4e81cf00094df8bf675a7a34b0860cd927","datavalue":{"value":{"amount":"+0.7691038846969604","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":"Q1363476$469130AE-2C74-4FEA-8651-DD5A35149EED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On quasi-identities of relation algebras with Diophantine operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_quasi-identities_of_relation_algebras_with_Diophantine_operations"}}}}}