{"entities":{"Q1847766":{"pageid":1858508,"ns":120,"title":"Item:Q1847766","lastrevid":82164851,"modified":"2026-05-06T20:15:28Z","type":"item","id":"Q1847766","labels":{"en":{"language":"en","value":"An introduction to mathematical logic and type theory: To truth through proof."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1820656"}},"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":"Q1847766$E830663D-51EF-4FE5-9982-466A6D7D352A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3cb4e6c5498a1234d37d61f9ee4350990b350c","datavalue":{"value":{"text":"An introduction to mathematical logic and type theory: To truth through proof.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1847766$01C4E033-CA3D-4795-A1AF-E1C0D32F01F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4c0a191679e13ba774e12ad523121c69969cfb2","datavalue":{"value":"1002.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$375D4215-AA02-4F15-B089-DA81A3FF499D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847766$BE39FF85-7F91-4A3E-8A83-FBB92E94AF89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847766$C5844696-31DD-416C-8E46-7B4A3A4BB229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"426878069cfa689212687e946fa43c14de4df368","datavalue":{"value":{"time":"+2002-10-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":"Q1847766$C85B1402-D98D-4145-A4C2-64F35BFA698B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6692e9518c68c29bb10fa26aa290a5a78cc99e2","datavalue":{"value":"This second edition represents a substantial expansion (390 pages compared with 304 pages) of the 1986 first edition (Zbl 0617.03001). The explanatory material has been enlarged and improved, and there are new historical notes and references. The addition of many new exercises (including an Appendix of Supplementary Exercises on pp. 339-343) is very useful. Also welcome is a much more extensive treatment of G\u00f6del's Second Incompleteness Theorem and its applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847766$41FD7B88-88EB-4D14-B37A-717391434DA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$009E115F-22F8-4039-8EC6-819C5F26A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$BEEB95D6-4780-45DA-BAF5-73054FD89A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$4DE5185D-1E64-4CED-A457-9EAE2D456C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$2D40092B-B675-4F10-9338-9A8BB5E22773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$A76EB53B-C01F-4715-BB80-0586B12C95A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4558f953f17c580978f1cd3668564931067df32c","datavalue":{"value":"1820656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847766$48E9DCC8-2109-49F7-B1EB-5B88661E90CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847766$C81B7E8B-E408-4D82-BF2A-960FF8B2ACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847766$28B227FB-99C8-44FF-8EBE-A9DB56AF8EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847766$AE97C34A-666D-4192-9736-BC3194DC58CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847766$F2B3E4F7-4CE9-4FC0-9F0E-DB3E50440207","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":"Q1847766$2D699656-C922-4209-8135-DCEA58FB7817","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4d0e97a36689a111b96b7f1fff85e4e09faa72","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9d48e83a5d0c899220e4944aff4da748fb9a09","datavalue":{"value":{"amount":"+0.8242548108100891","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":"Q1847766$63C43310-2AF3-4514-9B08-7990FCCC82E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa2392f5d3c2519a17574e230fe21c38d686106","datavalue":{"value":{"entity-type":"item","numeric-id":4531074,"id":"Q4531074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944e2d13402849cab92eb8dc05c9782b4e99ee4d","datavalue":{"value":{"amount":"+0.811887264251709","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":"Q1847766$3BC213FA-B5B9-4406-BB4B-E0A0A45F1231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6460db5d040225e953d1893311f127c7fa879d4","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4df6a25d484b7b76edc5c9f17db8fdee4d3905","datavalue":{"value":{"amount":"+0.8089898228645325","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":"Q1847766$41139753-2B8F-4F1A-A8C8-9703CB5BFD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472d881f71d37e294999e112b39897a7e684c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5891939,"id":"Q5891939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e346afb53c1af4d9bb17be7713c623b9c0ed08","datavalue":{"value":{"amount":"+0.8004969358444214","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":"Q1847766$25252404-5C1C-4DAD-AA45-8750DF9ADD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a0125d56a0e3481c44d004718b2cb59a51503","datavalue":{"value":{"entity-type":"item","numeric-id":5320764,"id":"Q5320764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1d0da9163f55f831e4f76bb7d8bf784594016e","datavalue":{"value":{"amount":"+0.7939361333847046","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":"Q1847766$4402667C-BF3A-454A-918A-656D075537C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An introduction to mathematical logic and type theory: To truth through proof.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_introduction_to_mathematical_logic_and_type_theory:_To_truth_through_proof."}}}}}