{"entities":{"Q5864196":{"pageid":7893747,"ns":120,"title":"Item:Q5864196","lastrevid":56854041,"modified":"2026-03-23T20:15:07Z","type":"item","id":"Q5864196","labels":{"en":{"language":"en","value":"Kreisel\u2019s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537537"}},"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":"Q5864196$C3DB7224-FDF2-4E31-801E-CB22743D847C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"976bbeb7bec0ba4536a684a73cec37e0c15c5bee","datavalue":{"value":{"text":"Kreisel\u2019s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864196$E55910D6-7387-4058-85BC-0CFAE239B8FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44160f00d1ea971a383378f25ee9e35b91fab0a0","datavalue":{"value":"10.1007/978-3-319-22686-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$93C0FB96-6FDC-4FAF-AF35-B5E8E38CACC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9270cd248e1fef7a7df71838ada73e7d3a345f","datavalue":{"value":{"entity-type":"item","numeric-id":392281,"id":"Q392281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864196$6A0D9DCD-A079-4221-9481-CE2B14D8A177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abac39eb4ed65b83d7bebb6fa47883b3d5694a10","datavalue":{"value":{"entity-type":"item","numeric-id":392282,"id":"Q392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864196$270DB95E-C659-4EC3-8825-4EB50D72CF74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08fb054990c1718394bd86a4e86a0af50376f17","datavalue":{"value":{"entity-type":"item","numeric-id":5864193,"id":"Q5864193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864196$69818192-5F4F-49E4-A5DB-9F2EC8E07F6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5864196$87937CF4-95B4-495A-BCF1-7C87A650DB19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$B37967FA-A23D-4CFA-9E7E-E46B8E1FA8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$3D930E4C-EA9D-45AD-B58B-D33954625CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$7D346C70-993A-41EE-80DC-DDFFF8BECA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$6B337875-1423-455A-B3CE-8E255DFEE1DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecbc6887d9432d63b0dc730d4f05681e6ef5bd63","datavalue":{"value":"7537537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$E1286216-A1BA-43D7-B21F-6B8F8910C7D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d548489239f17c18355387425237da9002aeba","datavalue":{"value":"BHK interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864196$6951E1BC-B8CA-40DE-84D2-BEC9A48F8844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864196$717196F3-0477-43BC-A2B8-31CB79AF639C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341c2f07f5da628699e6f45943758cd8667a9285","datavalue":{"value":"theory of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864196$A5D06737-5DB5-4FD1-A6B7-C1BD185DE364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a4e1ccdefb051e5c1a66c0a5c71c12e7eb50bc","datavalue":{"value":"the Kreisel-Goodman paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864196$2B709C9C-1315-405C-A61B-662737637210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864196$C9C2BB08-0FC7-45C3-BA1C-3BFE0D5D0370","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":"Q5864196$46369CEC-E526-4D9F-87F8-E285F1C0AD42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb9ef7ecd5bf48f16f62a92a121752b38510ddb5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864196$320B6810-2F8D-4468-9276-9E12FD0F2A45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4286b2641b765ba2cd04cf65fbf8577408f5fac","datavalue":{"value":"W2178450741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864196$B3276243-55EC-49F6-AB1E-4FC13DC95870","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28667e395d07c6e76dae542564f0d91f95255579","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c360e329a41e91705e29e0e594190f5c85defc85","datavalue":{"value":{"amount":"+0.7941793","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":"Q5864196$A4166673-3D70-400E-A622-DB687102D096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1184cacf24dba6bae4612a5903e1ed3c9fbfaeb3","datavalue":{"value":{"entity-type":"item","numeric-id":2377057,"id":"Q2377057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47ea3fa774b0b200bcba0f69786c68e421a7559","datavalue":{"value":{"amount":"+0.7863927","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":"Q5864196$979A2683-FF56-48D8-8B6E-7D2017571315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff853f5ba3b5057e033df4d6dec73052c93614d","datavalue":{"value":{"entity-type":"item","numeric-id":5692830,"id":"Q5692830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a5a9369444afea36c3b0467198368a0b8aa822","datavalue":{"value":{"amount":"+0.7861799","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":"Q5864196$3F747BAA-6227-4A1B-B875-C973A56C0807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2fb0c2fb7a485530955f52245cbc51ee065a9d","datavalue":{"value":{"entity-type":"item","numeric-id":1914375,"id":"Q1914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005a0bec9d2dd2d9280558b6d53ae6b67cded888","datavalue":{"value":{"amount":"+0.7857357","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":"Q5864196$76911823-445A-46CA-8736-354F4CC93D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c42fef2fc1bed41b695e2de8c76a7c6f74a46e","datavalue":{"value":{"entity-type":"item","numeric-id":5061410,"id":"Q5061410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a179112e6e515411f5c5e5ca69e6f1cf95fd8d7c","datavalue":{"value":{"amount":"+0.7834642","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":"Q5864196$50CB7B15-7440-47E0-8EBE-6F1A3DF67275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367e011b44ccb1075a582d6a2bc5f8583db7737e","datavalue":{"value":{"entity-type":"item","numeric-id":5200471,"id":"Q5200471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974cb5564208954cace06b8422be354eebaca729","datavalue":{"value":{"amount":"+0.7808602","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":"Q5864196$434D0953-535C-492F-8E58-C880929CCA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68778be181421a43b3ed9c94fcab57449e269aef","datavalue":{"value":{"entity-type":"item","numeric-id":4230935,"id":"Q4230935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9c08c12ad5a76919fc84bb6d2eade2bb3ddc32","datavalue":{"value":{"amount":"+0.7808154","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":"Q5864196$8D5B7BC4-5348-47B0-B1B5-A18964D493F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc0ffdfd43a44a8ec1748a6e94a6dd8d7a9319","datavalue":{"value":{"entity-type":"item","numeric-id":3755454,"id":"Q3755454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c91aa819f01392d1e0c6fa398f20f8069fb294","datavalue":{"value":{"amount":"+0.780462","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":"Q5864196$F5C3B40E-3B17-4E08-83AC-1958D6840BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad573d50072defa1075f2e4a85e5062ddeeaecc","datavalue":{"value":{"entity-type":"item","numeric-id":5437775,"id":"Q5437775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bb4f75c37d416bad021a15b7e1ea689f2cb26d","datavalue":{"value":{"amount":"+0.77818793","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":"Q5864196$93A4AFC8-D075-469B-9E89-AC765698F01D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864196$074C3365-827D-4348-913F-DAB261AC1A12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5864196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5864196"}}}}}