{"entities":{"Q835804":{"pageid":837652,"ns":120,"title":"Item:Q835804","lastrevid":50756633,"modified":"2026-01-15T01:38:17Z","type":"item","id":"Q835804","labels":{"en":{"language":"en","value":"A comparative runtime analysis of heuristic algorithms for satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5600136"}},"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":"Q835804$951028EF-B79E-4415-93DE-CC3FD1308068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb0d4f704cba18de6092e3d7ff7e76063c056588","datavalue":{"value":{"text":"A comparative runtime analysis of heuristic algorithms for satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835804$D1DBAA0E-2CBB-444C-B7EB-DA560383706F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4923011333884280c99ac6455131d91b5e46716","datavalue":{"value":"1192.68655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$DD871FF9-A659-4E17-A5C9-55CE5CB72C31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e74d92b7826621a88917b617441e8630b184f47b","datavalue":{"value":{"entity-type":"item","numeric-id":494926,"id":"Q494926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$D7EAA0DB-BF82-4A99-B7E2-4DADA1C5F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"197897d0c2035816172be2490e3a59c2957cdc49","datavalue":{"value":{"entity-type":"item","numeric-id":197487,"id":"Q197487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$AA7435C6-8AC7-47BA-85D9-6FD91560E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b035d390fa07086e55983bfcc17c846939379c2","datavalue":{"value":{"entity-type":"item","numeric-id":231995,"id":"Q231995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$8C3FCE32-418A-433A-B261-EE541C987451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$92163940-D554-4B0D-9999-A7969075DBD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"049debda757703127da2fc03ca0a1b5b826f121d","datavalue":{"value":{"time":"+2009-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835804$583662A0-AFA2-49FF-9493-B3AB32D1421D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b607a65b1bb811fa2daed26cc6168476e1b6f5c4","datavalue":{"value":"http://europepmc.org/articles/pmc2774825","type":"string"},"datatype":"url"},"type":"statement","id":"Q835804$B750F4FC-66CB-45B7-BF49-867F5485DA62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$1C9DCAE0-BCD3-42F7-B135-DA3232632231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$8B2804AB-AE5C-4051-A6AA-6519B1214821","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e961b404eb8762b32636566783475b37a4bc928c","datavalue":{"value":"5600136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$3A98AF49-FBA1-4503-9111-BA26B1BED8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$6C7A23EA-5682-42E7-A36A-03D83D596A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6fb9ac68bddbfa8d11616ed9b4850fa8757e1bd","datavalue":{"value":"heuristic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$2BE6A4E6-71CF-4695-8936-ABB59D4EEEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f90cd83dad24fc82d0e60664cc695c283ac5bf","datavalue":{"value":"random walk","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$A01A4066-ACAC-4CB8-A03A-3D857D08CB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2dbe2156a352470e1f2934207179b51dd69832","datavalue":{"value":"(1+1) EA","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$E842F9E8-698E-495D-996E-CBD22F052D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83317b437e356bf7e121200b883363ce75e9bb41","datavalue":{"value":"hybrid algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$D2918AAB-C134-4EB7-9EA3-9ABFE12147B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03799879d753947c0e226dae3c62602f816f8e28","datavalue":{"value":"expected first hitting time","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$9CCA91A7-1DC0-4F08-B7AC-35B54ACE61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59391821b915b007819c1a5ffb7262ad461b563","datavalue":{"value":"runtime analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q835804$D6B6F43F-8B23-49E2-B0B8-469BB3A7F654","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":"Q835804$410486B5-D6B5-4226-BE4B-0E3B4A0E4E55","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":"Q835804$89F3B738-D768-4573-A1C5-4DAFFF08E4E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfd8ffbf8f671eccff9754c8130d2e4dadb3d30e","datavalue":{"value":"W2005679383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$D9FCC292-670D-4375-AFC3-1DFE08F51DFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"437ee4a89210f3ef438e4f84ecb57cf4a5753e67","datavalue":{"value":"Q37415389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$5A7F03B6-48AB-4768-8864-29FCB534F9B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c828ce32b8f5e5d4447d7a99e610a654c3d7a182","datavalue":{"value":{"entity-type":"item","numeric-id":3994799,"id":"Q3994799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$8D11C6A4-ED39-4BF6-B40B-86338B22DE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a50fc703a31d5ca8bf26610084321c6a9db1d62","datavalue":{"value":{"entity-type":"item","numeric-id":5422485,"id":"Q5422485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$FC71127D-6605-443A-AA2D-9F65A56C75E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$8F910C20-82AD-4FE8-ADAC-9CE3B3543528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$FCD1DE17-C9BE-4FF8-9805-3A6855F7A57D","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":"Q835804$9BAC70A7-6EE2-4C55-B957-632D41299C04","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":"Q835804$57CC0142-D893-4B82-8A1D-7F4C40312C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc65e7a70c0d39a06e80c207a86fdc3cb97b976","datavalue":{"value":{"entity-type":"item","numeric-id":1605304,"id":"Q1605304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$1BE76722-E7AA-4D5F-9C5A-686BFBDE7FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$8B1A5238-2382-4E49-BD3B-9C3FC68468AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b908bde20549724c84131e43ee2c5a214a7c9bc4","datavalue":{"value":{"entity-type":"item","numeric-id":814443,"id":"Q814443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$E60B8DB9-5B65-4C97-AA0F-81984242DBEC","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":"Q835804$123A850D-D9C1-4FF7-9BB3-AD0A622DC909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$9DC265F5-D8D5-47CD-A209-62FC07812FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee948b96fe3ef151c350d6e9ae450692b1b3992","datavalue":{"value":{"entity-type":"item","numeric-id":3876725,"id":"Q3876725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$E5EE0A78-90E3-455C-B8E0-B299BD0F01DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66420b49775113a4962c131a254f6f2ef559bdab","datavalue":{"value":{"entity-type":"item","numeric-id":82025,"id":"Q82025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$8E9DA3E3-E8C3-4CC4-BFE4-15BE7E5E7D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$4B6A60C7-D236-4BA7-A934-D257EE728015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c720eb0d253943fdb90531a3cf2e5c4a50ef1c","datavalue":{"value":{"entity-type":"item","numeric-id":1354022,"id":"Q1354022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$CD8BFD73-2219-4A02-8C07-0B4813815E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$B7942CAB-92C6-40BA-B740-77FDF84AF16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$D93C3D1F-F4FA-47CF-A3C1-2F504F27A1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a681e064d24e7a3b2846edcfaaf4d547fca9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3603414,"id":"Q3603414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$9FEE8D2B-34FE-4F14-BDB7-9AF57953B8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b44d3ab57341d3a87da9b9124773b1ca70df9","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835804$DCAA5BEA-AE29-4305-AEF2-9AE3707033B3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"90f31b0c89346cfda790679dbf9c48b01d34af77","datavalue":{"value":"journals/ai/ZhouHN09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$B829B32A-23DC-440B-AA86-99899DE04B05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab95df8f99444c4d14d0ed836daed3c3ec6ebc2a","datavalue":{"value":"10.1016/J.ARTINT.2008.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835804$F02DDE06-FA29-48B3-A120-4A971EE28467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d304f4fc1e20a08aa60ff5c3d2f0d46906cae974","datavalue":{"value":{"entity-type":"item","numeric-id":5493350,"id":"Q5493350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955c601e8bddc58a3fc5726f6b9a33cfed2f7203","datavalue":{"value":{"amount":"+0.7899864315986633","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":"Q835804$22491299-427C-4C2C-B7F9-F2027515F2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004857aa6bc21c498ad33bed2a05d343bffda1e","datavalue":{"value":{"entity-type":"item","numeric-id":3081621,"id":"Q3081621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14461691ede110f1f91dc5769653d3183f2c012f","datavalue":{"value":{"amount":"+0.7828941345214844","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":"Q835804$9C835D3B-DB8E-4669-98CC-21691A141086","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":"f07c62fd99558f731f683a902db730aca05a7ec5","datavalue":{"value":{"amount":"+0.7733255624771118","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":"Q835804$A769AD77-A751-4686-9C0D-7F64DB3EC015","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":"46558c12540b74f00f580178546dba8533cb58a9","datavalue":{"value":{"amount":"+0.7675617337226868","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":"Q835804$C4738C0C-458D-46F8-9EA1-D808ECC8E37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b236e30c04c78bcf11982a4ddde25c1f17c1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4473032,"id":"Q4473032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b82965ca3b94e5d54d88593e64160e31113cb7","datavalue":{"value":{"amount":"+0.7674815654754639","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":"Q835804$CF83876F-F797-4F74-B39A-10A56D2DA6C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:835804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:835804"}}}}}