{"entities":{"Q1109580":{"pageid":1120329,"ns":120,"title":"Item:Q1109580","lastrevid":42887295,"modified":"2025-07-15T17:54:22Z","type":"item","id":"Q1109580","labels":{"en":{"language":"en","value":"Explanation-based generalisation \\(=\\) partial evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070372"}},"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":"Q1109580$A5109A77-E96F-4E78-A1DC-813F807F45CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f21b76b419516760e02551fccc292953197b8e6b","datavalue":{"value":{"text":"Explanation-based generalisation \\(=\\) partial evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109580$5DDF1ACA-FC74-49AC-B736-ECA831EC0F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04c8833d97b5196804b0852efde39e231c7ff03d","datavalue":{"value":"0655.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$32EDBA6C-9B10-4351-BE42-D69328527A77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9142a8fc3a563748f12e5178cca60d8db1864a28","datavalue":{"value":"10.1016/0004-3702(88)90088-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$4D16C25C-41FE-4F52-B323-83B5010D940C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b1c950eb38f4d88b02903eee30b03dcded1976","datavalue":{"value":{"entity-type":"item","numeric-id":685546,"id":"Q685546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109580$10BC4E09-A861-4710-9BD5-16B96626BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109580$0809D014-BC8B-450A-9715-A961FBE0D0D3","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":"Q1109580$BFEA425E-7E7B-492D-874E-8E9AE30A2E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1109580$AC62D8E2-AE19-42F7-972B-04BB11746F30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6337adf7a8e2774ade9fa018c6d33043216d2bf","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/408514/Explanation_BasedGeneralization_PartialEvaluation.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109580$BE465D5A-782E-4FCC-8D44-68104A72E86E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$B8CAAAF3-E06F-427C-BC21-501F3EDA3595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$84F386DF-05CC-479C-A0BA-EBA03558218A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df7c572e172788a6c463b755859416ba2d71a85b","datavalue":{"value":"4070372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$521B8E55-4891-4657-9A20-0C497DBBFBDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109580$E536943B-1941-4532-AB08-E088EC7D83C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109580$919A5557-3E58-411E-91B4-0171B715CCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109580$F8F0356B-F3E6-45F8-8854-6DBB6738E764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5ea9c9af220ac1b63e475b56136365f6891957","datavalue":{"value":"explanation-based generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109580$AEE04C92-B1C9-4B54-BE10-0CE76C335CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109580$51F39EDB-4625-44C7-AC24-DA4EDF0CAA08","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7df15140ffaf0ee01ffc37f0c50dc2b1c6ad112f","datavalue":{"value":"Q56840277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$7A76653D-DF0F-49F4-A76A-E38C3C34C758","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":"Q1109580$3C25F6DD-A797-43E2-A7AA-01784347E21C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8af2823cb3023c7699684f11f2ba775f050d5ba","datavalue":{"value":"W2048643630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$9FBA7F65-B74C-4B87-B5C3-FEA74EBC17E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4c0af17dc85865b0c440b7eba58f1bf7cca886","datavalue":{"value":{"entity-type":"item","numeric-id":1169808,"id":"Q1169808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109580$7F3647EA-976D-45D0-96DA-867C4F48FD87","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":"Q1109580$BB0D74C6-51A4-47E2-851F-78C00DE552FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662ca938170b23da7a8b98a32a882208023a4937","datavalue":{"value":{"entity-type":"item","numeric-id":4658729,"id":"Q4658729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109580$A72BC6A0-B88D-4A9E-9634-F9E7DDDE7E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109580$2C64222F-BDA2-496F-9229-245A5E9CB50B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5da4ff08a9f2b09b53b98dfd86f64ac7faf62519","datavalue":{"value":"journals/ai/HarmelenB88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109580$5E359C5E-F8AF-4E2E-A662-5E0CC7FC0AC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347a496349921f3ff7333d3b35bc8055b03d0ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1183607,"id":"Q1183607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0189ae4281dc8ea664cb1c7ddcf43148ccd718","datavalue":{"value":{"amount":"+0.85993695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109580$111A459D-FE85-41B3-830F-345FCEF345B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d3e572a3883d539e06556abb2169afd2bbb2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5210770,"id":"Q5210770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b7b80cf3bcd586712540ab536424092f736933","datavalue":{"value":{"amount":"+0.8545573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109580$A9203A7D-6F7B-4FE0-95CA-B7D34BD91C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc2a23a58383b9436b1f4236732c3ed6faa0c61","datavalue":{"value":{"entity-type":"item","numeric-id":4306225,"id":"Q4306225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0f76d9ea488c6147c8b868461868b1036b6808","datavalue":{"value":{"amount":"+0.8278784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109580$87F4F490-EC29-4457-964A-80C9E1771201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d4aa1fa069ce4c3c489b08d5792a434b6926f9","datavalue":{"value":{"entity-type":"item","numeric-id":1329370,"id":"Q1329370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dad618f0d439fcb73cbd41fff0450b55811a5e2","datavalue":{"value":{"amount":"+0.81920147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109580$10FA22E4-022D-4351-96D7-95846312701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ddb626de6ce08ecab197082e47bde4424539cbc","datavalue":{"value":{"entity-type":"item","numeric-id":2146052,"id":"Q2146052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ae3e5687b2a2390bbf5bc8671509e334a20942","datavalue":{"value":{"amount":"+0.81468016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109580$A7DBDEF9-6497-46CD-A23A-2D128CE67BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a618fce9ba53de20a969c0f99c436a53aa3b599","datavalue":{"value":{"entity-type":"item","numeric-id":6116531,"id":"Q6116531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0188c29de750d51307ff8a53f3b014dfb15943ff","datavalue":{"value":{"amount":"+0.8146145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109580$6A1A046F-D726-44E3-A3C4-7CF22CC3FA99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109580"}}}}}