{"entities":{"Q987382":{"pageid":989230,"ns":120,"title":"Item:Q987382","lastrevid":51055874,"modified":"2026-01-16T10:20:18Z","type":"item","id":"Q987382","labels":{"en":{"language":"en","value":"The deduction theorem for strong propositional proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770227"}},"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":"Q987382$6BE53815-93E4-44D9-847E-E598444C2E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a2a38a76b2ad87ebb80d2c3002fda39f6c8b6d0","datavalue":{"value":{"text":"The deduction theorem for strong propositional proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987382$C9D9DE8D-DAF5-402B-A084-2A8C59C6BB76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4077e3c0cf7006496e02f971303fde81b5b005e","datavalue":{"value":"1202.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$5BBE3A1C-32AA-44CA-B4E3-A4009871ECDD","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":"Q987382$FB955BBF-A078-4C33-95FF-6978E8E1B5CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987382$C8F389EB-64D4-40F5-8797-5B06CA6C65EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987382$5AF6DC73-4B93-4D50-96FB-B1F1F5E5D68B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21244ed8047ddfe4e495c9f288ba38fffb13903f","datavalue":{"value":"http://eprints.whiterose.ac.uk/74443/2/deduction_revised.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q987382$69010AB5-D146-4BFD-847A-84B2B6E0821C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$2D2AF5D6-6EB4-44D0-A6D0-DB5C5FFF0431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$AB2676A0-B552-4C72-ABFB-FFE2EAEFBE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$6D0E9936-B14D-4DA6-B8EA-89A2447740F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f9878d1fbd6c7fa38e2a2af87ce17da27a241a0","datavalue":{"value":"5770227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$7476956D-AA32-427D-9148-77226B37F6A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q987382$BC7DB96C-9687-42BD-A13A-DA436071AAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebd7257ec9e1602de680f759a4796bbee725c2","datavalue":{"value":"optimal propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q987382$05E00A61-B7B5-4ED6-AD9D-C5FEBFB3BC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ec60f7bb994a205d3767c8bcd65284f5d99dff","datavalue":{"value":"disjoint {\\textsf{NP}}-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q987382$12B2C455-9E53-410C-A464-51002FABC0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q987382$9277343A-FB67-4133-9384-D8935AB1D2D2","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":"Q987382$1C0DA342-59B0-4623-8155-B78FEF176BDA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"409fb6dd5564aa7ad3e69400498acc3b44cf7bd9","datavalue":{"value":"Q59903234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$C411EA54-0F7A-4E91-BF17-37982BCEEF56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8465d09a7a9f346a517e26f5df0694f987cff9f","datavalue":{"value":"W1993478355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$593E8090-7CE1-4622-94DE-41DE7FF75141","rank":"normal"}],"P223":[{"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":"Q987382$3956BF23-72A9-4290-802A-6DBFCEA65BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06027f4cccf3ff209443cbe52402fbb377883933","datavalue":{"value":{"entity-type":"item","numeric-id":5458838,"id":"Q5458838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987382$904D34F1-B040-490C-81C5-F6F2826D8603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81c528746a574ae7e4adaff4272fbb49b5bdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3502657,"id":"Q3502657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987382$449DF7A1-79AF-4BDE-8D4C-411210EA10D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ec6460cd983c65b027ffcc22d58f349dd92254","datavalue":{"value":{"entity-type":"item","numeric-id":929286,"id":"Q929286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987382$364E5A3C-C825-48EB-8995-D069F64C270C","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":"Q987382$D93BA61A-B74F-4095-8F16-4A830C90BDE1","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":"Q987382$04E312D5-E7FF-48B6-BDCC-EDED32418F3C","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":"Q987382$BA92DADF-4FEB-4048-949D-1461424A5696","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":"Q987382$B62D7DFF-CE95-4D00-846D-6EE61ECA02AB","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":"Q987382$1BAA20D7-891B-43BA-B63F-0A0C646CC3A2","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":"Q987382$190409FA-B984-4FC7-8084-877BDF400481","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":"Q987382$DE9671D0-AA51-4E3B-A792-B840170CCCBF","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":"Q987382$399CDDF9-8D50-4CA4-A840-07A7A3783E78","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":"Q987382$C17BA1CF-E394-45F2-8EF2-FC4D6988358E","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":"Q987382$57C19E8B-9FBB-4013-8685-0C16BE7231D9","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":"Q987382$924C717E-CD06-4875-846B-132465C32128","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":"Q987382$8E5BD663-031A-4A5F-A13F-432CC49BD96D","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":"Q987382$7D5976A2-1FC7-4BBA-83D4-48A9E8004087","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":"Q987382$4D929804-718B-4CA2-9841-47C204C18226","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":"Q987382$EF3C9D93-8500-4D4D-9877-40A569E51C2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd36334e81d89b0c09a4f2e33b90dcd23abf6873","datavalue":{"value":"10.1007/S00224-008-9146-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987382$8DCEFC7A-499E-4F79-8DF7-A5CB6FCFDDF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fada97a85e154fa2b0871cb876a24baf0764f1","datavalue":{"value":{"entity-type":"item","numeric-id":5458838,"id":"Q5458838"},"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":"Q987382$53AC1EE6-754C-4B5E-A0BE-7C846BA6FBF0","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":"829d23bb18ea5ebb16f58e5efdde1aa1a2f51f6d","datavalue":{"value":{"amount":"+0.8185399770736694","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":"Q987382$F5AF51F0-41A1-46ED-BA5B-783540FA2F58","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":"1d63e8a69d02afb449cd6440bb8e2412e4b2a9f4","datavalue":{"value":{"amount":"+0.8018397092819214","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":"Q987382$70C65317-956D-49FE-8E2B-24FD294AFE95","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":"aa8561c18d88e02853644dedd538c128cb57e0e3","datavalue":{"value":{"amount":"+0.797896683216095","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":"Q987382$8ADFBEE2-3868-46B3-ADE1-70B364FD566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d87d376a43d179a5d5dd4d20a2744b5ca26842","datavalue":{"value":{"entity-type":"item","numeric-id":868942,"id":"Q868942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515e4809288e092badddd3364fa08a3dad726f66","datavalue":{"value":{"amount":"+0.7915627360343933","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":"Q987382$552928A5-16B7-4C26-9393-91353B010087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987382"}}}}}