{"entities":{"Q5739451":{"pageid":7769003,"ns":120,"title":"Item:Q5739451","lastrevid":101684396,"modified":"2026-06-06T02:31:51Z","type":"item","id":"Q5739451","labels":{"en":{"language":"en","value":"Category theoretic semantics for theorem proving in logic programming: embracing the laxness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603967"}},"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":"Q5739451$59F29FA6-FD6D-48EE-B1F7-CB462D401DCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f85fa83ab2e44ae969622892568d994b03b250b","datavalue":{"value":{"text":"Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739451$2883559F-505E-4FE9-AE53-F2ECA2582D62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d479c9a18842d39f58278f3e4c246f555ec5fbab","datavalue":{"value":"1475.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739451$65394258-9550-4970-BE94-1F30923BD717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1247463b8da34ca64a73d89f2f27d1b5e66e2e24","datavalue":{"value":"10.1007/978-3-319-40370-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739451$36CD2611-7784-4B18-9A56-AFA7F0AD4E30","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":"Q5739451$553D6C54-1740-4BCE-A675-95F1D52990BD","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":"Q5739451$5EE46973-42FD-4AAE-929D-D46A8C49CF8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38ed45f081b5272f43b89960828e8f9aaf31a28f","datavalue":{"value":{"entity-type":"item","numeric-id":2914672,"id":"Q2914672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$BFA90376-9D98-495A-97DA-3614A57BDEEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739451$506F3E26-1DDD-4BE4-A5CF-65D72522697E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8aecf733c30ed1b0f6f18a4328ab6c65bbcc469","datavalue":{"value":"https://arxiv.org/abs/1602.05400","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739451$BBB8804A-DDB1-4EFE-B6DD-46D02ACB07FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739451$53B472E5-904C-417F-A1B0-9C29B5AFD87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739451$12E2367D-DEBC-4E42-A57D-992DFF439200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70499529e9f907d335fe2a1f0855495e655207d3","datavalue":{"value":"6603967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739451$015B9E1F-1A5F-4E4F-B781-4E4C736E73A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$C401C4D7-1E62-463D-A27C-53809923D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$C3496C56-36BB-4760-A0F2-0027046E2461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75887d7000de8645f6855dc3dd9b23db5b28499","datavalue":{"value":"term-matching resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$87E91DCE-8143-4604-A650-DA153E6465A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733be713096d44813a560789fbbc62e60cb6e2d9","datavalue":{"value":"coinductive derivation tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$41CB6083-E757-4579-AFC5-E5C9FC155383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a5eddf897f4747e6697376f6f64fae4ee9eae2","datavalue":{"value":"Lawvere theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$9A9746C2-B0EE-435D-A606-E1951EE043A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37617006b834f53d5eaef7f51e3688f607464df","datavalue":{"value":"lax transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$92E230C9-7B53-4183-998A-40DEEE2756AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1ce803710cd429bbbab40c00db73a7de5bf569","datavalue":{"value":"Kan extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739451$7887B176-CEC6-48D6-8135-B9461357C8ED","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":"Q5739451$B40EC384-83C4-4C17-9468-4797175CEE39","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":"Q5739451$07105F6D-B306-4109-8032-ABF806AD44FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e399d6003b07f7223dfa2814479f483e7cf83f49","datavalue":{"value":"W2288108789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739451$8A111C22-EED1-4E10-8AA2-536C3AA5C191","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aee9d69cd99d332b9e08dbab7c5776cc25e1dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1035699,"id":"Q1035699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$0621A03D-8858-4C24-9109-943164D8CEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111caf62e228304f3daf33d1f0c591b519cf9097","datavalue":{"value":{"entity-type":"item","numeric-id":2530037,"id":"Q2530037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$52FD56EF-A72B-4D16-A782-3880574337FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$2FCADD7F-E578-40A1-9D2B-51E359A69333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdff9530eddb43d746e3fe993c133d184560843","datavalue":{"value":{"entity-type":"item","numeric-id":843097,"id":"Q843097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$ABF61C71-6D53-47F0-9AC8-9D3984D83E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf958679cc5d1d0aefbb9c7f05aeac8b7ffeba6","datavalue":{"value":{"entity-type":"item","numeric-id":4452646,"id":"Q4452646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$4032D7A8-2008-4F64-AF3F-A13221E24FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da439f17d7e507ceb9157f985a1ba44df5fef74","datavalue":{"value":{"entity-type":"item","numeric-id":2848941,"id":"Q2848941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$645BD4A4-3F3C-4A20-A8DA-C869640FE2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc91bb92487adf57837eb6208c171f11c40be1f","datavalue":{"value":{"entity-type":"item","numeric-id":5246719,"id":"Q5246719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$6FCADA3E-DA67-4E6C-B56B-D7E88335D55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ed0b34c0c7c39cf52c2b57b3122913e565beda","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$2B29E95E-4823-406F-A6C7-C1683DCEFE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f1169f36228784d77e94c5f131e01a894c8e12","datavalue":{"value":{"entity-type":"item","numeric-id":5743587,"id":"Q5743587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$C7FA99F9-D187-4DE2-B8DC-EF8D1185ABAB","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":"Q5739451$6BF60F1B-0029-4D69-8F6E-E491CD2FC42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$BB1AC052-8F0F-43F5-8A7B-F9494CDEC899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cdac8155cc7a6f2c06b4503a528b2569a7f057","datavalue":{"value":{"entity-type":"item","numeric-id":1923539,"id":"Q1923539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$998F7442-395F-48D2-B09B-8C759ADB8C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84632367f0bc821d70fbb205d283f9db1d7e726","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$7A96A6CD-A173-49C4-A931-FCEA0C857D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ada61c14aee50389693cc08b998bd5592a48d66","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$8277BB50-E79F-427C-B4F0-7C3F1F8BF1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6ddc3048ca9b0d59f5ac2d8947832396faa644","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$554CE456-3CB8-48AB-8146-FB5F233B1254","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":"Q5739451$C4885732-BCA5-4C83-BDF3-574177CE1F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c5bda6b432a3442cab572a978e555ebe5f50a7","datavalue":{"value":{"entity-type":"item","numeric-id":280198,"id":"Q280198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$51D016A3-7CC6-48A9-9934-5CDE70D50B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$D6EC4986-5E30-4EA1-A3F4-11CE77D7C379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$E9F1BFDB-9C84-4D6B-9DBF-C78FD71E2681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$A5F0E26F-F504-4F05-83E3-EFFE90478803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$76EA3691-58B3-4F35-9854-7072D2A0A6BA","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":"Q5739451$3A0DD106-7D13-48BB-953C-871EA56DF09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$303B0162-24A6-4109-89ED-C3167F16D766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$2FC2E83C-0B79-44D5-91CA-5B8B882C541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739451$9F537A5A-06C3-4573-8190-3C2AAC130521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2c32bd82fe251e429a199abbf2611841050d34","datavalue":{"value":{"entity-type":"item","numeric-id":1994355,"id":"Q1994355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c4cc57aa67ccf869c587ce729aefb3e0a90fbd","datavalue":{"value":{"amount":"+0.8986161947250366","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":"Q5739451$452F29AD-C846-42CB-B6F4-1593CD08B6CE","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":"2a52aa928e047b9398b96db43459d7683d10bcd7","datavalue":{"value":{"amount":"+0.7834607362747192","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":"Q5739451$285265C4-93ED-4367-BEE8-614B664EE016","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":"7f725be64bbce0ac030bcb3b5b2711772e832832","datavalue":{"value":{"amount":"+0.752066969871521","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":"Q5739451$B1A3A662-C688-4042-A1A4-306841528DAD","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":"007d39245a8971035798e214246bd43b6445003d","datavalue":{"value":{"amount":"+0.7495152950286865","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":"Q5739451$5F761A96-4A36-4A3E-AC1E-A1936965AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258e0869df313437174cdbb4cd7c405480694a89","datavalue":{"value":{"entity-type":"item","numeric-id":4474844,"id":"Q4474844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011b2fb40db90d20c6a0fdbdd05666944bb7b26d","datavalue":{"value":{"amount":"+0.7340278625488281","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":"Q5739451$E078062A-F173-4721-9B8C-DB9D348E9587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Category theoretic semantics for theorem proving in logic programming: embracing the laxness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Category_theoretic_semantics_for_theorem_proving_in_logic_programming:_embracing_the_laxness"}}}}}