{"entities":{"Q4819004":{"pageid":6848584,"ns":120,"title":"Item:Q4819004","lastrevid":74719917,"modified":"2026-04-15T00:01:56Z","type":"item","id":"Q4819004","labels":{"en":{"language":"en","value":"A proof theoretic approach to failure in functional logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102946"}},"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":"Q4819004$B761828A-23F8-4DC4-BE9C-762B38EA7CA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5081cdb818ce6d1606ee72a31f0ce4fc1367ac68","datavalue":{"value":{"text":"A proof theoretic approach to failure in functional logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4819004$2245A6C8-D9F2-4722-BB89-6EC5B752CB96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"239a7cb72f4007f5fe54212465f468ade82808f2","datavalue":{"value":"1085.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819004$134A3E5F-365D-49D9-A48E-5014DA8C1249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c296f115251d1823674e6ef5f7a5c6b2b46f870c","datavalue":{"value":"10.1017/S1471068403001728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819004$164541DD-2BCF-4726-815D-347CC642BAAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8382f359196c686b16dff13fed23e354206080","datavalue":{"value":{"entity-type":"item","numeric-id":880983,"id":"Q880983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819004$F53828F1-8BE0-4052-907B-F65AA970B8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73479b70458c0789796858f4b05c9d38291cce00","datavalue":{"value":{"entity-type":"item","numeric-id":2037427,"id":"Q2037427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819004$B2C69E73-54BE-4A88-8ECC-41473A6F2199","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":"Q4819004$FDDEF88F-67E9-46BD-BE88-0F24397BD053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80836874fe663944c89061f0420200b4dad391b3","datavalue":{"value":{"time":"+2004-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4819004$2CC04B31-76B2-4CCF-8F09-AE6E4427F01C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819004$A7501590-3C70-4DDD-AFDB-9C6911E4C094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"725bb519844d9836d25f424346f68b5da74f1589","datavalue":{"value":"2102946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819004$51763AAE-F3E7-4935-95D0-ABFEB24AD783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d25012151c0f52d1da5b55e2d396dec66af4cc5","datavalue":{"value":"constructive failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819004$D804B8AE-0CDD-4C8B-80FD-94FA728FCB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76404801af165cb463eb6565e85db865a0fa52e","datavalue":{"value":"functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819004$F67446CC-D049-465C-A483-16CABC5549FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb6ceedb3c728a015b9be5a92964e01125ffabc","datavalue":{"value":"proof calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819004$E95A3C0F-37A6-4022-97CB-80A2F98A5B00","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":"Q4819004$E63FEB30-0F75-4E37-8B30-EBCF67D05E7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b54fd7b39431feb0673fca0ec53731cb9b694","datavalue":{"value":{"entity-type":"item","numeric-id":2767053,"id":"Q2767053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86392b4536cde392511278969fe4ecf7a8a8b8b9","datavalue":{"value":{"amount":"+0.9802613","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":"Q4819004$04633A8B-9821-4050-BD93-65A813B3707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6336123601a7a9528e15fd9bf0e208bf110c241e","datavalue":{"value":{"entity-type":"item","numeric-id":2996183,"id":"Q2996183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f3b449fb891cb3925e120e8335d8508cb3cbdb","datavalue":{"value":{"amount":"+0.934581","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":"Q4819004$D7A979AC-1A84-4A44-A0BF-646272F2F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375cdb8d1b578209dcf75b4904f8e4e0b3c20bbb","datavalue":{"value":{"entity-type":"item","numeric-id":2844060,"id":"Q2844060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ded161e7a7003ad334bba726d63abc27e26564d","datavalue":{"value":{"amount":"+0.9191754","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":"Q4819004$8382D1FB-5E49-495C-AE90-EFE535088E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2b9e28815f430bf250c196e9dfa6b5f93d4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4409162,"id":"Q4409162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a5a82fea3ade283ea26b8997ac861f8bd0002a","datavalue":{"value":{"amount":"+0.91486275","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":"Q4819004$3F8341F8-629E-4EE2-B20A-A3949D29C4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814fa6db88e147a87a36e0fe5de5e9762c579a97","datavalue":{"value":{"entity-type":"item","numeric-id":2873788,"id":"Q2873788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0505699a434efc7f282493161a564b706bb8a62f","datavalue":{"value":{"amount":"+0.90568465","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":"Q4819004$70130051-898D-4255-9120-ED2A2D1DBF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a82a874e9d3940e98c9a9f286395905bce6fce6","datavalue":{"value":{"entity-type":"item","numeric-id":3558242,"id":"Q3558242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6c1ba14f07e034eac4085264822ffebdec5caa","datavalue":{"value":{"amount":"+0.8905673","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":"Q4819004$45DB1C70-1A59-4889-B7DB-3A644CFD43FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358d285ae9b1937d8e4f6b00914eb056783102f4","datavalue":{"value":{"entity-type":"item","numeric-id":4499240,"id":"Q4499240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec0cf3281ebbf8c74a64bac7bb7b39131b6f3db","datavalue":{"value":{"amount":"+0.8897065","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":"Q4819004$1D91C77C-0987-4A12-9DFE-B42DD4576E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75703213a5e6b1ffbe2a13631cdcfbae534fc6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4938429,"id":"Q4938429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5dff49dc285c9f149ae02a626dfec492322343","datavalue":{"value":{"amount":"+0.88494056","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":"Q4819004$1742531B-DF72-40A9-AA11-BA90447B060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1963487ed0f1b0b68ccef19a06922ec03f01bf","datavalue":{"value":{"entity-type":"item","numeric-id":2841284,"id":"Q2841284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd90c1a71414ef8096c0f87c561a0a3c9d8ea987","datavalue":{"value":{"amount":"+0.88337743","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":"Q4819004$5EDDE5E3-91B5-4CBF-B486-C3B0A22133D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof theoretic approach to failure in functional logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_theoretic_approach_to_failure_in_functional_logic_programming"}}}}}