{"entities":{"Q4323410":{"pageid":6353011,"ns":120,"title":"Item:Q4323410","lastrevid":88713203,"modified":"2026-06-04T15:15:29Z","type":"item","id":"Q4323410","labels":{"en":{"language":"en","value":"A category-theoretical approach to logic program development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 723885"}},"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":"Q4323410$E36116F0-B88C-4465-A8B1-7422DD3AC4A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ea1b8642b5fc27f10cc5568e59a3129a4450b9a","datavalue":{"value":{"text":"A category-theoretical approach to logic program development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323410$7CCAAADA-C5BD-4051-962A-827CFF8F71C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fa85c70564ceaba0305a2e96102aad89ef6efdc","datavalue":{"value":"0824.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323410$89A6E00F-23BE-44DC-A439-094A0B4BC82F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b37c55712681f5035fbeaec5efcb65b587c5ed7a","datavalue":{"value":"10.1080/00207169308804158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323410$AB097EE5-1F06-424F-8D1D-0E41A1CF6A3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323410$482E37D7-F0DD-49C6-A3E4-E332E1AD1F15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e062a118b22caaee58210a4b88012aa62bef9718","datavalue":{"value":{"time":"+1995-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323410$CDB0D61A-B1F9-4ACF-BEB1-3E51A741C420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323410$46E8F38D-FBF7-452D-ADFF-0FECCBFBFD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323410$D7B9BF47-00C4-4A89-993D-8E2CBB855777","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f33f87c5018352b7fd0347346a51a8118e74a634","datavalue":{"value":"723885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323410$5D436493-27CA-4715-8B02-1926FF964F29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323410$55258558-4491-44D6-B405-AB2E47DB4B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323410$B92B85C9-F39E-45D4-801C-58D596A1CBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a13bcdd53ca811dc3ec8f6e87f44d0405acd4b","datavalue":{"value":"program derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323410$2037AA8E-BF67-4CE4-B82A-49C4947379BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323410$06338108-8A42-4592-8EE2-468B4BA553B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e923585547d6fc90dee80bdeeb9b9f2991c7ee1","datavalue":{"value":"category-theoretical approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323410$B35418B3-83B9-44B1-A3F5-772801B83888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"665b67894e9d2236065f0e79b1b4c4a2381398a7","datavalue":{"value":{"entity-type":"item","numeric-id":1192186,"id":"Q1192186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323410$E5C4E7C4-9B36-4BDE-948F-B7D26F5903D0","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":"Q4323410$4F0DC49C-B469-49AC-9CC8-4BE943566B6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00a4b0a7c6434c71edb5c71c477e19d1200da83d","datavalue":{"value":"https://doi.org/10.1080/00207169308804158","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323410$BBB5B405-22CB-4823-84ED-2F763CAC564D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee17c15520960784b32aa156c2ad293cae500809","datavalue":{"value":"W1996745532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323410$BC19BA80-A28F-4441-840B-C5D47431A58A","rank":"normal"}],"P223":[{"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":"Q4323410$D3F3F979-4712-4238-8F10-C2C06713F114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc38e2ce3f2eb8018e3b1ff5b6d70c3fd81a9f86","datavalue":{"value":{"entity-type":"item","numeric-id":5712544,"id":"Q5712544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599d53a2ae2081eb8c3a447352c8ef4c2d9fe1df","datavalue":{"value":{"amount":"+0.7821921110153198","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":"Q4323410$FF062D6E-EABC-4BAF-98AE-79D2DB5B20B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fb83c5ab5e10f9558addeaa9ab5106832c96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3986546,"id":"Q3986546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d4d66b60306ba7fd5b00ccfded5039ff03e857","datavalue":{"value":{"amount":"+0.7589682340621948","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":"Q4323410$4E3842B6-8045-48F2-AE48-1C34FEDD53DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bdd1a863e33327372620f4091c38dab8fd6995","datavalue":{"value":{"entity-type":"item","numeric-id":4325359,"id":"Q4325359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d520560723645e89ef29a47bf3f84b1039fd00bf","datavalue":{"value":{"amount":"+0.7460595965385437","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":"Q4323410$83D42D5C-3F46-46BE-9278-2F2E6D8D1EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef35615aa6c8e132218f9f6f21c3f9483a90ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4217943,"id":"Q4217943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5606454c67af78c248654b2d9ba9476de0812618","datavalue":{"value":{"amount":"+0.7375503778457642","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":"Q4323410$5E176AA7-2F09-4A98-9394-9481ABC026BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa879df9225f136cb7283dd7465f76bc2943177d","datavalue":{"value":{"entity-type":"item","numeric-id":4896257,"id":"Q4896257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ef94e61d1a992088bcd3eaee6c5a4840aff169","datavalue":{"value":{"amount":"+0.7363463640213013","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":"Q4323410$D42522D4-92BA-42C3-96D9-12F928E7B4DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A category-theoretical approach to logic program development","badges":[]}}}}}