{"entities":{"Q1776200":{"pageid":1786942,"ns":120,"title":"Item:Q1776200","lastrevid":48488185,"modified":"2026-01-04T23:44:54Z","type":"item","id":"Q1776200","labels":{"en":{"language":"en","value":"Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2170153"}},"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":"Q1776200$567F478C-5BE0-4B57-BCAC-FA6F8A2F1831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"690fb07dc37a63926e841a835ef96bdc02ceef22","datavalue":{"value":{"text":"Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776200$80C5CC77-3E2D-4E1F-9F88-3D5286EF1C6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c485c250edefc4c3728e383392462de4af743a29","datavalue":{"value":"1099.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$6B14F7C9-EA43-490C-96AF-36DE5303B006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cb96374a43f3f14d8cd16b2e37b388cb6e41289","datavalue":{"value":{"entity-type":"item","numeric-id":186236,"id":"Q186236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$131196BF-A4FB-4A03-AF43-5D99E34DCC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b187b7a18f2c6a888883fae8109391b93af4e598","datavalue":{"value":{"entity-type":"item","numeric-id":880569,"id":"Q880569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$5EADCFB9-8260-4487-A5EB-A31E7E0BE1C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$1A0B9898-8418-47D3-9D64-7B8585E16984","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3b590d9edae7ef06862f3d803ab57ea4760b6f","datavalue":{"value":{"time":"+2005-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1776200$30CDF41B-038D-4B51-A6CD-15AC861527F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$25B63412-F361-41CF-B254-7E70F58AB857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$1953AF2C-B681-481D-A97A-8D2EC211843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$D80BDC33-E470-4192-8FC6-5342300C2D12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de69d0d0b6406df882f4b49e8432d755f5f6a971","datavalue":{"value":"2170153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$21B78F76-8125-423C-B372-8605C59F1263","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776200$EFFA58F1-4DF9-4F42-BE62-73AAC68809E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7c23678055f402d3e1a739ae38f0482feded67","datavalue":{"value":"Horn","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776200$072A4343-C564-442A-9425-DD0119497BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776200$1D60F388-9CCC-43ED-8195-8F330FB1740F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776200$BB0871FC-AE8B-4A8E-B589-2E402FBED9C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$B634ADDD-C734-447F-8C71-BC10248E1C95","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":"Q1776200$9555B15B-84B5-47EB-AE4E-D3C86360F3D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8d09feacb4e0383f6a95027cfabcca651c33c13","datavalue":{"value":"https://doi.org/10.1007/s10472-005-2369-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776200$824C518F-002A-4818-A1A7-4BB581953D34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d873a7d856cd2e479bd10f301b82cadf113afa53","datavalue":{"value":"W2030150287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$761E6FFA-F0DE-42AA-AF3C-782E2A8B8EA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$5F430416-A7DC-413F-8ACF-422EBB55B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8513b7824ef96a8d24b7c2761eae277fca88598a","datavalue":{"value":{"entity-type":"item","numeric-id":1596668,"id":"Q1596668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$FCDBB75F-6D13-4376-A858-B81454DDE5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafca812d9e4c7ca1ddc3a0fcf890183aad4d322","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$3B4863AD-8562-49B3-913B-CD0627DF11C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba923aa80b0999cb15029b22258ed1b537f3aff","datavalue":{"value":{"entity-type":"item","numeric-id":1961445,"id":"Q1961445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$20AA6466-6593-4D53-912C-3A24B709D21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$4BF15CC9-45BF-449B-9438-C789BCF187D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a3e0be83c0e8ac3c380da47298a5b77b23dba1","datavalue":{"value":{"entity-type":"item","numeric-id":1363769,"id":"Q1363769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$C203583B-9698-47CB-B0B1-573A210619A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$F30B92BA-44EA-483E-B918-749738EA83CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8a44d75e686c9036fa1b26564632e13a623690","datavalue":{"value":{"entity-type":"item","numeric-id":4475625,"id":"Q4475625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$B6F29500-2085-4A06-BF7C-67E3523EF323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$EDF695CB-7B2F-4B56-B036-F7956FF8B62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$A65A0789-387E-4803-8C35-10FE55D69E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc877b42f4324f220c66a0727f2695f21979a84","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$062A1446-B685-41FB-9900-178B55906E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339e90c78a672c77630a69601c05cdcb6aec006","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$38A53CCB-920F-4371-A552-6CDEF81912B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32407e2ad97932effb316fa65a77f7221008dc28","datavalue":{"value":{"entity-type":"item","numeric-id":5714756,"id":"Q5714756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$CC0500FA-4C0F-4F54-995E-456CE05697B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae5be185aab1a36f2ad2cb00cc9f463732851c7","datavalue":{"value":{"entity-type":"item","numeric-id":5325856,"id":"Q5325856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$DB1C65B5-EAE7-4110-B19D-38CFF351E6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3a4c7c23ce5ae48a51888aec5461a8119eaad1","datavalue":{"value":{"entity-type":"item","numeric-id":1861906,"id":"Q1861906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776200$52F42548-03F8-405A-91F9-5D9419CB974F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c61dbf9e4b99291456a1b471f874b38b8788dd7","datavalue":{"value":"10.1007/S10472-005-2369-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776200$4F3E804B-9E26-4309-9E6F-A0FA5CDCD692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3e153bd0e8a567aea04484cab7aeaa0e3f32ea","datavalue":{"value":{"entity-type":"item","numeric-id":4473023,"id":"Q4473023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4cb8a09fd6fd9fa2be40a5b33025c1e395c7a8","datavalue":{"value":{"amount":"+0.7517266273498535","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":"Q1776200$95BAD201-B005-4E92-9258-1D614FE8055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e20f1f4e9a71f71a0afa5fee44bfce61c89129","datavalue":{"value":{"entity-type":"item","numeric-id":5325856,"id":"Q5325856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23332ba323bc950af709fe63260b83f0f78a5fbe","datavalue":{"value":{"amount":"+0.7503002882003784","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":"Q1776200$D41767C6-647D-402B-AD6E-F6BEEA5124B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f820ae2d54e37fcb82d07b53376c2eb14e364b09","datavalue":{"value":{"entity-type":"item","numeric-id":4252413,"id":"Q4252413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cdaa6763f0d76e8654066c961abd71f1930921","datavalue":{"value":{"amount":"+0.7499066591262817","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":"Q1776200$2DD924E5-832F-43CD-AA56-C7DB56ED681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3af9c5f3f49a439489ebf764d578bb66af7514","datavalue":{"value":{"amount":"+0.7407159209251404","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":"Q1776200$84C65EB6-87E6-4442-B2B6-793F469C67C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f663ef9f1c1d28524b4c0e7fa62f6b8f84323f8f","datavalue":{"value":{"entity-type":"item","numeric-id":4660724,"id":"Q4660724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a866f230c4e54a49685e37a538099754e64b19","datavalue":{"value":{"amount":"+0.7390705347061157","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":"Q1776200$9B2D7CEB-418B-4B3C-9C8D-711122E233CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1776200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1776200"}}}}}