{"entities":{"Q2931413":{"pageid":2942133,"ns":120,"title":"Item:Q2931413","lastrevid":52144034,"modified":"2026-01-21T00:52:57Z","type":"item","id":"Q2931413","labels":{"en":{"language":"en","value":"Narrow proofs may be spacious, separating space and width in resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373923"}},"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":"Q2931413$6F8BA6BA-171B-4AA3-AB97-9DBA396CC8E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a03b52130a238c0c66d3d425a149483219eaa12","datavalue":{"value":{"text":"Narrow proofs may be spacious","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931413$15841A81-C727-4520-9721-DE101185013A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"668a9f895b8dbbf59570ce557067b05a4e388559","datavalue":{"value":"1301.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931413$8F2622D6-BBF2-413D-9209-49FF372D786D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c471daa71db7fba34fc592b79b7d9d1570a16f1","datavalue":{"value":"10.1145/1132516.1132590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931413$179C3B77-5A24-4531-87E9-1E7786055C0E","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":"Q2931413$AA12BFAA-8351-481B-8B8B-931C7E768429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"54059bc97ea0b59891d0757630d22c65e6728847","datavalue":{"value":{"entity-type":"item","numeric-id":2931363,"id":"Q2931363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931413$A45662B3-A208-48CB-87EF-B73E9D5AB304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931413$11C75663-001B-473A-9030-62C087D1BA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931413$540AFF02-9BFB-4AB3-BE27-3F724D0E0079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931413$AC9354B4-EDD9-47BA-80FA-4D6F8EAD149A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88f2aa46250fd6d2142d756946bbfd6711c944e2","datavalue":{"value":"6373923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931413$7A85FBAF-2616-47EF-801B-8477CC020E25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$6935BF89-EA76-4622-84BA-C22A1B777F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b95970dbbafca6a8b13371dabe0dccec26c445","datavalue":{"value":"pebble game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$A2CA09DD-C659-4CDA-B475-4FC4BC8DBDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11878b88123b85ec5ff91ccc826a8f1c62179e77","datavalue":{"value":"pebbling contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$0FD829F0-C52D-450C-A9D7-3D0443F45044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$469F6F2F-D5B1-414E-887A-0666398390BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$CB9C4FD8-BBE1-47C9-A051-E9FF4C637D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$0391F700-968A-4A2A-9A5D-267FE60B8552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d4fcb262ad8fa91ae2774e46edd2dc791dd3ea","datavalue":{"value":"space of a proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$DDAE9A4E-A5F3-44B0-AF79-3055736D7898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcd15a2360fab44479defd5452b084fef03fc121","datavalue":{"value":"width of a proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931413$CFC2FC3A-8A12-4B8F-9A1D-62B6C8B7F1C5","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":"Q2931413$E432492B-D1D9-4376-8489-743F72D00AD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"801b480ecdfa0c58a7152f974faa3a5a5b026630","datavalue":{"value":"https://doi.org/10.1145/1132516.1132590","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931413$AC28F6BD-6E64-4A89-B80E-65C1FF34804F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de36f6ae54a6e33161b71b84e274d2d8a33308c7","datavalue":{"value":"W1978701879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931413$B6A3C967-56B9-4080-B858-ADA22AEB1057","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd734b70ba3b8adc7ce2965260aff2590aca2075","datavalue":{"value":{"entity-type":"item","numeric-id":5189540,"id":"Q5189540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5d0f33cb2406e8488f16d7ce7bbdd4bff2293e","datavalue":{"value":{"amount":"+0.9962632656097412","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":"Q2931413$22D858CF-B771-4DE2-B981-E9EA000F1BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0399745c723f0a361fcfcf9dce06d6aa8b6d24e7","datavalue":{"value":{"entity-type":"item","numeric-id":4945238,"id":"Q4945238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34eb3cde68a4c9936d4ae057388421116a2d8d07","datavalue":{"value":{"amount":"+0.9290693998336792","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":"Q2931413$1EE55305-408D-40D7-98BD-7288C94DCDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5750a3228104d898b30a426b1f7227709044f445","datavalue":{"value":{"entity-type":"item","numeric-id":5277893,"id":"Q5277893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88533417c5be5367f31e57fb21c8ef2c9d3f71f6","datavalue":{"value":{"amount":"+0.8224654793739319","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":"Q2931413$369EDFA4-AEC1-4B57-B883-AC4BB37A5505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189c6f8102b7e7c486829a3697229e36490d7531","datavalue":{"value":{"entity-type":"item","numeric-id":3191584,"id":"Q3191584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d303922da673c108259345cc01f1e092a45091","datavalue":{"value":{"amount":"+0.819407045841217","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":"Q2931413$7D252F8C-6C02-4877-A954-13F444C3600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ceb042a21e684ca99faa892e11737d2b0e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116f7752f340d652a8652e7de87a96acd7f299b7","datavalue":{"value":{"amount":"+0.8130889534950256","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":"Q2931413$8F3D0DC7-CF87-4C40-9B3A-42CA82C6B882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931413"}}}}}