{"entities":{"Q814434":{"pageid":816282,"ns":120,"title":"Item:Q814434","lastrevid":64604592,"modified":"2026-04-11T21:00:34Z","type":"item","id":"Q814434","labels":{"en":{"language":"en","value":"On market-inspired approaches to propositional satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003863"}},"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":"Q814434$4C8D9A69-11D2-49A7-8CCC-80633A5A5B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"917b1202ae06c86a4cf2fbe90487fa0031536e9c","datavalue":{"value":{"text":"On market-inspired approaches to propositional satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814434$619263C2-1127-4444-B9A0-B8A27DB52CDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a49474e7ae83f70a3134f366a7f9b6794b5a8e9f","datavalue":{"value":"1079.68623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$CD8D2BD9-80E9-4D56-A417-8A5B31973E88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03ea09671d8ce550d30755992042ef9939cf1333","datavalue":{"value":"10.1016/S0004-3702(02)00386-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$F84EF17A-C3CA-40DE-8776-C82785F7EF40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f1ef34ae9d3d9526ec05098cf7c5fdceca09046","datavalue":{"value":{"entity-type":"item","numeric-id":192141,"id":"Q192141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$C7050DDD-877A-4C5B-9578-882C32B3897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9754c52602bb0cabfaefc334c6f45fd5463b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":222880,"id":"Q222880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$857FA4DD-0CF6-4349-96B6-D0025768C720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffed388eaab62f25746e65d9a0b250c31fd16150","datavalue":{"value":{"entity-type":"item","numeric-id":814433,"id":"Q814433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$32661DB0-2F60-42DA-B2AE-17F4024E6D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"433dfb2f7f78b1d582257dfe5ad1fab2d53abbe4","datavalue":{"value":{"entity-type":"item","numeric-id":192140,"id":"Q192140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$B11CCC53-0081-471A-B14C-31F37F8BC28D","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":"Q814434$0F05867D-D264-4B22-89BE-48E13E28DD8E","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":"Q814434$94032241-178A-4288-9F2A-2686F11E6186","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$8DE7BE19-0118-4114-BCD3-F63A4E6E4683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e419163fd9b5f210c8c0c28cdb07c2197a2bcac","datavalue":{"value":"91B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$FBFA9D56-E08C-4C51-992F-F82325B0380E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80718a83760f33c82bd6a2d57ea7f72add8a040e","datavalue":{"value":"5003863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$7091B456-5A8D-4411-BF44-BFA9C6F94D1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q814434$773D2D41-65D2-46A6-9410-77E97AC3D7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada7728c21a8e45c766ad5d936240f18a23230ec","datavalue":{"value":"Market-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q814434$4A0F5EED-8D41-4276-96AA-680BB0A130F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d1f156217a790c2e2e9959012c738d2bed8cad","datavalue":{"value":"Distributed constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q814434$70F290E2-E01C-4741-A8D9-C8589C4878B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf32f48bdb50eae73a2e528954cd0fec8145560","datavalue":{"value":"Auctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q814434$045F1E5F-9B2C-4AAD-9D37-733B31241811","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":"Q814434$0F2AF3AF-0ECC-4038-B062-03E9120448AF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5a75072f578e246eecf1790bc3c1aa239611fb03","datavalue":{"value":"Q62636513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$2202B69F-3E35-4D9B-8812-86D8968621FA","rank":"normal"}],"P223":[{"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":"Q814434$83364AEB-AA71-4D66-96B3-11FF7AA267F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bfa948fa223754e72d6a7f628f5bd864dfff96","datavalue":{"value":{"entity-type":"item","numeric-id":1273452,"id":"Q1273452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$E92D6843-93A6-42A8-B9B8-4D603A4AD799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d979ba77ecfe53a8e36438976f85824016785a8","datavalue":{"value":{"entity-type":"item","numeric-id":2674177,"id":"Q2674177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$04F1DDB5-99DD-437A-A040-4D66F3E268E7","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":"Q814434$A08D9F14-5B53-4CE9-AC41-8B86C6D8EF17","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":"Q814434$74FF1EB7-C8F4-499D-A392-1AEC2907FA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14962a9eeedf45b07db3e8110e45420e3498a11e","datavalue":{"value":{"entity-type":"item","numeric-id":2674181,"id":"Q2674181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$7DE36F70-245B-4177-BF74-5E3AA9510320","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":"Q814434$7C009665-4121-4FE8-88A7-89C88A606802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7811966a6bb642cdc69727662284a1927125d64a","datavalue":{"value":{"entity-type":"item","numeric-id":1120444,"id":"Q1120444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$345BEF99-5538-4025-9223-3FDB185BE275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e304ad2c02c475ccea6690a6331eda2e7da27541","datavalue":{"value":{"entity-type":"item","numeric-id":5938625,"id":"Q5938625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$AC922FC4-6E10-44EF-9185-7FB573AE9342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ccbc677c1441ed9609116566ff78c244ec6639","datavalue":{"value":{"entity-type":"item","numeric-id":4488090,"id":"Q4488090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$A5E3D91E-2EA8-4F58-B842-18589BDD2897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d0170ae68dd943f96fc1d16c2efa7d3a10bab2","datavalue":{"value":{"entity-type":"item","numeric-id":4386919,"id":"Q4386919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$47891624-8E4E-486D-8F56-5022A91B3DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d856288c558d5e98b23379edba5806ee50a21e","datavalue":{"value":{"entity-type":"item","numeric-id":1277049,"id":"Q1277049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$F69049F1-F93F-4D29-8BC7-2BBE935B8BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5345243181ec8769f43e273fedc24ad4556498b1","datavalue":{"value":{"entity-type":"item","numeric-id":4704218,"id":"Q4704218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$54B5A387-AFA1-46B1-B2AD-CFD6597E346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a53455d2601d527e57bd687b17aeeebbb51244","datavalue":{"value":{"entity-type":"item","numeric-id":2704802,"id":"Q2704802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814434$875ACF22-1C2C-4432-BEB1-20CA4DC91399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfac12bf6b22de1a8ffbe3b16852be068465fc8b","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(02)00386-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q814434$BBDDE1EA-C43F-4667-9E51-62556103302F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29419791cbed1fbb96a24f3604ab552c02951433","datavalue":{"value":"W1991871113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$E8EDE536-D97F-4B66-AE61-3F57E6E8F8FA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"49e783c6503131a75caa7b1c49576f0952c1205e","datavalue":{"value":"journals/ai/WalshYHW03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814434$C9D2BDA4-F3AF-4FE3-86E7-24F7A830B765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5cba3543ef474116a7ae6f27260c1a42b83e8a","datavalue":{"value":{"entity-type":"item","numeric-id":860390,"id":"Q860390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364c3b63dac10f17ba5ef99606e9c195180e2f32","datavalue":{"value":{"amount":"+0.7113832831382751","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":"Q814434$9E67556E-1D27-4763-90DF-F3D9DC4C9EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9407735ae5614e955ff13b01e7f4d60ce06795","datavalue":{"value":{"amount":"+0.7041142582893372","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":"Q814434$F3312D12-5DA6-435A-8062-5F7679D52BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac6ae5f56bdb8cc2d7f3cc6cd2acd25cb3a8744","datavalue":{"value":{"amount":"+0.7027856111526489","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":"Q814434$9EC16864-9E51-4C50-B946-77B1F8242546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377e131ced0575badc28925debbc0dae5e85fe31","datavalue":{"value":{"entity-type":"item","numeric-id":4386921,"id":"Q4386921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f8828ef11f696623f196b3f0f53f467e6e08ce","datavalue":{"value":{"amount":"+0.7005201578140259","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":"Q814434$B2A631EB-F9D7-4525-839B-3116B5D5A4B7","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":"dfea6816a20f8411403b53865ea142b431c50a17","datavalue":{"value":{"amount":"+0.6982077956199646","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":"Q814434$493BEE0C-3288-4FEF-84EB-B0E5ED9A14CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On market-inspired approaches to propositional satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_market-inspired_approaches_to_propositional_satisfiability"}}}}}