{"entities":{"Q930153":{"pageid":932001,"ns":120,"title":"Item:Q930153","lastrevid":50390816,"modified":"2026-01-13T23:08:08Z","type":"item","id":"Q930153","labels":{"en":{"language":"en","value":"Modelling the dynamics of stochastic local search on \\(k\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291488"}},"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":"Q930153$4589501B-2C4B-422A-B8BA-512582748322","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f893062b1ea1dc469782348df33d8208cebadb4","datavalue":{"value":{"text":"Modelling the dynamics of stochastic local search on \\(k\\)-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930153$8B053923-4C17-4E46-8421-8DEFE4E161D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a44d2d4477f048982cee956deda6badd6a0fcb51","datavalue":{"value":"1142.90460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$F753F060-042C-4385-9B72-EB099AB2168F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b90f922119d55dadec20dcf17da4ee8360c3e4c3","datavalue":{"value":{"entity-type":"item","numeric-id":930152,"id":"Q930152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$1D6FE59E-72E2-48E3-8E1C-1F2422999518","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6f0d7ffbb607d6035121b8d5e1f0c34b25e1ff15","datavalue":{"value":{"entity-type":"item","numeric-id":89111,"id":"Q89111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$6F67B287-68B4-41C6-A122-A5FFBFA8DFF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c63cea62240ac8db5861bbe0ba2ad129d649c0db","datavalue":{"value":{"time":"+2008-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930153$984E12F0-E4DF-4B29-BB90-FC4529A53315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dade3bc82a2f7e555fdd92f6a7aa24c002fcafaf","datavalue":{"value":"90C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$4EDB3301-B8D0-4CCE-967E-6E1D93E0A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$C69870CE-96B1-4588-A959-3016181BBBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$A2070A1E-7F57-40C2-9E4B-447E222B3E42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c73cbe16d9aef8955ed667c8facc2cb1f768a2fb","datavalue":{"value":"5291488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$516623A8-BDA6-4406-BC3E-2C84DFF7B492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a157ec89949b4cb9c2900e2c490dffc85b152d","datavalue":{"value":"Algorithm analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q930153$0DAC6FD4-903C-42EA-AB7B-34986B889047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a539497c6025f3ae7ed302710e54d401534cad04","datavalue":{"value":"Experimental evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q930153$B6566BB4-50E4-4FCD-BB1F-273C09468188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8a65309c6b6c310aed01da020f45af0c9f73fe","datavalue":{"value":"Stochastic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q930153$11E2A540-4133-4CDD-AC40-D86CCB46F738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ec63c648bc66ac444a94c867b4ae62643ad777","datavalue":{"value":"Local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q930153$B3EF7A1E-1AFC-47F1-924E-DCBF03300061","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7e6827c5fd59632d48d17e5c0f38766287897fd","datavalue":{"value":{"entity-type":"item","numeric-id":20565,"id":"Q20565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$0FB5C8AF-73CF-4458-97AD-6842AE949FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$36F8A340-2805-4EEE-8504-F7096AC9494E","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":"Q930153$C66BF73F-2176-4C32-87E2-280EBF3A379B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8776068847afd51fbb2d623ae429ae115fd9d0b","datavalue":{"value":"https://doi.org/10.1007/s10732-007-9023-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q930153$95616659-9FA3-49BB-95C5-AE89F226DFA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d49f7dc0e2a5a94854391b3ab672ca686f222765","datavalue":{"value":"W2009739012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$AC2E1CB9-3566-4D21-9CC1-49FA653B9497","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e924ad94c5469be252144a09437ddf56c05f8971","datavalue":{"value":{"entity-type":"item","numeric-id":4790412,"id":"Q4790412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$29F457EA-8FEA-4966-A663-D3482153E890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc870744846575072bf5ee045339dd2dafe30a6f","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$EF8E273B-C059-43C4-98D0-A360D1FFA824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$308D19D1-1DB2-4492-A817-9544866C0463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$4BEC60D9-0386-4117-8978-147700ED4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebcf8264637f00b351d5f5ba8b4c7efbb6165cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1572589,"id":"Q1572589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$5EF5800D-EE07-416D-A2FB-2D237809EF3F","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":"Q930153$88DA54E0-400D-4688-8CB4-62A6E95457BC","rank":"normal"},{"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":"Q930153$B5CB6863-587D-4FB0-801B-D7430FAAF37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa03fdd53c1b9f8eb1141c56fc2bb4afc212b013","datavalue":{"value":{"entity-type":"item","numeric-id":1821034,"id":"Q1821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$E4216067-D7F9-462A-9873-4B80F2FF4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0937ca48ee2da2a5f2d88367d5acaa5ade75b897","datavalue":{"value":{"entity-type":"item","numeric-id":4202466,"id":"Q4202466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$6B6E2F17-F3AB-4593-BAED-16BD3EBB6C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63223a2b10e799e0a620d9698b0286ebd9668db5","datavalue":{"value":{"entity-type":"item","numeric-id":5441360,"id":"Q5441360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$88E91861-688D-4B26-B3BD-F228D5C126CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$F9EF924B-8270-4F1C-80C0-BD9E05162948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741e30ceb0a83e043199aa0c9fefa3fb42ab37d6","datavalue":{"value":{"entity-type":"item","numeric-id":5624533,"id":"Q5624533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$DE2DD4C4-C74D-4094-8B7D-FA9289FEF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc117c887d682c44a18cb82bd37083ff8a25e26","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$3441A8E5-7E4C-4991-A262-02DADE182056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$755FBC15-974C-42E8-8B79-3EC864F32C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$36B65EDD-D563-4C20-B91B-A59249D1D17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$4C9F3A50-B52A-4460-BCC8-EA109B20D749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$A843D0EE-A55E-4666-A009-F6C5ACBCB692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc18367fe7af12ad488b5453bfd56f4355649f3","datavalue":{"value":{"entity-type":"item","numeric-id":3703588,"id":"Q3703588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$9E1A5BA1-0E32-425B-85E5-D10D40C8299D","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":"Q930153$287A084D-4AE1-4A5B-9348-8857FD132676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5e6a8f94a985809f5a1fe898b864a51dc51457","datavalue":{"value":{"entity-type":"item","numeric-id":4711428,"id":"Q4711428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$729A73B2-5644-4D15-ADE6-88C2DBF0645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ac5b7adf4220523c7b73d62c35a9925a834b51","datavalue":{"value":{"entity-type":"item","numeric-id":3836833,"id":"Q3836833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930153$62DD15A4-18E7-4A4F-9813-B81ABC4794D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac76cf97e845285022e5e37ebe51717c082fdb2","datavalue":{"value":"10.1007/S10732-007-9023-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930153$ECE0FF78-4EC6-415F-8AEE-A43FA04EEDBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ca2672ce2a3c84ea6047919080b8b2f3c7593","datavalue":{"value":{"entity-type":"item","numeric-id":4736908,"id":"Q4736908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1783a02851ab3920dab6960a8cfdbb047b84000","datavalue":{"value":{"amount":"+0.8117382526397705","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":"Q930153$9909379F-8F97-4E95-BF9D-B1B329262B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e2518ce1b4955cb1412cb8566d55a6fcbdd73f","datavalue":{"value":{"entity-type":"item","numeric-id":626907,"id":"Q626907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e745ed50ff68fc4646c421f03837c56f05fa070","datavalue":{"value":{"amount":"+0.8001322150230408","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":"Q930153$1F058294-DC33-41D9-A759-BF042227FEBF","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":"9eabbb120d3e5bc17b14e669c85177f7fa7bd29a","datavalue":{"value":{"amount":"+0.7864429354667664","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":"Q930153$85CA6CA8-CC58-4C20-BB94-6BED038CD70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca4e33ec9647d9f08c6d2d75496dd5e14cab8d6","datavalue":{"value":{"entity-type":"item","numeric-id":3637172,"id":"Q3637172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98bc1fef43d4348ddee8e7be7b85dc0bbcfb74f","datavalue":{"value":{"amount":"+0.7760437726974487","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":"Q930153$8851BB71-A882-4A9B-A9E8-EA2CEDDBE4D8","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":"36211d9d51a3429e8d821fc290813d2fd4f1f82a","datavalue":{"value":{"amount":"+0.7736499905586243","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":"Q930153$0704E90C-4554-4141-A629-56E92F66AAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:930153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:930153"}}}}}