{"entities":{"Q814612":{"pageid":816460,"ns":120,"title":"Item:Q814612","lastrevid":49779130,"modified":"2026-01-10T16:04:10Z","type":"item","id":"Q814612","labels":{"en":{"language":"en","value":"Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003969"}},"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":"Q814612$F0CF9589-459C-4E7A-9814-A8353A08123C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1cf8027ff1f52af32f2f144d180ccba69773c68","datavalue":{"value":{"text":"Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814612$3E99F23F-5CA8-4E46-B890-DE27D7E9DA9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6b73ecb70b9593ceea03d61605a71a253ef3a81","datavalue":{"value":"1085.68678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814612$F1784F89-73D6-4927-BBE6-2710ACD3897E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c873fd12c891934b89ccda54776913d83d7ce22","datavalue":{"value":{"entity-type":"item","numeric-id":197140,"id":"Q197140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$D105708F-6C1A-43A0-988D-4EB64C7B7389","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":"Q814612$AB65CE34-84AA-47D2-9A61-A18A03BE51F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814612$DAA7A9B9-CD9B-4FDD-938D-C8FAD4B06630","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814612$258CCC8F-6A8B-4BDD-9D8D-79F59719E96D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cdd7b40cf5fae6dac0012cc866275a29bc305ee","datavalue":{"value":"5003969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814612$3301E86D-BA30-4C4B-9684-A191AC7E5498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ec63c648bc66ac444a94c867b4ae62643ad777","datavalue":{"value":"Local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q814612$1CA789CB-8527-4508-9071-FF053EC4C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8be5ef29c15e8692159ecad044976e131dec4d","datavalue":{"value":"Backbone guided search","type":"string"},"datatype":"string"},"type":"statement","id":"Q814612$E53FCE18-965B-4E8E-BDF8-741E34094935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02fcc04dca9cf13e0907e5d06a5fa766af73b7b","datavalue":{"value":"Configuration landscape","type":"string"},"datatype":"string"},"type":"statement","id":"Q814612$A0441257-B108-44A7-B321-665F5A55E26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q814612$8EA4C067-C275-4C17-9B00-F8196B31FB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6f003ec2716863d14f0f864ae3a211572f1a84","datavalue":{"value":"Maximum Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q814612$9EF13BBD-66F9-4560-8504-7816D6D50A3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c87c9a09c2a3954627498cdf73b727aa673ebf1","datavalue":{"value":{"entity-type":"item","numeric-id":17188,"id":"Q17188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$4B37948E-6501-42EC-A8E4-C348AECB2842","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":"Q814612$52895D97-58B1-4DA8-A767-B2A3D0309C88","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":"Q814612$A268AB27-6661-4095-B320-AA88C7A86207","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":"Q814612$0218CA87-17CF-4E74-8949-6E93ABBE6E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76953f681a698b3a90fefdce997cde93370474d5","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q814612$DA49A728-7E95-4751-BDC9-357113E33835","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d22708fb2bd06140750874599ac38255cd66a4","datavalue":{"value":"W1586919270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814612$9DBA9411-58CB-473A-BFC1-BDE4713BC0EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edd16f1aeba976272e511ebdc370e5382ed9718","datavalue":{"value":{"entity-type":"item","numeric-id":1342281,"id":"Q1342281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$5E6D5102-8AC6-49EA-A8A3-1BF8C26E2DD6","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":"Q814612$F2D6097C-7A4B-4A64-9CB2-38E33E16448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$64E9929D-5B45-4CBD-8590-759B0D293E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$1AB4891E-7A7E-48F9-99D4-3EB3D16F1BAE","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":"Q814612$03E34639-6524-436E-8D9B-A53E12B411CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1eafdbadab6556c3d155308f91ffabae30954f8","datavalue":{"value":{"entity-type":"item","numeric-id":2674173,"id":"Q2674173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$8F20BFA9-683B-4D19-B23B-2740A309D4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0930d57b126d4670b8351b41154baa4cb1f96e2","datavalue":{"value":{"entity-type":"item","numeric-id":5671788,"id":"Q5671788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$846B7FDB-88FC-447C-BAED-D81ABFE64FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$6BE11BC8-C91B-41B2-B9B4-5C59660BCEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857379b72301066d0c896691ee31b78bca9de3c6","datavalue":{"value":{"entity-type":"item","numeric-id":2741537,"id":"Q2741537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$8866F3F0-C187-45C7-B495-3DB70FEC6B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acce4c29ddac3633a0e306dcfff5f5e609c23e00","datavalue":{"value":{"entity-type":"item","numeric-id":2674191,"id":"Q2674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$F4FD4DF0-F4FB-4D73-9288-6E77678FA281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f7a7ddc89cc967c7661f9274793c71f86755a8","datavalue":{"value":{"entity-type":"item","numeric-id":4475628,"id":"Q4475628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814612$0BEFB2A2-A950-4C79-9D38-510AC0108CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36ac64e8b97bdc8deb95766b367846f64b696dba","datavalue":{"value":"10.1016/J.ARTINT.2004.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814612$B1E08D31-C346-40E9-B1B8-DD49A035BCF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b637747c4de57442c8be67e08b896660afcc6567","datavalue":{"value":{"entity-type":"item","numeric-id":4488090,"id":"Q4488090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd91526281baf503f76c75f73c39a9341744dd5","datavalue":{"value":{"amount":"+0.815955638885498","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":"Q814612$A2B544BF-BEB5-40D9-90D9-643D1E57D802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b84916cc091d0d45fa4fee44b95ae6200abab9","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd91526281baf503f76c75f73c39a9341744dd5","datavalue":{"value":{"amount":"+0.815955638885498","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":"Q814612$D5CBE14B-B96D-4645-B217-E7B39F7092BF","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":"8e87b290736781683003e88839e6166da879494b","datavalue":{"value":{"amount":"+0.8041713237762451","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":"Q814612$E80319F2-0B43-4EE1-B9F9-8003BB29C93E","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":"9c8c9f32b9625726409945e5c59b89580588bba0","datavalue":{"value":{"amount":"+0.7960644364356995","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":"Q814612$BE879BE0-D78B-480B-B5E3-5A245E8F5FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a19d21e70c72c21395d608109daefc764d741d5","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a48cca42d6effef03b39165216f6dbc75f1e9d4","datavalue":{"value":{"amount":"+0.7922945022583008","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":"Q814612$373AF84D-E82F-47BB-8D4E-216DB9447B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:814612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:814612"}}}}}