{"entities":{"Q2051277":{"pageid":2062019,"ns":120,"title":"Item:Q2051277","lastrevid":57638268,"modified":"2026-03-31T17:41:59Z","type":"item","id":"Q2051277","labels":{"en":{"language":"en","value":"Top program construction and reduction for polynomial time meta-interpretive learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7432820"}},"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":"Q2051277$CA4F258F-1815-412C-8F84-D935860DA24A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23e3692560394f2bbf70aa5792ef25b0cdd1bc81","datavalue":{"value":{"text":"Top program construction and reduction for polynomial time meta-interpretive learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2051277$38D0D32A-CD69-4A93-B643-53B89E7A7CA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"744c7ab2391ba8f4b738f3a3a580ae5005037c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2051276,"id":"Q2051276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$A46E877B-6BF1-4141-98FE-36B05FC67C9C","rank":"normal"},{"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":"Q2051277$747F8306-B0E3-4DD6-BAD8-8969CD55B192","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":"Q2051277$2C547C80-7EEC-4FCA-BEBD-AE5790AFA033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f514d788c7189561054f85987d5959a8ca7fefe","datavalue":{"value":{"time":"+2021-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2051277$D358D9B2-D747-471B-A7A0-E2635924560E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00fa8ec0ca0c448e3672142042e12deb88a460c2","datavalue":{"value":"https://arxiv.org/abs/2101.05050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2051277$31118573-AF13-4397-8632-71E11158DF1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051277$F9826CB4-812D-47B5-A9A8-AC99118E6205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c76c06422677c67b4775c1a565881dd6cc88afc3","datavalue":{"value":"7432820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051277$BA83C4B1-73CD-40C1-BFF4-C9BC3E3EF634","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051277$9B679A52-BAC8-4E23-BC02-E45A851F9CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db1e72e367bad74a4d592a483993ca85ca8c06f","datavalue":{"value":"meta interpretive learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051277$BDC94878-6D25-49BE-894E-8801C840F80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051277$46AF3665-5EFC-47FA-A848-CB32945D6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae5652974f109a29f9423199ed05c4def9f251e3","datavalue":{"value":"top program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2051277$53B5D1A3-629A-4108-BD73-521EB2CA01D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"879099a718ff286c8aea613558fdd30a9aec096c","datavalue":{"value":{"entity-type":"item","numeric-id":14557,"id":"Q14557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$B5AC01F1-9FFF-4FDD-95F3-D555D2A32CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"228783f5e0cd9bfd86285ab104d7cddfc33d0413","datavalue":{"value":{"entity-type":"item","numeric-id":1353642,"id":"Q1353642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$926ADE78-D14E-4EC5-B8F9-59588532FF35","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":"Q2051277$0BD752CD-9A27-4812-ADCC-D1A311E1132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$D8E74E09-A48E-4985-B40C-14C5D5E1B9EE","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":"Q2051277$3757096C-03D9-466A-A692-53A57081D8CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91fabc03d96354626a0e737e2b5e395a9a75e9a2","datavalue":{"value":"W3119214637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051277$9DA86EE6-061F-4E01-BD9E-D0D297773A6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0001b784a155e98c8d217f6bae99e502d03f58","datavalue":{"value":{"entity-type":"item","numeric-id":2943878,"id":"Q2943878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$524E4589-C0D9-47EF-A921-C07036F1BC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f4496e9c5097df00995c9eacd5b0b3cb6d9ba4","datavalue":{"value":{"entity-type":"item","numeric-id":1108056,"id":"Q1108056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$52D5408B-FBF7-4173-B268-0874BA3C7073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b865d53c69f17e76e6dcb95fa581a13e930718b","datavalue":{"value":{"entity-type":"item","numeric-id":2883075,"id":"Q2883075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$1193A28A-87D6-4E96-BC60-B10E2519BF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bc21edb10ec868bed18baebcdada876f23dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5149783,"id":"Q5149783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$C41C4E14-C695-4C7B-B965-C84ED5810E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a8a10ea0aaa6c1219679da74b4ef31affb8538","datavalue":{"value":{"entity-type":"item","numeric-id":4605199,"id":"Q4605199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$49DF5A86-F112-4733-8364-928E5272DAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c56c044d5b628eebab209606af780ffd6762d24","datavalue":{"value":{"entity-type":"item","numeric-id":1322854,"id":"Q1322854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$2EB75ABB-2117-4CBC-8C9D-F466CCD3EDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d527f98f03e28d57efbc8afc06c0b8a7448889","datavalue":{"value":{"entity-type":"item","numeric-id":4939536,"id":"Q4939536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$1C62DBAE-CF1C-45F7-A4DE-8D4A9ADFBC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"520bdf703f06dbab0f15b8354c00ffde1b90cb4f","datavalue":{"value":{"entity-type":"item","numeric-id":4559814,"id":"Q4559814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$BA5DE771-31A7-4B92-836D-24B7F37660BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ef3a0260e1bb0eff33bb40662f2af2da80eb18","datavalue":{"value":{"entity-type":"item","numeric-id":2938503,"id":"Q2938503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$A11C908B-0FB1-41A7-9452-71D645A34857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4415751081b2a1d8be85017c609bce29c7efd71","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$14F274F4-E551-4D79-8D7D-D1603BFD51CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeeaab852138ee9822cd8f095c822f573406989e","datavalue":{"value":{"entity-type":"item","numeric-id":2296706,"id":"Q2296706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$88D075F3-3160-4B38-9A67-1FD50B79CCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5b9224fe9eaf6f3e17d33e77d59d90fc27a313","datavalue":{"value":{"entity-type":"item","numeric-id":5895240,"id":"Q5895240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$FE7054AE-B16B-433A-9A3B-0E5A225FD6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2ef20881f65075566de37e5bcad2ed1d7ac485","datavalue":{"value":{"entity-type":"item","numeric-id":894695,"id":"Q894695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$77527186-C306-4FF9-B53E-5A52338BB894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb783806f930db7d50a7c689a523d2f95f00a83","datavalue":{"value":{"entity-type":"item","numeric-id":1621883,"id":"Q1621883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$1AE9E668-A1F9-41DB-B0C6-8113F0745152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2fbc43daabecde45b78443bc3e885b1a0fa1d7","datavalue":{"value":{"entity-type":"item","numeric-id":5504692,"id":"Q5504692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$D1F2CF02-599D-48BD-B246-E539AEF0FA80","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":"Q2051277$E77F48AE-CD49-43DD-8094-F941B3E9FD43","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":"Q2051277$81E9907C-B0E5-4A1C-AE83-4FACA0FD9856","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":"Q2051277$F435D51B-9273-4F7B-8376-D87A4F2F2252","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":"Q2051277$60852041-1C5C-4D75-A707-725D532C9BC6","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":"Q2051277$7135126B-906B-4244-829C-2D92A77DD44D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9162138374f04388c365a481389d06f0135c1dd","datavalue":{"value":"10.1007/S10994-020-05945-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2051277$5EE6173E-1354-4116-94FF-4835F0E45683","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1697f4b88a0f307c318cd60c524024037584637e","datavalue":{"value":{"entity-type":"item","numeric-id":2296706,"id":"Q2296706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b71fc79453a192b64a94d540524e7260a68440","datavalue":{"value":{"amount":"+0.8417616","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":"Q2051277$06DF1856-4402-4F5D-8B53-8E948A6A7C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03856fc3adb7154ceb3b4e9948e7ddf9ac45dc75","datavalue":{"value":{"entity-type":"item","numeric-id":5149783,"id":"Q5149783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2a3fb126844246426b4e02ed0f4ecf637935fe","datavalue":{"value":{"amount":"+0.8332898","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":"Q2051277$1098F8C2-34D1-43CF-BBD4-6D7433AA484B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cd6d1d45323e55f872b19e45cccd7f1992960e","datavalue":{"value":{"entity-type":"item","numeric-id":5086201,"id":"Q5086201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a23933d14403a11fbd2a7d3ec585cccf2e1f74a","datavalue":{"value":{"amount":"+0.81598955","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":"Q2051277$DF29EA90-D535-4E54-A0EB-8DE5B80198F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c2c007b8a8981fe83fe52ea238f257c5f10663","datavalue":{"value":{"entity-type":"item","numeric-id":1621886,"id":"Q1621886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154143f96739cb19558e080ec9dd86ffe35bcd9b","datavalue":{"value":{"amount":"+0.81589967","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":"Q2051277$4484E713-7DB1-4C5B-A290-14A989B5BB77","rank":"normal"},{"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":"790d3304fc2240121e6b54915b4c604ff903c908","datavalue":{"value":{"amount":"+0.80127966","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":"Q2051277$B289E092-8181-467B-99C8-D62651AA4043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484181fe4349a3a08be04b389fa081a217dfc1d4","datavalue":{"value":{"entity-type":"item","numeric-id":2102414,"id":"Q2102414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd297b70c6c27868a3d7707a9e9b27ce08004c4","datavalue":{"value":{"amount":"+0.7994362","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":"Q2051277$31817D60-CDD3-426C-B9FA-F5B876CBC3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dbb36c4d9d7350014a3dfe368c8744c95ee7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4559814,"id":"Q4559814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756241597b294300973d059eff4e748013e17c56","datavalue":{"value":{"amount":"+0.79926544","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":"Q2051277$9BEF275D-55EF-48B9-B4DB-63DB0094D1B9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2051277$065EBD00-733F-4C81-873E-ABBF853E0541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2051277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2051277"}}}}}