{"entities":{"Q2631644":{"pageid":2642387,"ns":120,"title":"Item:Q2631644","lastrevid":53425316,"modified":"2026-01-24T22:50:42Z","type":"item","id":"Q2631644","labels":{"en":{"language":"en","value":"Proof compression and NP versus PSPACE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055412"}},"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":"Q2631644$F0678C1E-3018-4886-97BF-8F5DC81EB372","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90638d27910be996991433eb7e636c027c6a176b","datavalue":{"value":{"text":"Proof compression and NP versus PSPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631644$B4E8FECD-A9A8-4B59-8BC4-8F5FF6EC792D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"969f0e03acda43c9f23fe7810f134511cbc8840b","datavalue":{"value":"1477.03247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$21C7F0CF-0670-460E-9E83-34DC8D49B4BA","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":"Q2631644$DFEC41EC-6807-4F35-A1BC-CC71DCC7CFFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631644$47DCF5C2-C3B4-40D2-BF97-1FCDD142B455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$93455504-080B-4BAE-BF21-DA0933A2E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$12DA0B9E-C5BA-4FEE-A28F-732DCD8894D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$A0A7464E-98B7-45BC-BD2A-BF9CA94C927E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f46c43f54c0596d1f0e794f41e6309ecb0acd2ee","datavalue":{"value":"7055412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$8D4E6FCD-F570-4923-8A50-25C7910644C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631644$7B35CDC8-4BAF-4395-8F08-B7E7B25E415D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631644$41E259B2-41B9-4282-9490-525601A3C57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa219ea2cff89df5162edb57bd2a31ea73e1a26","datavalue":{"value":"digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631644$2ED9CF82-718B-4938-A197-4091BA45ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8dfee61d9a60ba454ee2675aa1b029fe5f82492","datavalue":{"value":"propositional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631644$DC24410D-7221-412D-B1F9-A26EDA81E40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$50F65D3F-32AA-4AB3-B7EC-2FACB3050A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$A27DF8B3-9C7A-4E30-9E42-4FFDC0634381","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":"Q2631644$B4F5D149-2661-4811-BEA6-CFA1171D69A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d2185d72657322c6eb3e3c2466719ac16c12f9c","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9773-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631644$4E91C5ED-61F4-4D8F-9F30-9E8291B4F162","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfbb3f7d4dca9b04b0474948bc4c09583760f965","datavalue":{"value":"W2776676667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$2AF425C1-1589-42A0-98C5-13E26CD3A346","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$6B758829-8A61-4836-95B7-01A943606E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366a01cca8cfde21d1fc93e79cec304df3fcf35a","datavalue":{"value":{"entity-type":"item","numeric-id":843604,"id":"Q843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$C280067F-832A-4219-ADFC-A6B8859B7A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a77390887334a5a20e6819032c7681db15e2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3081241,"id":"Q3081241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$9B930534-5928-4960-85FD-3E67B0C422AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$CDA1BC6E-AEB1-4211-918A-92C640E888A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be57a700e95d061e6cd4956bb5975f96a5690604","datavalue":{"value":{"entity-type":"item","numeric-id":4994969,"id":"Q4994969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$7A383B53-539B-4586-9E72-05BFB3F98702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$9915D5A7-E9F2-4268-ABA4-95394D77EC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$ECF7A200-D28F-4F0B-BDA6-C047D39C7199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ccd65311ecd4cc9b53683b671660cb6ffeb8db","datavalue":{"value":{"entity-type":"item","numeric-id":1411664,"id":"Q1411664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631644$1A1C32B8-25B1-4C0F-B228-AA152358B47E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6698dfd27252f9a00d0f8f761170e3646096e60","datavalue":{"value":"10.1007/S11225-017-9773-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631644$33C6F666-0CEF-4610-A305-60C383AFC16F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8006c5a161a0741eb573aaf650fd1d8f168640c2","datavalue":{"value":{"entity-type":"item","numeric-id":5147748,"id":"Q5147748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453805f72ddd617c7c7b5b2dbe0d5df082403768","datavalue":{"value":{"amount":"+0.9302635788917542","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":"Q2631644$309B583A-5583-4D1C-BF60-AE603B7F7C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ceb7e46e48a3c180bb24510622e75536ca9f3a","datavalue":{"value":{"entity-type":"item","numeric-id":3081241,"id":"Q3081241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dcb0248f3caae4d51a62af2b888732bf89d0ab","datavalue":{"value":{"amount":"+0.7733553647994995","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":"Q2631644$2E736DB7-087E-4517-A0E4-43751E0B9BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5fb60d72e16ad991c6665a764621288819fa42","datavalue":{"value":{"entity-type":"item","numeric-id":843604,"id":"Q843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a87a18db424f934a2e1cbde391025ed244a544","datavalue":{"value":{"amount":"+0.7585715055465698","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":"Q2631644$D2710FBC-2E74-4A14-8C59-54B08AFCCBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b889c55c1ed1ca5754abf1531db4531062599","datavalue":{"value":{"entity-type":"item","numeric-id":2520659,"id":"Q2520659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6af1e965c047d31b0f38c444c82a5b0fe995c6","datavalue":{"value":{"amount":"+0.7535622715950012","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":"Q2631644$41C4F1A3-D313-42A4-A2D2-1BD4033DBE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2877963848044aafe30ac36ae6e1ad563d9d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5039194,"id":"Q5039194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b5251012eecfdb66b02b9a7d24faa1e534a1a6","datavalue":{"value":{"amount":"+0.7488422393798828","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":"Q2631644$06823592-23DE-4776-88A1-78A5AB821DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631644"}}}}}