{"entities":{"Q3654387":{"pageid":5684293,"ns":120,"title":"Item:Q3654387","lastrevid":87566363,"modified":"2026-06-04T12:00:31Z","type":"item","id":"Q3654387","labels":{"en":{"language":"en","value":"Size-space tradeoffs for resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653743"}},"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":"Q3654387$229ABA22-6D43-452C-B50A-93F74E962E25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1688c3725658a51cef77479bf4fee9853297fe2e","datavalue":{"value":{"text":"Size-Space Tradeoffs for Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3654387$5201DAE1-F100-404B-9447-F7EA19751C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b136f805b4e889eaf0509feea0cf505389029f9","datavalue":{"value":"1191.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$71ADBA30-1EF3-4BBA-B1A8-4B7F5AFCDE58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e61294118d40e020c6af8e3a2b9669c0cfcb1231","datavalue":{"value":"10.1137/080723880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$06125C71-8353-48BE-A930-B1CB2FC32B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3654387$67BF9A22-7EF5-45F3-8440-949AC2B2D495","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":"Q3654387$50F16D88-6BDC-4A63-B955-E44B47B65230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3654387$904D6791-FD5E-40F1-BAB8-360DCB00E6C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$7AADBB51-9457-482A-9500-BBABC08C196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$C809F87D-1F12-444F-9279-B62CACA45B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$7981916D-62E0-4106-8F92-A1A0A7C72104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dc37d73223de5adc8549368549d786d88fc64f4","datavalue":{"value":"5653743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$D44B8BE7-24BD-4263-9647-30753AF18769","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654387$CC852EFA-A126-424B-BFF3-032D243CE1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654387$C3E9AF7C-A2FE-4A32-9931-318CCAF84444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edadeef8bb2338ff3a07e14bdbe112375679df2","datavalue":{"value":"proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654387$DF3BE9D1-4443-4644-B1B5-0C62827AB786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3654387$C9ED0840-EA01-4D77-8ED2-24177463D387","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":"Q3654387$91D4C057-EAD2-40D3-9583-20A1881C2224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7057e023c99d0eedb349eecb6c2352cd0b5f5f4","datavalue":{"value":"https://doi.org/10.1137/080723880","type":"string"},"datatype":"url"},"type":"statement","id":"Q3654387$8B4DCF76-C7B2-4DA0-A7EE-4D77CCB5859D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49df5ce2bcd976cd7154dd4e27749bc52a49ac15","datavalue":{"value":"W2164319662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3654387$13D56563-E256-4EE2-92E5-B7E9C28718A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b644a28dd5e0854b4583a9bbeb527267ddeb72f","datavalue":{"value":{"entity-type":"item","numeric-id":1405735,"id":"Q1405735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb853b45b984a2582ffb3f5f13291f05aef2aa4","datavalue":{"value":{"amount":"+0.8466304540634155","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":"Q3654387$71F451DD-25EF-4995-9450-85B34BBECC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c0feb6dbc148a238fbe7e3cc5beaac2e5ced1d","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c6a0077c6e163b4b5e3c9940769d0dfc714e31","datavalue":{"value":{"amount":"+0.8287615776062012","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":"Q3654387$8E0B4AB0-3C16-4825-B92D-BCAB9D4C42F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e635d66dde67a0bcd1f26b3006f2ac8a6860d4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5415477,"id":"Q5415477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c6a0077c6e163b4b5e3c9940769d0dfc714e31","datavalue":{"value":{"amount":"+0.8287615776062012","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":"Q3654387$853D2DEA-531D-401E-BBD3-30042C4AE4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88487d39d860afa32f6d456fc8042ed67d952460","datavalue":{"value":{"entity-type":"item","numeric-id":2817796,"id":"Q2817796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af9e689fa5aadac63af1d65284b333986f8ee04","datavalue":{"value":{"amount":"+0.828327476978302","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":"Q3654387$9D356756-349F-4D2D-85C2-8A6F6FE62331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070cacf0f29221af8e07f77a8c0c4d6ff7eeb031","datavalue":{"value":{"entity-type":"item","numeric-id":1616620,"id":"Q1616620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d311570ac3e647d49d2a0380c2914dc5c090a54a","datavalue":{"value":{"amount":"+0.8275558948516846","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":"Q3654387$4C760BE0-BF18-403F-B870-B8FB3E1B1EEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Size-space tradeoffs for resolution","badges":[]}}}}}