{"entities":{"Q6174423":{"pageid":13309311,"ns":120,"title":"Item:Q6174423","lastrevid":98778686,"modified":"2026-06-05T18:27:57Z","type":"item","id":"Q6174423","labels":{"en":{"language":"en","value":"Implication algebras and implication semigroups of binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728640"}},"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":"Q6174423$C06BED1F-5D32-4AA9-980F-D53199E7ABF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccec5362d3c2b9ed0ef400b88459aea00dfcff61","datavalue":{"value":{"text":"Implication algebras and implication semigroups of binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174423$82CDC430-6B06-4788-9F97-6F8B44D5CECD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf415fd5605d0205255265b2638806e317644cdd","datavalue":{"value":"10.1007/978-3-031-28083-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174423$8C51ECAC-7D78-4C9C-ABA5-92BF5E404FE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a7d531ebc049bb16e020af52c6b04b51a93db8","datavalue":{"value":{"entity-type":"item","numeric-id":6174422,"id":"Q6174422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$D6DD2B86-6CC5-4C01-BA42-AAD754A35A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8ddd2268a17d6a4968ba87d0bfb7d360f5379a5","datavalue":{"value":{"entity-type":"item","numeric-id":829756,"id":"Q829756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$23FC9FFE-BEBD-4876-82BF-AF24C85DC454","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$C308971A-17F4-4AD2-96BF-EEB141CDCF4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174423$B4078DD3-05F9-43AD-AA0F-44F2C16B067F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85f28d7ec69089a0fa86ffa4d0009f565cf833f8","datavalue":{"value":"https://arxiv.org/abs/2301.02266","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174423$BCE0BD45-C456-4A43-BF55-862CE3160FA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174423$403A9CE5-E75A-466A-9B7A-5D4DDFBDD7EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ca1d05dd2515cfb47ad05f2d62bd96e925ce560","datavalue":{"value":"7728640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174423$C054C6C9-620B-4C5D-B9CC-B339B9B32991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3527471e0b09a986c8e6ce57ce11cb323965360","datavalue":{"value":"implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174423$F0A4C4F0-8998-493D-BAD7-03A5A629BB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481e9da9d9f6d152117863cf7ba325d0ee7b393a","datavalue":{"value":"implication semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174423$F85AA691-465E-4009-929F-BB771F3DAAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5623312f8f7e2d23d0014ce7d1872503a4f1e157","datavalue":{"value":"representability as binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174423$F4BB944F-6A9C-437D-BCBB-F9D0414D83AE","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":"Q6174423$BCF3A4B2-4A59-4724-B939-B65BA9733047","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb8848eb25c5dd17a568846dfaba2dccae398e6","datavalue":{"value":"W4323527369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174423$E0D0AB37-44E4-49B1-BF4E-7CFFD6886146","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"609861210647eb2f3be0df3e348b37aea738e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5817463,"id":"Q5817463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$36B967DE-9682-4127-A147-264CB9E75AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842908e6c13ec392e360c75e594280d6b516707c","datavalue":{"value":{"entity-type":"item","numeric-id":776989,"id":"Q776989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$F2BD6C9D-292C-42AE-A3D8-A836D07283FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7a6de9bae925e3b4144fbd7ac0494611a3e08d","datavalue":{"value":{"entity-type":"item","numeric-id":5098717,"id":"Q5098717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$157D7C59-D70B-4C86-B757-C110EBC02E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$F8BC217B-2F51-4D3A-AB1E-A99A71BBD4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040dd253838de6660d8096afc8a1cf6b51b89820","datavalue":{"value":{"entity-type":"item","numeric-id":5015973,"id":"Q5015973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$6A16DBA7-2A7C-46CF-9901-AC8F04203A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bbb2d27cbefb44b21d7a9dd7465ac376818bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4899169,"id":"Q4899169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$B4C68DEC-F845-457B-B87F-B94CD93F63D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3de524609366f1d8b08d344deaf92a9f627bf98","datavalue":{"value":{"entity-type":"item","numeric-id":1312168,"id":"Q1312168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$24582A97-8C34-4543-B4A5-D8A50510C813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c365930f887c5fa6d1b0cae9200de8f814042881","datavalue":{"value":{"entity-type":"item","numeric-id":2520764,"id":"Q2520764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$7516606A-1354-4361-9E75-354186CA1DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174423$70581CB5-3B2A-4791-9635-8DA7FEE699E6","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":"Q6174423$BDBADF8D-52A0-48B0-ACFA-DC4D9F8917F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa4dd8c7ed126a1450ef5f6bd8ba4226a1dea6b","datavalue":{"value":{"entity-type":"item","numeric-id":5438762,"id":"Q5438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c97cae02d76f1c12545d3064a7746655ec9776","datavalue":{"value":{"amount":"+0.93765676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$72F32D3F-DA75-4B72-B63F-A1B676EF7F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7dde02dc61f0d341792109f6291d2a12c175a2","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0f99d6dc4d146940c24c5a3eb4a9550499bff1","datavalue":{"value":{"amount":"+0.9367938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$D46AA06A-F1FE-4924-93B0-BF08CBD16E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edbd30e54b92eaa83f9a022fc09317b8b9d9e61","datavalue":{"value":{"entity-type":"item","numeric-id":5283208,"id":"Q5283208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f39dac2a23e135949306a255bd5d84a4c3022b","datavalue":{"value":{"amount":"+0.92313516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$2D728787-1518-4EF0-B0FA-AB350F545EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfcd66f86d1a886c9f03381dddbe2af246ad15d","datavalue":{"value":{"entity-type":"item","numeric-id":3396661,"id":"Q3396661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88889bc70b59d8b94207009a31fc98ba5b5ee67","datavalue":{"value":{"amount":"+0.9226737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$629EE321-D20A-4E55-B548-B345893C20DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483a27e9135864ff34ad7c95357840d2a6c149ce","datavalue":{"value":{"entity-type":"item","numeric-id":4886941,"id":"Q4886941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d41092b7d5e7d3f5329a34b604ecf1ba018219","datavalue":{"value":{"amount":"+0.91613597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$CF222C71-CD5F-4856-B737-92D3DFDEB16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a65ef2831abfc24116a82fe0ad5901066c7c188","datavalue":{"value":{"entity-type":"item","numeric-id":5174130,"id":"Q5174130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc71d059a49564800fd8688d890adcf6a9ff017","datavalue":{"value":{"amount":"+0.90612125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$B5CDE917-18E9-4008-A5CF-A3F1D6DD757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf1ad556adf934bbfa934fd4e41e3b580a8f563","datavalue":{"value":{"entity-type":"item","numeric-id":2791384,"id":"Q2791384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fc924760c26c292c6482c5d428cb83f69eaf5b","datavalue":{"value":{"amount":"+0.905424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$25D39332-689A-4B48-B468-80B6A8044D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed1e40d00621ab3c30bfb01ad6b663f5205566b","datavalue":{"value":{"entity-type":"item","numeric-id":5937445,"id":"Q5937445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea703422c953fe86a6013f339bd0ff2a7e7dd84","datavalue":{"value":{"amount":"+0.9046788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$5F43E29C-0B1D-4E9B-97DE-DFE3C21191DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b684e2b15f0fce8b30df05739eba8096a9079955","datavalue":{"value":{"entity-type":"item","numeric-id":2564842,"id":"Q2564842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb59e53663653c24b7058358a3218d034eb97087","datavalue":{"value":{"amount":"+0.9027721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$4534020B-AAA7-4908-A601-DF21938CD3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b01dccca0ad4dfabf7f50b936ad9bb73fcdd99e","datavalue":{"value":{"entity-type":"item","numeric-id":4848156,"id":"Q4848156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb59e53663653c24b7058358a3218d034eb97087","datavalue":{"value":{"amount":"+0.9027721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174423$FFD36D2F-5479-4153-9B19-2289865AB391","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implication algebras and implication semigroups of binary relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implication_algebras_and_implication_semigroups_of_binary_relations"}}}}}