{"entities":{"Q2867601":{"pageid":2878321,"ns":120,"title":"Item:Q2867601","lastrevid":83592137,"modified":"2026-05-07T09:15:10Z","type":"item","id":"Q2867601","labels":{"en":{"language":"en","value":"BCC-algebras with pseudo-valuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241308"}},"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":"Q2867601$45D6505B-C8BE-480B-B589-1566EFB21D55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e7cec9414fce363cfadb8c9c5ddf1e9e1241816","datavalue":{"value":{"text":"BCC-algebras with pseudo-valuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867601$4C8AB759-8BE9-4723-B24A-D4C75EC61387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8dd5c559641089be8fc5fc88b66189afd118313","datavalue":{"value":"1289.06032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867601$2FD98255-C658-4784-90D3-DB4CBB3E3C7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd721eb25fae0e95afbb66bac9bbe5bf2202545","datavalue":{"value":"10.2298/FIL1202243J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867601$AD53640B-6027-4639-8770-40EB69393387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4edce6889de187fe685062a53cbb17bb02163e","datavalue":{"value":{"entity-type":"item","numeric-id":162483,"id":"Q162483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867601$D31F2CF8-B143-496D-B8C1-5DA979481345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfe20a160b73ef03765579b339fe07aab01e56f","datavalue":{"value":{"entity-type":"item","numeric-id":212118,"id":"Q212118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867601$120ECBA2-8A2B-4092-BADE-CC1EDFBA1615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f7e8a86aadc82089b2df96351c66561ec279c1","datavalue":{"value":{"entity-type":"item","numeric-id":162482,"id":"Q162482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867601$146C9D25-713B-4041-8396-114A851C9F38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50253d742fd430afcee1b72e2737d53494b9a60f","datavalue":{"value":{"entity-type":"item","numeric-id":65873,"id":"Q65873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867601$9172CB64-3E19-47A6-BE2E-163B9108A0CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867601$B87D8D46-28FE-406C-BA92-B392E0A0743B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867601$FCDD8FF0-C700-4AC0-81EF-4112B0A773E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7af18ee4f4b191a6506585772aa9f928fe947e4","datavalue":{"value":"6241308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867601$DD8673EA-A43B-4418-B330-F49A530073E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b335fdcfb7ffc802a7ac7d9925bd78cf6ee2ba7","datavalue":{"value":"weak pseudo-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867601$E8726724-6755-40DF-801B-2D826AFE7497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73ea88159c4338f4c71bd217cdd3a4c9a8d7f61","datavalue":{"value":"pseudo-metric induced by BCK-pseudo-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867601$D78053D4-8380-407C-8A4E-73386C682BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"354d2a0aa9c449c4a6ab80ab50a304e83efeef77","datavalue":{"value":"BCK/BCC-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867601$9493CEB6-6374-4F99-A9FA-AAF4090D758E","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":"Q2867601$4D0CFF9F-A74D-4CCE-954A-542475D8B5FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a4485e19dc8c189d5c28f1bb71480974d281399","datavalue":{"value":"https://doi.org/10.2298/fil1202243j","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867601$B4BA931B-85E2-4D50-9FFA-0E5B81D061EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33aae54da05944a061210413c17f4ad969256f15","datavalue":{"value":"W2146202047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867601$8FB7F7B7-F888-45CC-A40F-3E8375824184","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"963112dc345b238a7ce147b49900b1a60271678d","datavalue":{"value":"A real-valued function \\(\\varphi\\) defined on a BCK-algebra \\(X\\) is a pseudo-valuation if \\(\\varphi(0)=0\\) and \\(\\varphi(x*y)\\geq\\varphi(x)+\\varphi(y)\\) for all \\(x,y\\in X\\). If \\(X\\) is a BCC-algebra, then the second condition is replaced by \\(\\varphi((x*y)*z)\\geq\\varphi(x*z)-\\varphi(y)\\). Connections between pseudo-valuations on BCK-algebras and BCC-algebras (an important generalization of BCK-algebras) are described. Conditions for a real-valued function to be a BCK-pseudo-valuation are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867601$EFEABB60-D62B-4A19-ADBA-2AAE98866900","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":"Q2867601$FF3BDEFF-60B2-4821-98AB-960ECF3533E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9d6eadb81e1ee5574b35bdad39fa71dc1023fa","datavalue":{"value":{"entity-type":"item","numeric-id":3096281,"id":"Q3096281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1388f93cf2ef9b4b457ec2f4910600d598c2c5","datavalue":{"value":{"amount":"+0.8697554469108582","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":"Q2867601$5D43A728-2934-4F3E-8D47-CFB375F7A2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab01d7154d49b342520ca0409f572daa6afaeac","datavalue":{"value":{"entity-type":"item","numeric-id":5087817,"id":"Q5087817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e92845afc0e2643da0f3c71889998a01510c00","datavalue":{"value":{"amount":"+0.854336142539978","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":"Q2867601$B01520DE-C700-4892-903B-98174C499FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c03a881f86caeb562a319bf63de5e98e09b27a","datavalue":{"value":{"entity-type":"item","numeric-id":2792476,"id":"Q2792476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25eded0dc78009fb76bb2bb81f7eb854c949df8d","datavalue":{"value":{"amount":"+0.8489897847175598","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":"Q2867601$C7A3DFC5-83BF-4AF7-8684-DAE52944FE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1af32df0ecf521fed3d194644513921f992b1be","datavalue":{"value":{"entity-type":"item","numeric-id":2932579,"id":"Q2932579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b39b80be9ffbf3d90046ddfcffa212e85924cb","datavalue":{"value":{"amount":"+0.8271074295043945","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":"Q2867601$2E4F68B6-571B-4612-B8F9-F8BD8F6B5585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee76789e16be004ca0b0211c8fe6831963041b4","datavalue":{"value":{"entity-type":"item","numeric-id":3185741,"id":"Q3185741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df170f17b385d4566099d8318251c01c9241bb8","datavalue":{"value":{"amount":"+0.7981885075569153","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":"Q2867601$FC732550-6E19-46F8-99EE-565D5E224FE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BCC-algebras with pseudo-valuations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BCC-algebras_with_pseudo-valuations"}}}}}