{"entities":{"Q636373":{"pageid":638221,"ns":120,"title":"Item:Q636373","lastrevid":63168375,"modified":"2026-04-11T11:03:53Z","type":"item","id":"Q636373","labels":{"en":{"language":"en","value":"Light Dialectica revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943656"}},"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":"Q636373$C73A0B96-5F99-4D8E-BC7F-63378E8D9F31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"649d3d09c0eecaeaf8423c0412b7f6077c10dbbd","datavalue":{"value":{"text":"Light Dialectica revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636373$59C3E23D-8320-4B15-B19A-5E2B6EBB7D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e053c3f6794bc201f5745f4f64a05a9bbd3d5d2","datavalue":{"value":"1223.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$0309A6FE-E2DB-4988-B8D9-B5A1AE5A2F80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fda900f24f6234602837a102ab7eee0fdf7131e","datavalue":{"value":{"entity-type":"item","numeric-id":557797,"id":"Q557797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$37883C6C-F68D-4D16-BE5E-6B0D5E439A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"000a0ee59568f95ac474e6925f3a489823044724","datavalue":{"value":{"entity-type":"item","numeric-id":636372,"id":"Q636372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$55EBF9FF-8C58-419C-9976-1C9664B052A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$A58BFBF9-C4A7-42C0-9BBD-EA919DA87CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636373$68DD53A4-5EE5-42AA-AB81-C2B7792267A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5227ebd41919c107cb0373bae0907c94823d37aa","datavalue":{"value":"https://arxiv.org/abs/1212.0020","type":"string"},"datatype":"url"},"type":"statement","id":"Q636373$32B0DB64-C051-45B6-BE67-1E26D70EC5E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$6BD2F19F-CC21-472C-B753-E0AA094E4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$CD999BBE-81D3-48AA-9934-AADC3C081909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$FEFB21AC-7678-454A-9B31-E11328D75F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"282b238a5dca76172b313f66cad65f6419b909b8","datavalue":{"value":"5943656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$03882E0C-85F1-4FE0-B73E-EC091BFC5322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2479ef18bf845fb7146a7863869d98563a8b750","datavalue":{"value":"computational content of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q636373$330B20D8-CAA9-47A5-B8AF-21AC677AB91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q636373$EB0CF229-33A4-4563-9DEC-E45C02902021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed99d94397511bd8e22ab2437f30b726b49b0b","datavalue":{"value":"program extraction from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q636373$F7A02F8A-78F6-454F-A7DD-6634D71B7CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c364d3b223ef1f6572d6566fc91d1c6b011b4390","datavalue":{"value":"light Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q636373$CA3ADF72-7BFC-4329-B39E-9EB40B1D7008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"978e40f1dd263809e1959d092411a198f4057090","datavalue":{"value":"light/uniform quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q636373$F62F7782-1906-44BF-AB17-015A89B10AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975d965445a56ded6086b20f6c12874cd14c3d2a","datavalue":{"value":"automated program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q636373$51777B1F-5D53-454B-AEF5-C7E7D9AC147E","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":"Q636373$044AB1E9-6A2E-40F1-9E11-A427B75ED2EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45cabb9d19515a258ccd9f5ff2b3269bf9d90044","datavalue":{"value":"W2052037434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$8BE89A01-0643-49EA-AEB2-000A9336CED4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$8DE81787-F97B-4C09-8A42-FC4D41B8F7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d4a7d00e71068e225ead6d293c140a0115f6f7","datavalue":{"value":{"entity-type":"item","numeric-id":1772775,"id":"Q1772775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$86339FD2-5F88-4CD7-BD12-0EA42BD275B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$493725D5-E34A-4128-A48E-3F5CF6E991C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$5286790C-8470-474E-ABED-3C64AA3B0ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$A065CE18-BC33-420F-8F65-709965EE15E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d749d5b3ea71f77d2f10a1b605c78053f767f04","datavalue":{"value":{"entity-type":"item","numeric-id":5394596,"id":"Q5394596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$22663644-098D-4B93-8A45-CB0EA6821553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0f1ab68b59c3162c71f414c30faa1b5b27f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":3507440,"id":"Q3507440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$5AE0B7DB-B3E6-45F7-AC32-71295ECFF43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68633294b75b82f4404bca2080b91b9e400dc074","datavalue":{"value":{"entity-type":"item","numeric-id":5931215,"id":"Q5931215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$1ABA9714-67CF-48D6-8BFF-5070471C04D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d52afa612ae761cf8d74b716994a1a5e8e024","datavalue":{"value":{"entity-type":"item","numeric-id":867407,"id":"Q867407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$30E4BDA8-C158-43F0-9667-1576544A002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545296a4d71a088cba3e8c2681b87585fb3a666c","datavalue":{"value":{"entity-type":"item","numeric-id":3612668,"id":"Q3612668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$93B275F5-3D95-4A52-B7B2-F8B3B595450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e2e615e2ff0289a2b950effc45a2f3ba3e82fe","datavalue":{"value":{"entity-type":"item","numeric-id":3506320,"id":"Q3506320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$B7A0F643-D59A-438B-A9C1-40BCC83F6A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$3420CECA-8356-4246-B764-F3DC0C017C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eb778909a4ec235bef6035c357b38446b265e3","datavalue":{"value":{"entity-type":"item","numeric-id":3576085,"id":"Q3576085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$610D2103-DABE-4CB1-9FC2-9829CBBA8A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636373$78F7E4E5-45D8-4A10-B30D-A4F3F83D6826","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f42e036d2c771bb81e82b0a76c59639659193596","datavalue":{"value":"10.1016/J.APAL.2010.04.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636373$7DE88EBE-D8F5-4DEB-B5CC-BA203343F547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bc5523a770361237962c8bd1131fd064d7fa19","datavalue":{"value":{"entity-type":"item","numeric-id":4237309,"id":"Q4237309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6abb6d30fa9b0dd7faae0d91d6db9d4795d53ec","datavalue":{"value":{"amount":"+0.7638028","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":"Q636373$B8B47102-6C6A-4B9E-A100-D0B53A6139E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2f91c2670396f5f344b17912175c5a7897ee05","datavalue":{"value":{"entity-type":"item","numeric-id":4467750,"id":"Q4467750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec2c0fee92a7358b943630dc3e2c670c1226d71","datavalue":{"value":{"amount":"+0.7512481","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":"Q636373$C7E7BB1D-8588-40E6-A09A-544ED219E1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6033c55591787b5a3025b906a19e2f2cbc0da5d","datavalue":{"value":{"entity-type":"item","numeric-id":6061661,"id":"Q6061661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b7d3ba168670c5dd33729a52760e125193c516","datavalue":{"value":{"amount":"+0.74158347","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":"Q636373$E2037A75-8D02-4B1B-AAE6-9CD1449C1BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0106f6a2a0b04a4fe3b87f0c6aab0e78bee975e8","datavalue":{"value":{"entity-type":"item","numeric-id":2966214,"id":"Q2966214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff65a7f746c8bf7833d5a99c8ffbe5fe442c5cc","datavalue":{"value":{"amount":"+0.7412158","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":"Q636373$212C7872-BEF5-449C-B305-80665E043C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3c0141ff56ea414449b9622f31f75e319f0774","datavalue":{"value":{"entity-type":"item","numeric-id":2829517,"id":"Q2829517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688ea76e622907a2347e570c6d322463b3154f2e","datavalue":{"value":{"amount":"+0.7366167","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":"Q636373$F4E8D3DE-D5AA-404B-95E3-51A14973205A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6cfa405c435907c9de0905049a28a1c63c0f11","datavalue":{"value":{"entity-type":"item","numeric-id":3829551,"id":"Q3829551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12d885ba612f4ce733732550ca0702126eb2909","datavalue":{"value":{"amount":"+0.7347388","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":"Q636373$BCB475C8-EC3D-4AB2-B101-5DA75172E639","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Light Dialectica revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Light_Dialectica_revisited"}}}}}