{"entities":{"Q685544":{"pageid":687393,"ns":120,"title":"Item:Q685544","lastrevid":47189098,"modified":"2025-12-31T23:11:00Z","type":"item","id":"Q685544","labels":{"en":{"language":"en","value":"Acquiring search-control knowledge via static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417434"}},"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":"Q685544$6C65FD95-6125-484C-9F83-B572C30BDF79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf6b8d74ff2643583acc59fb76ec9d7ce46ccf3b","datavalue":{"value":{"text":"Acquiring search-control knowledge via static analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685544$95E706CD-464C-4EA7-83BF-85255A4632DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"616359ecc7ee9cc84ec4731d6ac8c9e9c66969ce","datavalue":{"value":"0778.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685544$8E7DA372-FD19-4322-8E2E-09F54A1D2B92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e20d150dd55f4049ad6c38c234243754e3b9ad3","datavalue":{"value":"10.1016/0004-3702(93)90080-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685544$C6FC0291-B8A7-4FA0-BCB7-A0F1B8CB20FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28bbf09452e5698fff6caa18a00245bc2e572f2e","datavalue":{"value":{"entity-type":"item","numeric-id":685543,"id":"Q685543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$1AB24E3E-8A9E-4958-BE12-45128E98D5B4","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":"Q685544$9870096E-0B50-4C08-BF42-10244C1E189E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-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":"Q685544$D0D1D908-FAB0-49C0-8E37-49BF40C9C227","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13809f159ed2c933c245514eab4221e3cf1c9857","datavalue":{"value":"Explanation-Based Learning (EBL) is a widely-used technique for acquiring search-control knowledge. Recently, \\textit{Prieditis}, \\textit{van Harmelen} and \\textit{Bundy} pointed to the similarity between Partial Evaluation (PE) and EBL. However, EBL utilizes training examples whereas PE does not. It is natural to inquire, therefore, whether PE can be used to acquire search-control knowledge, and if so at what cost?   The paper answers these questions by means of a case study comparing PRODIGY/EBL, a state-of-the-art EBL system, and STATIC, a PE-based analyzer of problem-space definitions. When tested in PRODIGY/EBL's benchmark problem spaces, STATIC generated search-control knowledge that was up to three times as effective as the knowledge learned by PRODIGY /EBL, and did so from twenty-six to seventy-seven times faster. The paper describes STATIC's superior performance will scale up and when it will not. The paper concludes with several lessons for the design of EBL systems, suggesting hybrid PE/EBL systems as a promising direction for future research.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685544$0F6664C8-5641-465F-AE80-8338DFCDF64A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685544$B1C790BA-06BA-4209-A135-6FA3B884D2A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6733c7f64ffdcf6b44eebd21a9cd496ec470b6e1","datavalue":{"value":"417434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685544$2D883EC7-FA21-45A9-89C3-705D71228C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86e56bb1e79ab643e4abd9a882fe924ebf9b653","datavalue":{"value":"Explanation-Based Learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q685544$25867834-66F9-4E16-B840-798EE4459D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb594b053bac21e93ac22125f4eb0a7174a8331","datavalue":{"value":"Partial Evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685544$6BA477D4-2E89-4C29-BF87-9B98675D62BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b77acad8c60c24a83cd155be9e613e7da3e338bf","datavalue":{"value":{"entity-type":"item","numeric-id":32503,"id":"Q32503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$5B1CA70E-27BF-4306-87DC-51B683CBCA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b6cd9430d4317ae603182f2d6e77b04522cf","datavalue":{"value":{"entity-type":"item","numeric-id":32504,"id":"Q32504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$39E8A04B-9EAB-4006-95C9-9C8A7465FC70","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":"Q685544$FA97BE9A-39E5-4ABF-98FE-412802488DC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b213284362fd1e60bca0c733df0d74647d5092","datavalue":{"value":{"entity-type":"item","numeric-id":1101262,"id":"Q1101262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$9E18D24B-E38F-4019-933F-F889185D9BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876077f23d5336a6bd26fc7fdc67a49f03286549","datavalue":{"value":{"entity-type":"item","numeric-id":3198898,"id":"Q3198898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$5C2A444C-51F4-4A92-A1A8-D0688C7B5E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$E0524F72-E454-42C3-88EB-2FFCC37D8FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$B1B9B76B-91A4-4582-BC6B-D75942D33AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1af8abe41c9e8aff502622e419feb3df55654b","datavalue":{"value":{"entity-type":"item","numeric-id":1332851,"id":"Q1332851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$7D238C8F-9A46-43B7-A3C3-D6E4BCBD8EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$653FC5CD-C978-4986-9EC5-6BDD43ECFAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$D00C6BDB-5760-4B53-86A6-2835A68A7270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"746982c4b8f5287a9c20fa398b9aed1617b9a956","datavalue":{"value":{"entity-type":"item","numeric-id":3493284,"id":"Q3493284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$433F7499-EE34-4F56-B35A-B62BB1970C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d010237823058ee52c3b0cd0e375eb656d46e39a","datavalue":{"value":{"entity-type":"item","numeric-id":1097714,"id":"Q1097714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$5141C316-D2FA-4B8A-B7BD-EC7F8C6AD637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4640d19caea4737e534d9608c1b17178df5698db","datavalue":{"value":{"entity-type":"item","numeric-id":1060862,"id":"Q1060862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$D613AF3B-DE22-48B2-B778-9DF6CA320D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a18b76d0a05eab04c5bfa2b5c9b30bab8dd5c3","datavalue":{"value":{"entity-type":"item","numeric-id":1109580,"id":"Q1109580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685544$3BBF9A57-807D-4808-97C0-7328B5E0C32F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e0a51c3a38ccfb9ab738351ceb71448f82c75d","datavalue":{"value":{"entity-type":"item","numeric-id":1391908,"id":"Q1391908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0015c63714cb60a8167bb9b8e5bd7d2374016cf9","datavalue":{"value":{"amount":"+0.6914476156234741","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":"Q685544$A850FF8B-1448-4B71-8494-3A754482EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fb8f363e8b3aca29c356f91871adb886ac7012","datavalue":{"value":{"entity-type":"item","numeric-id":3493266,"id":"Q3493266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3ac297e456762cbef191f88d30832bf847a0d5","datavalue":{"value":{"amount":"+0.6820394396781921","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":"Q685544$C18CED94-33BE-4D30-919D-B5E6C038DF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca5e88e3b9c29a4555a38bdbde1d933ebd16ae1","datavalue":{"value":{"entity-type":"item","numeric-id":3493276,"id":"Q3493276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72bec9a43e9728574201bc92dc7a30306830f31","datavalue":{"value":{"amount":"+0.6813820004463196","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":"Q685544$909DB195-C09A-4858-A7BD-7AA57AB57846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcbbeeec5dbe4511556737d8aba24a9fe9566c7","datavalue":{"value":{"entity-type":"item","numeric-id":3493287,"id":"Q3493287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074e203fb477a59e4f5e8c9a0f303804fc95cc0f","datavalue":{"value":{"amount":"+0.6639246344566345","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":"Q685544$0B3E86AE-A504-4433-91E8-717C23E980BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49da0f4f840201fed60d5399e7782277bda1707","datavalue":{"value":{"entity-type":"item","numeric-id":1854367,"id":"Q1854367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfe7aea8edf8e5ce734c5600713099282d69d8f","datavalue":{"value":{"amount":"+0.6592018604278564","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":"Q685544$68DD7BBB-A328-492B-B9CA-58B02C4BB9D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685544"}}}}}