{"entities":{"Q5147748":{"pageid":7177319,"ns":120,"title":"Item:Q5147748","lastrevid":100617140,"modified":"2026-06-05T22:35:29Z","type":"item","id":"Q5147748","labels":{"en":{"language":"en","value":"Proof compression and NP versus PSPACE. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7302940"}},"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":"Q5147748$56C31630-2D56-40A5-8C5A-EDB3F5B0C986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94db89569993cb22f9001eb32333cba012918f16","datavalue":{"value":{"text":"Proof Compression and NP Versus PSPACE II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5147748$EAB731CC-255C-4507-A416-9F8D0D6CB43D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94113607b734c20f14c31da05d0ce0758dba9327","datavalue":{"value":"1477.03246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$0CD31F12-4406-4967-85D7-7359BD4E1B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83af3aad525cb58d6958ac31024421a65946cd11","datavalue":{"value":"10.18778/0138-0680.2020.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$E05825C0-413C-4571-9BD3-C1746A0BEF3D","rank":"normal"}],"P16":[{"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":"Q5147748$40A6AA5E-5F63-4CF7-ABC4-4450791A964A","rank":"normal"},{"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":"Q5147748$F1F620C8-83D0-49E2-9192-9AE5C508637D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$BBA7B9C7-9AC8-4590-AF46-47C36B0A1D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c5ccdc123d434cdc939d7175ce70845983b416e","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5147748$21E24152-ECF4-47D7-A265-0839BF012B24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$9CA79D32-A24C-4773-A893-BF6A2572E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$EB96DC85-13D3-4E4E-AAFA-31F4B46EE576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$EA275E92-4BB5-416F-AFA6-FED35CF652A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"762818a47db20b2a6b2a3c2d3f04db6967f14feb","datavalue":{"value":"7302940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$5770E1BB-4B51-489C-93E7-52FBCF2EB8F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147748$66C0B292-6328-4188-BE82-F4F62B006179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147748$573AE137-9827-41CF-B829-38BE21BB3421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147748$E746A7A7-C461-4B01-9A08-7ABDCC8C5824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147748$17BC4FEA-00C7-4F1E-897D-93CA622CB2E5","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":"Q5147748$2AF2B8A6-EA66-4726-A6C7-226023180404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b5f2df6ea807ecc2f99685ae256b9d8b3e58436","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2020.16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5147748$97EAF9E1-2A08-430A-B1FC-56C2100C684E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc4dd55e806b05426bf604c993e14bc483a674a4","datavalue":{"value":"W3048669164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147748$75905774-58F0-4B95-9454-E804B6DA12ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$24B8BF6C-EED1-4AAF-9D38-16C915A9AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7dda44e27bb2c891d88b8d2999f936e236177b4","datavalue":{"value":{"entity-type":"item","numeric-id":2631644,"id":"Q2631644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$924BFCC4-6169-47F6-9C3F-67E6DB4A9E83","rank":"normal"},{"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":"Q5147748$3D7A503A-DD21-4ACB-9807-CF4527B1745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8806961d868ec09e1c3c97674adb1294ce137692","datavalue":{"value":{"entity-type":"item","numeric-id":2793912,"id":"Q2793912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$9EDD0A4C-9079-440B-AF3D-D633D424602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$3409A884-E0EA-4B0F-A6FD-8B9A573D5B1A","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":"Q5147748$0D5E423D-1EDB-4D14-B11B-63305BF3B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17d219d6d29e150fd29432a905dce63c6017de1","datavalue":{"value":{"entity-type":"item","numeric-id":5581592,"id":"Q5581592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$C2E2164F-931A-48C0-9E92-F8B80B4C105F","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":"Q5147748$73F4849A-D46B-4E65-8B03-CFFDD4003768","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":"Q5147748$24BF2E92-D0F7-4A12-9712-099F80D78B0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e01a1a87e9e21661fc2d247dde7f3d538b8883f","datavalue":{"value":{"entity-type":"item","numeric-id":2631644,"id":"Q2631644"},"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":"Q5147748$8CF54C8A-65D4-4835-B2CB-AD717ABB89A0","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":"6d99fcad5108a878747231115110856755d2d47f","datavalue":{"value":{"amount":"+0.7584822773933411","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":"Q5147748$C353A3AE-4DBF-4382-8F90-940EE9D9530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c121d04fdc5d4ebf93ca26748ad286e2bcf89e29","datavalue":{"value":{"amount":"+0.7576585412025452","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":"Q5147748$0B89E967-B541-486C-9521-89A73987504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c121d04fdc5d4ebf93ca26748ad286e2bcf89e29","datavalue":{"value":{"amount":"+0.7576585412025452","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":"Q5147748$07263B43-CACF-4AB2-BEF2-FF45024DCE31","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":"6d29bc7b76583bb0ae9510f673b9801b138c9e76","datavalue":{"value":{"amount":"+0.7459660172462463","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":"Q5147748$06F37C20-8B86-4D35-B1A6-59CB4B9CF144","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147748$14728378-EDA0-4246-8D44-9E5A9FBEA43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof compression and NP versus PSPACE. II","badges":[]}}}}}