{"entities":{"Q1110345":{"pageid":1121094,"ns":120,"title":"Item:Q1110345","lastrevid":66452421,"modified":"2026-04-12T10:10:17Z","type":"item","id":"Q1110345","labels":{"en":{"language":"en","value":"Generalized subsumption and its applications to induction and redundancy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4072423"}},"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":"Q1110345$43819134-BB6C-4059-B9F9-855A0166AE01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c69bbf0951bafbbe92664b08b1d49c76b77c55eb","datavalue":{"value":{"text":"Generalized subsumption and its applications to induction and redundancy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1110345$EBECEA90-2242-46B4-B66F-74B0F13D2731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25933b3eba589cab4f7ba4babcea42dd2612adc4","datavalue":{"value":"0656.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110345$04C1350B-C43F-4D3C-B1A0-D1B64EFBF0AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4740b6446cbe286e8e2f9246cc5b74843f4985db","datavalue":{"value":"10.1016/0004-3702(88)90001-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110345$2D90E4D8-CC3D-4555-BA36-ED267D2E8974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9782c209ff780615009c1c63f38640bbfa2cc915","datavalue":{"value":{"entity-type":"item","numeric-id":298273,"id":"Q298273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$7980388B-C005-4561-BDE8-C3579278019B","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":"Q1110345$4625C861-6DE7-4A0E-8718-D738169CD6EC","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":"Q1110345$7F5A73F4-B53E-4D9F-BABD-98E266BEA6C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdd50986e96762a03b1185921c9c2623563db85e","datavalue":{"value":"A theoretical framework and algorithms for the study of induction of definite clauses are introduced. This forms a strong model called generalized subsumption on which suitable search space can be built. It highlights some of the properties a generalization model should have. Applications of the theory and implications to AI are discussed such as methods to detect redundant clauses in logic programs and redundant atoms within clauses, finding of most specific generalization, interaction between generalization, induction, relevance, redundancy and structure. An improvement of the most general refinement operator is suggested.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110345$DD447891-E0E4-4BDE-AF65-137DBBF3AF6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110345$504550C6-FE86-4DAD-BD23-626EEE5CE3B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4595738f089664c8d3931a81703130f0daf3178d","datavalue":{"value":"4072423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110345$809DF83E-69BF-4FA6-BE77-C28142DC4DD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5455726d950304b536b058c48d938b13e4c2b991","datavalue":{"value":"definite clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110345$8BAA0D09-85CB-497B-85E9-AE426BEB0362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebfd360581b80073c598175a8f2f4cc8e47ce44","datavalue":{"value":"learning systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110345$2E344016-D0CB-4B23-85FD-08485FB4ABB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb60083cd9693b9bc1f802afcd98e6e33cf8ac47","datavalue":{"value":"generalized subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110345$4E0970DD-64BB-49B2-AC23-35E335948CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110345$CC2975A5-FBD4-4D52-9134-7FB6C15719F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110345$D65F8928-97E0-4E48-A67C-F6F465D0A7E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$D7B06D1A-DE46-4E14-B6E5-41C3A92BBCC6","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":"Q1110345$83AD46FD-2F5D-4427-B0D0-B91C0C0F9281","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77291d130a274d56065aac5859d2f2a62e2c614d","datavalue":{"value":{"entity-type":"item","numeric-id":4747544,"id":"Q4747544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$AECBFC23-C93D-4ACB-9C1E-FE1805DF869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5c2be5539045fe44b6bb9cf4ca8969e80c694d","datavalue":{"value":{"entity-type":"item","numeric-id":4527306,"id":"Q4527306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$0995E2E0-3319-4389-ACC6-0DCC7F45B1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$4357F064-9EF3-4456-9C88-97F17BE0AD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3dda75970a4bd0a41ac690f289b5e07ae9c635","datavalue":{"value":{"entity-type":"item","numeric-id":5677085,"id":"Q5677085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$6BCDB747-C939-4767-A730-01C97449F136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$5B61520D-7A81-4D61-8A20-30C67A1A3D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9a0e4416409a2e9d5b088d1292bed4a9814d69","datavalue":{"value":{"entity-type":"item","numeric-id":3957974,"id":"Q3957974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$FC0727D4-5B82-4D3B-8DEF-1B29F9BB330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea32111bfb7208128fb934de736a2d532706d2f0","datavalue":{"value":{"entity-type":"item","numeric-id":3723721,"id":"Q3723721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$88B82AE1-57E8-4542-ABA9-42564639F8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$01F252FB-6B68-4054-A82F-7E9C288E3C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$64B68A6D-9B98-444A-BEC6-AFCA6B89EDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$DA69F380-7A43-477A-8E60-236A81BC9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$49C4A296-F9B3-4F8E-963D-385DC1FCCC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1959063b9ce7ef8b155fc1287f05d7e98a39e730","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110345$7957B774-57AC-4ADD-9241-1DA69D449AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b2d29b115bd3188c6acdaf75f05eea9d9aa5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4871266,"id":"Q4871266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb822614ebdbe793e1e29203fc45bc97003d329","datavalue":{"value":{"amount":"+0.7725680470466614","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":"Q1110345$1DC23A68-531F-45E5-83D8-C4AF7C2532FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50f6497218f4891ba09320ac469a58eda98d1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4333383,"id":"Q4333383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1923e1b5570b0b088a3bb9ad3b9a7f33bb90b53a","datavalue":{"value":{"amount":"+0.7677828073501587","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":"Q1110345$55D4D9BC-2C96-4051-9EF2-9364FBA0CE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e216b0c2e0d0f5cb6fc8bcd3a59b6b68da94af","datavalue":{"value":{"entity-type":"item","numeric-id":4262825,"id":"Q4262825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873ef219c7e4a9273920a602a5f2ab8115f3096b","datavalue":{"value":{"amount":"+0.7651299238204956","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":"Q1110345$2DECF71C-FB1C-46F7-9C30-4E99879736BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665c24f5f5d7ff63bd4a0e43202ef1658bbaae0b","datavalue":{"value":{"entity-type":"item","numeric-id":678594,"id":"Q678594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db432bf062a15da1680e261c8027ef7fb8cc0b5f","datavalue":{"value":{"amount":"+0.7608082890510559","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":"Q1110345$A26BC2BD-8BA2-4DD9-87FF-A4272D2E2454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c635c20816e7ed9d1f5b28324e2d287e7130714","datavalue":{"value":{"entity-type":"item","numeric-id":3617035,"id":"Q3617035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932263a7467e13c7fb3c9d4761446cde6df44b10","datavalue":{"value":{"amount":"+0.7512232065200806","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":"Q1110345$5209BE62-D38F-4F06-9003-B9B79A32A4D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized subsumption and its applications to induction and redundancy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_subsumption_and_its_applications_to_induction_and_redundancy"}}}}}