{"entities":{"Q4933300":{"pageid":6962882,"ns":120,"title":"Item:Q4933300","lastrevid":51101738,"modified":"2026-01-16T16:33:33Z","type":"item","id":"Q4933300","labels":{"en":{"language":"en","value":"Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798891"}},"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":"Q4933300$B3816484-75B3-48CE-BD29-3115D28213E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f550d16658e92a7cd6a7a16251d7fafe2d21d31","datavalue":{"value":{"text":"Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933300$A3B9FA32-0EBA-4087-8BE2-45F96674C87B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"732e82ee771751a28741fab8c8411b1add905f25","datavalue":{"value":"1306.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$FEC40216-2C64-4B22-9202-392FF4327924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"214a5ecb165fd1d24e436df13f9ed0c9631935b7","datavalue":{"value":"10.1007/978-3-642-16242-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$FA25169B-9222-4997-8D8C-D5293092514B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11eeba1a556b3bf65f38fd098fcc8d38e57d4488","datavalue":{"value":{"entity-type":"item","numeric-id":842793,"id":"Q842793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933300$6FD2D743-36D2-474D-96BC-8C02C60543DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"298dafe7f25ca2bf78bf20ed667d5955802f21c1","datavalue":{"value":{"entity-type":"item","numeric-id":4933299,"id":"Q4933299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933300$515DEF18-B4B7-4650-9D6C-9920D718663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44e1ebd063bae01b0015c3747ab277093223f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":842790,"id":"Q842790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933300$C7D5A6CB-1CEB-4971-8F49-A21A8DAE5304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933300$4052A6CE-2AC2-47E1-9DA6-0037EFCA68E6","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":"Q4933300$82634A97-D604-4010-9776-33BB4BD700DE","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":"Q4933300$8967C762-F4CA-4BE5-BCD5-3A25707B1098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$1912E07C-025C-48AB-8175-1ACD2A294F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb6fa31c061028a10fb1c2a1679af7746583c504","datavalue":{"value":"05B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$AEAAE5D9-8ABE-4BE5-A2F8-B564751EB1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$A676C2C8-BDFC-43B7-9373-FB1DEDB67A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$534321BC-0B33-4EC4-838C-E08550D6EC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$B849D199-166A-48C4-AC78-0B7E84A21BEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cacf5db5fdfd7afffbac911ebdb226080a5acb8","datavalue":{"value":"5798891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$60C290C3-A27D-4778-ABC1-4E3CFAD1B309","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":"Q4933300$4963777C-08DE-4C79-A6D2-5C7B11C4BA96","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":"Q4933300$18E6BED7-5190-477F-B452-A0225A511ACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45dd0d355d2f3484b7218f6ab6fb3de688ecb7a4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933300$A33C5EF3-96D5-4F2B-807F-EB526BAAE887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"039df84075f989032e3ef08d1c1a45320a6700f6","datavalue":{"value":"W1560461246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933300$DB59A941-1EF8-4905-925A-37955718A67E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc8de01f8ad2b8f65dc27f173c74bdc71b8098a","datavalue":{"value":{"entity-type":"item","numeric-id":5703904,"id":"Q5703904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3224c3496b9bc42d93682df5f6853151151792f","datavalue":{"value":{"amount":"+0.762018084526062","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":"Q4933300$EEF4BC2B-F422-48FD-ACEE-E06CE5060D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc4686b023d1412b28a6196c7127a5ddffe9c36","datavalue":{"value":{"entity-type":"item","numeric-id":5325867,"id":"Q5325867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ec8ced3ae5495861fe50e1c16a7f35b4b2edee","datavalue":{"value":{"amount":"+0.7544406056404114","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":"Q4933300$2B19DAB0-B9F8-418A-B692-EBF7F54A62E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb9d6acf76cdb35f97fbfe006b6c6fe96a7716d","datavalue":{"value":{"entity-type":"item","numeric-id":5168573,"id":"Q5168573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e346604a9b7a841b30b930a1d5c665f19056513","datavalue":{"value":{"amount":"+0.750485360622406","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":"Q4933300$6341D656-94E5-443B-B0CA-D92C432DBB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ea8b140cf3aea967fb25040a60455f3c0c4823","datavalue":{"value":{"entity-type":"item","numeric-id":850459,"id":"Q850459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c1acaa31c2398c2da8787dd4409d2f369c9de7","datavalue":{"value":{"amount":"+0.7486060857772827","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":"Q4933300$1DB146D5-FD10-44CF-8D59-00104138D1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8c327398d959004228f395e447bee5e70bf74","datavalue":{"value":{"entity-type":"item","numeric-id":2796076,"id":"Q2796076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59df7b5330718699e87269d730fbe919b2bc72bf","datavalue":{"value":{"amount":"+0.7138177156448364","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":"Q4933300$C5740F37-16CD-4122-9878-614E42CCD77B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933300"}}}}}