{"entities":{"Q1348911":{"pageid":1359650,"ns":120,"title":"Item:Q1348911","lastrevid":43048608,"modified":"2025-07-17T05:44:01Z","type":"item","id":"Q1348911","labels":{"en":{"language":"en","value":"A probabilistic algorithm for \\(k\\)-SAT based on limited local search and restart"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1742776"}},"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":"Q1348911$67789134-5D32-42D5-9FCC-E6B9B7C72FE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edf4751e6b4373743f20a0b464d8ba56d866788c","datavalue":{"value":{"text":"A probabilistic algorithm for \\(k\\)-SAT based on limited local search and restart","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1348911$5B9B48AC-3F67-45FC-821D-3DE17D863F5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd01fc1557b7a98b41bd7399946724f159ddb006","datavalue":{"value":"1050.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$52431A28-52A4-42C1-8D42-4CEA90499064","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348911$016EF415-8504-41A0-B058-BD05292D5570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cda08edf6e14c28a948f9b78f5bc4351bb49e6b0","datavalue":{"value":{"time":"+2002-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1348911$9E3D480C-4DA6-44A4-B933-72532A6C8720","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$B1D280F9-A057-4E91-8F49-867397F50FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$A7B75B03-44A7-41C9-822A-7592E19EF9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$A84D068A-BDC5-4954-8854-9BD7C26E9FF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7791d580b6bc2a6743b1683362caa154c842cdc","datavalue":{"value":"1742776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$83A6AC6D-C299-486C-9722-7EB5F473BF32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348911$C404BC60-236F-4E8A-9FBE-B05487CFD878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348911$04F04178-F2E6-4FC4-8D44-5B28D8D32A44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e020d336f4040f2344877fb27890751f480383","datavalue":{"value":{"entity-type":"item","numeric-id":1052096,"id":"Q1052096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348911$9C5CFF52-6DD8-4246-8742-A2951E0DE754","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":"Q1348911$DEE21512-91EE-49D7-A2D9-6F344FB529AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3b422038b9b868a44b85dfcc204a5e5219e32e0","datavalue":{"value":"https://doi.org/10.1007/s00453-001-0094-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1348911$60EADB6C-8DF5-4CA8-B0F9-AE046E34F7D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fda03c90ef97b09b79848ee05e68724f772c3218","datavalue":{"value":"W2082757215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$6891EF24-BBD9-4271-92B7-5BA5A63E1E15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04d35c5594f3355362e0425c61f939d8ecc6ec4c","datavalue":{"value":"10.1007/S00453-001-0094-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348911$D014F332-71DC-4E40-B5F2-354E816E82BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ddd00df20bd3147ed44ca7043edeabd0ff2dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4779137,"id":"Q4779137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c26c18106c11976d9f95c84adeaa92e2ca716a","datavalue":{"value":{"amount":"+0.9004804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$EA5CE514-EA03-40E0-80D4-3303A6DD6246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7b83a9ae7f2ceec1fc176017e58484f1553b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4930575,"id":"Q4930575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9e31bffe3c9ebc0ee96a850b98d9467a43fb90","datavalue":{"value":{"amount":"+0.89411587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$8C626428-3FA3-4024-9801-2B244DCFB517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cc790a3ed13be41e4f0f1941c000da147799a8","datavalue":{"value":{"entity-type":"item","numeric-id":877837,"id":"Q877837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890841cd58d40604b96c8be49b2993011333bb18","datavalue":{"value":{"amount":"+0.89250386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$EBC7BDE4-3B4E-428F-9A15-840D8EF12DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afff843711a9fa9003e8cd60af2513d7789f735","datavalue":{"value":{"entity-type":"item","numeric-id":930153,"id":"Q930153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4dd2871bd0bf30d1763bb75d74230bda6ebb5e","datavalue":{"value":{"amount":"+0.88509136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$76B8E6DD-4EA6-43A2-9C38-154D712F154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd2d6a51802cf53f2b30fe61f09ac14a5687ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd7d6c6267a4ca752d9edd12ba3c6c19a51a60e","datavalue":{"value":{"amount":"+0.8789239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$CAA535FB-9F5E-4445-8248-72D7BD81D087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61512c73da7dd21609e3628dbecc1739274971e6","datavalue":{"value":{"entity-type":"item","numeric-id":1606317,"id":"Q1606317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb56a047036c4fc9c45bbb8e60d231b5df3bc54","datavalue":{"value":{"amount":"+0.8765505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$315262FE-3806-4188-A593-71096C7ED100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5667eeabd9c46de767bf68f0db99faac2e5b60dc","datavalue":{"value":{"entity-type":"item","numeric-id":4014855,"id":"Q4014855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf188e672e10ce285e34ed999f20caca44ae3acd","datavalue":{"value":{"amount":"+0.870767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1348911$611D1F26-BBD6-41F8-BC84-691CCE8776A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1348911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1348911"}}}}}