{"entities":{"Q2933968":{"pageid":2944688,"ns":120,"title":"Item:Q2933968","lastrevid":85080227,"modified":"2026-06-03T05:48:32Z","type":"item","id":"Q2933968","labels":{"en":{"language":"en","value":"Efficient program synthesis using constraint satisfaction in inductive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378067"}},"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":"Q2933968$A7958337-9CDD-44E4-93B1-F201042A6249","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a77a43615c7cf8cf77cf2899bd303d1459b1801","datavalue":{"value":"1317.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933968$ACF67C80-A7BE-4A78-B4FB-ADDBE973F240","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f503832b49427ee35e199e11b0cc3d459290da5","datavalue":{"value":{"entity-type":"item","numeric-id":2933967,"id":"Q2933967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933968$0A84DC81-703E-46B6-AD35-A852A0CC6E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcb246bf9a37ecf0803eb1d648e568d3116d56f2","datavalue":{"value":{"entity-type":"item","numeric-id":951542,"id":"Q951542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933968$1AEE919D-4D75-4EF7-9519-6BE5161CC830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfae97db1d0f1c0cfbb4e65617d087f123f4b1b4","datavalue":{"value":{"time":"+2014-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933968$5D1F2004-0D67-4455-9F50-8DAB2A1E1CDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"558827e14764ec76333126fb98a50683da685512","datavalue":{"value":"http://jmlr.csail.mit.edu/papers/v14/ahlgren13a.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2933968$0774D135-665A-4872-A03F-51AD0B887B43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933968$28EB36B0-7CC9-42F5-9EEC-0BDBBFA0B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933968$EE41C247-BD35-4808-864A-6AD9C5527198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd26e79191f37874bd5cdd0ffb6a453b0cfd5f0","datavalue":{"value":"6378067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933968$DC5D9BE0-3F1B-4D99-831A-BBE5F714A79B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933968$429786DD-5D2C-410C-919C-6C11EF9C63FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933968$9C59FA31-9524-432E-A4CA-CA006566323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd38ac4b7b4b680dc0f7c4f5b27025f4f12ab0a","datavalue":{"value":"theory induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933968$39F98478-2967-47A2-8019-83EB51B1B665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933968$56A437CD-55D8-49F5-987F-9F89673D62A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933968$C5D52895-AFC8-438C-88F1-C9A4391A8BE9","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":"Q2933968$0604E490-BBA3-4030-9F3A-F7192C2D2223","rank":"normal"}],"P1643":[{"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":"f0b5bed14af2106ac7ce9bc6f6c63e94370177e0","datavalue":{"value":{"amount":"+0.7622408866882324","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":"Q2933968$272A9ED7-FC95-41B0-BC33-15DB97542A6C","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":"eafb2f14a322774a25e4720dd11c114360ded7b2","datavalue":{"value":{"amount":"+0.7407724261283875","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":"Q2933968$286E47D7-B677-48CA-8F18-45F624D0671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c3ffbea4c9f950155ec4ec6eb05321b27772d6","datavalue":{"value":{"entity-type":"item","numeric-id":1857307,"id":"Q1857307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261db73a978357ffae9c9451c0edf55a33e79515","datavalue":{"value":{"amount":"+0.7288762331008911","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":"Q2933968$8EFE0769-E4D8-4F2A-B95F-DA3F1928F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27dfb183a9baf5d44f4286c172ea94fd80aff52","datavalue":{"value":{"entity-type":"item","numeric-id":1128483,"id":"Q1128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0b4e08b0b0103098e6c0efa1335bd00cd8f49e","datavalue":{"value":{"amount":"+0.7209818959236145","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":"Q2933968$2E2CC372-39D5-4650-B916-6C775C30909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7057ff96250ebc38eda6ffe2fdb3a9fde40b04a7","datavalue":{"value":{"entity-type":"item","numeric-id":1753666,"id":"Q1753666"},"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":"Q2933968$0B0DF1FD-F8B0-446A-AC8C-CBE0BF5D3518","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient program synthesis using constraint satisfaction in inductive logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_program_synthesis_using_constraint_satisfaction_in_inductive_logic_programming"}}}}}