{"entities":{"Q2753072":{"pageid":2763811,"ns":120,"title":"Item:Q2753072","lastrevid":41972073,"modified":"2025-05-19T23:01:08Z","type":"item","id":"Q2753072","labels":{"en":{"language":"en","value":"Classical mathematical logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1666806"}},"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":"Q2753072$F9AF4B6D-DC27-4C50-8CAA-82F0E334C324","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66a70ce914d8a06aa5e81f722501556481cd8141","datavalue":{"value":"0985.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$072212DD-DAC4-480B-822C-F8CA015F4F50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f219d5991e2470cf3fee32f6bc0bdc6bf8c3d490","datavalue":{"value":{"entity-type":"item","numeric-id":195650,"id":"Q195650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753072$16FC906F-1722-467A-B776-A779C5B01EE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db3817d161b0670e4149da15035f59b540781716","datavalue":{"value":{"time":"+2001-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2753072$8F4D8692-4163-4653-AB84-1D373953A237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$8EC28A1C-3EC1-48D2-9CC4-E862FF55D3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$2C1865BC-7DE7-4C0B-8F18-F7399C6F3979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$80B1BF74-8600-42EB-A7BD-ED73DE50296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$B5EA9267-6DE7-4027-8A3D-0EC92963C83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$2AAC0EF3-8B98-4F6C-A6D5-0E911175859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$F2A8712D-D8F9-4D24-AB34-60BD798C595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$788CB579-B902-42AD-B42E-2C2D44C93FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$54C6DE2D-5276-41C7-A04C-83BB1297D198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$0FF511FA-E9AF-4F2B-8311-69B2725B729F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91deeb382425c35a8f2d42090abd0f6d5d5fca4c","datavalue":{"value":"1666806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753072$5E8DC76D-FA84-42A2-AB2A-D5E6EF25D71D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753072$E65B9E26-2231-4951-B18B-D376905328B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753072$FD7AEDD6-ADEE-44BB-A686-F93408D09DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753072$C213EC74-A1F1-4952-A319-743FE1BA97AC","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":"Q2753072$F24F8C8D-99F9-4512-A110-C33E6D11613D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b0c2dfc0dd9a4e8fc5171fc6948316f0efaf7d","datavalue":{"value":{"entity-type":"item","numeric-id":4805348,"id":"Q4805348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafd8a41e88a6c0df06f5f9b0984cabe8f2dbb9c","datavalue":{"value":{"amount":"+0.93365914","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":"Q2753072$6EBFF97F-A038-4BEB-B074-BF09656C2257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9762b1c72c168f6f5c6906a4071f062f62c3fda","datavalue":{"value":{"entity-type":"item","numeric-id":4003619,"id":"Q4003619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafd8a41e88a6c0df06f5f9b0984cabe8f2dbb9c","datavalue":{"value":{"amount":"+0.93365914","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":"Q2753072$024EB0D3-06D3-4FD7-B8DE-86A13EC30387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4457add3cadb7af7b95c1b0fd9523b8b4e9ed5cf","datavalue":{"value":{"entity-type":"item","numeric-id":2711810,"id":"Q2711810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafd8a41e88a6c0df06f5f9b0984cabe8f2dbb9c","datavalue":{"value":{"amount":"+0.93365914","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":"Q2753072$0B715CAD-3FCB-49AC-B961-0DB3CE6A6258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8809558db992220dceecfa1ef4e8eb4661711250","datavalue":{"value":{"entity-type":"item","numeric-id":5021145,"id":"Q5021145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e4bfca8a822c34885982b93fa6f3b5e170bfe2","datavalue":{"value":{"amount":"+0.89839536","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":"Q2753072$60AE398D-18F5-4E74-B6B2-4296050D8479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd6643f1bcca664bcb862184b61d8632705800f","datavalue":{"value":{"entity-type":"item","numeric-id":4457506,"id":"Q4457506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a275c632416e0395ec7608ae3666da4b009c2e8","datavalue":{"value":{"amount":"+0.8958835","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":"Q2753072$0FF58D05-EAAD-4381-8C87-2996376D1F00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7ef7f19d5b6837e75aeda1ea7eee6bcdfcd2d87","datavalue":{"value":{"text":"Classical mathematical logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2753072$2A70C349-3963-4B26-8D2C-333CC27DB57B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64b3c2d70eb2c8b0a8f4497442dd6d1e0e1153b4","datavalue":{"value":"This is a textbook on classical zero and first-order logic. The first two chapters contain the standard basic material (formulas and their semantics, Hilbert style axiomatization, completeness) on propositional, resp., predicate calculi. The next one deals with various subjects related, in some way or other, with provability in first-order logic: introducing new symbols, conservative extensions, Hilbert-Ackermann theorem on open theories, Herbrand and Skolem theorems. There is also a chapter containing elements of model theory. Two chapters are of more specific character. One of them treats formal arithmetic (including arithmetization of syntax and various incompleteness theorems) and Turing machines, while the small final chapter is devoted to decidability and iterpretability of theories, and to interpolation theorems. Each chapter is accompanied by exercises, which provide a wealth of supplementary material on subjects not discussed in the main text. The reader will find a number of themes (for instance, the so-called Goodstein theorem) discussed in Czech for the first time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753072$E4B4AD16-D858-4C35-93EE-AF9B2899A334","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753072$332396B5-41A8-431B-8964-1C3B8CCC42FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2753072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2753072"}}}}}