{"entities":{"Q2372686":{"pageid":2383429,"ns":120,"title":"Item:Q2372686","lastrevid":50139941,"modified":"2026-01-13T06:29:01Z","type":"item","id":"Q2372686","labels":{"en":{"language":"en","value":"A note on monothetic BCI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5176393"}},"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":"Q2372686$F31B114F-5863-4DC1-A440-C7BAD4E8ADCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"326054e93797e808022e6b60553b2300376e58a9","datavalue":{"value":{"text":"A note on monothetic BCI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372686$CD2452AB-CF2A-4D7A-9925-4379FB595A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ff35f5bd1a256dc58697b95805b6f346a9c31c6","datavalue":{"value":"1129.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372686$4DE43ED5-49FD-4969-8904-884EF5E78A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372686$651DAEE5-1314-49EC-9EBC-78E23C97B3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26343b1d29e2ba0e13d11b43c77ed86a2a900b92","datavalue":{"value":{"entity-type":"item","numeric-id":1611253,"id":"Q1611253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372686$9908A8D9-138D-497E-BC7A-234CB60742EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372686$BAF8A47D-0B23-4284-95FC-85F9B45B8954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c844feca35da75671978fc1effde9476fb11ba","datavalue":{"value":{"time":"+2007-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372686$896312A3-F251-480C-90F2-B251BA8CC89A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64cc17371e54ec755913941261729b7c959e506e","datavalue":{"value":"The authors prove a conjecture from [\\textit{L. Humberstone}, Notre Dame J. Formal Logic 47, No. 1, 101--131 (2006; Zbl 1107.03018)] that the extension of the logic BCI by the axiom \\((A \\rightarrow A) \\rightarrow (B \\rightarrow B)\\) is monothetic BCI, i.e., the smallest extension of BCI in which all theorems are provably equivalent. The proof is obtained with the help of the automated theorem prover OTTER.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372686$8FD7F0B3-E1F0-4DD9-8ED7-3D1DEE1D2006","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84f1771ef45d72229350ba93c0c28a701d31bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372686$F6BDFAE4-29BC-43F0-9C4B-A8C6582BFC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372686$F6693BD2-6599-4972-AF3C-6ADFE3AB3D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372686$4D671015-6E90-4512-94C7-4144810BFA7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ee603b95f1ab0d739ea8107d8233bceb3d4a0b","datavalue":{"value":"5176393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372686$439F317B-AD5F-480B-9A48-E50A8867653C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372686$463B6CFC-0693-435A-A024-264F332B78A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5b20ab29f45489d2068c3411d354eb6c6de54c","datavalue":{"value":"BCI logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372686$C8434613-3965-4A0B-B3AD-587EC4CBEA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9b443ee85ab3e44d6739f41cee7537a415b93b","datavalue":{"value":"monothetic BCI logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372686$FBA066B3-048D-4947-BBFE-223B29B0E2B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372686$34874422-B883-4C35-A430-14F255229DAE","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":"Q2372686$419828F9-0F38-4AC4-AF93-21FB55A6E570","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e969c86451d20e598709d2c71d808de97d2ead3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1168352666","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372686$05CFEEAD-89CB-4C0A-BD85-0D6B01AF90B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8320f705fa3bb65fc551a2f3ceb2bba929638aca","datavalue":{"value":"W2028022706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372686$2F49B929-E5B2-4828-8314-C57EFD4DCBCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdb036edf935f83beef876ca973723216f31e98c","datavalue":{"value":"10.1305/NDJFL/1168352666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372686$3E21AA77-2BAC-4F89-B74B-0CB61F2C5A8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd1276548b760bd00997d36f31bd0eb070a09b","datavalue":{"value":{"entity-type":"item","numeric-id":948761,"id":"Q948761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64c304db1f5b5fa6d9bc9c4072c1f2d2e92bd9e","datavalue":{"value":{"amount":"+0.7424172163009644","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":"Q2372686$2D2D2C8B-6AFD-4397-AF50-909E37BDF249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a02bafe836cd0b9491400fe4965a117bf50b68","datavalue":{"value":{"entity-type":"item","numeric-id":4218026,"id":"Q4218026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82fb38b5b7d8d0f603c79a23c9d79025388d7c6","datavalue":{"value":{"amount":"+0.7332738637924194","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":"Q2372686$A300AF45-74DF-4D85-ABB9-8A85A4E81620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268095ff4b5ff9cb74e63212dd3f53058774dc3f","datavalue":{"value":{"entity-type":"item","numeric-id":412072,"id":"Q412072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161e5b75b42b51f78ec209868b85ff42d43f3c21","datavalue":{"value":{"amount":"+0.732565701007843","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":"Q2372686$7A0B95A6-E166-4853-888A-1ED564DC6328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426d7d74a1d08dcf3b359608c7a2a93864e8b686","datavalue":{"value":{"entity-type":"item","numeric-id":5039833,"id":"Q5039833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b85f0935336aa01bf632a3d35dbd813a87b7ae","datavalue":{"value":{"amount":"+0.7193920612335205","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":"Q2372686$154A5FC5-F6F1-4F3E-B677-5A7D35708C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30bb74fd4ebaa4fa96dc676f44839ba6777a957","datavalue":{"value":{"entity-type":"item","numeric-id":2563452,"id":"Q2563452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d18229af87f1135003929f46c0718f1360af61","datavalue":{"value":{"amount":"+0.7165640592575073","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":"Q2372686$321D3A6C-A120-4D28-BACC-5643F0F668EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2372686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2372686"}}}}}