{"entities":{"Q3502657":{"pageid":5532560,"ns":120,"title":"Item:Q3502657","lastrevid":50365412,"modified":"2026-01-13T21:54:42Z","type":"item","id":"Q3502657","labels":{"en":{"language":"en","value":"Logical Closure Properties of Propositional Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279204"}},"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":"Q3502657$4D997578-563B-47DF-84B5-DD68124F3D44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"685ee711fb4806c3b999a78703e1e89304382caf","datavalue":{"value":{"text":"Logical Closure Properties of Propositional Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502657$991BCDFE-74F7-4962-BA5D-E36498CB0936","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc23e6db353abc6eff253ccf2789bcf740d582b","datavalue":{"value":"1139.03316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$76575BCC-3672-4CE8-94DC-D5FD83212AAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f084b0847954c6b1471a986fa02ffe1864201037","datavalue":{"value":"10.1007/978-3-540-79228-4_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$0F72BF7D-22B1-4744-9D7A-30C35C2EC6C7","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":"Q3502657$07CC3E2C-2E19-4EB8-960B-58DA6629BFAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$EFBCD945-30AA-4145-AAA5-4301E044AC15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502657$B87AA537-447C-48B2-9E9B-8A6E0F5C46BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$8AFA206B-301B-4153-B9B9-B3EF9E4EA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$22053A24-BAE8-4111-A355-C1C69E9118CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388ebb938b225db8a502a110023ac17241ec6024","datavalue":{"value":"5279204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$4FD8292E-1008-4A90-A0AB-EFD0547DA348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0bce2786f3aa95bdd715638aec0581e4cfae1c3","datavalue":{"value":"extended Frege proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502657$8ED25F9F-738D-4DB7-9B2B-8C858B0FB239","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9636f734ecc3c25117c11e6956b4a9fd14cbffe1","datavalue":{"value":"Q59903870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$FFAF9321-7CC8-4D8A-8E3D-B8F85299163C","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":"Q3502657$9B624222-42C3-4CB6-B0C2-84A0351F67F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbf6fcbed1f9516dd2a5af4d6fe63960c86f0137","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79228-4_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502657$119BBDA7-C7C3-446E-B09F-FADE64F3BDAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"405309dff1878cf669bb9137feccd2a2a8f795d9","datavalue":{"value":"W1566692464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502657$10FC98F2-2AF3-4CCC-8B73-6A3CE2418F5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9074ee3d5efbd83e8d8f04ba3e757924dfd642e1","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$CBAD9F77-A5B4-4FB4-8CD3-76C5A672EA00","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":"Q3502657$70A8B16B-B7E3-4E9C-9411-F8ACA2D47699","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":"Q3502657$2149157F-B969-462B-8EAE-D1E42B7B5CFB","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":"Q3502657$F6332E65-6330-4DFC-B7D8-2D94DBBD46AD","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":"Q3502657$A6137969-6BBA-4C60-89A9-367172902CA3","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":"Q3502657$FC9A9B12-98D4-4B42-9DB1-CC7A3CAD9F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$465515C6-D638-4BDA-85FB-EF9C382AFF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$D68FB037-30B9-4A82-ADB4-B4FE440BD2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$29789B08-153C-452F-9299-DD2B3BF932EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$2311C1A0-7516-428C-9B4D-A9F769422A9B","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":"Q3502657$C5FA97A1-C64A-42F8-BEF3-E73EFF66BCED","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":"Q3502657$6C932497-3B83-4F4B-B3CE-12D88130E7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$7F2782E6-2815-4790-8758-FD9F70091F1C","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":"Q3502657$9CCD84C9-7F82-4602-838B-F4BEDC879633","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":"Q3502657$BE3657C8-B748-45C8-AE35-A050F55D32CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$0B6079A6-011D-4D76-8E09-588D56F3D718","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":"Q3502657$48E71251-B7AA-443F-8707-8443C5A6866A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$32E380A7-8FE2-47E7-89EA-F0E7BBF0C989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$73435684-7CBD-4969-88BD-21E00AEB72F2","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":"Q3502657$71C403E6-BA04-4451-A1B0-2632AA2680BD","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":"Q3502657$868171D5-E038-407E-A4EE-5BDD3047FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c993d4bcf8f4089ef3ba4f0d9407b1b4e30698","datavalue":{"value":{"entity-type":"item","numeric-id":5422270,"id":"Q5422270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$C9BEDD62-DE87-43C5-BC36-A9A43EABADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502657$D8D285F8-4D1B-4E22-B017-935C2B5A894B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094d1340bd1d412900a173cb58d2895fe49ae516","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9aeaeb120b0126a129418fface4ac809481114","datavalue":{"value":{"amount":"+0.7718045115470886","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":"Q3502657$BB46C920-0426-4DAB-AA56-7F486E3977D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e0c0a0e5292af1bf2f98c387656a47b2416d4e","datavalue":{"value":{"amount":"+0.7607030272483826","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":"Q3502657$E74B6E91-81CB-459C-99F2-E6FE3CF6ADA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9503b7cead70060e7000f04eaf54c68b4ace82a","datavalue":{"value":{"amount":"+0.7583534121513367","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":"Q3502657$A48DD203-C26C-4358-A706-24FACBCCD764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a4f70e32516d52953778914dfee81c01b9288e","datavalue":{"value":{"entity-type":"item","numeric-id":3619867,"id":"Q3619867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e6db5179b2fc6f127d2f4cd8abf366c12be109","datavalue":{"value":{"amount":"+0.7556924223899841","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":"Q3502657$3431ABE7-FD25-4630-9EAA-4F33DFE93319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e652befa7c235b176c2003d479759743e719a31b","datavalue":{"value":{"entity-type":"item","numeric-id":3194704,"id":"Q3194704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d4ac961f4f7d25cf4a90e79f5b4c126cb2224f","datavalue":{"value":{"amount":"+0.7494386434555054","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":"Q3502657$B23CFC0A-0CA5-44B4-886E-32F836763357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502657","badges":[]}}}}}