{"entities":{"Q1581848":{"pageid":1592588,"ns":120,"title":"Item:Q1581848","lastrevid":47513266,"modified":"2026-01-01T23:03:29Z","type":"item","id":"Q1581848","labels":{"en":{"language":"en","value":"Local search algorithms for SAT: an empirical evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515407"}},"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":"Q1581848$DC5A5005-7BB8-4516-8914-0D274EF37DE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74bbdd9b1dd960a42db2fcb5891e5a6bf137d97b","datavalue":{"value":{"text":"Local search algorithms for SAT: an empirical evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1581848$ACBFC55B-52E8-454E-951A-E368FD5AA3F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2e6e739c20e4663153acbde93502d1d91828028","datavalue":{"value":"0961.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$A87EDBE5-C0FF-4299-8D6E-22D7957C69B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae0ae3f05aad038eb0698c96a3571c03e87a9afe","datavalue":{"value":"10.1023/A:1006350622830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$5491C30E-9FEA-4178-9A05-C347CA72FF79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a2bf440466d8935822f643d297ea8f3ef3e2b","datavalue":{"value":{"entity-type":"item","numeric-id":98777,"id":"Q98777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581848$449506C4-1955-4F06-AC92-90EE0C0943AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9164ac97384f562aa4f4b18c289ca9410f0b0622","datavalue":{"value":{"entity-type":"item","numeric-id":296692,"id":"Q296692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581848$6701794B-EA3F-4DB7-9F27-F9FB9D027852","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581848$475D9363-BAA2-4AF4-9618-6935AD56CB1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91ee56105cf0b4ca2d436df1d8fbe85f59c5c0a1","datavalue":{"value":{"time":"+2000-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1581848$5584B80B-F18C-40D6-8803-DFA8F638A8DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$E988FA70-D49B-4D27-856E-4212B7B9F982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$3F20C046-8EE5-426E-BC0B-851ADA3E0C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$854E42D0-A6F7-4011-9ED5-42CFFAC32DC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"896fe021d1aa38cb1d1b016493912c43c49d46c8","datavalue":{"value":"1515407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$4B7BF75D-F2B1-458A-8C90-524990326157","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e518380fc3cf20f7e7f56e0f11adfb2784e72b67","datavalue":{"value":"local search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581848$607CD57D-F144-4C3F-B445-A79104A06048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581848$4EDAD4F7-0C57-4AAA-AD09-69E39E5B6FE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581848$F907FC59-E3DC-4315-A19A-30E641EC255D","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":"Q1581848$3D590B03-B363-4BEF-8C80-D430BEA24177","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5811df8dd453880e32acc15d64e855ae6f2eb775","datavalue":{"value":"Q59586167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581848$EE8A0E14-DA8A-4BD5-A39A-B04649339BC6","rank":"normal"}],"P1643":[{"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":"4e3b5772c341ab77e0b88b676f972d7952a6ba0b","datavalue":{"value":{"amount":"+0.9955185651779176","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":"Q1581848$EEFF05AF-B71B-431C-8565-039CF1C46C4A","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":"0b90e02ed27cb72c049e68ffbb94829cbe99294f","datavalue":{"value":{"amount":"+0.8805840015411377","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":"Q1581848$C91C8BC2-4EB2-4434-B08D-157208302EB8","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":"530b3a045041bae2f72fa3a5ff7739c114d22056","datavalue":{"value":{"amount":"+0.8795218467712402","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":"Q1581848$A637D300-5925-4F89-909F-45A1D58AA454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70806c7028b94dc5067f11fc687593ac667ff247","datavalue":{"value":{"entity-type":"item","numeric-id":5054860,"id":"Q5054860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548b289fad5a84fc68fedc479571046ec331b8f0","datavalue":{"value":{"amount":"+0.8675865530967712","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":"Q1581848$0F28C6AF-139F-4C0C-9AA0-E1A010F858FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bceae4237efa51b7fbdb1cfc32da03ca2619361","datavalue":{"value":{"entity-type":"item","numeric-id":4930591,"id":"Q4930591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f693478dc3800d66f1cab0651c1a7212401ed8a4","datavalue":{"value":{"amount":"+0.8409538865089417","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":"Q1581848$BA9A8FE0-A08C-41B4-A88C-8E29C63CBF21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1581848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1581848"}}}}}