{"entities":{"Q4592714":{"pageid":6622299,"ns":120,"title":"Item:Q4592714","lastrevid":58293786,"modified":"2026-04-04T14:45:44Z","type":"item","id":"Q4592714","labels":{"en":{"language":"en","value":"Productive corecursion in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803829"}},"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":"Q4592714$B2BFE3EE-B1EC-4446-B8D3-8FDE4ED8AC16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f989337795e56ab688122c0e261dcac1fd9f278c","datavalue":{"value":{"text":"Productive corecursion in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592714$1BE4AE97-2357-4A5B-9C62-D596AC545053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7893a150a83f203465f8f1630aa3a6f79978f0cf","datavalue":{"value":"1422.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592714$707CC2D2-B5AC-46DB-BEFE-AC39766C57CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd34a7f0481b0cc5f7374598be5e64c181e71a13","datavalue":{"value":"10.1017/S147106841700028X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592714$8B37E0DE-A798-47C3-AAAB-382039E5EBE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$DD532739-0894-4EEC-BE46-F4CF713E0AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0e9a614d0a09604bad86ad8596b5b9752793a5","datavalue":{"value":{"entity-type":"item","numeric-id":437283,"id":"Q437283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$39D7DED5-B1C6-4750-9E10-DF83337775C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$5989D2F9-3EB7-455F-B325-26091B692281","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592714$12EEFE5B-BEDC-4E5A-97EF-23732E83F0B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"408565a6a5bd787721a84fcce122af43ead101e3","datavalue":{"value":"https://arxiv.org/abs/1707.01541","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592714$0C3B39C4-76C3-482B-8E13-2CC5BD1EF491","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592714$4632D15B-CEE4-4B1C-BEBE-D984ED20E79D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b7b209812575b03d8069f8032c4a3872768dd3e","datavalue":{"value":"6803829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592714$5EC02EC0-4297-44CA-94DE-8D0194F802C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592714$D9DE85B8-C1C9-4AD1-B3C9-713AA1CAFCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad74333ffc044f9363bdbe2627e1306f1dd612d4","datavalue":{"value":"(co)recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592714$D06E0E09-52C8-4C2E-9B81-261DE3E3C521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78be44484fc953af35848568eae91dd99140194","datavalue":{"value":"(co)induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592714$96EF6336-0EA5-4B27-A775-C6400C6FB38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e9339b17b3fd2eb7a53065942ac183335f3bf9","datavalue":{"value":"infinite term trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592714$2F655B12-B067-49A8-9070-4AEBF3EA83AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0f5f11f961902b6d0dfee3acc1de077e9bea97","datavalue":{"value":"productivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592714$5F7BFCFE-E618-450B-9871-FA9527524F73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$1B5B4336-F601-4187-B727-E76642B5D3B3","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":"Q4592714$6541AE3B-EB01-48CA-B78C-E46BC2C86AFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd5079615f96894df24ccb2d6429a635be0264e","datavalue":{"value":{"entity-type":"item","numeric-id":3187007,"id":"Q3187007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$28388F62-468C-4CC9-828E-64DBA0A2E7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$AB7AB98B-3E32-4979-941D-2B65069D1259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42308f32f545e43cd9e91721a4082ee6ed41e179","datavalue":{"value":{"entity-type":"item","numeric-id":4707735,"id":"Q4707735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$B361E79D-C494-4559-A1D9-1F46BE3AA500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9b5196a22fbb287ea0d893577e0a54523feae9","datavalue":{"value":{"entity-type":"item","numeric-id":2628299,"id":"Q2628299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$F0E7A6B5-42ED-44C4-91C0-FC4426678D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720317f07a75a6f52d17c91804e0bddc91fd12e7","datavalue":{"value":{"entity-type":"item","numeric-id":2798268,"id":"Q2798268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$7DECD439-21FB-46A7-86EE-8A48FE7AF1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c11fde44696795cac33cdd0d688fb5f169e5740","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$26B879CC-A922-4A62-8701-124CF8833317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e284b4ae70d31e0721de73715c939d658fe3ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1090469,"id":"Q1090469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$8E4B148B-69EB-42E4-BBCD-A774290111BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b056a64cb29c05e02357d656db677c46d33b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4631184,"id":"Q4631184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$D47DA413-1BAF-4464-9F94-6C1E244781F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8fc5b07d88fd354ded6b197cb3b095dd6cc909","datavalue":{"value":{"entity-type":"item","numeric-id":2409734,"id":"Q2409734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$D06343CF-62E5-4FF2-8CA5-6811934CD9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51d40ac128d3b8f56437d853da9c099079feae2","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$119B480E-4FE0-4BD9-9CFE-D57F7E5844B0","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":"Q4592714$CF3D3318-8C27-4306-8D3D-9F4AAB6B1D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e357561b24d9113100e0759ecfadf0c69ade7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":673496,"id":"Q673496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$04AD9916-B747-4DF8-A1B1-6A43F915C0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$28062BBC-02BA-4C6E-9A53-4F5AF657CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff3ea9598f9b9f055ea7316acc09c6a6a6dfb68","datavalue":{"value":{"entity-type":"item","numeric-id":5504662,"id":"Q5504662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$73669854-A06A-449E-A074-D4025747F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c61b3a266ce0b95b2ba3e58ade5e19e85b58ad5","datavalue":{"value":{"entity-type":"item","numeric-id":5267437,"id":"Q5267437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$35202C96-F746-4A55-9A91-9DCB83D87DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$3C703366-293C-4EC8-A7B5-D78746DC9941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9901a00b49868594909cfecc127baac906dcdfd9","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$BE76711D-F27C-4429-8E25-FE070A2175C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e366e65d2f03a5442fed306d10883398642688e7","datavalue":{"value":{"entity-type":"item","numeric-id":3721791,"id":"Q3721791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592714$CB6FF244-BA3B-46F3-92A6-F844443185C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3fc25c93ef3d0c840b01108825ec272ed207101","datavalue":{"value":"W2964092958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592714$BF9048A7-3FFD-4569-B4CD-09673BE95075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5ccc41e14058c9da1eb4eece7d9c57a3fcc695","datavalue":{"value":{"entity-type":"item","numeric-id":2409734,"id":"Q2409734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a675fc33cdc538d64015e749b4be31233042ac48","datavalue":{"value":{"amount":"+0.8757904171943665","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":"Q4592714$FB58D3FD-D180-4AF8-A172-587BB869EFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd6a8c0b5355f80dde2de7a2ec9cc1c93afc15b","datavalue":{"value":{"entity-type":"item","numeric-id":2753684,"id":"Q2753684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460d740be2c04078bbaad3b115eb827335019680","datavalue":{"value":{"amount":"+0.7647911310195923","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":"Q4592714$973B2B40-4E09-4170-9915-212DEBA972ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd41c831a238187c8deb42c14ae4fb252fbd5c73","datavalue":{"value":{"entity-type":"item","numeric-id":5389158,"id":"Q5389158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32a7ef6617fb07a9f1f76e646751bd479dfc49c","datavalue":{"value":{"amount":"+0.7531946301460266","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":"Q4592714$88386F82-F6BA-4C1C-9196-D5515F7ED9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1845376d4c8e5f42669d8d57b7ee2c2bf28ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4624f1cb047b41e6f5d9ffd1aeadf2db14c205","datavalue":{"value":{"amount":"+0.7415538430213928","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":"Q4592714$852740BC-50D4-4585-A033-536B0A62F218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d62c369f4c503380f9494910e4db6c33ba930db","datavalue":{"value":{"entity-type":"item","numeric-id":3742694,"id":"Q3742694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5c1b9d5ab4f5fc6f38f9bdc4bd4b92c3a3c356","datavalue":{"value":{"amount":"+0.739856481552124","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":"Q4592714$D89B3CAF-2F3F-4AF7-B3AF-1053BE6F6652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592714"}}}}}