{"entities":{"Q507524":{"pageid":509291,"ns":120,"title":"Item:Q507524","lastrevid":62399391,"modified":"2026-04-11T05:49:25Z","type":"item","id":"Q507524","labels":{"en":{"language":"en","value":"Learning definite Horn formulas from closure queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680938"}},"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":"Q507524$DE8BAFFB-41A0-4836-A560-CD8183A6DDAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09f9bcec5ce90b75917e393ed3ec7adaf6862885","datavalue":{"value":{"text":"Learning definite Horn formulas from closure queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507524$5F49DB39-3954-48E3-8976-74BC2238A3E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"672bcc6435a1466804062b10926a2aa3e20b0a98","datavalue":{"value":"1356.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$1AD2B943-57DC-44FA-97B2-479F622E17D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10154d54af98f5d7a70460df52413048558943db","datavalue":{"value":{"entity-type":"item","numeric-id":415619,"id":"Q415619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$FF5F6AC1-0392-4061-AC19-1EAEBAD13CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387251027f7a6e047be71bdb6ddf8e33740cddeb","datavalue":{"value":{"entity-type":"item","numeric-id":415620,"id":"Q415620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$8AC4D758-BD1C-46DA-A88E-4048078430D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be90059e02cbe7168d2238d85136f5390368f0b","datavalue":{"value":{"entity-type":"item","numeric-id":507523,"id":"Q507523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$187B490A-C4F8-4A22-BDD3-E982DD3E14F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$1B217306-BFAE-4B28-A484-0FB6D4C0ADB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507524$1728C0A7-6D0F-4024-ADDD-850C8D707BFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33f4a07a8f3a2c0633a557e1d23cccbb3a8ffd5a","datavalue":{"value":"https://arxiv.org/abs/1503.09025","type":"string"},"datatype":"url"},"type":"statement","id":"Q507524$802EFB78-8BE9-40D7-91DE-791967A4F467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$F9F5E06C-206C-432E-8972-C013B2931A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$5ECFA39A-CF46-41F8-8F0F-C571534A64E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$C7A11905-21F7-46AD-B021-8A1DE05660B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386490eb98532fc2147352886382435b829435ae","datavalue":{"value":"6680938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$C4490BFF-38FB-4026-A8B3-D938F69342F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48acab6b6080e3dc1c1f8d827f33c3a5a6384a6","datavalue":{"value":"query learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q507524$6F967CA5-9AF2-4D54-AC83-6A7AD84E6D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd236a788ea4cecfc69c6b781d890722c22e272","datavalue":{"value":"definite Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q507524$01FC9BC6-BC9D-4811-881B-203859DEA723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q507524$AF551727-3C7C-4F20-83D8-A39A59925771","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":"Q507524$1D093D98-087A-4B3C-883C-494B60580525","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4b364e00937f7475c8a87c1ff273becef23215","datavalue":{"value":"W2210079048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$9308DF58-817D-47AF-9757-9B6D3DDE97C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$59959E2D-DD83-4808-A151-9D97735E5262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087f07f8e392be8ceb30b855fec239a8224e2118","datavalue":{"value":{"entity-type":"item","numeric-id":1892226,"id":"Q1892226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$8BB4BD57-59A7-473F-AF34-8B3E5131A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c6fe3de21825c30584a1aa19e282e985c9fe72","datavalue":{"value":{"entity-type":"item","numeric-id":2641869,"id":"Q2641869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$395F4FCD-4FFE-4288-8684-9B59D8165844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$EBC8C387-2FEA-444E-A40D-347A27EE75F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6f144db8ae4e4d057d1d99e13eec9530f76a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1401919,"id":"Q1401919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$C9C3202D-1D41-47C3-8980-A8472CB24217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187529a01e58ec966076950c89df160a8f032f07","datavalue":{"value":{"entity-type":"item","numeric-id":1285777,"id":"Q1285777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$3D779B43-8833-444F-9BA0-61B8CECF467F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dfa8bd0aaa15ee0fec9b6ec177279ad5d0cd1b","datavalue":{"value":{"entity-type":"item","numeric-id":3541870,"id":"Q3541870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$04149F97-16DB-4948-96A8-973FFD8FB953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b571ad7c45a94ea3ae250c9112e80fd91db84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":3528420,"id":"Q3528420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$6C252AB9-79E5-4FD3-9FD6-FD02F4112216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129a3f761bdac0cb996ebeeff132c4ff66789892","datavalue":{"value":{"entity-type":"item","numeric-id":1034636,"id":"Q1034636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$4826A54B-9E92-485F-9BE4-CFA4373861D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea6faa9fcdc44c7b68c99d63eded951737dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":3648750,"id":"Q3648750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$B1A1ECFD-4399-4F5A-9D75-5A46D6294FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce5aaf9a9d8aaa1c3c13c9c6237ac8f6793fa03","datavalue":{"value":{"entity-type":"item","numeric-id":415621,"id":"Q415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$47A8256E-73AE-4C7D-9DF2-FE22137BCD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$C2870EA6-5B8C-48A8-A765-3B034D10DA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$FA6A8589-DB3C-440A-AC8A-6394506F4601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$B124969B-8284-4393-9835-97AEB295B237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$C116F748-0C81-476D-B027-AFA811DBDEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$4DA8716D-5D5F-45D5-9D90-793F2EE5F5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dbe049ef694ddf89bda4540748d3bb56f13be","datavalue":{"value":{"entity-type":"item","numeric-id":3919121,"id":"Q3919121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$51E9412B-1A98-4E27-A79C-B2A59579307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d27b81f54db8ced32506866a1108406852c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":1341147,"id":"Q1341147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$21C22914-7107-495E-9158-6A09EA20B9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507524$448446F6-32C3-43F6-8D4C-AC948D7FDC7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0eff9a0b19e80e7b5d53a7a0f3a7519c0ba9614","datavalue":{"value":"10.1016/J.TCS.2015.12.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507524$5D6D6C82-2B0C-43DB-BF63-DBBAC3C41E07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f8e49309d643bfe07800c43b3c7d6b3399f845","datavalue":{"value":{"entity-type":"item","numeric-id":1854564,"id":"Q1854564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934df793617d340d291ecb806eef5001189b0b9b","datavalue":{"value":{"amount":"+0.89320594","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":"Q507524$52AD3CE9-7050-468F-89EC-7342C1A03D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5244e13b98761e87b5e9e8f52cc94c8ef958c8","datavalue":{"value":{"entity-type":"item","numeric-id":415621,"id":"Q415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2998dcaaeb5aa8d4da1f6d73ccad8875bf867e87","datavalue":{"value":{"amount":"+0.88324785","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":"Q507524$7B8F4648-9E39-4AE8-8385-E6595F05CB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95662c2f7f95831d7379049b6ea2c0954f4e3e43","datavalue":{"value":{"entity-type":"item","numeric-id":5053056,"id":"Q5053056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae2e26b59ac9f432a7853ed45fcabe9629290a1","datavalue":{"value":{"amount":"+0.882114","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":"Q507524$1206E663-6493-4EFA-9761-647750153D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b965dd0c6e7d4a3d639000ac5a8815edec80e5ba","datavalue":{"value":{"entity-type":"item","numeric-id":264959,"id":"Q264959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8addb34c487716c93d9e957787c7363ee8e6c5f3","datavalue":{"value":{"amount":"+0.87188387","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":"Q507524$E13C1BE4-C419-4B3E-B029-DD1D0406EC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683b3730036d4db646e942d46b36056b84733af7","datavalue":{"value":{"entity-type":"item","numeric-id":1944948,"id":"Q1944948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7bd9fd94d9782eef7420c020fe293e12793745","datavalue":{"value":{"amount":"+0.8675216","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":"Q507524$157E54C1-F97B-4C76-9496-7CF2C6C8B5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80224f14fbe283d0a24c76749d7aa074ed758aa9","datavalue":{"value":{"entity-type":"item","numeric-id":6061889,"id":"Q6061889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97b6d0dc99206c5ae1a9529f11fa73b6f5ad5d5","datavalue":{"value":{"amount":"+0.8661608","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":"Q507524$F57CDA02-7ADF-4E0F-9E19-4B38060F1513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4588e58e9b526d6176ec4327f6e5d8d035ea58f","datavalue":{"value":{"entity-type":"item","numeric-id":5897322,"id":"Q5897322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fc3f2784e98fcdbb34d82218eb9c79c597d637","datavalue":{"value":{"amount":"+0.86395544","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":"Q507524$DD20EDAC-05AC-4FA0-897A-82D8AFCFF97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686272b09822dd64556bb593ae320caa59cc896c","datavalue":{"value":{"entity-type":"item","numeric-id":2286380,"id":"Q2286380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee67a86915ea9e8cc5021e765fe27152b51de64e","datavalue":{"value":{"amount":"+0.8606957","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":"Q507524$9C7A41E8-CC04-4187-B4EF-1E90B6F25F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321c4b0fa06519d573b19e35e0706f2b25f05de2","datavalue":{"value":{"entity-type":"item","numeric-id":1390949,"id":"Q1390949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2d9c94ca71cf76eadf2504ab27f6232c580538","datavalue":{"value":{"amount":"+0.85667807","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":"Q507524$1D4DA52E-8049-48D3-B6BB-1C8B2B2C0CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning definite Horn formulas from closure queries","badges":[]}}}}}