{"entities":{"Q1198410":{"pageid":1209159,"ns":120,"title":"Item:Q1198410","lastrevid":66853311,"modified":"2026-04-12T13:18:03Z","type":"item","id":"Q1198410","labels":{"en":{"language":"en","value":"Correction to: ``Solution to a problem of Ono and Komori''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92836"}},"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":"Q1198410$ADFA2DAD-C6E6-4DA9-8919-2F41C09BBB47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e3dde1967228cebadeb27fe9214c2a69d2b27f0","datavalue":{"value":{"text":"Correction to: ``Solution to a problem of Ono and Komori''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198410$D2D3BB2A-CA43-4EF1-A115-B3ECA4F1B03C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd7beff14e14b020ae8e6c5be4b304d7cad7eeac","datavalue":{"value":"0755.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198410$D5512078-F2AB-4BCE-8C5E-B6CBFB00F4C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198410$624A5629-0389-450B-B1A9-3CDD954B427C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198410$BDB0977F-5DEB-4C5F-942A-A10291ADC52A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198410$3ACCDDD0-514E-486A-8E82-C16D249A1102","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2bfa8febf5f2101729b79586f619af4362cb9e3","datavalue":{"value":"The author corrects an error in his quoted paper [ibid. 18, No. 1, 103- 111 (1989; Zbl 0671.03036)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$26E0B0A5-EB24-4E6B-8382-DF732E6B0926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198410$E98565E6-00CF-4309-9650-B29BF4F12FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198410$54B368FF-DDAB-4554-AF3F-6B4D761E9AB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1cf3ab3dd58b5f91a07d071e6c509dfc3c9e560","datavalue":{"value":"92836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198410$2F6FCF7F-6393-4DCE-B9CB-891DA8A93535","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$846B4BF7-7B6F-4B86-9A36-477570258229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4023a236734655c68f1f37fb4aadf1f34993f4a5","datavalue":{"value":"BCC logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$0192CAA1-C809-4185-B070-52099907C5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72398f9a28f182ef9fd00964c3b0378b770645a","datavalue":{"value":"contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$6890EE82-DAB1-44AC-A644-3AA93D436905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a9f1655a23f7bb198567245ef1b3fe5ba894ec8","datavalue":{"value":"RW","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$5C46C465-2BC9-4929-ABF1-743608ABA1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093bda0fe2ce6b9c31255c3a2d81074b995cb83e","datavalue":{"value":"contraction-free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$1F0755F7-A02D-4FEE-BFBB-FCCA4833D706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99e69567f640b1f327b140fce369b10bed2644b","datavalue":{"value":"distributive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$654E6782-35BD-4514-A621-A92959D2DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$AD7AC22F-77A1-4357-B56B-C7ADC10C0162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198410$EDE2969D-27BF-484A-8393-25EF9B587386","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":"Q1198410$357FD80E-CFDA-43F1-B83D-F594310BE60C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c748c2803a6d118df430975b3ef423365586b7","datavalue":{"value":{"entity-type":"item","numeric-id":5966494,"id":"Q5966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b047322802db8fe8e991155e2422deba80bb423c","datavalue":{"value":{"amount":"+0.88048303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$44D00ED3-1B26-40EA-9575-40F40AA309CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f69098d8da696f46f7e7cd9c7e9e2019afb6e5","datavalue":{"value":{"entity-type":"item","numeric-id":5903941,"id":"Q5903941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ab4863d625f8271b3ecfe2e12827de47876412","datavalue":{"value":{"amount":"+0.8804828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$3085EFF3-4E46-4DA5-AEEC-92D2F1DA0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37db6aa844a50182f12a148c5dff4ad0d2cb8b1","datavalue":{"value":{"entity-type":"item","numeric-id":5404673,"id":"Q5404673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817e0bd99b3ebb7a35ef68ae679f0e2effdcdec6","datavalue":{"value":{"amount":"+0.86820245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$23ACDCE6-D9FC-4E1F-8CED-4A1F0A7F0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d25df0484f0476c7aa6174d26bc50a14e5b7ec","datavalue":{"value":{"entity-type":"item","numeric-id":1185137,"id":"Q1185137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befc2deef5e0c7a8506e114a6f885e7bc0d2fe6b","datavalue":{"value":{"amount":"+0.8680921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$518F007A-4E21-4802-9329-CC6F10917272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0238795d65e24ab14adac5590dc19c6dff0bfef7","datavalue":{"value":{"entity-type":"item","numeric-id":2665619,"id":"Q2665619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab6046a13cfc17eb4dd5e691224baed359929be","datavalue":{"value":{"amount":"+0.85786223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$F0AAFD30-3680-4F19-BA95-3D2C6C875980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2450d65a241015e318addef460a36f56e473e7d","datavalue":{"value":{"entity-type":"item","numeric-id":472295,"id":"Q472295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c151dd923470335ce97552aa6a12625a745760f0","datavalue":{"value":{"amount":"+0.85390455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$9EBDFCF8-4975-4CC0-A726-1F2AEAC40E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f544e762e7c23bc726a880ff9908dd5571483d","datavalue":{"value":{"entity-type":"item","numeric-id":1122625,"id":"Q1122625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a550d4758cf383141d021a8aed14b48eb20f61","datavalue":{"value":{"amount":"+0.8490007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$DD390516-F79C-415D-B454-180B1525BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88a9104366e31b83f97960e430a917c32774ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2528781,"id":"Q2528781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8f66049e6f8161659d70edbe287395250d6243","datavalue":{"value":{"amount":"+0.8471357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$E47A8D06-D7E2-41D1-88C5-B6EF436D753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc59f99f781896adf61472cea7e975aabb9d1511","datavalue":{"value":{"entity-type":"item","numeric-id":2368532,"id":"Q2368532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bb35b7af2d3534db5f171710b636b7be0c0835","datavalue":{"value":{"amount":"+0.8427055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1198410$F3DA69B0-0293-4E81-83E4-EE5EA9316866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correction to: ``Solution to a problem of Ono and Komori''","badges":[]}}}}}