{"entities":{"Q5458838":{"pageid":7488397,"ns":120,"title":"Item:Q5458838","lastrevid":50342450,"modified":"2026-01-13T20:51:59Z","type":"item","id":"Q5458838","labels":{"en":{"language":"en","value":"The Deduction Theorem for Strong Propositional Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267228"}},"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":"Q5458838$71C17323-FF80-45B3-8504-1BD350F4814D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bfade23f14d3deb89490ba9b057fd159d70995b","datavalue":{"value":{"text":"The Deduction Theorem for Strong Propositional Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458838$E94BC569-A281-447D-B21E-6B5A9470B870","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d87f5ed8cd9e867b3467fc0bcc04029277796ad9","datavalue":{"value":"1135.03347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$287E1224-3115-461A-B618-711AB0D03F2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09bbab89e4b989fc9a0c1ca1ad8545520bdcf6a0","datavalue":{"value":"10.1007/978-3-540-77050-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$31CE5073-AEE8-48E3-9F25-FC13D8646A18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$027EA34B-453A-4025-8B58-23FD83282429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$9E5C6A54-12DD-43A4-8C35-7A5CC0F719F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458838$41803592-4FE3-4E13-BD15-3614BACB2851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$C5E847F3-5709-4682-8FD1-D79F315D0764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$8599CCF0-4ED1-4354-9A0F-EEC78651F3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$91EAE1C1-E4CA-4A44-8E5D-D15C0B1B2F73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b4c06b099822dc3a72b193886c640cc9de26332","datavalue":{"value":"5267228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$524A2B1A-FFB4-4F38-ABA0-E6B2964D4483","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56abc824c8f2c3b8b8045c7f08159d244d416e41","datavalue":{"value":"Q59904010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$293704D8-E254-4B15-8C0D-1E32E09025D0","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":"Q5458838$B9C46438-6593-4E5B-91ED-4618885278F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26e741fe25b0c56ab34abbec52c056fd44701ec7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458838$DB41AC60-3164-4B74-BA5B-F0A9303E7996","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd49d4b447d360b040648bf583bbd42e4785ddd9","datavalue":{"value":"W1649430738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458838$7211BD0A-F82E-44B8-880E-34E02F4E7926","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f39ec82c16fdd210ba2501b3ad6dba243303f56","datavalue":{"value":{"entity-type":"item","numeric-id":3434684,"id":"Q3434684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$02BAFE40-81E4-4B7F-8158-9940DF87AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1b9eeb094380eefc65dfab5eaa83af9315b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":884465,"id":"Q884465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$EC157B1F-4496-48FA-ABE7-B8DBE0A462CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac31866351770d502eb16fd4a50af1f7d429ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3140632,"id":"Q3140632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$C8DA274F-168D-40EF-A80F-53E7141574E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f26cdf3dbb7656aa8d1a8c3c3f68e3d28b0f44","datavalue":{"value":{"entity-type":"item","numeric-id":3138022,"id":"Q3138022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$5DC23FDF-B90F-4E5C-8222-08B608A45207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cb5c2591c3b4779c32d742e1061633a99acbed","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$0F583B1A-480E-49E2-903E-C2EA2E9B861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$75CAD1F8-1340-4141-BE97-DE8C08A21D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$DF0FA9F6-3C9B-4F0E-B137-14937220129F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a760f095688d2bf7862a2ab8001af7aaa0f1a76","datavalue":{"value":{"entity-type":"item","numeric-id":2387199,"id":"Q2387199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$64E6F4E1-713D-49EE-86DE-CB87A443F19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d6d960e351c80be000f302db6efef14ab7325b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$DC5CF343-9F12-4000-879F-BE828967B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef35df92a72ac804c0e31cf57121f38f29d45c4","datavalue":{"value":{"entity-type":"item","numeric-id":868942,"id":"Q868942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$973B0E84-B96C-4726-A8A5-D166A2C776B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa96b7c0ec9bc7a683e7636e258c3fded01e42","datavalue":{"value":{"entity-type":"item","numeric-id":3787917,"id":"Q3787917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$4667771D-832D-4BBB-AC30-33D32DF5C4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2daa63b45c7f3211b3d345ca4b37d012f1fd20a","datavalue":{"value":{"entity-type":"item","numeric-id":1190988,"id":"Q1190988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$A6B45D97-298F-44B8-8F7E-1B9F07F984E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559db777cfd8d3556503f38e6f593a8dea97b362","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$0E12A9A0-0077-456C-886A-13A2466713C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$AF4C907C-3D84-4254-9BBF-B69BA2714A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$CBF99E97-F9D0-4F63-996B-3EF197E7E680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$3C52BD2B-7CD9-4608-AAA2-61BFC220E2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e3cdefc1d006e7d2436d741ee7ac2f9d32d56a","datavalue":{"value":{"entity-type":"item","numeric-id":1853507,"id":"Q1853507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458838$D9F6AC0D-F2ED-499D-93DD-5EC54863F233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e3eb2b1f3d3e32a6086f46007389aaed2193c0","datavalue":{"value":{"entity-type":"item","numeric-id":987382,"id":"Q987382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f23fd52b5087d92b1501ed8ab0534afe62c6fc","datavalue":{"value":{"amount":"+0.9884185194969176","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":"Q5458838$2AF7DD6D-B698-4960-A2A7-1807326963ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a553968c20f72dc4a7c04371e13f048cae8585b3","datavalue":{"value":{"entity-type":"item","numeric-id":3436752,"id":"Q3436752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86de6f991c04411886951c0a0144cb80a01cd821","datavalue":{"value":{"amount":"+0.8126991987228394","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":"Q5458838$EE37C7A0-3C8A-4775-AEA5-EB958440C222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3826ad06e418714f7e857c35ab8ff93ef3e11e84","datavalue":{"value":{"entity-type":"item","numeric-id":5898879,"id":"Q5898879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfcffe6b25ed7482995f3c23bb2a29225f2d41b","datavalue":{"value":{"amount":"+0.7978320121765137","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":"Q5458838$5FCC8060-CE06-440F-A7D3-1D0C3809442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c3009bf6e2654da8d64a16b7c1e819431c2634b","datavalue":{"value":{"entity-type":"item","numeric-id":3636159,"id":"Q3636159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0c698948f54efa252f6771695208e08f2f9314","datavalue":{"value":{"amount":"+0.7891550660133362","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":"Q5458838$D5A44E9E-A01F-456A-9190-ED222F50ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b229f27005b3ddd16863d120c83416fe77a57c","datavalue":{"value":{"entity-type":"item","numeric-id":5492875,"id":"Q5492875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca118b0bea7d8c7aa42117f999d794e5794e9975","datavalue":{"value":{"amount":"+0.7861859202384949","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":"Q5458838$3404B454-E29C-4899-8D9F-E2FAAC14E871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458838"}}}}}