{"entities":{"Q2316780":{"pageid":2327523,"ns":120,"title":"Item:Q2316780","lastrevid":78970004,"modified":"2026-05-06T12:51:10Z","type":"item","id":"Q2316780","labels":{"en":{"language":"en","value":"On extended implication groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7089379"}},"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":"Q2316780$15FC1019-E222-42BC-A1B9-C3DB0BD594EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"053429a97efef105f827ff9efea6eaa7129f432e","datavalue":{"value":{"text":"On extended implication groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2316780$DABD77A6-B871-40CB-9F78-CAD965881DB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"487a001086ffb79eadc46d5809f552703b5355e1","datavalue":{"value":"1436.03300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$E8FE7DF0-CB41-415D-A7B7-AD68157698F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b93862053d84ccaa8274779deea1e3ee6b4bc7","datavalue":{"value":{"entity-type":"item","numeric-id":354938,"id":"Q354938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316780$275D0121-17F2-44D2-BD88-086C5AD755B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4dd5076f1cb00504e91b0e42064ee51896a038fb","datavalue":{"value":{"entity-type":"item","numeric-id":176945,"id":"Q176945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316780$BC62AD07-748C-45BF-8213-3192E8015534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b89a172af9b96e2227fb38a4341faca4f16d6baf","datavalue":{"value":{"time":"+2019-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":"Q2316780$823EE433-82AB-404C-924C-42FF34A4D944","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70ac74032eb683cd845eeac332ffc6bf5914424a","datavalue":{"value":"An \\textit{ei-groupoid} is a binary groupoid $(X,\\cdot)$ with a fixed subset $A$ of $X$ such that $xy\\in A$ and $Ax=\\{x\\}$ for all $x,y\\in X$. The construction of implication algebra from ei-groupoid is presented and it is proved  that in distributive ei-groupoids filters coincide with ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316780$6A7891B0-EF44-4759-9DA7-FD7A4773F709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$BB3BC74A-BB73-490B-ACC4-7B74276F4744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$5966DAA1-F509-4CD8-B0D4-76033D884384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$F199CC6A-820B-4035-972F-33BE09056FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$CDAEA50E-FD9C-4938-BD16-9E0C508DDAAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"816a9cdfb451bf23ffd63fc2c63abb0208ac2db0","datavalue":{"value":"7089379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$8A6CFFAB-F62C-40E0-849B-6DA7177B393D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135e65d1451e016d343e755df305b1b6fe6db32d","datavalue":{"value":"(distributive) implication groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316780$27AC90F8-55E8-4D4E-8732-83FDD70D363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8463b1fb79dcad3970620fbb0791b3bbc8ca1374","datavalue":{"value":"ei-groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316780$1399FCF8-30B5-42D9-BCBF-B55E0C0FA23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316780$FDBFD1B8-4ADE-49EB-9D9C-E30E53C87C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316780$BF17335C-10C6-4A13-BFAF-166FFF456078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2316780$5D242A34-4675-4E10-9BC6-5DBB5F6913BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0900d4695d5246fc582c8224af534b30f303eb21","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316780$B9957521-C14E-4FB5-859A-FD51A6F4584D","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":"Q2316780$3FF78582-6D0B-41AE-81B9-621E0AFCF99E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd393a13f62c7cd7abbe5f383979b7135b86b73a","datavalue":{"value":"https://doi.org/10.1007/s40590-018-0194-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2316780$1DE89F93-B788-41B9-923D-93A600747178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7de05972a03608bca2dcb0455f90d29b5ca1a9c8","datavalue":{"value":"W2793738312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$29B98FC7-F764-46C5-AB04-C25045543A1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316780$8A171B43-0314-4B0F-ABE4-BFADC7B02EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd31a42cc709ff3c0b7642248077b73e14c0be8","datavalue":{"value":{"entity-type":"item","numeric-id":4430927,"id":"Q4430927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316780$9A9BEDCF-834D-4E49-BE79-648AAE04B4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12d28ccd3e4ab507345c265c985b62af1f59a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2464687,"id":"Q2464687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2316780$C571B55A-26A1-4AEB-8E96-DA6907A085E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"887cde32b18188c8a5d5a3c8e3b0e3fbb1e44be4","datavalue":{"value":"10.1007/S40590-018-0194-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2316780$A4677DE8-5AE5-47C4-86B6-1B3929C37F32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6e7d79890ef0d0342fc1b86a7f4cdbe78a7d16","datavalue":{"value":{"entity-type":"item","numeric-id":2100477,"id":"Q2100477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1edd307b2104d7a12e83ba62430c90f373fb0cee","datavalue":{"value":{"amount":"+0.858384907245636","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":"Q2316780$707CEED7-C6DE-4B5D-A800-96C6E6171C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97da18f8928435a247b9707c448d69260a608f2","datavalue":{"value":{"entity-type":"item","numeric-id":2464687,"id":"Q2464687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0415f692792ead38b8628b763140d7140c4c18d7","datavalue":{"value":{"amount":"+0.8364854454994202","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":"Q2316780$935F7EB5-E3E2-4A1E-9001-8C8CE45D71E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48703b356f5c1988cd42282a768db45361a23f12","datavalue":{"value":{"entity-type":"item","numeric-id":5257247,"id":"Q5257247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fae574984c1f7cd5d70c7ce9c362406a8baf4e","datavalue":{"value":{"amount":"+0.819139838218689","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":"Q2316780$B2550378-CA61-4945-9355-19965610BD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e41d0b68efc549289ac86a2ea3448026024094","datavalue":{"value":{"entity-type":"item","numeric-id":454462,"id":"Q454462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33166d2426ea9aa287d6ae51c0e1e928676d04d5","datavalue":{"value":{"amount":"+0.8014764785766602","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":"Q2316780$F9A236D1-8C79-4E92-9557-4BE8AA43213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f8e0eb20dc38d650632deb372a56939ae11a57","datavalue":{"value":{"entity-type":"item","numeric-id":3466505,"id":"Q3466505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca116f0417c62f7b07f1fedfe0aa6f8bc9853f37","datavalue":{"value":{"amount":"+0.8014190793037415","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":"Q2316780$D9E6C35D-419B-414A-9CFA-4378DA39D9CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extended implication groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_extended_implication_groupoids"}}}}}