{"entities":{"Q2825844":{"pageid":2836582,"ns":120,"title":"Item:Q2825844","lastrevid":79439876,"modified":"2026-05-06T13:54:46Z","type":"item","id":"Q2825844","labels":{"en":{"language":"en","value":"The knowability argument and the syntactic type-theoretic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6638606"}},"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":"Q2825844$5643B931-41B1-4261-8F9A-EDB8FA8DE2AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a032449621a8b4c0a2314f899aafa3411ee792d9","datavalue":{"value":"1347.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825844$A07C57C8-98F1-4AFD-9CBC-FB08330DC166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5228718f487c14f756c22b22871be8fbf9d6015a","datavalue":{"value":{"entity-type":"item","numeric-id":253129,"id":"Q253129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825844$F7BA0AEB-34C8-4C60-B80E-4DCFC7914AA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c5fd02855f979443ea17f04308ea14b9a35673a","datavalue":{"value":{"time":"+2016-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825844$EFD9CF4C-A598-4392-89B3-D5818043132C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825844$6B8F221F-5208-4C4E-830B-374BDB8BDCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825844$DD0D6158-AC4D-4E56-87AB-EE4072D9B226","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0585288f5aaccd023b523d37a6ddaa791b2ddd90","datavalue":{"value":"6638606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825844$2B6F4A14-DB97-41B8-A882-668CCCE80582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb05bfda746d9ce874d6eee965e584698649b513","datavalue":{"value":"knowability argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825844$84DD4FF4-1F84-47B8-9960-9C736284646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2fd8aff0044161a6132f7f174a7414b9d655e7","datavalue":{"value":"type-theoretic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825844$218E13EE-2F44-431A-B3B2-1AE05F6482AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825844$16499DE1-947E-49EC-B381-2455F2DDD627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7a17015950dda6cc9f09b6c17e4316dd54646a","datavalue":{"value":"multi-modal paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825844$CE189632-A75D-4CFD-B6A4-D86746805EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825844$0660A607-6538-4D4B-8447-42C61A928AD2","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":"Q2825844$8459C639-A3C4-4796-9FE6-1F53BAE1F9BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"693da624e6a65b158104865fbc136638a150542c","datavalue":{"value":"https://doi.org/10.1387/theoria.7225","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825844$8ACE5B77-7667-4292-97BF-388D2D4FEE9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e2b6f60a5c24c017f5f17a1902e1bf3932f79c5","datavalue":{"value":"W2125849102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825844$2365D12D-D5C7-400C-A501-577F44E120E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61f2f4423bb612c739ac8b1330d49e837abedb38","datavalue":{"value":"10.1387/THEORIA.7225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825844$B29942D5-25E5-4C2C-85A4-D625D2E28A8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a7c574a9bdb5731bd0046d9266e900fec16c06","datavalue":{"value":{"text":"The knowability argument and the syntactic type-theoretic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825844$69758F9A-BF06-4D4E-B9C1-0AD9A9B2EA56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd3fab278ea6af933fc8203a18b704be37268135","datavalue":{"value":{"entity-type":"item","numeric-id":6549410,"id":"Q6549410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825844$8F272EF2-0786-454D-A5EC-02094D78774D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0d8ea63ac0eafe7f025b7d9e1cc2511ad8c234","datavalue":{"value":{"entity-type":"item","numeric-id":4648485,"id":"Q4648485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a944d1200ed8edb4a666a7349d95b8e0616270f","datavalue":{"value":{"amount":"+0.7711500525474548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825844$3B4DD709-D737-40C4-B53A-D295CEB1E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dbda1ba937dbbf4d48384d7a5a93231998b9fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5259654,"id":"Q5259654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72834ef42bca82cf8e16881fbf21c07d9e29ae37","datavalue":{"value":{"amount":"+0.764381468296051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825844$71C34900-578A-4B82-9DF3-443E37B70126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccbd6caa5d0ef085e5a658f252938c7ddcd95fbb","datavalue":{"value":{"entity-type":"item","numeric-id":4229382,"id":"Q4229382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c9692cd1526c05033e6e93c238d2f87f98613f","datavalue":{"value":{"amount":"+0.7516051530838013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825844$A68CDF1D-E632-4EE3-AAA2-B805A30EC052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d181ad16b9f7a3047b06d430999c66d1cf5cb31","datavalue":{"value":{"entity-type":"item","numeric-id":3611670,"id":"Q3611670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3c2bb40b11f00e0e5b3b53eb3d908e7075dc33","datavalue":{"value":{"amount":"+0.7509139180183411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825844$3CD3EF3A-0BA7-462B-A5A8-5E0C3CC5005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a883ee2a0d31316bde92c7e8af06328f08bcdd80","datavalue":{"value":{"entity-type":"item","numeric-id":5711864,"id":"Q5711864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8587aded4ebecb86107cf79faa00d78aec78cffe","datavalue":{"value":{"amount":"+0.739881157875061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825844$F0F7D401-69C3-461C-9967-DED1F2B104BD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825844$7EAD7CA2-0358-465C-9F7B-6D85514339A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The knowability argument and the syntactic type-theoretic approach","badges":[]}}}}}