{"entities":{"Q894695":{"pageid":896543,"ns":120,"title":"Item:Q894695","lastrevid":65223930,"modified":"2026-04-12T01:07:56Z","type":"item","id":"Q894695","labels":{"en":{"language":"en","value":"Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515561"}},"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":"Q894695$D671EE8E-2DD9-4907-9CA6-2019904B9C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e8ce8e622467432a5833334cbd5149fbce68c50","datavalue":{"value":{"text":"Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894695$47A93884-268F-4797-A344-4ADDDDC70B22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"504be506c568c6338b6814c22ddc093495b4c847","datavalue":{"value":"1346.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$07042B79-D73A-412E-ACC3-7188DAD44F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50339c323596e6277285f829830443af3a213974","datavalue":{"value":{"entity-type":"item","numeric-id":208022,"id":"Q208022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$B41694A4-9452-4D62-8879-14222F8319D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b590e921abd2236111de135fdb6adfb6e77b9aa","datavalue":{"value":{"entity-type":"item","numeric-id":894693,"id":"Q894693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$713A5770-D9E3-48B5-8E1D-3DE513BDFDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9440dc38dabc7d2e0434e5c8461f398176264ace","datavalue":{"value":{"entity-type":"item","numeric-id":894694,"id":"Q894694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$87586ABD-A51A-4DFF-A1BC-F7155D584380","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$68661F16-AE0F-4B0C-9C9D-251B147BF57F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894695$4FCFA6A6-637F-47AF-A58F-4C8822128F40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$61A78A7D-2B78-4E31-B464-B4BF0DCC8D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$490C06C9-1C6F-43C8-B61F-A5BDBCE34BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$82DC99E5-C72A-4085-9192-0B35A5928A78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58bd6cd3fc33e58d19bc40c23b126dd999916e2f","datavalue":{"value":"6515561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$4D84494B-FDEB-48A2-8E85-6013E94EB827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q894695$7F3A7345-71C1-45D9-BF28-F3B25FDD6797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q894695$1562F70F-4F50-4081-ABF8-ABCEEDD39DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7c7da92e2be7a09a15642ecc7ce90317339b91","datavalue":{"value":"meta-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q894695$2C69B1B3-2EB7-4C55-8EBB-8E227CE7409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b505e92d329ddf3ca58a3dc6d3c3928a53739588","datavalue":{"value":"predicate invention","type":"string"},"datatype":"string"},"type":"statement","id":"Q894695$69CBF904-1B6D-420D-A144-90CBC79DDB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d6d59bb3ecb0176bc203b9464641945b3b1908","datavalue":{"value":"learning recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q894695$1F174ECC-8502-4D67-850D-2DDD1CBE6E6D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"538d244d8355f115b9fac14ead410ef72891a5df","datavalue":{"value":"Q29399520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$BA44BA80-BA52-4284-A01E-4A34580B2055","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc1c92843337792088b1db4c3bdf57f19fb22bee","datavalue":{"value":{"entity-type":"item","numeric-id":24041,"id":"Q24041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$0359A05F-8D42-403F-823F-F49FAD31A8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$D2ED292D-5820-48F4-84D7-5DD101B7CDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce526c6d165d8ba0d095584b3f21cba483f00f8d","datavalue":{"value":{"entity-type":"item","numeric-id":46430,"id":"Q46430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$83AFC2BB-B5A4-47E4-8D98-B7096B6BE317","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":"Q894695$BC7C88B7-F86A-4B7C-B5BC-5BD210835545","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db2acbae90169b5994d68e620c5b07454274847c","datavalue":{"value":"https://doi.org/10.1007/s10994-014-5471-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q894695$B7C8FFC0-DBA0-4400-AC65-E581FFEB01B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6113ed234ff655cf9510aeb5794da4f485c50ead","datavalue":{"value":"W1769664091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$CFE63DCD-D002-4288-A76A-0862B47440AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$225760DA-F841-4E2C-93FC-038C6564DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$B2F8D8E5-1CE0-4CF2-A0A3-B2F33A95F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d417f9ee9400540f0bd64dd2a4f184505c883434","datavalue":{"value":{"entity-type":"item","numeric-id":1332850,"id":"Q1332850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$7AA663B6-CB72-4FFC-8D15-A0ABA134D50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$C3F00AC4-D4D4-4E59-BCB6-DA8122149A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07009b385fbb4865e279e70b784c73accaf20d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1389603,"id":"Q1389603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$752F4AD2-F169-46EE-BFBF-74FBE2871198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3aefb1d797dae2203112b8f27557af67f28b3a","datavalue":{"value":{"entity-type":"item","numeric-id":5945708,"id":"Q5945708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$3D14371C-ED7A-448B-96C7-093663A9EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b0c5b64a6c0c0b9767f7b0713a698d896bdff0","datavalue":{"value":{"entity-type":"item","numeric-id":5688938,"id":"Q5688938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$48593680-0FF5-4C27-AB64-6ABDE6B9EA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$2C7527B2-8AB5-4342-9A02-15C66E1AD120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$9C052F9B-656F-45A1-B3B0-11BCAB0F906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a037363c4d1dd286751632be382f1a167a58882a","datavalue":{"value":{"entity-type":"item","numeric-id":3582683,"id":"Q3582683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$7182CF8B-6E84-439C-B716-F2ECFD2DCDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$6BEFEEB5-7DCE-4BC9-8EF4-683417769805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75963c8c94dae849933406c0db4868be91b47757","datavalue":{"value":{"entity-type":"item","numeric-id":4806966,"id":"Q4806966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$FBB6BD61-0FBE-4579-A746-685C4DD66653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0c21e6f868d3b2b45c46dd5d4a2c29d744b6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2943874,"id":"Q2943874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$411952D8-A731-469F-80C2-968A03C01A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b2fea80b540988cb1d0e2b4c3b12b207485414a","datavalue":{"value":{"entity-type":"item","numeric-id":2251448,"id":"Q2251448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$A324459D-F9C2-4810-A2C8-D5FC11D6B9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa660dea7ee00596d391731a42958327888e79bd","datavalue":{"value":{"entity-type":"item","numeric-id":439010,"id":"Q439010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$0A342DF5-B034-4338-9BF9-7F45C92980EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777ab2fea1fe21bf7c230b27cd82595402d79274","datavalue":{"value":{"entity-type":"item","numeric-id":1356228,"id":"Q1356228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$27BB6FA7-A4AC-452F-A952-ECFA2A01D463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc5a2dac4d5106f221782424cad8888a71c39c1","datavalue":{"value":{"entity-type":"item","numeric-id":5394651,"id":"Q5394651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$CCA21D21-3AEE-433D-AE3B-C842F4459D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3ab2c1bf30f65a3e3f4fd6208e35d8943984b2","datavalue":{"value":{"entity-type":"item","numeric-id":3624080,"id":"Q3624080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$1A429522-252C-4493-9421-C3418AC21ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$55A6E41C-6871-4FBA-9594-D0AE5C1E1143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4bcd76765332f83ca0d4b037c13ff8aba19c47","datavalue":{"value":{"entity-type":"item","numeric-id":4132514,"id":"Q4132514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$4CF644DE-0305-4638-9761-FF0830C77356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$909CE53D-4049-4127-B8A7-C7BE25279DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e3de5ec781152a1fb4ad1c034316f4f1bf1581","datavalue":{"value":{"entity-type":"item","numeric-id":5394610,"id":"Q5394610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894695$A7CB2FD6-CD69-43FA-87AD-3AC8F6CDDCB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4bb1138a22bc55ada10700bb84734918b44e721","datavalue":{"value":"10.1007/S10994-014-5471-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894695$2F0D8F53-F26C-4721-A77E-2F2B50147CF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633fc6ec75b3300da62b7467f1fe32788ff872c6","datavalue":{"value":{"entity-type":"item","numeric-id":2251448,"id":"Q2251448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485c01d4173dc9ca962573802017d77b4eb63099","datavalue":{"value":{"amount":"+0.8461297750473022","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":"Q894695$DE7B2C35-48D4-4A91-B540-5B53FFEDEE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f6992b97daab0ac0f875f5eec73934640fe870","datavalue":{"value":{"entity-type":"item","numeric-id":2203320,"id":"Q2203320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c273b84e0be4ea21992ef29b2b2462821419b5","datavalue":{"value":{"amount":"+0.8216148614883423","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":"Q894695$BE0838F0-BD74-483D-A91F-C6C7F952005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b71ebede7d523f9c6c644434d31fea694117e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2943874,"id":"Q2943874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b2fe3ae856ca6e6904220be5c71d4601d822e1","datavalue":{"value":{"amount":"+0.7618019580841064","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":"Q894695$1107BDDB-05C7-4B48-8297-1755B9BF61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c73df9e53b3e984d5a9d80cfcd27bee9c64341","datavalue":{"value":{"entity-type":"item","numeric-id":4290133,"id":"Q4290133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4245ff2e2cd41afd9673cd34cf8815b541799813","datavalue":{"value":{"amount":"+0.7346060872077942","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":"Q894695$7B22A120-99D6-44D0-8776-EAF52992C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c227d7d7840090873f9d545fd35844687245b6","datavalue":{"value":{"entity-type":"item","numeric-id":1900985,"id":"Q1900985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd3286bfa3248343626b3e7cff1a1a2d50fe6ed","datavalue":{"value":{"amount":"+0.7306345701217651","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":"Q894695$C66DE30C-88BF-41B8-8B16-F92E3A9CDE4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Meta-interpretive_learning_of_higher-order_dyadic_datalog:_predicate_invention_revisited"}}}}}