{"entities":{"Q1867635":{"pageid":1878377,"ns":120,"title":"Item:Q1867635","lastrevid":73047018,"modified":"2026-04-14T09:50:24Z","type":"item","id":"Q1867635","labels":{"en":{"language":"en","value":"A classification of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1891645"}},"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":"Q1867635$4EE23992-7CE9-48F7-8AC8-77958E9AB4AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44684e8e5472446b520f48cf7883cd24e07b2fbb","datavalue":{"value":{"text":"A classification of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1867635$5A088BB5-0879-4441-BF6D-0FDEE3CDF8A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c39f9b8c496516a1a8daf9200ee9ad75319e134","datavalue":{"value":"1013.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$59DE3D16-9214-4EE3-ADB8-263D940D6D76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"558ca4bf2785fce2e7874a33da0bbc116fabeb2e","datavalue":{"value":"10.1016/S0165-0114(02)00051-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$E69A34DB-E0AC-4D6C-95EB-4AEFE709BBFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aed3c2084b97670018dcee5b765f20054e6945b","datavalue":{"value":{"entity-type":"item","numeric-id":1867634,"id":"Q1867634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$386F9C92-70FD-4FA1-8942-75D00E850879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad82ea677d9252aa5ae95627c4706e056386aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":1203761,"id":"Q1203761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$EFB08E08-9DD0-47A3-968C-09533C8301EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$1542B6F7-9ABA-48BE-B649-24ED8AB31313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f699768a497e541193a45e7175e5f9b1c45f87fa","datavalue":{"value":{"time":"+2003-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1867635$1BA0743C-6B1A-4A2C-8AD8-5E17C45EEFBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b7ed41cbc2efb01ba885f01d3a0946ff4b5866b","datavalue":{"value":"The authors define ``basic forms'', a suitable class of ordered Abelian semigroups, and prove that any BL-chain has a tower of basic forms naturally associated, which, in turn, yields a BL-chain. Using this representation, the authors classify finite and finitely universal BL-chains, from which they deduce, among others, the decidability of the set of BL-tautologies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867635$B498A6F9-3ECA-4F4A-A6A7-0A9C7CA3BEE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30b222a178da618fc62133a4d4f30e820b6a19e6","datavalue":{"value":{"entity-type":"item","numeric-id":287344,"id":"Q287344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$F807630F-1162-4474-97AB-F58A94C52043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$DAD00F2B-FD69-49E8-87C1-1711947E45C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$C241C631-1AA7-40A9-ACC4-CC84D2F9A29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$41BE8B95-0340-4868-B30B-BBD33ABDAFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$DC21FCBF-CA00-42F2-A0D0-F776E8DFB4D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e85a8a2f92942f64025968087fc9468668b1243c","datavalue":{"value":"1891645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$5899FC18-52BD-4E3C-B10B-5A3B0D7BA721","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0310966afb3832da8f787d0952fa77c43dfaa5","datavalue":{"value":"ordered Abelian semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867635$A516FAB4-908B-4AB2-AB49-2A8D71F47EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fe334b2492e23d741ee285e60170c24cfe4bb5","datavalue":{"value":"BL-chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867635$5BE80F35-2945-4CBB-A007-FBE1701AD147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda7313c1efd72a8928da9f6b807d55f0841c460","datavalue":{"value":"tower of basic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867635$42364AF7-96A8-4858-99F7-B9F07DC1320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1867635$DFE6A7A1-8E6D-4896-B7D6-783ECEB5B6B5","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":"Q1867635$C87F316B-88BB-4248-9D42-66E32B4D212F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5689094a642950551c21f7a44b114dc97bea8dc5","datavalue":{"value":{"entity-type":"item","numeric-id":5957903,"id":"Q5957903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$D4897008-7883-48C3-BD62-188C4B53A7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$9F58BFE5-6DB5-4689-B7B6-7A010A9DD90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$008AD35D-975F-4202-86B7-6082B4E57F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$91704C68-A0D8-43DE-AFA7-03E423F9B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$B72A0744-E69C-47D3-995B-CDD0A6EF42C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$0418B2DF-D685-43A1-B334-B462088F75D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc04418faff4043e9fa45ad372a3c5c8cc2262","datavalue":{"value":{"entity-type":"item","numeric-id":3274978,"id":"Q3274978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$59B55D6C-13C9-4778-871E-D347D3E164AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1867635$E6F57527-9C3B-4324-AE8B-49E32EE38769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cc9eefbdeff3384aa17710871a1540e2c6c2ae1","datavalue":{"value":"https://doi.org/10.1016/s0165-0114(02)00051-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1867635$876758BE-AEEC-42E6-BCB8-ACF39D4F058A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eef837823fa1bfe1827ebe246f78a1c4cccc38a9","datavalue":{"value":"W2079653005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1867635$9F432921-52F7-4BDC-8849-20642A85F48E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2f1e7eb885c5c16a216d12b17dce1df4e541ba","datavalue":{"value":{"entity-type":"item","numeric-id":2233195,"id":"Q2233195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda4d233d9e12d0dfd3e536f09adc4bd783c82a5","datavalue":{"value":{"amount":"+0.8105847835540771","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":"Q1867635$2079CC8F-D4FA-405E-87B0-B8E29E485D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41e9c5ca73d4a450bd23936926cddff1b08cb78","datavalue":{"value":{"entity-type":"item","numeric-id":1402070,"id":"Q1402070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a81b0c98451ad66a9abcf63b17977e6e64b99f1","datavalue":{"value":{"amount":"+0.8085634708404541","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":"Q1867635$D0074EC4-CAEC-4877-B8B3-6BF863DB7401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5d11c98a907cfd009c413afc6537ff05774785","datavalue":{"value":{"entity-type":"item","numeric-id":2049269,"id":"Q2049269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a81b0c98451ad66a9abcf63b17977e6e64b99f1","datavalue":{"value":{"amount":"+0.8085634708404541","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":"Q1867635$CA641F06-2D1D-4126-A988-EC5562E6F937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004a73365b9b9c62be000554a0e1bcb8c3259fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1790601,"id":"Q1790601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a67265c8a044cb7ce62af5a8c9baf942adfdf8","datavalue":{"value":{"amount":"+0.7959161996841431","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":"Q1867635$30BFD619-6A85-4DEE-932E-77682BA6693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b396c9e4d141ae4dd329013d81b630cae226d9","datavalue":{"value":{"entity-type":"item","numeric-id":2013839,"id":"Q2013839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a283c8fb1348966535e806dfb913e27827b862","datavalue":{"value":{"amount":"+0.7940793633460999","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":"Q1867635$88E6A4BE-4C97-44D4-AF44-A11BAF7DA8D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A classification of BL-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_classification_of_BL-algebras"}}}}}