{"entities":{"Q4930576":{"pageid":6960158,"ns":120,"title":"Item:Q4930576","lastrevid":40953271,"modified":"2025-04-15T02:26:40Z","type":"item","id":"Q4930576","labels":{"en":{"language":"en","value":"Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793443"}},"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":"Q4930576$147F2C12-ACFD-4A19-B6CF-09AE290E26E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ea7783217862fb17393f79d05a1dc70d33028c7","datavalue":{"value":{"text":"Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930576$440A1C24-9BA5-4120-B511-C56B82A7FEB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe6180b25ce3803143ed027f14fb998269768baa","datavalue":{"value":"1306.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$C8293DBD-1109-4DED-8BA3-D397755B5D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b22ce401ca7ae6ec8cc25c444af8502f96474b8","datavalue":{"value":"10.1007/978-3-642-14186-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$104F55AB-4766-4626-9F49-90A2EBB65BD3","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":"Q4930576$186DBDEE-B813-46E5-889E-2B808D4F7181","rank":"normal"},{"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":"Q4930576$A030734F-31B9-4D81-B574-18A7A8584FDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930576$6B699A83-1B09-41EE-9F20-1ED648FC650D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930576$9A756FC3-B587-463D-AA34-10B49EADCC76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$AE6967A9-FEC2-46F2-AE6A-322D862B708E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$43E350A9-8BF0-4DBB-AEAA-4D6088257711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$FCF20683-2AED-4A2B-A078-66FBD55F60CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97657514f2679d86763c384431cbc401fb310582","datavalue":{"value":"5793443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$D4CE1D6F-E312-4739-AF06-67AA647C5829","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":"Q4930576$90F92E10-0070-43D7-B20A-92BD51734373","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da14be42e235e5d07d2f2459b1c7c62cfdf7e81d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930576$ADC652FA-2F0F-404C-85B9-8FD2A20DEC7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d94c906af38a2786ba3ef17f97ae22e408a75b1d","datavalue":{"value":"W1519724636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930576$F5A771A3-38DD-4BC6-9B09-3950FFA424AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dbba60b1780eb41be416d194bbcc58007ea4791","datavalue":{"value":{"entity-type":"item","numeric-id":3637163,"id":"Q3637163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e05c51e96404f25fdc5125edb33368ac09b6d9","datavalue":{"value":{"amount":"+0.9427917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$48051AF3-14DF-4F03-BA48-D871ABED5024","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":"f7041956a4546a604f7d6379a2f38a06366b1e1f","datavalue":{"value":{"amount":"+0.8874083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$D2A1350F-0DA1-478E-B931-060FD721CF34","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":"f7041956a4546a604f7d6379a2f38a06366b1e1f","datavalue":{"value":{"amount":"+0.8874083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$366FA013-9494-482C-80E1-E372F8E3EDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b659bf7d189f859f93c8b883e0994a339b7794c","datavalue":{"value":{"entity-type":"item","numeric-id":4284268,"id":"Q4284268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a887cb20d6d6f8bb0052665864f7e3a52aa376bc","datavalue":{"value":{"amount":"+0.851808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$6B4CB49E-A717-4819-B939-1053D77F4B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cb9d5d5a913c6d00c9029f0c7086b9d0eb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5900845,"id":"Q5900845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94ae7767803cedc33163b7ff7f7962d6290042a","datavalue":{"value":{"amount":"+0.83575684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$764C08E8-BBFF-4E20-923E-7B5D2E03FEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99923ccb63633d0b1c9c6ca8eb1065dc79f0b0c","datavalue":{"value":{"entity-type":"item","numeric-id":5915394,"id":"Q5915394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5daaaf6dd50e99ef58aae1bc6f60ec62b9de01ce","datavalue":{"value":{"amount":"+0.8357568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$F2DC5FE1-A931-42CA-8450-A69E9561E26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56a7bc6eaa8e8a30a0bdf2a05064eecdd9cc342","datavalue":{"value":{"entity-type":"item","numeric-id":5302060,"id":"Q5302060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8220d351d4938391b220c8e9d9b60fb1d42826","datavalue":{"value":{"amount":"+0.83259904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$78CF511F-7D4D-4549-969F-94811D313138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54178a7d50b110a355049c7c801048b60d57713","datavalue":{"value":{"entity-type":"item","numeric-id":617890,"id":"Q617890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35611c93a3c38c8f24735ee1c35a4eb9211f261","datavalue":{"value":{"amount":"+0.832599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$D1AC355C-8F61-4AD0-B4BF-3AEB48D88353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e50ee97192ff20d8a6dc21af533715192c08e9","datavalue":{"value":{"entity-type":"item","numeric-id":428879,"id":"Q428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e97a2b175993d13e39106cbd79b04c2cdf8b613","datavalue":{"value":{"amount":"+0.8288429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$84BB61DF-CB35-4909-A6BF-4F1D9509DD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53036268ce9208c17793d64cd0d4410e85d3b58f","datavalue":{"value":{"entity-type":"item","numeric-id":5390018,"id":"Q5390018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e97a2b175993d13e39106cbd79b04c2cdf8b613","datavalue":{"value":{"amount":"+0.8288429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930576$BFB3182F-488F-4D5D-A5AE-237637E57548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930576"}}}}}