{"entities":{"Q4933329":{"pageid":6962911,"ns":120,"title":"Item:Q4933329","lastrevid":51101813,"modified":"2026-01-16T16:33:37Z","type":"item","id":"Q4933329","labels":{"en":{"language":"en","value":"Improving resource-unaware SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798919"}},"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":"Q4933329$E125AF36-E92A-4B0E-BEFE-6A3A663B1D38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3956f3d6f42900b49c439144f709cdb2c249b0b","datavalue":{"value":{"text":"Improving Resource-Unaware SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933329$F94B3623-BA3B-476F-8602-96C8510A1B1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"661d90226141dc028d5285ffd3aa4b2f4bb3ac9e","datavalue":{"value":"1306.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933329$4227A183-1A06-4345-933E-83FB1E4436BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46c8720677e1113cd7b5d08cb1e2075521463e94","datavalue":{"value":"10.1007/978-3-642-16242-8_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933329$1C486764-A4AE-48D4-B93D-D6FCAFB71A0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$169118A2-A383-496B-A79D-07F80F6E0AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63463e2ddaf3f2f568848f59f2b8d314cfe6b5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2118328,"id":"Q2118328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$2B3684D2-816D-4A0C-8067-5747946B9D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7c88ed298f1a721faacefa66ee5f3991db0491","datavalue":{"value":{"entity-type":"item","numeric-id":2851277,"id":"Q2851277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$EE0982CF-863A-4B7D-8BB5-5C7DE2072FFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$8B72A4B6-B694-43F9-8485-BC3F502DBACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933329$E52DBE4E-3568-4B3C-A0EF-EE29EC5EB2BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933329$797AC14E-A778-4B31-BBB1-AF88A9480CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933329$29DE908B-5A1C-4E83-BFFF-7AAC590C2508","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9383839c924d03f1c999f60ca0272c099dc1d295","datavalue":{"value":"5798919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933329$B3B16B8F-62D2-4CD1-8377-19B3BCBB7E84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$E9DAA7E8-7E03-4A10-A1CF-C62EED21267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a89d21bfd6d0eb5aa9e2b7b842a34ee82f5a62d","datavalue":{"value":{"entity-type":"item","numeric-id":18089,"id":"Q18089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$0C451BA7-9CD0-4990-8584-07825CF32ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0dbc5ece1733f8aeaa935c28b2acdcf436e0975","datavalue":{"value":{"entity-type":"item","numeric-id":20917,"id":"Q20917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933329$F5F8EEF9-16F0-42CF-8D08-9E7F2B181B90","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":"Q4933329$F3E28FE3-3309-41D8-92C1-C1C3A0AC20D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f726bcff3e3c5c48721f3f7e238852797b26e548","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933329$C8506C0C-E8BC-48E4-8CF2-19843DF9DD9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"199cdd7c4e90cce5449e9115a3dc680f3923af17","datavalue":{"value":"W1582243294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933329$0EB262D6-C386-45F4-A52B-F7991C6C1336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d152ed009bd35f2203c986f8677553ec824242","datavalue":{"value":{"entity-type":"item","numeric-id":5325868,"id":"Q5325868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0667df22ead6185e58aff4d81b06c9f756ebc7","datavalue":{"value":{"amount":"+0.8164232969284058","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":"Q4933329$3F0390AD-8C63-4FB1-A10F-AF58F565D487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625a27eb172927f94786dd34b96bd201b46dd874","datavalue":{"value":{"entity-type":"item","numeric-id":3181647,"id":"Q3181647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245f712e94bff14a18a6269b369cb0b67aa548b2","datavalue":{"value":{"amount":"+0.813384473323822","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":"Q4933329$12CFC14A-91C3-4760-9A9A-419769A08916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fad8a6976acc0eefe8be58ac9382976c95e8ce","datavalue":{"value":{"amount":"+0.7351911664009094","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":"Q4933329$FEC60658-C31A-443D-BEC9-501600A15836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c647744274850ccef5a15f5cc3ce686ccc5200","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b2217b2b40de50e8c6373739761bac821c0616","datavalue":{"value":{"amount":"+0.7278401255607605","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":"Q4933329$DBC52B14-EC69-4234-913C-3519E41F7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f611d909adea8e89bc26f3a1e735f2e24f07482f","datavalue":{"value":{"entity-type":"item","numeric-id":5713738,"id":"Q5713738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792a04d65e3c100a9d249be0550d490ce7501609","datavalue":{"value":{"amount":"+0.720906674861908","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":"Q4933329$0D6FF075-7052-49AA-B8FD-FC9752B95090","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933329"}}}}}