{"entities":{"Q4736759":{"pageid":6766339,"ns":120,"title":"Item:Q4736759","lastrevid":48304810,"modified":"2026-01-04T07:37:32Z","type":"item","id":"Q4736759","labels":{"en":{"language":"en","value":"On weakening the Deduction Theorem and strengthening Modus Ponens"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081821"}},"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":"Q4736759$83E24A5D-5177-4313-A2C5-6B0A740A1AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a9825fbd80c7cfeb4790f9ba6307bd381c07e1c","datavalue":{"value":{"text":"On weakening the Deduction Theorem and strengthening Modus Ponens","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4736759$F2C20036-B066-4749-852E-62E1F6616859","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"458d8d02fe318fece44757d57b5d77d1b1922853","datavalue":{"value":"1053.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$2768F013-04D6-44C3-9753-E5549044B68B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e041094fb1f8ae65e1b67230811819ed7751fb44","datavalue":{"value":{"entity-type":"item","numeric-id":368470,"id":"Q368470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736759$7DB02720-E01F-438B-94EE-355D3E9E26EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc8dcbf968ebff5e32c9bfc9430cbef55065afb","datavalue":{"value":{"entity-type":"item","numeric-id":218967,"id":"Q218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736759$877F5FCA-9AA2-47AA-82A9-64E16FCF5D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"776a0c8e7f7c4883cab71ba458924394adfdcacf","datavalue":{"value":{"entity-type":"item","numeric-id":202283,"id":"Q202283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736759$FDBA695D-AA9E-4AF0-AD05-D4195AE3A4FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736759$2C9279A0-B631-4CBB-A6D1-2E06F2851D4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736759$F844138D-7316-4E3C-B440-675B9B8D292D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$3232492F-67F8-4375-81DF-91D6483D7031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$51AE5CDB-7702-4EE6-A295-559E44DD1A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$9A5F8EE5-19B2-4DF9-B8E2-E97EB0C4D59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$4DC722A8-D198-41C6-B05B-6300D84E8156","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b3f88bf1c6655617a04d53ed5b4eb43451894ac","datavalue":{"value":"2081821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$22208AA0-4656-4B29-B525-B7FDDD0F210A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$D9C36256-D865-4B67-82C8-42DB95D59FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270c9156875bf01298f55835bf27e1ae43e41b81","datavalue":{"value":"quasi-Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$36818C91-2020-409F-A4F4-1DA379ED0554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$3004F81E-2E3F-4E1E-A8F7-B3C9350768AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$56012E6E-B350-47FA-8ED8-6C73F06881EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3591d6d9ed0d3e38f73b7d023c1a6088f341308d","datavalue":{"value":"implicative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$ED4D2FF3-7F16-4A71-9FB5-3150283AD763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$9E0107F7-E1F6-4994-9F98-EE7E9BE4DF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7b80206afc12273f7c1f7687b0bf7c18102c14","datavalue":{"value":"positive implicative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736759$115E8391-4B3A-43FB-9894-D4E3AF22E51C","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":"Q4736759$2B839C97-24CF-442F-9A7B-B76C5A4DDC15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d53ecb3d1a272a0ba7a6fa6596c76c5770d48468","datavalue":{"value":"https://doi.org/10.1002/malq.200410001","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736759$4B8F611C-FD3E-4390-906D-C501612D8330","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03ebc06c160dec68a1f52b56af290b9c96721bf3","datavalue":{"value":"W2131323124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$2349F1C4-764B-4F9B-978C-F5AAFB6ED225","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"694693ab36242d914bdfbc41f2a83c721a98fce3","datavalue":{"value":"10.1002/MALQ.200410001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736759$5DC0DDE1-358E-4774-89DA-878F50E82FF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313467a7a5201eda809be130837f09373781f111","datavalue":{"value":{"amount":"+0.763197660446167","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":"Q4736759$B33998BA-84A0-4310-ABAE-120812DA6E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48de2cf085cdbea8275c2e5f0d92dba6ce4365","datavalue":{"value":{"entity-type":"item","numeric-id":3216636,"id":"Q3216636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194d616efadf3bb21846c04b74036bd2ba8a5b6b","datavalue":{"value":{"amount":"+0.7533159255981445","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":"Q4736759$686EFCC9-1DBD-410F-BC9B-909A126D4F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d1823f6ab9896798edb158b31b35117786196","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da5657bc3c3071bd4f4fc937a04bdf16cc009c3","datavalue":{"value":{"amount":"+0.7505990862846375","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":"Q4736759$407FB113-F463-41F3-9B1F-4C42437AC29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54af863b0d9b51edc5ec3998fadfa30fe38ec962","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da5657bc3c3071bd4f4fc937a04bdf16cc009c3","datavalue":{"value":{"amount":"+0.7505990862846375","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":"Q4736759$A10F4696-FA2F-4C79-AAF2-F63260C55021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc94e61cac3f7eeb5134c0efd68cde0748685985","datavalue":{"value":{"amount":"+0.738511860370636","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":"Q4736759$E288C491-B029-459E-B935-B04B71BADC1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736759"}}}}}