{"entities":{"Q5189540":{"pageid":7219112,"ns":120,"title":"Item:Q5189540","lastrevid":50932061,"modified":"2026-01-15T19:42:21Z","type":"item","id":"Q5189540","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 5682427"}},"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":"Q5189540$BC7938D1-72ED-4D37-9171-93662D2CDA8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1b9c0fa6b4a02b8da7df025ef786a49f489cac2","datavalue":{"value":{"text":"Narrow Proofs May Be Spacious:Separating Space and Width in Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5189540$31FDE2FF-DFF0-4265-9A62-16AC1E7F7981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4baf6886005c4d6ca3133c9ee710ce8b8b3abd2","datavalue":{"value":"1192.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$B10DAA6D-0B51-4BF1-83C7-DA5BC85B1FCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f97df4990204495a2196e22e4657712413605443","datavalue":{"value":"10.1137/060668250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$E7141CF1-B40E-4C44-ACBD-940A617F640E","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":"Q5189540$BFD373D5-EE93-4686-B66C-FCC130A60B79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5189540$724CE29C-9D5E-432D-A5A3-DD137C8A0867","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ad8c87d703502da08c2fc566ee03e5ea8994cd","datavalue":{"value":{"time":"+2010-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5189540$80BA3CA3-BF55-4406-BF25-7898FB83E4DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$FAA48C39-CB3A-4FBF-9048-F89192664A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$7F55F5A2-DAB6-4063-8FAB-B274DBE5EADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$92955BAA-385E-4845-B84F-0136A1BBD789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89272aae205b96d0176b1fdd356962c4be4ae031","datavalue":{"value":"5682427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$19007076-0EDE-4A8A-A304-CD229A23A529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$2A8C456C-EDDC-42B3-8B5D-EA585B3D2CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$3D31FC1D-1FD6-4A78-843E-C23B05264C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf98bea6de3dcf3a7edd1fca9d3b62359e75d8","datavalue":{"value":"width","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$804C86F3-7B99-4B7D-9A7B-F47FF4CC3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a97cccd1f884fd46602d4e8a0ed129e1fea3bc","datavalue":{"value":"space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$9BC9715F-3ADE-4059-A285-A3D70AC70B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$864A9812-8150-4599-965E-415B85EB9AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$87C47DE7-B5F5-4982-ABF2-E8FF4EFB392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b95970dbbafca6a8b13371dabe0dccec26c445","datavalue":{"value":"pebble game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$5FA41387-D58F-41B9-AF23-25877015276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11878b88123b85ec5ff91ccc826a8f1c62179e77","datavalue":{"value":"pebbling contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189540$6417D93D-0465-458D-8ADB-5B2935CBC0D4","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":"Q5189540$9128DB78-D07D-4E8C-937D-13445D56F10F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edf225e02aca406ba6e2dd38be041af84165fe45","datavalue":{"value":"https://doi.org/10.1137/060668250","type":"string"},"datatype":"url"},"type":"statement","id":"Q5189540$D794D846-52D8-4C39-B5D6-C643483D1405","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cdb9d05e65f0fdbbfbf1dba30e3f3a8cec7b8d7","datavalue":{"value":"W2985351939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189540$C09D0822-18C5-4A79-9D1B-779347FE1F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a52424b12656de903735df1eedc8db4babf6c3","datavalue":{"value":{"entity-type":"item","numeric-id":2931413,"id":"Q2931413"},"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":"Q5189540$03D77CA7-C00C-4F10-8986-A4BC52953A6F","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":"4470abdf29b6e4e510ddc5975d6c9acf5321bfe5","datavalue":{"value":{"amount":"+0.866445779800415","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":"Q5189540$0AF7FC19-25FB-4ECF-B4BA-05F16512C493","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":"479a6e6af3f4f242ba5d695e9debedea00ddc506","datavalue":{"value":{"amount":"+0.8523898124694824","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":"Q5189540$AC5F86A0-FDC0-43F4-BAFC-14B9A5C577C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8279f3c56c506da61ef32d712956f90e35c575","datavalue":{"value":{"entity-type":"item","numeric-id":2965493,"id":"Q2965493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb54d66e2431c2543ee730b0052a8f68edfc4fa","datavalue":{"value":{"amount":"+0.8522381782531738","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":"Q5189540$8BA08206-6097-4E67-8DF0-15C4600D9ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e851524be8abb6678fb189e36277d740638a611f","datavalue":{"value":{"amount":"+0.8491332530975342","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":"Q5189540$5428BA91-CC04-4518-89D8-F8BD764715D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5189540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5189540"}}}}}