{"entities":{"Q2848360":{"pageid":2859080,"ns":120,"title":"Item:Q2848360","lastrevid":58020135,"modified":"2026-04-03T11:48:00Z","type":"item","id":"Q2848360","labels":{"en":{"language":"en","value":"Pebble games, proof complexity, and time-space trade-offs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211834"}},"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":"Q2848360$0213321B-0AF8-4BEA-BC40-92B3DC1347A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfc12ee47cffad05cd56d484c1133d7f373d9d80","datavalue":{"value":"1285.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848360$15476DCE-D845-48BC-91F6-5339DF44C7A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"790d11ab524f10fdcde0350dc9fa19fccfc33da1","datavalue":{"value":"10.2168/LMCS-9(3:15)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848360$295D4BC2-5FA1-4270-B632-BD5690D69648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ade4990ab7a79bdd900e48d3fab8c751fcf8949","datavalue":{"value":{"entity-type":"item","numeric-id":989568,"id":"Q989568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848360$237A7825-8BDC-4D69-B8A3-6DC35AFEDBAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848360$5353E611-9D78-4C41-AD58-2BB4275993C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848360$BBAB935D-906B-4CBA-8AC4-94610C6C7EB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bb050d399de0950139c7cb9a90d584e08381b60","datavalue":{"value":"https://arxiv.org/abs/1307.3913","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848360$4A79E4F2-B2E9-4319-81B5-389033C6EFE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848360$CB8D8312-4E85-4F66-AD8C-7B17588EF140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848360$3B62DA6C-FDB4-430E-B650-F237DCEFE2D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc817b116e80950a23e316b4e30af9f62a1d8ed","datavalue":{"value":"6211834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848360$1322AFDF-F9A3-4FED-9940-37F12713CE97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$6E96C561-6135-42B9-BD94-31AD010A86FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$EAC665B9-3249-49B9-93D4-8D701A3048EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5540bfb76b6bc9717acb4166a943271354d22b55","datavalue":{"value":"\\(k\\)-DNF resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$D3D7A861-7462-4E0C-97D9-51F6A1ED5426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$4A17BDB2-C70A-440A-B390-72FDE8F874C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97a2f7b1e26aba7985a63cca47df55e4508bdd8","datavalue":{"value":"PCR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$90676DB8-5797-418D-A83E-D85F272940ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$3BD6C1A7-D38C-46B0-9E12-2F47EF339CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$58B8DD11-39A4-4AC1-BDB8-5FFD11524915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$506739B0-A625-4CCB-AD19-DE5B1CEDEAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca44df0ff8ddc53421c3b1f861f5f40d6ca54f94","datavalue":{"value":"pebbling formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$C2EBC5F9-D792-4BBF-A2D8-79A0A3930430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$043CFBAA-AD35-4199-95F8-603903C43E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$F0593DA3-65A6-4038-924D-D8FD275B82F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1009ce042b040215adb43e7bcff2e776d98ed6","datavalue":{"value":"CDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$ECA10326-DC73-4622-96CE-B5108C3CB1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$BEF893FC-1937-4A2E-A422-E4DD8E12BDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184549fba51ad87148b4352e5fbc245d48ad5011","datavalue":{"value":"size-space trade-offs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$4784239B-4D92-4322-A425-BBC808CEE058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a2dff8ea58584bcab4646e989006b9d9144bd8","datavalue":{"value":"proof space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$4ECBC778-CB0B-4C8C-97BD-5312C59368CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d530443288b6d91131d0a2e0caa5ce4779c88","datavalue":{"value":"proof size","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848360$6465D951-6AC0-4653-9001-6E5A5E9811C7","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":"Q2848360$719EF419-3B44-4567-A825-A267F849808D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d81bddf42cee381808d5689fb848c9f88e52b27","datavalue":{"value":"W3101351575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848360$AA430D65-E71D-4D01-AAA5-6BCAC54A865B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eaf8c95227ccba85318ab56d5975f77c68d38da","datavalue":{"value":{"text":"Pebble games, proof complexity, and time-space trade-offs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848360$AE42CA47-9268-41A7-8BB8-3BD9E12E95B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb467cd5a4cfa833248dd944fc5fa4949416df33","datavalue":{"value":{"entity-type":"item","numeric-id":2946664,"id":"Q2946664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3c3a8bb16235d833aa63751dca72717430f949","datavalue":{"value":{"amount":"+0.8750010132789612","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":"Q2848360$278C3D1D-102F-4F31-8D27-A27D67C7A2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a99b2168dd8c9604fc3f70ef4a7f9e43cf94ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb0ec00e1953a9c0a8f3e1d545f00c401bf9859","datavalue":{"value":{"amount":"+0.8089019656181335","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":"Q2848360$C57A626E-7E16-433C-858D-EF1F84977A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06076593dec066798b2cf502034f398d637bb46","datavalue":{"value":{"entity-type":"item","numeric-id":4638091,"id":"Q4638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885a59399f2755af18c8f44b9909131b00ffcba9","datavalue":{"value":{"amount":"+0.7929480671882629","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":"Q2848360$434862CF-F70F-4821-9E3A-CC56F4ADABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38536ac56318d7139bedb55860afb10d7e10aa36","datavalue":{"value":{"entity-type":"item","numeric-id":5753770,"id":"Q5753770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaee1e09de6ed9d3cb2e67cf9d6a86a30a127312","datavalue":{"value":{"amount":"+0.7713219523429871","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":"Q2848360$EDAB47C8-D593-4DD9-A236-3734EB6C0EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0c6762ed4becc0db8d77028d41650996045021","datavalue":{"value":{"entity-type":"item","numeric-id":5713749,"id":"Q5713749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab23845b4c43f057b3fe19313e346f4f06194ab3","datavalue":{"value":{"amount":"+0.766916036605835","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":"Q2848360$EB1C3AE4-9F74-4B06-8C67-A9C49F370A2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848360"}}}}}