{"entities":{"Q2732527":{"pageid":2743266,"ns":120,"title":"Item:Q2732527","lastrevid":41944007,"modified":"2025-05-19T09:01:34Z","type":"item","id":"Q2732527","labels":{"en":{"language":"en","value":"Explicit provability and constructive semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623806"}},"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":"Q2732527$A8A6288B-EA75-43A9-AA18-B5519505EF38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b0fbf35800e7d76e534998dc1dbdf635b26a8aa","datavalue":{"value":"0980.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$083F744A-D9BA-464D-90C6-C70CBBF8DB17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60bc3530e0e8abe1315d487eed2a7ec0c5bf9de7","datavalue":{"value":"10.2307/2687821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$9AC835F4-5854-4AF2-AF8C-312FFFD615F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca81d64c0b12a62d219fb28ceff571fa6ba75361","datavalue":{"value":{"time":"+2002-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732527$AA04C61C-03BF-4EC1-A5F8-AD15C9744617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3038083a2e2a8c7b2df58702ba629c125b82ae25","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0701-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732527$77DEA9AB-BFCB-4259-9F88-175B88BFDAB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$D11F791F-BF35-46D0-8CAF-F021D03F7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$2059A3EB-6F8F-449D-8468-049EEB8D2624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$67DEEACC-2E81-4808-B94A-8DA6A046FA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$C3E92EA4-720F-4F7A-A6AB-03D8A30CABFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$F7775634-E1A8-4DEA-BB30-ACBA065032CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfb6e90aa1c2d3efc0d91280a821e7d6e65a62e2","datavalue":{"value":"1623806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$82FAF40C-7431-4390-8F59-BB8C6260CDC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33d8fd9facd05f25e7bb667fb6b0278399742bb","datavalue":{"value":"G\u00f6del's calculus of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$4B54B859-CB7A-4A29-AAFF-966990A54566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$2D4CBB9B-9B38-4D99-BC48-E0BBE55E6B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$021A58F0-A468-4F41-B58B-5100BBD9D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5149f8757eeaa3ed157e0e2268bd3a7b25abc396","datavalue":{"value":"explicit provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$4045E4FE-5D59-43D9-97A8-A63C9DBFFEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4c657d256faec7de29b6c7376e3c6804a50d25","datavalue":{"value":"arithmetical provability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$D196C5D7-EF9B-43EF-850F-5A2502293F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$BC28BC7B-40B6-4947-B4D8-2E043B63AFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c95d6371d47e86c84e2b2a5b875b171f4c6886","datavalue":{"value":"BHK semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$A46059DC-C67D-4C8A-A5D8-672DE2F2ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$C8D592E9-AE90-492C-8A2B-C1F8CAFF4ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236d314360d1ca35fd503497e2066b03a1b28586","datavalue":{"value":"provability semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$41336CED-0EAA-4A5C-AC7E-88069E0DEC54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$227C2B2F-5814-4DED-8811-004803B3D3BF","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":"Q2732527$61294476-83BB-4C10-8FA3-D64EFB82A013","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdffb2c61eac5011fe5ddc068beadcab9d1920a2","datavalue":{"value":"W2043468053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732527$99E04280-DDB8-4303-840E-B8B7CB6C0ACD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$55A818E1-87E8-4176-A8A7-BB56B5730C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$BE8C8851-5090-4FD6-9A44-BE3493BF226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$7BF86544-00F2-43A8-9225-0CE79CC94A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed06f3a1051c38b77692fd862191034be4a8eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4757531,"id":"Q4757531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$76279B2F-6136-4DE8-A4D4-00EBD7D0914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fb496a1395aedc98382b3dc8911378a03ce25f","datavalue":{"value":{"entity-type":"item","numeric-id":798616,"id":"Q798616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$20C0BF8B-9941-4DB9-AE01-F2EB3AA69B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f408f85e60a2998438dee117b91ae8d167e7e986","datavalue":{"value":{"entity-type":"item","numeric-id":3728881,"id":"Q3728881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$9C34E893-BD4F-4495-8BAA-CDEF8C6FFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550171265416460fe42938a6ed187ba3b19b5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3866261,"id":"Q3866261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$4A0B62E3-1299-4F9B-86D3-6DA3251C5C51","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":"Q2732527$84987CB5-E6DF-40D1-B914-0E342BA95852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$5315988E-C7AC-48D2-BB7A-13E97AC0C48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9fa29d85b0fa6bb92ccad434bdf75276ac6ee7","datavalue":{"value":{"entity-type":"item","numeric-id":580343,"id":"Q580343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$8EC189E9-E1C8-41B4-88DA-46D96D8A62DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a9b180d798e37b46e41b7ece24d9022f1e0810","datavalue":{"value":{"entity-type":"item","numeric-id":1131849,"id":"Q1131849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$BDE2AC09-66AE-430B-8009-163D6F32783A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2f4e81c47be984cfa5fad230c50c81abfd3586","datavalue":{"value":{"entity-type":"item","numeric-id":4309515,"id":"Q4309515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$37BF3A0D-DC95-4250-8732-B51B43BEEDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$65230DF6-DB3B-4B16-9EDB-83063A070A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$1B7657B9-FFD4-4E40-A58D-869B9CC9FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca195ca6c4f185fd9e4c8867d4a63bc875ecef","datavalue":{"value":{"entity-type":"item","numeric-id":749522,"id":"Q749522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$1449245E-FE13-47BA-8732-9DD10698DC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e773b14295d38a2673b1dc8796268cbfb3385b","datavalue":{"value":{"entity-type":"item","numeric-id":5187257,"id":"Q5187257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$33DD7B9B-0B8D-469E-810F-2CD454C133C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$CD3F3D9D-4E34-4DD8-A4F1-8D4B0D9D9E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$951B0498-566E-41C5-8421-F160300705D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a809f31ef39f6e4c9f4e48a0cfe4d2740e7783bc","datavalue":{"value":{"entity-type":"item","numeric-id":4323033,"id":"Q4323033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$E178181E-EFBE-44B6-B921-9A1A3DBDA386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$05EAD5C0-772E-4117-88AA-142773EA8850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7b7290b4bbb0469286d33468036c8b592bf476","datavalue":{"value":{"entity-type":"item","numeric-id":1379288,"id":"Q1379288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$94CB7BB8-BC5E-4AB7-9CA4-C915A998C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$B0CC59B2-2581-40E5-ADB1-4F0E570EDAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aac5f0993f3da62ffeac9b52938c987eb2f49d","datavalue":{"value":{"entity-type":"item","numeric-id":3248013,"id":"Q3248013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$1DB8B8DF-E3A2-4221-9508-249337788CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c7020c16ed71d57900f95ec6e0751cde75de3f","datavalue":{"value":{"entity-type":"item","numeric-id":4032626,"id":"Q4032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$BCC1C511-C614-4C2B-9DE3-860FF9712C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$6B05B214-249F-4ACD-8A93-58495E03E514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$FFECC357-3F29-48A5-954B-17ABE2D28F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$8D9D2336-F80B-41F3-989D-A29C335BF9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$1DD4FA71-666C-4D38-93EB-692C898227A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$F444B1D0-1678-42E4-A3CB-F6AB1BF3BF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$9C1225E0-A554-4C90-B886-F2C79AED47DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$C02EFA27-B251-434B-9F75-5A023471A4CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9adb36fa36dec7cf03e36b35908d19f62100f06e","datavalue":{"value":{"amount":"+0.9429461","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":"Q2732527$B00F4EA3-2A2D-441E-AF23-B4C220BD9927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792dc24384b23aadd7bba5d6081db99c5aeb2428","datavalue":{"value":{"entity-type":"item","numeric-id":5197384,"id":"Q5197384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f599da94a94de9cf644b0128e58b199a96e849ca","datavalue":{"value":{"amount":"+0.93373835","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":"Q2732527$0AC9F86A-9462-4B84-A075-C5D28C2405A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497bbd7dff057d8e9cda12db404d8eaa4ab2d68","datavalue":{"value":{"entity-type":"item","numeric-id":5250217,"id":"Q5250217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a07bb581bdff53e3ec78dae40ad689f0b41a4a5","datavalue":{"value":{"amount":"+0.9300619","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":"Q2732527$E6ACA22C-2440-4CE4-A9DF-1AA991B314B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581f9de4de8328cd1f9d2582b57c21c2074a8715","datavalue":{"value":{"amount":"+0.9281548","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":"Q2732527$4EE05AE2-51C8-4750-AC38-E74EB7F71538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f608f34a39b4ea9ad104be92d335555ed4fbc61f","datavalue":{"value":{"entity-type":"item","numeric-id":2240552,"id":"Q2240552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b664813563b6546f0e11ad20a7f6c17457f42833","datavalue":{"value":{"amount":"+0.91617906","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":"Q2732527$3F443149-7AB1-4AD3-BD87-4548F96B9E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741567406b0f9c152b80c6bc45bdf2a7841bd6c0","datavalue":{"value":{"amount":"+0.91520536","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":"Q2732527$69C28CA5-3802-4677-A66B-91BBB9FB91B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae8ddc927f252201de4dbd27cfdf27d203a880f","datavalue":{"value":{"entity-type":"item","numeric-id":2142067,"id":"Q2142067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e931398c5a56dc0cfc5d2e0ce4525e801bfecccc","datavalue":{"value":{"amount":"+0.91017824","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":"Q2732527$3A3DF394-09CE-41FC-8CED-D96D049C5807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38dc7409dd4cf70b35b1a480a6ec992e1b9e945","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14ad7133c060f61b5f0b184c64d01101775961a","datavalue":{"value":{"amount":"+0.9099865","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":"Q2732527$ED378BEA-D210-4B11-9783-5541C7B8E727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86d2524f0c847f95edac0df60850a361a219668","datavalue":{"value":{"amount":"+0.90813905","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":"Q2732527$24E0A1D8-FDC0-485E-ACE5-D614B277784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccd438d39cc1f94c8fe0921eecb52797bc7e925","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdea52cb2ba0c7f2ef08499f665995be49b6c86","datavalue":{"value":{"amount":"+0.90661776","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":"Q2732527$ECEB636F-66CE-47D9-8352-92A018CE97FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"323c71b5f4d92c309d2cae56cc689c618cf5afc2","datavalue":{"value":{"text":"Explicit provability and constructive semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732527$F9A5809C-B2B5-4B7C-A7BA-AD7DE4B32BBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"709e15fa9fc25ecc164e8dbc211529a51b26ae27","datavalue":{"value":"G\u00f6del introduced a calculus of provability, which is the modal logic known as S4 now, and left open its exact intended semantics. As is also well known, Solovay established afterwards that arithmetical provability is formalized as a modality by another modal logic which is usually called GL. This gap is filled in this paper by a logic, called LP, of propositions and proofs, in which, by making use of the newly introduced notion of proof constants, explicit provability is formalized as ``(a proof constant) \\(c\\) is a (code of) proof of (a formula)'' not as the usual ``there exists some (code of) proof of (a formula)''. The author proves not only the completeness of LP with respect to the standard arithmetical provability interpretation but also that LP is considered as a realization of the modal logic S4 in the sense, in short, that the S4 modality formalizes the meta-level existence of some proof constant \\(c\\) such that ``\\(c\\) is a (code of) proof of (a formula)''. Thus the provability interpretation of S4 modality is established through explicit provability. Moreover, according to the well-known correspondence between the modal logic S4 and intuitionistic logic this provability interpretation of S4 achieves G\u00f6del's objective of defining intuitionistic propositional logic via classical proofs, and provides a Brouwer-Heyting-Kolmogorov style provability semantics for intuitionistic logic. The author also remarks that the logic LP may be regarded as a unified underlying structure for intuitionistic logic, modal logics, typed combinatory logic, and lambda-calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732527$5E70542F-4CD1-4EDF-9207-21CFA7423A26","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732527$2AC8A8CD-448B-455D-9F85-79010D800A61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732527"}}}}}