{"entities":{"Q4904223":{"pageid":6933802,"ns":120,"title":"Item:Q4904223","lastrevid":51644303,"modified":"2026-01-19T05:43:37Z","type":"item","id":"Q4904223","labels":{"en":{"language":"en","value":"Anatomy and empirical evaluation of modern SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6131661"}},"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":"Q4904223$B54F5150-F7A9-412E-91AA-53AC1B950A4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32ef11c478432ca3604439c3bcc51895e76fff25","datavalue":{"value":"1258.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904223$21903CF5-D996-458F-A785-F7B1E933EC15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904223$AEA21863-F154-4D28-9879-F20FE932F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904223$1629CE64-A276-41CD-9310-5B75734E6EB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab088451157c933b8b5d1688c69e028b7366511b","datavalue":{"value":{"time":"+2013-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4904223$C74BE990-28C9-4657-9154-0A2C3E45E1BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904223$15FA3007-2172-4808-A574-3142C7A82C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904223$D49F6799-C8E9-4D63-81BA-F7E7C10D42B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904223$4A042515-088B-4D41-B6F0-4C8FB4D5AACF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45f2b9248cd63227570de337b978dc3e76f19070","datavalue":{"value":"6131661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904223$CA3235A3-0AA3-4862-AE60-EF1A5B5682FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ac8085240cb833bffd9fc6eb142974cc8a2c5e","datavalue":{"value":"Boolean satisfiability decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904223$72350A6B-F4F1-433B-B738-2583827930A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5630347761751de4b4dffed7529f488f2c8f1482","datavalue":{"value":"(SAT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904223$C1A27EBF-0773-4356-B89B-70C2533EF47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4f62aaef187e7c662d1fd4693428aeb4a042d8","datavalue":{"value":"conflict-driven clause learning SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904223$352AE064-F22B-46F5-9388-1E213AEA711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1009ce042b040215adb43e7bcff2e776d98ed6","datavalue":{"value":"CDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904223$A38C02EA-8C8F-42A9-B954-75232B019CB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904223$85AC619D-839F-4B4C-981A-686B85341559","rank":"normal"},{"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":"Q4904223$EA7E32C3-EC1B-4EEF-83B2-CA249269CE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904223$01CF312C-6B21-4C68-9101-719AAF912FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904223$CC1B7E9C-B199-489D-AFE4-2D14C7D8DC3C","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":"Q4904223$55EE97DA-42DF-44F3-A3C1-8149FDBC8506","rank":"normal"}],"P1643":[{"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":"63e649ce03643ad610ddad80cdd523ee99ec9193","datavalue":{"value":{"amount":"+0.9250251650810242","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":"Q4904223$8F2FF9DE-965E-4130-9EA3-5E2CEA2A0A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76dfd8133b000e0ffa6d29212116768504af3778","datavalue":{"value":{"amount":"+0.8756688237190247","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":"Q4904223$9F6196ED-66B3-49D4-BD4F-C925DEDBC3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42730ae1336c2c1d7cc18789aa030e6417402afe","datavalue":{"value":{"amount":"+0.8612987995147705","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":"Q4904223$2B25E289-222B-4841-A782-534CA42E0436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e728eeaf9f2ef1a7aea37618219409346d598a","datavalue":{"value":{"amount":"+0.8612980842590332","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":"Q4904223$89804BDE-7C61-4084-A5FC-8BB05C4ED1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea49af491734bb1eae9415b843e3fb6e2b96365","datavalue":{"value":{"entity-type":"item","numeric-id":5504707,"id":"Q5504707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4db5a650a27997a6b2e9a1c1fdf5ddb400d9f7","datavalue":{"value":{"amount":"+0.8269587159156799","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":"Q4904223$933196C9-65BA-4CEE-9AD1-3CB343201E01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4904223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4904223"}}}}}