{"entities":{"Q1891709":{"pageid":1902451,"ns":120,"title":"Item:Q1891709","lastrevid":47325565,"modified":"2026-01-01T09:20:10Z","type":"item","id":"Q1891709","labels":{"en":{"language":"en","value":"Subdirect products of totally ordered implicative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 763919"}},"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":"Q1891709$B3E205A3-AAEB-43DF-9201-57E7BA2DC218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d3837014a13f6b1f2d94aca55596cbbd66ffa34","datavalue":{"value":{"text":"Subdirect products of totally ordered implicative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891709$85F14917-F30A-425F-BD57-30BD3B9F0104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4936e26a2dc7ed4a9d35d6f94a7b065cc55947a0","datavalue":{"value":"0828.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891709$999EF1B1-F4FF-44ED-BFBD-FAC2F92B6C0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891709$91E5F2B0-F9D3-4948-ADA6-642544A5185F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3250b5ad09e7c3aa70f4d14d28f21a5487cfeb8a","datavalue":{"value":{"time":"+1995-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891709$85DF4D5A-45DE-423A-B00C-BE4A1F3DD9AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53c1884afe0907bffdb71090f2a661ae15e4faa5","datavalue":{"value":"Basing on a previous paper of the author [ibid. 111, 384-387 (1987; Zbl 0632.06017)], it is proved that for some subclass of implicative algebras, which properly contains the BCK-algebras, subdirect irreducibility is equivalent to join-irreducibility of 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891709$E42DD97A-4795-41F0-B02D-01EDF6FAF17E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891709$F3821028-6F36-41A3-A323-BC0DD3C8CC73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f363135407a2679cb265534a133948f241c6200a","datavalue":{"value":"763919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891709$CEC60995-80A6-4EBB-90AC-C84CE6D3F806","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891709$5A40B319-5F5B-474B-98DA-4269213E95E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c4dcaae58b63b8de2f348f827c03bf1e3970b3","datavalue":{"value":"implicative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891709$99825BFE-A49F-4255-91AA-29F6DC1047B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac83653fc3267e731ae24b5b2c4b80a331c55e","datavalue":{"value":"BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891709$E143F719-BB04-4840-8BD0-147E32578702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3474b2a65f8496a174827d104f48ea891311850b","datavalue":{"value":"subdirect irreducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891709$EBF3BFDE-5217-4565-A33A-68A099A7BE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68051eafd0abdfb56c06d68bed3d8e0a09285ee3","datavalue":{"value":"join-irreducibility of 1","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891709$5C368D17-5A80-4F62-914A-75CB88E071C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8160cd73c52f12b156dfe5f344d0b1a2631efa21","datavalue":{"value":{"entity-type":"item","numeric-id":188194,"id":"Q188194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891709$B34B5E0D-1EBD-4DA0-AEEB-97F219EE67FD","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":"Q1891709$B4494DD1-0806-4CCC-A936-EC22B636BB16","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":"Q1891709$E4BAAD3E-EDDE-46C4-B8F2-EF5193157DA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5681b50b3c7e785537fd05d5a8cdeed5a43e2782","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1061","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891709$4C131268-0F13-4336-AF3A-7A726105C0F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adb8b1566d8179bd225ce0f14a5a87cd6d054451","datavalue":{"value":"W2069499645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891709$7407A6FE-C15F-46EF-AE4D-FDB7FE1A5F93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5449464b18399782f7db4d9d97ae07de2e885e2","datavalue":{"value":"10.1006/JABR.1995.1061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891709$0F0E20D0-65BE-46E0-B243-D36E88A180C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20474caacfeda801584eb387342c8d2cb9288481","datavalue":{"value":{"entity-type":"item","numeric-id":1095168,"id":"Q1095168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fcba3e3d5deb44630e1e5c44e6c18f28b7b38b","datavalue":{"value":{"amount":"+0.8397095203399658","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":"Q1891709$67F23DCA-1752-465C-8EC5-2D613437A0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec87eb8e8773bd616261aaab5ae7b0c87ace386b","datavalue":{"value":{"entity-type":"item","numeric-id":3990740,"id":"Q3990740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc44215154e08a73b512c4c86632e5d9bca78e6e","datavalue":{"value":{"amount":"+0.81585693359375","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":"Q1891709$FE9662AF-B5C0-4529-A5A5-6DF224F66130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1f4a9efc44c0f337dc3c8e9c72d3d628411a14","datavalue":{"value":{"entity-type":"item","numeric-id":3775561,"id":"Q3775561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f21d4f6a0804280c71e5e342340ab8ce5c60a9","datavalue":{"value":{"amount":"+0.7916295528411865","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":"Q1891709$C11B28BB-12FB-4F75-A8E9-98FCC438CB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5cc13bda1659a429d5cd50a2577b08fcff9e09","datavalue":{"value":{"entity-type":"item","numeric-id":1680513,"id":"Q1680513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4816b12c1bc447b8b2dac92b0f896c75e7765b73","datavalue":{"value":{"amount":"+0.7792251110076904","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":"Q1891709$B5E86431-958A-4433-A8C5-43CB923C1954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34408c449e63520a0f19cc1c5b56508dbc69a5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4409658,"id":"Q4409658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972a35d89a537c2283580e807ab2253fca9d245f","datavalue":{"value":{"amount":"+0.7705960273742676","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":"Q1891709$A5C6FAA6-ABD1-4119-8871-176BA18F7F7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1891709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1891709"}}}}}