{"entities":{"Q802540":{"pageid":804388,"ns":120,"title":"Item:Q802540","lastrevid":64488522,"modified":"2026-04-11T20:13:12Z","type":"item","id":"Q802540","labels":{"en":{"language":"en","value":"A decision procedure for the system E (of entailment). I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891326"}},"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":"Q802540$E0AF9DEC-55D8-4392-861F-675FD93AA3BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c642ec33c960a3a4d00dea839b39d5f1d19e15c8","datavalue":{"value":{"text":"A decision procedure for the system E (of entailment). I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802540$EA1CB2AA-D7C8-4C34-9FEA-46AC209A9A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d88247863e83f264d8cc703758ac64f4e3d1e0f","datavalue":{"value":"0559.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802540$F7754587-A28E-4DEF-81ED-2D8EBD24E815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f080a47e3b12252f21af837cf1332f702f2f5bb4","datavalue":{"value":"10.1007/BF01063835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802540$051B7A2E-EEDF-4761-998D-899B89B869BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c36eaf8ffe1e38a6397a4080166e78d2ffa262f0","datavalue":{"value":{"entity-type":"item","numeric-id":802539,"id":"Q802539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802540$6D36D2A2-224B-4914-B4DD-885F98559AEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802540$72F4BF51-A776-4736-9364-E2E632A29A32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q802540$CAF0F1AA-D77F-495E-A560-1DEF5FF829F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b74dc041c9d470af090ca653b6263e3c94475e7","datavalue":{"value":"The system E is an axiom system together with rules of inference for sentential logic that formalizes a notion of entailment so that it depends on logical content [\\textit{A. R. Anderson}, Z. Math. Logik Grundlagen Math. 6, 201-216 (1960; Zbl 0095.008)]. A recursive procedure is provided for determining for any formula, whether or not it is a theorem of E. The procedure is given for a system \\(E_ d\\) of natural deduction that is equivalent to E. It makes use of restrictions on the applications of rules of inference so that the number of possible applications of rules in searching for a proof will be finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802540$7ADA4CAA-B282-4456-AEDC-E4FCB816FB44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802540$AD2331A9-9955-4CA3-A244-BC12B3F0F9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802540$AADD7DC1-D8D9-4E96-B59E-36FDDF672D1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9c9bd4756941ed40a34a8a66fca219730db2fbc","datavalue":{"value":"3891326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802540$C55F60B8-1715-4182-B668-152D1EFA60A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q802540$BFEE349B-F5FD-41FD-BDCA-2F3ECFDE869C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q802540$FA19BE46-47FE-4F04-98EA-5CB1C195FB96","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":"Q802540$9281A7E8-8F53-4A97-8839-2980404B1DF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed76abb2f7eff69568c9848e5af8c307dca946f","datavalue":{"value":{"entity-type":"item","numeric-id":3293396,"id":"Q3293396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802540$58153690-5B61-4A96-AA4F-7A1425D84F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09d3b8cc622a053b9786f9852243859183e47cb","datavalue":{"value":{"entity-type":"item","numeric-id":3272466,"id":"Q3272466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802540$D8904B4C-BEFC-4905-B189-8477FC264C95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55211ac11c1b280c96628646baa883d0d8bab2fc","datavalue":{"value":{"entity-type":"item","numeric-id":2987737,"id":"Q2987737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c26ef0097f0ac932e8137a81b75f4ef0b9c9bf","datavalue":{"value":{"amount":"+0.81911904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$C062DA4D-AC79-48D3-A380-62BA45F93B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca47915638f4851a10f5c05858aaf57e5cefd5c","datavalue":{"value":{"entity-type":"item","numeric-id":5197385,"id":"Q5197385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9903fb964349e8520dd82c3b979ad7bfe5dc9d","datavalue":{"value":{"amount":"+0.7955923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$E4167786-2077-46E1-84C2-03F1FAE50AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894c755e6f20fa81d85a653249d0fa428d5760d4","datavalue":{"value":{"entity-type":"item","numeric-id":1181478,"id":"Q1181478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d62a712bc20c990b4ce09a57550eb0314af3096","datavalue":{"value":{"amount":"+0.79327095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$91716EE7-9249-4EEC-89DD-50BF8403CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bea61e1c513aaf8d2a262778336c0e655649150","datavalue":{"value":{"amount":"+0.7918569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$68217428-672A-41ED-974C-D8C782A41C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fffc708f8106f755793787b1befacd070dbc3c8","datavalue":{"value":{"entity-type":"item","numeric-id":1182703,"id":"Q1182703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc0478b779cbc36ae7198311aef8da8dbc8da25","datavalue":{"value":{"amount":"+0.7886892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$904086B6-CD52-4719-B39F-4FB5BDF08EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7120cdee5eb8bf7425244a14c5ce507ab8d62ea8","datavalue":{"value":{"entity-type":"item","numeric-id":5937857,"id":"Q5937857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a616d7910ea2726a230a44b65557f7e212245801","datavalue":{"value":{"amount":"+0.7852955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$E24BD52A-4757-45D6-AEB9-75F02C200497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf929e4bc01b4d14ef1bfa78f2868d5d19361bc","datavalue":{"value":{"amount":"+0.78479254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$BA9FED68-87B4-4599-9F7E-900F41336C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fa58d2ca97e0eb245fbc94019da0ce6de22ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3647218,"id":"Q3647218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1815c1dd689bcd68c2bfdf37655ee8421d926f","datavalue":{"value":{"amount":"+0.78087455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$6A70B5A9-27B6-4D99-9FF1-330DB679E4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002fb89eaee8d744a4198fa27177f17ebf0864af","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1288df79ad6d58d462c5b4816adaae51a80be0c0","datavalue":{"value":{"amount":"+0.7807801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$582C2EE3-79A7-4055-8BA6-95AF89D3DB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec64725daf1df265bf057c7e407ffef1e9878c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5302897,"id":"Q5302897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e6a7aba4374c5d9b26b45cf38a1100ff450430","datavalue":{"value":{"amount":"+0.7773775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802540$4F1D4ECD-B8A0-46CA-8E35-A0C9CB6E24A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure for the system E (of entailment). I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decision_procedure_for_the_system_E_(of_entailment)._I"}}}}}