{"entities":{"Q1128483":{"pageid":1139232,"ns":120,"title":"Item:Q1128483","lastrevid":70216191,"modified":"2026-04-13T13:14:27Z","type":"item","id":"Q1128483","labels":{"en":{"language":"en","value":"Schema induction for logic program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189817"}},"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":"Q1128483$E8740D20-D5F5-4B44-BDBC-8250959AA101","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65d04497fbb4eb9aa08fc9f6a3a6408d6ea9a128","datavalue":{"value":{"text":"Schema induction for logic program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1128483$82FF741B-6CFD-4524-BDA5-21AAD1753E12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54da1d5c69c4865e524054332d9df7d74f82d1b7","datavalue":{"value":"0903.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128483$24E456BB-B2FD-4EEE-9519-56ECD9DF7E5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcdb4ef625da40b6d6c91a9819c6814faf52e0f6","datavalue":{"value":"10.1016/S0004-3702(97)00055-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128483$4443403E-BCF9-4F66-9555-027E0FE8E781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570a171fbbcd1f8d2eff42b6a8af5a0cbf797b57","datavalue":{"value":{"entity-type":"item","numeric-id":1128482,"id":"Q1128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$1439AC8C-C60D-4417-B803-4052A45DA91F","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":"Q1128483$585DDFFC-1741-45C4-9BB2-3E7DAAAA230A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-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":"Q1128483$B6DCD94B-1D91-4108-85E6-0876F13009BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128483$F26D1C51-FE41-44E2-9AC9-986DBCAFAE81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32d6171929f0365f5f8d533ea8cbb8fea24eaf67","datavalue":{"value":"1189817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128483$23C09F07-808B-4D31-9AB4-6AFAD15E9223","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128483$C02A6528-BAAD-46B5-9957-6F2FAF7680BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128483$1672808D-4805-4BE6-B336-8BFAB205613E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128483$6506BF39-A4B1-419B-AC31-092370858E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128483$1403D536-538D-4F9B-B71D-F224670EACA7","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":"Q1128483$6F13813F-4621-459E-A1F7-E567489DCEA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4ef9228dfad96ff5c3b4aaab8190efe08072ac","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$F0FD4017-FDC2-4742-9067-266FAF675C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fca34043a30ee00dbdee4541153c8d8c6f9798","datavalue":{"value":{"entity-type":"item","numeric-id":4162631,"id":"Q4162631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$DDF9E955-6C0C-4268-9EDF-51C84ADD660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0664173db75738c39a63884d7c20858d93e62a","datavalue":{"value":{"entity-type":"item","numeric-id":5670186,"id":"Q5670186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$82E6D5F2-4DAC-40E4-B0A6-D7E5110FCF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4e8d43d8b47eaecf7b3fb31815b4700b3bd8c","datavalue":{"value":{"entity-type":"item","numeric-id":3667932,"id":"Q3667932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$EBE51DD4-FFCF-4FEB-BAE8-A05C9F35AAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$D5227599-4C76-47E0-9D7E-A2C3B1BA7F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9162690d9bfa552b5503edcbab1a048f053455","datavalue":{"value":{"entity-type":"item","numeric-id":4317721,"id":"Q4317721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$C5FDF38D-1EEF-4E61-A3C1-F1ABA1077E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77498059d5dae7644cba7115ca2a5485478e2bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3783490,"id":"Q3783490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$7DDE1D68-2062-4917-8027-04C041544C90","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":"Q1128483$FE5B1842-8CE3-4151-83A6-155F56A4B4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$3051FCBE-B6CF-46D7-8751-BEB492C906DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877517bcf47ab249763631bda3c37fc5db6c062b","datavalue":{"value":{"entity-type":"item","numeric-id":4286753,"id":"Q4286753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$D93A3599-438A-44A4-90C4-187A62C3FBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a41105c97e3f053742131e2c2bcbecc7d627006","datavalue":{"value":{"entity-type":"item","numeric-id":4040311,"id":"Q4040311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$E2E84F31-796D-4C09-BCF9-7595EAB3FE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0319fb1d05332bcec5d3db742b3f53d63169974","datavalue":{"value":{"entity-type":"item","numeric-id":4173309,"id":"Q4173309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$24A44BBA-A73F-4270-9063-47179E25E143","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":"Q1128483$85E207FE-12C6-4682-9D67-98523072C0F6","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":"Q1128483$C5B71405-005A-4B36-B9BA-CEB6750E4577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e434545614ed9fdf61993762d64fa0cb28fa940e","datavalue":{"value":{"entity-type":"item","numeric-id":5624682,"id":"Q5624682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$B59D2B23-BBE4-4CA0-975F-F1A9836B7EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$B6CFD42E-94ED-4851-99D6-E2B0B65FA433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$55483537-8B0D-424C-A294-826234B6D195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128483$4D6A2EB1-22FA-402D-B532-E0157C57D52E","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":"Q1128483$F8F5D754-2465-4C68-A210-0B9B0424E20D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b0e67ce4347848d9fa0e93ac0a7857508eb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4845025,"id":"Q4845025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04992f4c56dd92853a8979a7133c56aff081fafb","datavalue":{"value":{"amount":"+0.8240256309509277","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":"Q1128483$E28CB884-664E-4C2D-8C59-05B39359EA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c3ffbea4c9f950155ec4ec6eb05321b27772d6","datavalue":{"value":{"entity-type":"item","numeric-id":1857307,"id":"Q1857307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159ca78974e5ac31dcaba095b83ac17147c6cabb","datavalue":{"value":{"amount":"+0.8054995536804199","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":"Q1128483$F4871AF2-E67B-4440-A99B-3A1A07BF87FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3986cdc9327bd39118671b05a250feec1b689ce","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf1e2edc497b4c195750d5f1d1175cf13698de1","datavalue":{"value":{"amount":"+0.7987578511238098","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":"Q1128483$FF70D37D-121B-495F-8E14-88AF9A3F3CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2e621202286fcb827ecc5aee455697e3e85cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1583858,"id":"Q1583858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89dd37315bd2a7461a55c9913fdfe84a2ba4516","datavalue":{"value":{"amount":"+0.7935073971748352","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":"Q1128483$DDB7D14D-9716-458C-B7BC-7F145C6A9D79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schema induction for logic program synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schema_induction_for_logic_program_synthesis"}}}}}