{"entities":{"Q6535529":{"pageid":14146672,"ns":120,"title":"Item:Q6535529","lastrevid":95488808,"modified":"2026-06-05T09:08:31Z","type":"item","id":"Q6535529","labels":{"en":{"language":"en","value":"Local search for solving satisfiability of polynomial formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787549"}},"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":"Q6535529$329ADBDC-D0F9-41C0-9D6C-497FB4C8501D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d11a8f4f8993e5d7075d9d449eba1ec627ee141b","datavalue":{"value":{"text":"Local search for solving satisfiability of polynomial formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535529$B031777A-89E4-46B7-9569-3C47F3F22878","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ef67add9bf82d88823fda0f80ef6058fac95a3a","datavalue":{"value":"1545.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535529$3522B506-0529-422D-A88F-DAF293F0B620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1b804b0cdcd70da18a916dac6fc82cbe4f5cd34","datavalue":{"value":"10.1007/978-3-031-37703-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535529$941E3FAE-4760-49EF-9E0A-4E530CEDA188","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c90ec90e41635139b04ecd99966e739b5bf7107d","datavalue":{"value":{"entity-type":"item","numeric-id":2100060,"id":"Q2100060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$871856B7-A9C2-4A3F-B3FF-E594C3524EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$E482D9E6-AB16-4CFD-A784-0EC8AC223FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bca2332883a8b3415207e9d8f05b9369bec8b8a2","datavalue":{"value":{"entity-type":"item","numeric-id":309707,"id":"Q309707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$B5B86F2C-7855-4A1B-BA21-F70EBDC2A297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535529$5BEFC5E2-1136-479B-8A33-3E6A54A3D0FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535529$4AB633EB-D2AA-45E1-ABA0-A0A0A0914A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535529$99B658C6-C027-46B1-A4D0-2CC5491AEF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535529$FF6BA6A1-D734-444D-896C-ECB08DD12F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e770ee59a1ddb010c6d5c22d1c17daaa4a2ed0e","datavalue":{"value":"7787549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535529$EF3D7482-5B5D-4AB0-913A-DF8F7C0A3D09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535529$04F29B53-0DED-4390-BB94-7833A366A3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535529$BE7AE657-9C55-4DE9-BB49-BC5C838FEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd78757037ec84963d77be55fc12c9fc31ad9d9","datavalue":{"value":"nonlinear real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535529$92355A43-6490-4AC9-9A9B-8658D0AD97C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2896bfdf425bf0bcd10d1f14293f4c7f0467cb11","datavalue":{"value":"cell-jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535529$C3A6C7F8-0A35-4D68-A925-395469D2804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535529$85FBE249-A3F4-4408-917F-E527A4590F4F","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":"Q6535529$FDA09811-4FDD-48AB-AB3A-2D8B8912F692","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172794cc6d13649d0166d25dee722d6acdb3f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$C24A38C5-EF6B-40FF-893F-AD7EA6ED1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca98daa9b6c754a2aa9f9116fc0c16578202f57","datavalue":{"value":{"entity-type":"item","numeric-id":2843318,"id":"Q2843318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$0B57C0B7-B1A8-4527-B756-4C34B96518EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$15DCC046-FA8B-4626-A335-8AA100186E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7e5151d0fc1ca64a555cb02fdb2c0495b3243e","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$EA149988-5D43-42DF-A0F7-58D919D15585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e39f55763a7bd4074bcf4677c61231c9740466c","datavalue":{"value":{"entity-type":"item","numeric-id":2343239,"id":"Q2343239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$5C824FE1-14BF-454C-B7C6-B33377FFF5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d52c7527ed5ce8045cda54dd18d2e3d39d3753","datavalue":{"value":{"entity-type":"item","numeric-id":6487338,"id":"Q6487338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$B5E74110-A9F3-4397-8F36-E1233F9262A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319b1024154434406686dc35c9360c8866197c6","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$2AF44CB3-62C6-4F8E-94D0-E93802BFB036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1645d5977fcbb346c223f2e9f46edf7dc223d58","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$0F737E71-F7E9-4CCD-91F0-221263A4F7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$07B73C08-70F3-4DED-84F0-AFC1CF31A916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$2234BC7B-7748-4F1F-8F8A-98EE906D22B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$A3FB37C3-ADBA-473F-B00A-F88D049035D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$E5489E71-5E2B-40FF-8783-4BD21DABDC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$5A4808BD-8E14-4F99-BE20-97CC3705D0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808ae9df400fef66320eeee8278dccce350bb32d","datavalue":{"value":{"entity-type":"item","numeric-id":4247468,"id":"Q4247468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$57DB7F9F-24E6-49B2-AAAD-0A0306EDE54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4881d6b7fb8d175bf1c046124177a852c3e5907","datavalue":{"value":{"entity-type":"item","numeric-id":3172891,"id":"Q3172891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$30D7AC12-8371-4435-A162-8EAA84073157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$926A3290-F71F-44CD-A226-6C11F26B37CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0cfa005db30ee2379f3032b81e86e439f1d6b2","datavalue":{"value":{"entity-type":"item","numeric-id":4295433,"id":"Q4295433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$425D4DC4-165B-4942-ABEF-F84031311B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c59e09bb020d03d7c99ef70a67a6029b9fe7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4391223,"id":"Q4391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$11FA31BB-CA8E-4F7A-AF58-A26E742E2DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc3632f610e97e4c79c25f69428119c0fd7ceff","datavalue":{"value":{"entity-type":"item","numeric-id":4633534,"id":"Q4633534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$F78384A3-5569-450E-A14F-90D4781D6271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3922ea947a1ecf0f270f081b90b78ff480340df8","datavalue":{"value":{"entity-type":"item","numeric-id":5312895,"id":"Q5312895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$21C7ECC5-AA87-4D8F-B779-6D5AA7A69EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$5FC4ED8C-60F8-437C-9007-ACDB372701AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49f4f7d6b91784c37c6cc02d22520c86677ca2c","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$C09BEB74-4DF3-44FF-BD94-E13B3D2B9A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$1AB5EEA4-7D57-44D2-B4CF-9944BC31B25D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484a4c8b09e108fa59838458d6677aa387d0c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":2817923,"id":"Q2817923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece6d6cf9ca50f5cb88f865f558202b0f2383b76","datavalue":{"value":{"amount":"+0.7611744403839111","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":"Q6535529$6A285371-3955-4BDE-9EA7-7F8C04DCD880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf6f0dbeb8147d2364ad7c7f8a2579346e83480","datavalue":{"value":{"entity-type":"item","numeric-id":1687555,"id":"Q1687555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef4b9b2b8ae57356a9438cf0c17401020ab8860","datavalue":{"value":{"amount":"+0.7588790655136108","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":"Q6535529$2077A73D-00CE-47E9-88DD-4757157D374B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148233dac74b824b39a35c083b6942896a6d39dc","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622c1df312bce1d6301945bd2dd3042f06f80e28","datavalue":{"value":{"amount":"+0.7496640086174011","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":"Q6535529$F419D2FB-CABF-4F91-AAE5-2D0B94C54D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318b52e8fc5bc5dd8bc5aa6336a138b14031ba2c","datavalue":{"value":{"entity-type":"item","numeric-id":6487338,"id":"Q6487338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956dd5d4f5ca149572690d9fae8e3e1a65aca127","datavalue":{"value":{"amount":"+0.735808789730072","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":"Q6535529$99263C18-9176-4AF9-89EA-DE93DDDE4B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1befdcaeb9e87306693f923121950d30de6c627","datavalue":{"value":{"entity-type":"item","numeric-id":518407,"id":"Q518407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086f33144b393a326db3c271392167449c7ce601","datavalue":{"value":{"amount":"+0.7316571474075317","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":"Q6535529$F1E982F8-C1BF-4C93-BEA4-A2C708E600F1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535529$656EEFC1-0C06-4711-B55F-DDCA8F9D5F0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local search for solving satisfiability of polynomial formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_search_for_solving_satisfiability_of_polynomial_formulas"}}}}}