{"entities":{"Q3637163":{"pageid":5667069,"ns":120,"title":"Item:Q3637163","lastrevid":50704166,"modified":"2026-01-14T21:02:01Z","type":"item","id":"Q3637163","labels":{"en":{"language":"en","value":"An Exponential Lower Bound for Width-Restricted Clause Learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576280"}},"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":"Q3637163$E0C350BB-F5AC-44B3-9E97-72672269191D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"384afd772d3fa0abf89f74dff9da34d4a22ba360","datavalue":{"value":{"text":"An Exponential Lower Bound for Width-Restricted Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637163$CC0F4FB0-BCBA-46E2-8303-1C8BFCA932DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51eacf19fb670cbd1dcc161b47b494a41de5d1cf","datavalue":{"value":"1247.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$0675EF3B-719C-4891-94EC-5F86BD83A49F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1b9454a2e4729c23fb4feba3a0dec72728bf741","datavalue":{"value":"10.1007/978-3-642-02777-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$827DBD34-CA24-489B-AEA0-3D9088E85686","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$F3E0E780-0DFB-4439-B38A-A879033A226A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$0E36E25F-067D-4B96-865E-578B11398D5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637163$4A7817AC-B121-4424-81B2-6227B182FC74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$E33CBBFF-05FC-4329-9B63-7E31ACBBD83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$1972B579-3A61-40C2-BC59-826F41D999CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$7C799A5D-4F1B-48C4-96FE-7D32CA11BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$F4ED1991-8AFD-42AE-91BD-4B4D71A4A091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ffd4adf6a0cc3d0ffb193a99cefe6321ce1742e","datavalue":{"value":"5576280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$CEE139EB-B8B0-4F03-B928-8BF070A21309","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":"Q3637163$7EF10504-B0B2-413E-B930-6948D9FA44C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74de1de78e862308705f8179de59e7087e684455","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637163$4F85E101-49F6-45A3-B30A-CC6CAEF104D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69faa5763a2eb32a99660e91f0b86cc93935d4e0","datavalue":{"value":"W1489444259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637163$68E29DE0-81F7-401C-8165-CDB9ED1C4066","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eb460d58931676e51733807df783912964924b","datavalue":{"value":{"entity-type":"item","numeric-id":3002781,"id":"Q3002781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$28C03C25-EE0A-4B51-9BE6-4B7711405C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cd1afd6809f2236d203cad789f950bef0e99a8","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$923F8EAB-7075-4A67-89ED-B00D2ACA67A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34354019cc1f4775fba2a3965f1a17955115f4bf","datavalue":{"value":{"entity-type":"item","numeric-id":1405735,"id":"Q1405735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$2688C186-04AC-40E7-83B3-01AD975A00A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8e8c7e4d2f66af1d6d76f2c025c2520cd9b217","datavalue":{"value":{"entity-type":"item","numeric-id":3623009,"id":"Q3623009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$AFA97FB5-1D98-4F7F-A874-A22F72692A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$D805250A-31B2-4818-9AF3-EC3C06BDB42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$86FCEB70-1ACC-4B70-8B1E-D915B530AA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$1DC5BBB7-2EAA-4335-A121-600C28F8A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd67cf9cc8c3a39ebb38f217a93e786c313e8d48","datavalue":{"value":{"entity-type":"item","numeric-id":1924995,"id":"Q1924995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$A912E6DD-552F-46D5-B760-7AF5F776FD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6dc1f84dd0187ce4214e5d421c9e0cb62a910","datavalue":{"value":{"entity-type":"item","numeric-id":5387867,"id":"Q5387867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637163$2B64C8FC-440C-4A31-8C1F-1821B6F425A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080cabec0b6b5dbb447620f9c61e38596a13750d","datavalue":{"value":{"entity-type":"item","numeric-id":4930576,"id":"Q4930576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdec392a6b7432b6025a1671d2903befcb78342c","datavalue":{"value":{"amount":"+0.9310827255249025","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":"Q3637163$656AB25C-7933-4AB1-8267-99EBF733F089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e12aa2f494634849d505e969a5560e6a9e87eb9","datavalue":{"value":{"amount":"+0.8098844885826111","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":"Q3637163$126226E0-A74D-4195-A770-7EFC22196A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e367b9365c51e5a796d1351242716e78cdb290d8","datavalue":{"value":{"entity-type":"item","numeric-id":5902141,"id":"Q5902141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2272d793e5a0bbbc92caf74d0880628a53009c4f","datavalue":{"value":{"amount":"+0.7963417172431946","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":"Q3637163$715251BF-A387-4412-9155-C0FECC82910A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d5c2eb27300f2b7854b64ee079eb9be89e6f87","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008e3275048a0d4840e0f6f488670e712194f1a8","datavalue":{"value":{"amount":"+0.789273738861084","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":"Q3637163$19F2C627-A71B-4DC9-BC04-DFA458A8BCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de45f4e0e1bddc1c28b106d0f480fa21d9e7d0b8","datavalue":{"value":{"entity-type":"item","numeric-id":2272157,"id":"Q2272157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7c97887c90eb7269f2c63f87cd65656314d8b6","datavalue":{"value":{"amount":"+0.7793577909469604","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":"Q3637163$7C823E72-6A2B-4DFF-B000-17050B9A310A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637163"}}}}}