{"entities":{"Q1601038":{"pageid":1611778,"ns":120,"title":"Item:Q1601038","lastrevid":47932429,"modified":"2026-01-03T03:03:21Z","type":"item","id":"Q1601038","labels":{"en":{"language":"en","value":"A complexity gap for tree resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1756795"}},"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":"Q1601038$C0E7B62F-FDE6-480E-AD71-ED40EC44F396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd53272df1180110af2575e5140d59df90c05672","datavalue":{"value":{"text":"A complexity gap for tree resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601038$C074A0B5-C8AD-45C0-AEEE-1D976C28EAE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0015be27088ea9c1e0cf2a28505eb6564e8089b5","datavalue":{"value":"0994.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$5BA5E3BD-B804-4BA9-87AF-D0A6E9FBACC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b988aafc908ad0705db140a886cbabb24b606a94","datavalue":{"value":{"entity-type":"item","numeric-id":195146,"id":"Q195146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601038$1FAD0E8C-3A33-48E3-B8C7-615D67C88C4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601038$F3996B4F-660C-44DB-BC7E-062A548DD545","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1307a893ba8afb80e0aeb5c3af598749467190d5","datavalue":{"value":{"time":"+2002-06-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":"Q1601038$4EE2DB38-F091-45AD-AA01-9CC851AD20F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$AA59B808-A971-4A02-95B7-C8F2F3F10115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$F1B8623D-22E0-4223-9246-1504107D0547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$F3546E72-8822-4D77-B72B-6E44895E9B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$82F60180-D6E2-476A-AC7C-49B45AA46D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$C0F24821-A9C7-4362-B96F-4FDC6831EE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$1A5B2685-41B7-497D-91EC-C8C28736DF58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c0d52a6f1eb94336b4369b27703679604ef08e7","datavalue":{"value":"1756795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$81F00AE4-B591-48DE-9B8F-320417C98767","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$A0938044-6940-4CF6-9CF5-A80A8E5E504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6a5e37d125e36bd4f3e2da1b6b3116cd13f3fd","datavalue":{"value":"tree-resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$1946EE6A-3253-41E1-B919-7DA31F72A2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3bbdd99c4d4fadecef51303f81f60e5ed70baf","datavalue":{"value":"combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$9435BA44-32DF-4DC6-A86C-625700E2076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e109964a9f34d3bcfe0ae86e0dcc788cf8e820","datavalue":{"value":"gap phenomenon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$E4AD50EF-4429-49E1-8140-6B60A93F9182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb19627dcc0911b2db055e0205bbebb448ab6058","datavalue":{"value":"infinite mathematical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$F7910064-DE7C-4F6C-934F-D574D4D33628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b61d634047befbfcf9c47c178e3dc1e179ecaa47","datavalue":{"value":"hard propositional tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$A050A7F1-3729-4157-8C5A-97EF477F372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601038$B0D7E5C6-4CF6-4C7D-95C1-76452BE4C623","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":"Q1601038$F84650DE-0AFB-4324-BCA6-2C0113177D29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef68ad8d047277834a1f40b3c2cc13b5ba4fd069","datavalue":{"value":"https://doi.org/10.1007/s00037-001-8194-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601038$9B5C53D4-D9FD-415E-B738-5164DD18547A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee4843c4115190ad5b9c7c5d5448f387c194c74c","datavalue":{"value":"W2726059329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$54982491-40B6-41BC-B2BA-371EE3023B74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c38ab2ec8822a7cc563ffdcd6ab477b45eca2686","datavalue":{"value":"10.1007/S00037-001-8194-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601038$6B9198A2-5E46-4E15-B557-F22CB38F7880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b33d841126a1af3b226ff8222c1cd047a83841","datavalue":{"value":{"entity-type":"item","numeric-id":5292633,"id":"Q5292633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a58bbd8f04ea408c768f439efc700cb2d1d4094","datavalue":{"value":{"amount":"+0.8340355157852173","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":"Q1601038$C0CEF936-7F01-4E28-B9C8-A44D00C86E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12be4023e8f82c6965e25ee641cf94a67809cffd","datavalue":{"value":{"amount":"+0.8322309851646423","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":"Q1601038$0EB7C20B-ED3D-49C7-AD13-D37249CA425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025ca292458b755183562996dc13578e55805506","datavalue":{"value":{"amount":"+0.8071461319923401","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":"Q1601038$049ADD10-860D-4CD3-AA4F-633AC5B7AB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2d905c9fa9dc7f4eea7c457d61480229b3aa6c","datavalue":{"value":{"entity-type":"item","numeric-id":1019749,"id":"Q1019749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4ace3979b9da046a31c956c7aaf7229110a339","datavalue":{"value":{"amount":"+0.786178469657898","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":"Q1601038$EDA7EC90-531A-4189-A303-1DBC3D4B58AB","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":"dad59410f946246d9b1d341aa24003a4d3c582bd","datavalue":{"value":{"amount":"+0.7845528721809387","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":"Q1601038$F9502D3E-D65E-4A6E-8947-3CCF4D864A2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1601038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1601038"}}}}}