{"entities":{"Q5739982":{"pageid":7769534,"ns":120,"title":"Item:Q5739982","lastrevid":58596834,"modified":"2026-04-05T22:32:15Z","type":"item","id":"Q5739982","labels":{"en":{"language":"en","value":"Coalgebraic logic programming: from Semantics to Implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601627"}},"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":"Q5739982$51147290-46C5-4A7A-886F-4AA5E7222A5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"344d2f7d957b018ba8d6e15a7dd141858f290bb8","datavalue":{"value":{"text":"Coalgebraic logic programming: from Semantics to Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739982$D072C242-0B31-4295-A38B-B47F80DC4911","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41e1a7f73bdb5f1513ff942d34ba6aa983d1b84f","datavalue":{"value":"1344.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$9DE97767-2D72-413D-90ED-35B9227E86B2","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":"Q5739982$76A6CBBA-76E6-4ABE-8154-D644B1BA99D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a2fb3ca1797da087bea60a7ba04868a16e10df","datavalue":{"value":{"entity-type":"item","numeric-id":280196,"id":"Q280196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739982$4121EF5D-9E85-419C-9BF6-7B58B40FDEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739982$290F8732-AA30-4E88-BF5F-88536B0026AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739982$29004A77-0C88-4330-BC13-9B508CB007FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f972ba7967728ec1a2a16ecfca27ebe6bfe66eeb","datavalue":{"value":"https://arxiv.org/abs/1312.6568","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739982$0A4F003D-5824-43B4-9477-4500ADCC2B43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$48A15A4A-7628-4306-B959-8CD3C620F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$C0E4547E-8716-4233-8314-12546FEB26A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$92B463EB-CF66-4932-8E4E-CBAADB26192D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5e33eb432cfd2270319130280c52404b39309f2","datavalue":{"value":"6601627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$4F77032D-AA0D-429F-B200-835CE4AC276E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739982$23F2FA81-D00F-4E68-961E-B1BFE5575EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739982$FEB9AC62-129E-487F-97EC-60C8FEF5076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51392bbc2216a9eaa78949a25d22e296323fb975","datavalue":{"value":"observational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739982$304D9F5F-1609-4005-B362-329C602154A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739982$930A948F-A8E0-4EB7-8799-1C1BEF52C6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739982$C05ADE39-250B-4E19-8A69-65D1053FAC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739982$CCFDE626-00BD-445D-B977-9CE31B319201","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":"Q5739982$B1296111-DC04-4C57-BC86-8DB2B8B60EF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d858db444fff6db1796e3e13a3d5e1a7dd0ab337","datavalue":{"value":"W1989408212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$4A736767-190C-402C-9FFB-33DD857300A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82964a285b072b351fd7c6a97cd16ddbe269bcaa","datavalue":{"value":"10.1093/LOGCOM/EXU026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739982$03694DD6-0416-442E-88E9-018756A3F67A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739982$8FE085A4-2A95-4710-9E52-83037D3D69D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1f5b9cdd648c59f2641d043d6a1fe0bcb030ba","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb688336bfe96421fe6100b30a7fa6a32e967745","datavalue":{"value":{"amount":"+0.95908207","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":"Q5739982$2D3329B4-1238-4A24-92DB-11E84AA6B3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662399e4cc13d497bbc41ccf76729bbdc43b66e0","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed49121e836f79f6d86b35a2a9bc6c2e29a457c5","datavalue":{"value":{"amount":"+0.9575947","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":"Q5739982$D8891937-A976-4963-B1A2-6F83638045A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0853115477b595f9b6a6660623b60e1af9db680","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44085a246c4c57bf78cf56c819597718cdbee76b","datavalue":{"value":{"amount":"+0.9431376","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":"Q5739982$3C2EF3E5-F0B6-4C11-9884-1FFFBA92C2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ef567ae3caa4523626ccbb32fa2c077018c262","datavalue":{"value":{"entity-type":"item","numeric-id":2848941,"id":"Q2848941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b89a460ed5f1eb029471aa11472dd458e7b9c56","datavalue":{"value":{"amount":"+0.93765706","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":"Q5739982$C3740CD9-DBF8-4570-83B5-EDD24544C0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a236d79d6b8fd04241af210773928bf56ad5df","datavalue":{"value":{"entity-type":"item","numeric-id":3187007,"id":"Q3187007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ef68025456af53bf8669e6236c552cc9bdec24","datavalue":{"value":{"amount":"+0.9317609","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":"Q5739982$7D37C69C-3D94-444F-81DA-80A98010EDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c4bc736d1f8815d305dc7a65299536ff4282ac","datavalue":{"value":{"amount":"+0.9305746","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":"Q5739982$30901941-BBBA-47C6-A1ED-C1E7423A5D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a804c3c76a1bb0c8ec52d4f0a6c8fbcfbc284417","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c252dfabd2f44a084b872e2b57a11f325fb4d84a","datavalue":{"value":{"amount":"+0.92893344","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":"Q5739982$FB678D13-AC0D-4A2E-9E79-F7F18BA2EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ed33cfd8809c50b348cba3ab8f091518f472c6","datavalue":{"value":{"entity-type":"item","numeric-id":4989395,"id":"Q4989395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c4d03d4d727a7577595ab93cc6c47a8d67cb24","datavalue":{"value":{"amount":"+0.92749673","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":"Q5739982$EA514C11-E9B2-4927-92D5-98592AD4DC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2281f62d80bb1c876136c1875821d96567d0bda","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bc7792cd3ac4d1957b30d0d02e587d8942a665","datavalue":{"value":{"amount":"+0.9267916","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":"Q5739982$F202A2EE-FD53-4E0C-BF33-D7966DD23319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4dd9ebec0e3518760b951d9e054a2547c7e37c","datavalue":{"value":{"amount":"+0.9264355","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":"Q5739982$F2B2B19F-4D88-4818-8C9B-882CB4A50B9F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739982$5A89E9F3-4C42-4559-8B3F-3B45174FC5CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739982"}}}}}