{"entities":{"Q5958635":{"pageid":8135437,"ns":120,"title":"Item:Q5958635","lastrevid":47755357,"modified":"2026-01-02T14:53:27Z","type":"item","id":"Q5958635","labels":{"en":{"language":"en","value":"Local search characteristics of incomplete SAT procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715664"}},"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":"Q5958635$CFA3E2BF-E4C3-4D42-BF9B-BAE317633C95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32c5dc964e2d0f30bf44a5575ab60ea8a201f2a3","datavalue":{"value":{"text":"Local search characteristics of incomplete SAT procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958635$ABCC6BFF-320E-45F6-B6BC-9389CF2AE30C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"710b58f6982a269bbe47cddb95b14d074bff42e3","datavalue":{"value":"0983.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958635$C8F0CE16-87C8-4FBB-AD93-058B7F889F89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57566fa6b178c92193fc3ec8c2c3cc822dca09f9","datavalue":{"value":"10.1016/S0004-3702(01)00151-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958635$3B8EA128-6D62-4FC9-B5B1-740AFE0A8EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99a6bedbeb2d068ee6b81fb33dc759dc85ececd6","datavalue":{"value":{"entity-type":"item","numeric-id":207973,"id":"Q207973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$D127532C-27A3-4540-BB19-ECC05D9AD1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b5161656e69d643faf651a358b50cd0dbe10fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1009315,"id":"Q1009315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$701FBD0B-94A0-4F1A-B73B-5F446E0FED68","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":"Q5958635$4B8EF263-0E2D-40A6-A458-C87E99FAA1C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958635$905B853F-F3EA-42BF-8CDE-1C095C2EFB4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958635$7333C64F-496F-4439-85E4-942009A46B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958635$0308C47A-6A14-40B9-BDC1-4D05C2E6BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958635$EF617124-D6EE-4B66-9E30-BEB24B6BF21B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d33b69f97244a6c1f66a1b4654e6d4e7afe77cb","datavalue":{"value":"1715664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958635$FBA4229B-0EC0-4382-AE8E-505C99667BD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958635$F12A9AA1-A341-4FB7-97B6-4AB986A8C27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958635$57E1934C-58F7-4C41-B122-834D8FB2645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958635$BEE2B63A-B560-4B73-9BD7-5EF846ADE488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"885c63ca0a971223eee70b8ec4060f9c24ed83a7","datavalue":{"value":"experimental analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958635$39F21DA8-9AE8-4C48-BF43-2568F12F3436","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":"Q5958635$7808959F-5392-4F1E-AF76-E727E9C8A4A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31924ed1ff225544f564ea6fac23d6b168acfce0","datavalue":{"value":{"entity-type":"item","numeric-id":4386921,"id":"Q4386921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$9F8CD163-C145-48EC-BC90-628E72593593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$363B97B1-B69D-490B-BC82-6E6279B2D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30729e7c14150ba938d742744f638a3c333b8db","datavalue":{"value":{"entity-type":"item","numeric-id":4224236,"id":"Q4224236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$7A384FE6-3CF1-403A-81F3-878C70D37935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc73231be70fd5400391e67f48047e0db92de2","datavalue":{"value":{"entity-type":"item","numeric-id":5958635,"id":"Q5958635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$B3FFA7A0-4014-4EB1-ADDD-035A9FAFC5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d02d1ea3c025df6a57e4eb8432aceff8f23709","datavalue":{"value":{"entity-type":"item","numeric-id":1383842,"id":"Q1383842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958635$56FEC754-B003-4A95-A9D7-6B44CE9403A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f53227324ededbcc859ac44f8de37bedb0d642","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f05fb3981e5060b6b52df8b1fe1dbd69fdc8210","datavalue":{"value":{"amount":"+0.8261786699295044","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":"Q5958635$03F8B0F6-7588-4B22-8718-8F9ADDD1FE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2286fbea96793d363f95c5b507743d7fdf2874","datavalue":{"value":{"entity-type":"item","numeric-id":3604003,"id":"Q3604003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e5121121c869c5df0c74ac6455bf1c35bb9133","datavalue":{"value":{"amount":"+0.8205999732017517","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":"Q5958635$92D479DA-7D56-445B-8497-BF1C7AF3D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcce7491e3f3df09e83119df179120a07d033a0","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99290e4de1f36a0e86a273bc49c07b1e1dd1169c","datavalue":{"value":{"amount":"+0.8172441720962524","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":"Q5958635$5D1C4EBE-9754-4F8C-901A-774CB7AE76D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56269419517fdbbf368cf98297e5e34da18a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b3d0495e70864ab793240a0115350b591e1d34","datavalue":{"value":{"amount":"+0.8154405951499939","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":"Q5958635$C72F45F0-AD66-49A3-9FCF-CB889BC70F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef04500975d5d588d8e907758698790320bc544b","datavalue":{"value":{"entity-type":"item","numeric-id":2749857,"id":"Q2749857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3f8224306f35a1c6805c22dc7eb027403461e1","datavalue":{"value":{"amount":"+0.8135389685630798","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":"Q5958635$DF94C272-F854-4366-B2DC-176F197F6FBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958635"}}}}}