{"entities":{"Q2405254":{"pageid":2415997,"ns":120,"title":"Item:Q2405254","lastrevid":44032611,"modified":"2025-11-19T04:56:12Z","type":"item","id":"Q2405254","labels":{"en":{"language":"en","value":"Translating between implicit and explicit versions of proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778408"}},"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":"Q2405254$29049186-0273-4944-ADED-C2A8F879FF4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bee705e369ad2a0a9372c342c4ca1f710878b3b","datavalue":{"value":{"text":"Translating between implicit and explicit versions of proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405254$3284CA0D-213A-49AB-A2E5-4CC3AEED9892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2646685a5fd3f31abb96a128a7bb62184726507","datavalue":{"value":"1496.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405254$FA74C945-4576-4168-8FFA-F94AFDDBE977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d613b3035bcb4c928668327f9e1ce11d7544e42","datavalue":{"value":"10.1007/978-3-319-63046-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405254$2247806D-29AB-4B94-8DDE-4920DEC73CEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de62f48fb05e88693b10e38080b6a02efa2c3ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2405253,"id":"Q2405253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405254$2117D78D-76FD-4CB3-A436-3C412988156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"495bd453d2d6e10cd3788ed67766c12e62edf4bb","datavalue":{"value":{"entity-type":"item","numeric-id":1701038,"id":"Q1701038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405254$86664064-D7C5-43C3-884D-1401B3328750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405254$D6AA69F7-C33D-42A9-9219-4D3DD627EE25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405254$1CB4F94B-C60F-41D7-8093-3944C6586C25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"377390befc46812643d4e208d53b745e5f0a6b75","datavalue":{"value":"https://hal.inria.fr/hal-01645016/file/cade2017.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405254$F6C0C61B-9366-4297-977A-9D606B68C940","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405254$31AC49F3-C1BC-4967-93BB-03313A759EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405254$45D8CB39-1689-4783-BDF6-68D62A85451E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad91d14a8b2f9413c8baa1f00e45e59dea616f1","datavalue":{"value":"6778408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405254$8F55C454-3CB6-4C48-9CA2-E0D608C64C72","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":"Q2405254$F44012A7-AB34-4285-830E-5DF12E2A55B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83a6eab73caa38254b368a890e11f7b865d97126","datavalue":{"value":"W2735044928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405254$59EDE797-574B-4C14-98D0-03456315778C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d12a8926ad32fe635ba23d0b7aeef387590aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5311729,"id":"Q5311729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39c1b407ada29c8f95a291ab6f6212d8c786270","datavalue":{"value":{"amount":"+0.8654175","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":"Q2405254$0460A53C-A66E-4BEA-9E8B-5A76298D558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1731e1c87fe2cbfc6e45bc84fd2538ed5ee1ca29","datavalue":{"value":{"entity-type":"item","numeric-id":5717448,"id":"Q5717448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894a4002fc9e22c1960d44eed29272bf1ab82994","datavalue":{"value":{"amount":"+0.8572149","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":"Q2405254$D8B44753-A3EC-4E78-8C86-48AF1531FF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6287a1d68e12f09801489b946a15b2d058b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9fec98450295a493247b17e12f2d818e00c419","datavalue":{"value":{"amount":"+0.8564038","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":"Q2405254$6803D3E8-C283-46F2-B222-E51A9E3ECDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15537ed68ada7519ac297a92ca22cb271f88c4da","datavalue":{"value":{"entity-type":"item","numeric-id":5426006,"id":"Q5426006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c66d2e5870b295f402d70933eee20552609ef7","datavalue":{"value":{"amount":"+0.85480946","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":"Q2405254$FA2E5256-2919-4326-8706-58248536DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72240ce9a65718cc5a6ce8d74203bcd052c3984","datavalue":{"value":{"entity-type":"item","numeric-id":5875449,"id":"Q5875449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e4bf71b5beeca38b5fa9e9480b616824d029af","datavalue":{"value":{"amount":"+0.849843","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":"Q2405254$B14F6E8E-9763-4D14-B4BD-3C72AA018B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5aa1de0fc49e3388b42be4db370a8a5b8cf94c","datavalue":{"value":{"entity-type":"item","numeric-id":3437622,"id":"Q3437622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1a6cd0bbb46006da56123e0094891509001961","datavalue":{"value":{"amount":"+0.846286","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":"Q2405254$B55FEA80-BB7B-406E-A3E4-78A9FB52509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18af07232e6e83d075dc7088d921c9204d5e744","datavalue":{"value":{"entity-type":"item","numeric-id":1343048,"id":"Q1343048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef18c5f2d7029a4b8520006fc0360a2d1b8dbcc","datavalue":{"value":{"amount":"+0.83626133","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":"Q2405254$5A2B7996-8663-4F63-9174-D11EB98C258E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405254","badges":[]}}}}}