{"entities":{"Q2663185":{"pageid":2673928,"ns":120,"title":"Item:Q2663185","lastrevid":53974034,"modified":"2026-01-26T00:39:36Z","type":"item","id":"Q2663185","labels":{"en":{"language":"en","value":"Axioms for signatures with domain and demonic composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7334063"}},"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":"Q2663185$82BD4A4C-D225-44DC-8FE8-A51F5ECFE5A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a5ba068f57ddac6183b2df1ea8c4f77fde949f8","datavalue":{"value":{"text":"Axioms for signatures with domain and demonic composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2663185$3A76F934-9C5A-4F35-9CB2-7451249C69E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9428f23f60ef317cd9ed1032b189403f27496d82","datavalue":{"value":"1476.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$84F7E53D-209E-4C4C-B8B2-5E5C019FE478","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":"Q2663185$D8341D57-692B-49E4-8D03-3CFBC508CC38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4989d6890f3096907ab51d882462cf70e5e0dc6","datavalue":{"value":{"time":"+2021-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2663185$CD2E623E-298F-4279-B010-26073D44444C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b393717e06b125909d2d8bc2ef511f0bd09b7375","datavalue":{"value":"Let \\(X\\) be a non-empty set and \\(\\mathrm{Rel}(X)\\) denote the set of all binary relations on \\(X\\). The authors consider certain so called ``demonic'' variants of standard ``angelic'' relational composition, union, inclusion. Particularly, the demonic composition \\(a*b\\) for \\(a,b \\in \\mathrm{Rel}(X)\\) is the intersection of the original composition of these relations and the relation \\(\\{(x,y)\\in X\\times X\\mid a(x)\\subseteq \\mathrm {dom} (b)\\}\\), where \\(a(x)=\\{y\\mid (x,y)\\in a\\}\\) and \\(\\mathrm {dom} (b) =\\{x\\mid \\exists y (x,y)\\in b\\}\\). ``So \\(a*b\\) is a domain restriction of the ordinary composition of \\(a\\) and \\(b\\)''. Other demonic relations and operations are introduced: demonic refinement \\(\\sqsubseteq\\), demonic join \\(\\sqcup\\), left restrictive multiplication \\(\\circ\\) and so on. Many new classes of relation algebras are obtained on this way. It is shown that many of them have no finite axiomatisation. On the other side for relation algebras with signature \\(\\{\\sqsubseteq ,\\circ , *\\}\\) a finite set of axioms is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663185$707FD8D3-EB1E-4DC4-9483-414E3D234558","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$2B3BBC50-A968-47FA-861D-61831F3DC9AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$1D5AD6D6-0E07-4EC8-BE06-5D32758274AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$3C16D8D4-1E6F-4185-9850-846A2A4AC003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$AA2BE2BC-4FB9-4D9D-BE4F-75752DABA526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$513523E5-ADB9-4BFB-AAC0-BD0E5A0A90E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b15a574f83b7c508069d92af2f9fce60f52b7d1","datavalue":{"value":"7334063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$5C83D26F-3012-4C83-A254-EA1051832D67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d02b378943109911c8a310a92c0fba5567f35f5","datavalue":{"value":"demonic composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663185$45B097F8-CE12-43B5-8B28-600C43A27A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9128760971151ef7bbb47a7cbd7928601c0068","datavalue":{"value":"demonic refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663185$8C31220D-81A7-49B8-81A3-84C6A6EB7983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663185$A36454C1-59DA-44B5-ACF6-A06CA08D74A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea35844f8c2a1b8fedc877bd9a4c03d2cfd01f8","datavalue":{"value":"ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663185$CC19B01E-0B03-4C18-99AB-D3AC28312A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f804525ff24f76243b8c0ef2ea02ebb949c27d6","datavalue":{"value":"left restriction semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663185$BE18E1E2-5857-4B92-B221-3005740CE772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$AB7F1BC4-4B10-42CB-88A1-1CEF9D2CB385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290b302b4bd6785e5f63e4d3d037b3f5d9b208a7","datavalue":{"value":{"entity-type":"item","numeric-id":915469,"id":"Q915469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$5451DB4F-26DB-4AE2-9377-9D45C288AC27","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":"Q2663185$30E9C6BC-A54E-4E4E-A888-D8A2B5BF195C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d6db76a27d52870ab2f142365810d30835e4835","datavalue":{"value":"Q114693086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$D016124E-42C9-471A-83CA-CAC147048459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be5f8804c765be1560ff5eea33a389df4d97fcab","datavalue":{"value":"https://doi.org/10.1007/s00012-021-00719-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2663185$43748AFA-0E26-4A83-A3DF-31CC782FF407","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71cd288dea3267b457cd1a712f52ae38a1781f9d","datavalue":{"value":"W3138845629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$0F18719B-F76F-4EE1-A06B-23779DE181C7","rank":"normal"}],"P223":[{"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":"Q2663185$20902BF5-ECCF-41AD-8162-885B5362EA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5b732c4ffa7b56a3631819adc7a20415738ad4","datavalue":{"value":{"entity-type":"item","numeric-id":4192046,"id":"Q4192046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$47B6B8EA-5F1D-4289-8C72-0594EA98A7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdba0c8bd7054364aea190024c36e67faa420f15","datavalue":{"value":{"entity-type":"item","numeric-id":4175285,"id":"Q4175285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$DCBB6610-2DF7-4913-B60E-791FC25B696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6904c28bf3d00615b7b2d3cd2cc72fe25da97bf","datavalue":{"value":{"entity-type":"item","numeric-id":5459177,"id":"Q5459177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$3F6E41AA-3B31-4258-AEE7-EB99D60DE667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f80352a8c6435ba4d27a0ebeeddae2c0f7f7f1","datavalue":{"value":{"entity-type":"item","numeric-id":817579,"id":"Q817579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$BAE9E524-8EBA-42E5-94E9-CEBCFD678F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$DD49638D-D672-4461-B72E-402F37D5EDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71e0374e90774e61c2331d0abec7262541bf579","datavalue":{"value":{"entity-type":"item","numeric-id":5693111,"id":"Q5693111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$77D43926-2405-406C-9FA1-844634749549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee461a47b62bbe0731282ee65211fbeed1d726b2","datavalue":{"value":{"entity-type":"item","numeric-id":624383,"id":"Q624383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$7A9D5745-E674-4286-811F-B07B1A84CD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2300e28e02da6267023d9cbe1cdfcdd01e67d8","datavalue":{"value":{"entity-type":"item","numeric-id":2446547,"id":"Q2446547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$ADC3427C-68EE-4E54-B312-2F39BE3DF307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb7a9ef59d7cf03cbec732d160393b787389442","datavalue":{"value":{"entity-type":"item","numeric-id":1734512,"id":"Q1734512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$723C2F77-502A-41E1-876E-96A0C282A171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e9d0e0b14c3ede7228b6a5ed498f6d1b7f6d94","datavalue":{"value":{"entity-type":"item","numeric-id":5931529,"id":"Q5931529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$098D42F4-0B05-4945-98A1-5191484EC6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf76559bec7248fda1ac08d39021aaaf8ed6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":360174,"id":"Q360174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$1585AEE4-7911-47D4-8120-8E59801BB9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99085acfcfe2dbf4e1358632075600679a86f836","datavalue":{"value":{"entity-type":"item","numeric-id":4685040,"id":"Q4685040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$A3FA6F95-B4B3-4D16-A2E3-B50A1B61210A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1194e500f6dafc7ee029a6a23a9e3a313c51f3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5524422,"id":"Q5524422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$08B0B56A-6C84-4735-A453-A614193A2B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d0db42d1e7ffe4bd0e047971cf943a92a08f69","datavalue":{"value":{"entity-type":"item","numeric-id":5597568,"id":"Q5597568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$8DCBAC5A-BE9E-4257-90ED-33ACCB37CCD6","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":"Q2663185$D1661417-6F17-4410-9155-5D30BEA33780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bd4ed6b555c8d37c0ce863b42bd69f23acfd07","datavalue":{"value":{"entity-type":"item","numeric-id":4189453,"id":"Q4189453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$C159CC29-C22C-4CCE-9120-BFED46D82733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596de411b49ce1afeb2a9f323b9f3e8e566bb4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5182409,"id":"Q5182409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$8AC6BCFD-DA12-48C8-967E-F98734E84ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242236ffd7a9287315fc9caf715d19c7ce61878f","datavalue":{"value":{"entity-type":"item","numeric-id":3274188,"id":"Q3274188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663185$7FF70CAF-70C8-4F23-960E-B94326E32202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"684bc8e39c0268bef920504d2d808673edb2df3f","datavalue":{"value":"10.1007/S00012-021-00719-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663185$B02F2B16-4A95-4359-82D8-B992A7D97F01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8b6cbbf2365260b44b2d79bc2d3d823ba56056","datavalue":{"value":{"entity-type":"item","numeric-id":5046723,"id":"Q5046723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52ce57dc7f4abd6ee798e26a4166ccda16a070b","datavalue":{"value":{"amount":"+0.8144770264625549","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":"Q2663185$9D05363B-C8BC-4BCB-A2E6-25BDE29F9D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23e5a03db5ea868e7b49d916702e33a86a8c68a","datavalue":{"value":{"entity-type":"item","numeric-id":2227636,"id":"Q2227636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9821b396bbc3bcdb608e63e182c4fbdfce9e8da","datavalue":{"value":{"amount":"+0.7927597165107727","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":"Q2663185$41DB88DB-C829-4600-8F0D-F9DC04865769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f95818ea730491c94b079ef42cf003223ece4c","datavalue":{"value":{"entity-type":"item","numeric-id":4550552,"id":"Q4550552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28469cebe2b3a5841dc683273b39d379e90d8571","datavalue":{"value":{"amount":"+0.7861617207527161","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":"Q2663185$85DDA313-634C-43AE-BD04-4E4BC4721FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140ad41c8e2e0107b08ce74632fa5bfef029ee35","datavalue":{"value":{"entity-type":"item","numeric-id":5459177,"id":"Q5459177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c74eb5d0fdd45fd596a10d85525c883785533a1","datavalue":{"value":{"amount":"+0.7502954602241516","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":"Q2663185$3750AB4C-EF16-4770-AACD-176E84934298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e6b31599b116b92f9a9f8cad684529a7d4579c","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39944f13b4bea1afdbb7b55ddefc9fb6fa875b76","datavalue":{"value":{"amount":"+0.7370140552520752","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":"Q2663185$5568F2C4-F223-48A9-B2B7-51D819FF2495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2663185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2663185"}}}}}