{"entities":{"Q1753666":{"pageid":1764408,"ns":120,"title":"Item:Q1753666","lastrevid":68984307,"modified":"2026-04-13T03:32:23Z","type":"item","id":"Q1753666","labels":{"en":{"language":"en","value":"Automatic synthesis of constraints from examples using mixed integer linear programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6875927"}},"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":"Q1753666$421C004B-9328-497D-B40A-9FFB234DC450","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed201480b3b425729b0f7831ccf77848c2161079","datavalue":{"value":{"text":"Automatic synthesis of constraints from examples using mixed integer linear programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1753666$6C5B724F-7D32-4943-9C2F-403904EF5E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c1586e22a2e540c1258a6c94d1f11a17264b579","datavalue":{"value":"1403.90527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753666$3264406E-9538-497C-8F28-4A000D62232D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b0e96784de53d66430131d728f139d982fce6f","datavalue":{"value":{"entity-type":"item","numeric-id":1753665,"id":"Q1753665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$A85CFF36-242C-4E84-B34B-8723A917EFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc7db423bf9622c2584c33e0ca3a599c70171949","datavalue":{"value":{"entity-type":"item","numeric-id":285421,"id":"Q285421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$6F3910D7-72DA-4891-B1C9-4727AE83DEF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38576f39a6df37711cb397d1408ced7e3814cc6e","datavalue":{"value":{"entity-type":"item","numeric-id":62319,"id":"Q62319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$342DD905-7E15-4517-910F-6B662CFC1EB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6dc579b5ab1bb7e90fa12b1c33b50a1e154905c","datavalue":{"value":{"time":"+2018-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1753666$7AE821D9-5AAC-4624-8B81-0C2792F66F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753666$0412A2DC-71C5-43DA-A9C3-0769C6C3A0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753666$DD34915C-9BC0-4441-BB24-4FCA91A26855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19d8d27a045a1c6ae9a82125a40b753316747717","datavalue":{"value":"6875927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753666$F9963878-75F9-4EB4-9E6C-9185D8D57E5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753666$2530F670-07C5-40E3-BB6F-2D621A91C869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9726ccea5822bb0cec99b7b8da78a2d8ec79ce","datavalue":{"value":"constraint acquisition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753666$920C220A-9D4A-446C-9C71-BEFD9C1AF350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0b2f37a11617a77191a9a32757aa5b56c3adbd","datavalue":{"value":"constraint learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753666$14EF72E9-CB69-40E6-A445-0F85911FE94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246ad56f492779f032acd01af60364db607f89b8","datavalue":{"value":"model induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753666$6A6ADF7A-0462-42C9-946C-A3B9DBDABD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753666$066BACB3-58B1-4034-8CD2-8CF72999A0CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$C7928F0C-BE87-40EA-AA37-483CB63FA145","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":"Q1753666$498D78FD-C194-4DFB-96DB-77E16A55E57E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fca399303d2388fb3813fc81ebde0bd565dce195","datavalue":{"value":"https://doi.org/10.1016/j.ejor.2017.02.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q1753666$7F5B94D3-12AE-43D7-9D67-25CC72FF2786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d21172c2357e77d5c9f07b2ac8e42d2a24d06eb0","datavalue":{"value":"W2590041095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753666$1CB7992E-8361-4B07-8B7A-3090C45A5702","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$34CE5548-567C-4D77-944E-3F7225AE719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25e2e8fc0fcfec43559629acba65fcd6730cfba","datavalue":{"value":{"entity-type":"item","numeric-id":2891519,"id":"Q2891519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$4353FF74-2791-4254-8851-CDF4F5AECDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42905d3bf780a90a019cc409c9eec2110c7f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":511777,"id":"Q511777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$E7D48B56-00A5-43EF-B149-B2A1E67DAD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd5e1ba9ca89ea5a5d616482486f273276715c0","datavalue":{"value":{"entity-type":"item","numeric-id":4649021,"id":"Q4649021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753666$0C537CEA-D072-4366-8E44-87619BB78A69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91f57afd803a19e4f8f6142d5dde1bc59448f550","datavalue":{"value":"10.1016/J.EJOR.2017.02.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753666$E255C74B-9D74-4523-9C38-FEB9A0DE2888","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55ed612ebaec6a26e767939e88b09fc851e84ee","datavalue":{"value":{"entity-type":"item","numeric-id":2933968,"id":"Q2933968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97da63d9f62d9417325cc5e43c14f8bc6290bbcc","datavalue":{"value":{"amount":"+0.7160455584526062","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":"Q1753666$859000CC-EE1F-400A-8552-6412C997035B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdda56b9b674796af148d11e1c53a9e04a113e8f","datavalue":{"value":{"entity-type":"item","numeric-id":3079917,"id":"Q3079917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c282eddd07294d7b94304196039a51bcaf9508cb","datavalue":{"value":{"amount":"+0.7121516466140747","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":"Q1753666$F77C4B18-A8CB-480E-AA23-E613CA3DFE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f00a0d2838131a088fb6354b56e05b8bf505629","datavalue":{"value":{"amount":"+0.7104068398475647","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":"Q1753666$4AF49ACF-A6D5-416D-A0CA-4374116CB6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffa93c1eff929aaae2b3840ab76cd8e184073b9","datavalue":{"value":{"entity-type":"item","numeric-id":2741384,"id":"Q2741384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ab64e8e096ddc55960ed943f320009c6e19993","datavalue":{"value":{"amount":"+0.708818793296814","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":"Q1753666$A1AB62CC-AE59-4547-87ED-6B89614A0C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bcff4d0535dcf2f7085e5acb2f991ccf4ec85b","datavalue":{"value":{"entity-type":"item","numeric-id":2938080,"id":"Q2938080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1960c6b9b04dd255c7f5254a9f4ba3cdda93d2","datavalue":{"value":{"amount":"+0.7055310010910034","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":"Q1753666$029699E6-4E5C-4313-B659-6A5B4D655780","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic synthesis of constraints from examples using mixed integer linear programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_synthesis_of_constraints_from_examples_using_mixed_integer_linear_programming"}}}}}