{"entities":{"Q918700":{"pageid":920548,"ns":120,"title":"Item:Q918700","lastrevid":65378298,"modified":"2026-04-12T02:11:10Z","type":"item","id":"Q918700","labels":{"en":{"language":"en","value":"Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k-satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160131"}},"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":"Q918700$3F77AE5F-DC3A-4DCB-8EC9-0D8ED606423D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aece3bc122cb842c733771884f8c8a69c2bb400","datavalue":{"value":{"text":"Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k-satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918700$541FB234-E2E5-44F9-9FEF-38A9A502E43A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef97062ffdc44d21ddbdbee9b5fed82fc11adb64","datavalue":{"value":"0706.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$93DF05B2-0D96-45EE-AD35-FF82556DA40D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a50164f497e899dec89f4a81b6fda15cf20770a9","datavalue":{"value":"10.1016/0020-0255(90)90030-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$BEFFC442-E35F-4AAC-AC45-480BCC7E16BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef63d7c6a7fe160b091b0cb280441d38c183b644","datavalue":{"value":{"entity-type":"item","numeric-id":918698,"id":"Q918698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$CADF19B6-9986-46E4-97D7-1EC61DE4CF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$DA7E4547-2340-4FF9-8A20-E65A2CF49BA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$7EC6F19B-E178-4D62-9076-17DD67EB32FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918700$A39184FA-D133-494F-9250-3F4803D6D4A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$5B2BF2C4-56A7-4C48-BBFE-4247E607CD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$E5003F4B-F994-4AB2-8DE4-41597AB91EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$F17B56E1-7116-4A35-811C-6698191C6976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea05ca994a2de689be463293fb9f1fa18e75b865","datavalue":{"value":"4160131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$C77931E9-3F65-4998-8F36-04BFBC0FE327","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"565c828f7104202373fa4e0e3abbbf3e706bd427","datavalue":{"value":"unit-clause literal selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q918700$6670EBBD-C3F3-4B36-BF36-77B8E835E1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q918700$3D77A3E8-683B-4336-B98E-50019D2A5C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q918700$A56E768B-E2C5-43FE-8985-CA16C4D8A939","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":"Q918700$AAD6357C-B36B-4908-A9E4-4555D4684D2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe6ab3559345bc9f039132e063ea1bc380f23ea","datavalue":{"value":{"entity-type":"item","numeric-id":3911407,"id":"Q3911407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$35B40564-8165-4D41-919A-145AC3FD6806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$34552464-F2A0-4477-AC00-E6D1437AA52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$E3A59148-CA54-41C9-BD05-965F67D051A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631afda92da774b2f35528b579855e622332ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4065548,"id":"Q4065548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$ACE22102-5BC2-46AA-B6A9-C906A270B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$03C94EAA-BF6B-42BA-8887-605A96B8CF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$4705DA3E-38D6-4BE6-BD00-3F0BA66B80C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865f082c2e39aa822f8117990360da77ecfea3aa","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918700$B384EA1F-3189-4E56-A48F-283DD4FD9C4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e021f540e661f00c085cac0f8f2dd59f3b7b93","datavalue":{"value":"https://doi.org/10.1016/0020-0255(90)90030-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q918700$1B03B10D-9D1D-4BC3-AC22-7D25A1BD80EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1b5c1e6a602fe2a102e6a5154174824bc130d78","datavalue":{"value":"W2054387247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918700$12D63B47-7131-4C4E-8309-C39435D55435","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b72df3c0e58e54ce8311b91c3325454f48426f","datavalue":{"value":{"amount":"+0.9064961671829224","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":"Q918700$F2F53D26-3B00-43FA-9D84-DA7514EA3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5b4347d711ac59d6b334b7fc872e5974d956a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e963c464b3b30b668fafe17b79903240ae1948da","datavalue":{"value":{"amount":"+0.9046303033828736","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":"Q918700$C1C370C5-3EBF-4CBE-B219-63C7599EEC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb15256d2254f35851208fe603f797e906b9f96","datavalue":{"value":{"entity-type":"item","numeric-id":3827800,"id":"Q3827800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617668ed09aff6512a386f778f2a512959f4c0f6","datavalue":{"value":{"amount":"+0.8809950351715088","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":"Q918700$B56C62BD-AC32-4BD9-B4C0-2A7410BC5BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2479c6c8e84b6160d4b613c1b10578187b49658","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10d551758c5689c305c5de140c6c5f9656c2c3c","datavalue":{"value":{"amount":"+0.8494169116020203","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":"Q918700$08EEA6B8-8C65-4B9E-9E33-9C4999827FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac023be66d8cb019e73c23a7f4849aa585b7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8f983432d31c288435002e6d726daac9572a24","datavalue":{"value":{"amount":"+0.8460792303085327","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":"Q918700$BD480641-36FD-4ED0-905C-8E36AAC6871A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k-satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_analysis_of_a_generalization_of_the_unit-clause_literal_selection_heuristics_for_the_k-satisfiability_problem"}}}}}