{"entities":{"Q2385178":{"pageid":2395921,"ns":120,"title":"Item:Q2385178","lastrevid":50182022,"modified":"2026-01-13T10:22:23Z","type":"item","id":"Q2385178","labels":{"en":{"language":"en","value":"Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5199892"}},"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":"Q2385178$2770B049-A593-4AF7-A36B-F8B48B75A74B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"344c8806da05f575967a3484abc5e0a72b7a5e25","datavalue":{"value":{"text":"Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2385178$388DCF47-7294-4718-9078-BF5F5E8C8B94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65b5c29aa79f37ab69d4dc027b0ce3eb5565498c","datavalue":{"value":"1211.68386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385178$D31EDCE9-8D1D-4E32-8CF5-448CA28E2319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ece34555a9b22338c3d78358878d75c64f4a1f5","datavalue":{"value":{"entity-type":"item","numeric-id":969537,"id":"Q969537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$A7EF9885-10AF-4CF4-87C2-A92C1908CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2007526997750f6621dbd8268e4738be04df24","datavalue":{"value":{"entity-type":"item","numeric-id":286082,"id":"Q286082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$09A96108-E9D0-47E3-B8C9-3151B0613367","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$FA7AD061-868A-430F-8688-B652F08C6719","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2385178$8371CD9A-D876-45C5-8C44-2602A53D3497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385178$9C7A6061-5DEF-4291-B5E9-8A91652CB835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385178$A92E7A60-868E-46A1-B737-B9BFBCBDD2FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b52343d048258626768cf54f56de4fda08d94f9","datavalue":{"value":"5199892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385178$BAF499FF-E377-46B8-9BD9-01885DB73400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fcec8e546d133ed330fa44a395a65aabde15d","datavalue":{"value":"pseudo-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385178$50BADD27-8311-44D4-880A-A2E14A061D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c78b0737499e0b53f27cb58577d0501e12bb8a","datavalue":{"value":"stochastic local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385178$D1E0C43C-FCFE-42C3-B126-5E8574CA1AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385178$6348BC33-E692-421E-9652-19F4B23F8AFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$E3C1316E-5979-4B41-A108-1548AF6EC417","rank":"normal"},{"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":"Q2385178$63FE6F71-4623-4108-97D4-93CD23CD78AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$EFBF5158-080B-4115-A0A9-12B2CC11880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebd67a4ccc2bf86a9f3ea1786e3ee2f38f950f1c","datavalue":{"value":{"entity-type":"item","numeric-id":16950,"id":"Q16950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$4962D127-C23F-46BC-A7E2-5F2C89F94C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$7875C236-0763-409D-BBF5-EC102B171512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$4B4167F5-2D4E-46DD-81FA-2A69DAC1CC75","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":"Q2385178$676AFEA6-3DB7-47E4-B798-170DFC4EEB08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"342b001ab8956eaa8decc2850624a4c42893470e","datavalue":{"value":"https://doi.org/10.1007/s10601-007-9022-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2385178$05470C23-AE9A-4286-A059-5E58F787BA8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86100d4316292cf5f9d9ee50881888f71f2862eb","datavalue":{"value":"W1994152502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385178$E3C76A12-05C6-4017-8B5F-847E427BA61C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e5236ce355517f1e8ebc1e630782add473f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4942636,"id":"Q4942636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$1756E0E0-ADCC-4CD4-8543-3F3DA101F786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62dd0e95fbc40095986b3af6330eea320df1382","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$22312D6E-9E77-4F02-847F-0DA8A3B059BE","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":"Q2385178$9C128D14-998A-44DE-B4A6-3D57EEBB680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$F6F5718A-F90A-45C7-B6E6-5BE39BA03811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$744434AA-6AF2-4705-BC3C-6FA4E01D5DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bdb543bfccff2be9e748fa6b090fc26808a3a9","datavalue":{"value":{"entity-type":"item","numeric-id":5897213,"id":"Q5897213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$3F2FDFB4-95FD-471C-A421-AB3D2673BA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1fccc99698c14d7e57ebaa0e58c68bcce15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3429158,"id":"Q3429158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$47088EF5-6B35-41B8-B480-8DA38716262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e9cad968c84cdbf2d5746b8263eac8534e41f8","datavalue":{"value":{"entity-type":"item","numeric-id":4386960,"id":"Q4386960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385178$FD661EF4-D03E-4F93-96E1-7AB811D8C29E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96432db7f45bd4e6510f96a138ddcb0bdce6ace7","datavalue":{"value":"10.1007/S10601-007-9022-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385178$0EBD4C15-9C56-4FF9-8615-6ECCDE62F00C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f869269178846a8f00e504a066fa7b0e45ad4d8","datavalue":{"value":{"entity-type":"item","numeric-id":2455454,"id":"Q2455454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be233f8b3965d538088ee6ca8db26be74a1476ab","datavalue":{"value":{"amount":"+0.8028702735900879","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":"Q2385178$9D878BC4-7E76-46DB-867B-AA937987FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e628192e1fd84f9e3278a662d27304b474e50b6","datavalue":{"value":{"entity-type":"item","numeric-id":3429161,"id":"Q3429161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f24ece467797e70c37cc16b9697983d8ad1894","datavalue":{"value":{"amount":"+0.7972492575645447","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":"Q2385178$3D1E0C2B-6BB6-4ED2-AE21-16CA0FF9089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9add2c231bf72ce9ff3a1c39cd34a1ab574b51cb","datavalue":{"value":{"amount":"+0.7751030921936035","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":"Q2385178$4C2C1B82-1CE6-4FC3-82BD-CCD0E17CB758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78566365a37fce84290891d5df3a0fbe226c394f","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedef9f398ff56dfb780e372a74398eee3302d32","datavalue":{"value":{"amount":"+0.7718788385391235","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":"Q2385178$37257004-7840-4592-8577-403E16C0BCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6155544473dc758c4ee7e9e9c36d2061fdb95","datavalue":{"value":{"entity-type":"item","numeric-id":5897213,"id":"Q5897213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a346d2f0afcf3742b186b7f5a6ef8c18b635209e","datavalue":{"value":{"amount":"+0.7693052291870117","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":"Q2385178$03A4C35F-4356-40DD-BD8D-E5592316766C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2385178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2385178"}}}}}