{"entities":{"Q5041067":{"pageid":7070644,"ns":120,"title":"Item:Q5041067","lastrevid":54419663,"modified":"2026-01-26T19:11:37Z","type":"item","id":"Q5041067","labels":{"en":{"language":"en","value":"Applying machine learning to heuristics for real polynomial constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600901"}},"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":"Q5041067$4ED1246D-DE03-44E6-9D5F-3FAD76FC9AC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fac03ec9312aa900cbc998b2e8c9f87815931db","datavalue":{"value":{"text":"Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5041067$1776BBE2-2F98-4E40-ADDA-CE1102472019","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e19fa273694240e164c468c761537369b2720efe","datavalue":{"value":"1503.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$74BA4010-A68B-4C8D-B33F-CEF47E28C1D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7368dff99946776e13fba3e0593b130f8d829794","datavalue":{"value":"10.1007/978-3-030-52200-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$54A6A3E3-C306-4C1B-921F-ACF5B64AD026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$02FF2AF9-CFB4-4606-9688-9111FB2C41B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"989c16e721e4bc455e8b2ff4ce735921bfd549c2","datavalue":{"value":{"entity-type":"item","numeric-id":5041066,"id":"Q5041066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$37D52991-8AF7-43E1-8BF4-C2B1CCEFF89A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$86CA9634-CAA1-4B42-A120-C07FE41D3DBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5041067$108903D3-58E4-47D6-B508-2D1700106BAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$6892A341-D321-41CF-BB08-2A396D3C7F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"efb809c7138464a470e21fc4cb0dbe615f42f348","datavalue":{"value":"14Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$DEE5A604-252A-4EC5-B4D7-AF62DDB5D301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$2875B5C6-85C0-4141-B95F-65109963A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$257E4ABC-A053-402B-8BA5-E2867B7D16CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4bbceec30a561a49377b333de442338325e2f3c","datavalue":{"value":"7600901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$26EB7904-AAD2-4226-A940-6E3DBBCB4154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ece6b78cfe486a5847e5a1470a8889a460b465a","datavalue":{"value":"nonlinear polynomial constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041067$4BC2E91B-4999-4D01-995A-832C599821EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041067$C8A80E55-1063-4256-9335-8CBC71BFFCDA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3da006fb1525ecf748da0fbe1eede5220eedbf5","datavalue":{"value":{"entity-type":"item","numeric-id":27379,"id":"Q27379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$0322C4D2-41C6-4921-A311-CEFE8D3ABD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$5DAD5365-4C6E-4840-B0AE-723538BFCA69","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":"Q5041067$0319DE58-F5B5-4A26-B6B6-8795B22A651C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6212e58a0f9694bec7a2ee6b0824cdc78e3f16af","datavalue":{"value":"https://doi.org/10.1007/978-3-030-52200-1_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5041067$E6B68F4F-E30E-4E00-BA94-072759E4B2F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d58eeb3e91db88cb36e137fb5f58c7d4503e0782","datavalue":{"value":"W3042061643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041067$922122F6-3F21-4A14-84BA-94ED5221F6CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9009320af21e4f69a9b00e492ca6b43803e82030","datavalue":{"value":{"entity-type":"item","numeric-id":2819742,"id":"Q2819742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$C895F438-30AD-419B-B76E-E998E30BF40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e09bcabaad27fe77f24a44a6d26b125b585806","datavalue":{"value":{"entity-type":"item","numeric-id":2307623,"id":"Q2307623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$92ACA134-03CB-4DEE-B1DF-C8758F4F9F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bd9fb0fa8bc7f4f462ed479f01daa23216ffce","datavalue":{"value":{"entity-type":"item","numeric-id":2287902,"id":"Q2287902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$6DB1D2FB-16D7-45FC-9281-80728423F28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca01d67639543c8ae4075473068c432e89a1429","datavalue":{"value":{"entity-type":"item","numeric-id":5495916,"id":"Q5495916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$4D47851E-A444-4377-A755-7D1ACA008A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da75c76047a20f929b6c0fdd769a501d8944da5","datavalue":{"value":{"entity-type":"item","numeric-id":2807841,"id":"Q2807841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$243BB639-5174-4AA2-92FF-F48C1C68A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79c7af070e6920bcd227150a8519acee8ff77d6","datavalue":{"value":{"entity-type":"item","numeric-id":1662298,"id":"Q1662298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041067$EEC60692-BE2A-4B65-B22F-5C77A9D83F6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d84fe3da76602dc7e7fba8a07fc78d10b0942be","datavalue":{"value":{"entity-type":"item","numeric-id":5495916,"id":"Q5495916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41921907ad19465ede22fb51cdc8813667821253","datavalue":{"value":{"amount":"+0.7797480821609497","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":"Q5041067$3CB0A5BF-1AA0-4B1D-8771-E49378A18C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e04078a960be07296ec455e274efb22ff0868aa","datavalue":{"value":{"entity-type":"item","numeric-id":2009221,"id":"Q2009221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1407b4d744d1021f9d6d10205c862eca4f0a5b3","datavalue":{"value":{"amount":"+0.7658356428146362","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":"Q5041067$C6A8FFF9-0FD6-4782-826B-8B57959ABD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368bec1a202cc3481520096e5b192726f0410191","datavalue":{"value":{"entity-type":"item","numeric-id":5311187,"id":"Q5311187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3390caaf3faf542b01a7d8c2c3af087ea3d340a9","datavalue":{"value":{"amount":"+0.7333930730819702","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":"Q5041067$18A54A22-049D-4AC4-98CC-60D6CEBE1619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75add0ed368f2e86400e7ad3eeb92fb674cc8d28","datavalue":{"value":{"entity-type":"item","numeric-id":5041068,"id":"Q5041068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d69b81979afa29c44b55185e9f15b454f681c2","datavalue":{"value":{"amount":"+0.7278646230697632","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":"Q5041067$6EA7939A-A80E-4996-89EB-2990C23D9E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab127e20c4e479e5e30e398294a19c06fe4cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2351414,"id":"Q2351414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52261b313f035ca0b277a263dcbf944c07c3319","datavalue":{"value":{"amount":"+0.7190834283828735","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":"Q5041067$45FCF5C0-D7CD-4E20-9375-CAE1EE547447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5041067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5041067"}}}}}