{"entities":{"Q1935560":{"pageid":1946302,"ns":120,"title":"Item:Q1935560","lastrevid":71179119,"modified":"2026-04-13T20:04:08Z","type":"item","id":"Q1935560","labels":{"en":{"language":"en","value":"Equality algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136998"}},"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":"Q1935560$9657B760-0D46-42F0-ADBA-43B5B71E614A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b79e31d81ec55b3d8e8c568fd49212fa9fbb7fc","datavalue":{"value":{"text":"Equality algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935560$128F0305-5DA0-4725-AEA7-DEC74C2C46CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b82f6d260a94416cbb4ae36c2d73381662e0a730","datavalue":{"value":"1270.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$82D7B9BF-7F3F-4FBB-A868-E908AD3B61C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d815c5366d332142d135a121f53c308836993c","datavalue":{"value":{"entity-type":"item","numeric-id":365670,"id":"Q365670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$572EBFDC-97CB-4CA8-AA89-72F340D10E1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$67F5120D-1A4E-4E40-B11E-4B631C9F9C29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935560$DA7DDB7B-AB2C-467B-A6CA-65CBB21CA519","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a093aee8875764b7c26272a46449b9e0d42b07a6","datavalue":{"value":"The author introduces equality algebras. They have two connectives, a meet operation and an equivalence, and a constant. He shows that equivalential equality algebras are term-equivalent with BCK-algebras with meet. As a by-product, he obtains a quite general result, which is analogous to a result of Kabzi\u0144ski and Wro\u0144ski.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$930D9CE3-7FDA-41C1-996C-AD841A7EFAEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$73783054-3351-4F92-A12B-89D9DE3199F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$5C0CF441-FA55-4649-AF63-EEB367C1ABFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$16141050-A95B-4F23-8007-C546A68BB220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cd4a100358d23a0126e6885e49a7cc0ec395d2a","datavalue":{"value":"6136998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$B7CBCBB6-C784-4CAB-8306-F729A2DACCDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f9364296a15abe9a64cd163e72fa7dea2f380e","datavalue":{"value":"BCK-algebra with meet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$6FD79B6C-F1FF-426E-ACD7-27F9EEC1AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa6e56abd0bf395f077093d0e24d349ee605f70","datavalue":{"value":"equivalential fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$955008D3-3990-47FD-A869-C6CB59D3C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$A266130C-7F58-4405-947F-8A5947E87E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"943d8cdfd45d0f8b0806e19f2a6c5a924f52423a","datavalue":{"value":"equivalential algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$F36A0935-2C61-4139-A6F9-708F1BD3E753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$25D702A9-0943-44DE-8F91-4074ADD3BB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d4cf77fafddcc10bbf8b72be0df91c49486539","datavalue":{"value":"term equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$8BE4691C-5FEB-4748-9E80-B4B15A036FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1084fca896eaf4dea5198a1c49ceabd4c7641dff","datavalue":{"value":"equational characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935560$71F4692A-FD33-4625-8847-248B0D2C7502","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130c57655740c2168382aba317ecd01271321d07","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$EE104658-9D0A-4233-BEC8-6AB933C53C02","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":"Q1935560$D930DC84-CF5C-43C8-B439-97197DF4F25D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35fee3314771068baac8b122e05e8b7543246b95","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9457-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935560$2BDA1029-2358-4FFA-B6D8-08E3B38B948F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae69c42622385428746d8685593473403519ca66","datavalue":{"value":"W2911370693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$195094D5-AFD9-4106-890F-9B7EF7722418","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f8d47bf1a22a51f1534226ba974e486ce9ea18","datavalue":{"value":{"entity-type":"item","numeric-id":1935560,"id":"Q1935560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$27B5D1F8-AFAC-44F6-8D04-7CD65A98E5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$40E818BC-F808-4794-8257-B5B9C63D03CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$A5588E97-1020-45A0-A349-DF41E9ACCF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364127aaa8aa7a37a24d8a892ef4dcd4cc99b788","datavalue":{"value":{"entity-type":"item","numeric-id":1043290,"id":"Q1043290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935560$E74FD893-3907-46B7-879B-C79302011B9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e437fabc1e92b816fe25331fc075955a4a73511e","datavalue":{"value":"10.1007/S11225-012-9457-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935560$AC2C6A2B-9B23-4E77-8B2C-E0BE1B90493F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e217028419e2ac9611cca043fa3b82a8063194e1","datavalue":{"value":{"entity-type":"item","numeric-id":4902371,"id":"Q4902371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0b94c7d7be22ee087b5f6f1b22a8134738aab6","datavalue":{"value":{"amount":"+0.8667027950286865","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":"Q1935560$73A47FC2-390A-4A28-B256-DF8F6FFAD493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3777cefa648d595fc813e17f907206a6d20a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":365672,"id":"Q365672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cb4419ee466063ac3d7af60b5b7dfb09ce2c47","datavalue":{"value":{"amount":"+0.8302200436592102","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":"Q1935560$1351E56B-5A35-4C8C-AC93-97FCB83194F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d39b10624905245f8eacc54a453cb8402dfd1a","datavalue":{"value":{"entity-type":"item","numeric-id":2292942,"id":"Q2292942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b66713899741395ef9c1bae1124417cd9290b85","datavalue":{"value":{"amount":"+0.8250243663787842","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":"Q1935560$088789B2-6B32-498A-8CF9-539E003F443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600ef8fe6dded021e8b0705ed43f92223a681db2","datavalue":{"value":{"entity-type":"item","numeric-id":4374798,"id":"Q4374798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07985a56430fc94c00bbd28021d5d2dc0c005f7","datavalue":{"value":{"amount":"+0.8237665891647339","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":"Q1935560$6A7A6F1E-A6AA-49C7-BDF7-10C5687E339E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca618ccaf1f786b04840b1e4aba2c90c317c5c6","datavalue":{"value":{"entity-type":"item","numeric-id":403404,"id":"Q403404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b351940b726a14b60f3be920edd84bcf4c8c28ad","datavalue":{"value":{"amount":"+0.8222668170928955","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":"Q1935560$B52DCB00-9259-4FD7-8A0B-58ED0BE3D3EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equality algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equality_algebras"}}}}}