{"entities":{"Q5920721":{"pageid":8053271,"ns":120,"title":"Item:Q5920721","lastrevid":41561236,"modified":"2025-05-05T21:36:17Z","type":"item","id":"Q5920721","labels":{"en":{"language":"en","value":"Mathematical logic. Foundations for information science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5497645"}},"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":"Q5920721$7E3DEA32-8040-4C70-A5E9-AABEFEEA3BA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d34a05920120a7d4e162d640d4126235f241e5af","datavalue":{"value":{"text":"Mathematical logic. Foundations for information science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5920721$21EE5ECC-FCA9-4F74-851F-5F18B9752283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2baab2549668e34bafe2a6a58decbb7c95ed7b6","datavalue":{"value":"1185.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$08D9C906-141E-49D1-A9E3-C656F59E31E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920721$3F2BB322-A6D7-4133-B935-2E6AFC3DB51A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8070874c39ff21080ebbd159c5a183b0ba2e391a","datavalue":{"value":{"entity-type":"item","numeric-id":188056,"id":"Q188056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920721$3E51AD90-7AF3-4F56-9D8F-A26A093E21DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b4ba3f9918c1a78f7dd009f97873681096874e6","datavalue":{"value":{"time":"+2009-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5920721$CEBE0A4A-FBA4-41A0-9438-D8A30F35BEC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55ada734a80ed35044f7120f8d8fd2b108bcb364","datavalue":{"value":"The book consists of two parts. The first part is written for undergraduate university students of computer science and presents the classical first-order predicate logic with set-theoretical interpretation of its formulas and a symmetrical, well-shaped, and beautiful Gentzen-type axiomatic system which describes identically true (tautological or valid) formulas of this logic. The main theorems of mathematical logic are proved: soundness and completeness theorems, G\u00f6del's incompleteness and consistency theorems. Herbrand's models and Hintikka's sets are used in proofs. In concomitant questions of computability and representability in arithmetic of natural numbers, some form of a Pascal-like programming language is used.   The second part may be used for a course for postgraduate students of information science and includes a definition of versions of a formal theory, version sequences and their limits. It formalizes revisions of formal theories, defines the concept of pro-scheme, and uses it to describe a methodology for the evolution of formal theories. It goes on to study inductive inference and describes the principles of a meta-language environment. These principles lead to an extension and further development of classical mathematical logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$ABBF8F30-805D-4256-882D-380D9AB34ADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$F2304173-A589-4780-9024-E0F396C71BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$5401B21F-86E1-4B59-B998-7BFCB427C4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$68C2EFDF-C5AF-471C-A895-1B3CE9DC3F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$A1AD21BF-67C0-4AB5-A505-70FFA51953F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$D8DD4FE3-2C73-430D-AE71-98F19D508492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a40bc6020a753d5c0fbe6e70014c173b25058d7","datavalue":{"value":"00A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$D4024FD8-4CE0-41E9-ACD3-A026C552471E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd5a055d2d8ab7fa94fe0b37a73ffb4f2632b9b1","datavalue":{"value":"5497645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920721$F960B719-68B3-4CEE-AB54-E316C5A11B77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$0F9D1E26-02D1-4AE2-B4AA-85AC55CE7F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$545B3464-5BF2-4877-A2B7-F96698DD72E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013962a115ce263099a71daaa4b36cb1ee65e993","datavalue":{"value":"formal axiomatic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$AFFA43FB-9114-4043-8137-516BD08A6F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$27E09794-0C5F-4FDE-9613-BA6CAA6C94CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$C1488949-7231-4950-B164-2E315CF8CF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde09b3a1223c82ce4de8720e31066874957efd8","datavalue":{"value":"G\u00f6del's theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$8A4B96F5-AB2A-4B4E-97B8-36958012875D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42097f15b50a52bf7483974c6b4868c843dca00","datavalue":{"value":"formal inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$2298CB61-9157-47CF-9B8F-BDB7F99E0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baca35f21286773bcf5d6815ef68ae5126710822","datavalue":{"value":"sequence of formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$3E014587-5152-44A6-A242-4B1BD0CDB93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da82b1b06e0358f5564687f801c93007e3c270e","datavalue":{"value":"revision calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$35B498C5-BD2C-4294-841F-64A93B65E90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c2e81ae7490cfcbceac208f2fcda086dfbb0684","datavalue":{"value":"version sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$186954CF-ADAB-4163-B7FC-F2B9804867A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$FC81455A-98EE-4E86-AAA2-C1FE3C5DDF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3190f2e4f28414113b4d5624cd2f24dc39041fc0","datavalue":{"value":"meta-language environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$3AE46602-8CD1-4FF9-AEEB-9A9B40B4427B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e6d575823fc2989d9271ce027ddb6c256d8228","datavalue":{"value":"workflow of scientific research.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920721$2A926DDC-8970-4E91-9F8F-25724D7121BE","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":"Q5920721$17716477-A22C-473C-927E-9C15C9D71A30","rank":"normal"}],"P1643":[{"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":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q5920721$4B569B9C-2C46-47B1-9ADA-4B6FDA9B0F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df4c314c239412db67fa8710cb4012622244b8","datavalue":{"value":{"entity-type":"item","numeric-id":4485829,"id":"Q4485829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9371ed2cc40e8903e259d161c72671fa0115d870","datavalue":{"value":{"amount":"+0.9136992","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":"Q5920721$296F6EAC-4F02-430E-83E8-70CF15DF3D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8991317227a9ae456440981a3ca17c6e21eb6541","datavalue":{"value":{"entity-type":"item","numeric-id":2894076,"id":"Q2894076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c655e37ec9a27bde9b89fd720067200ef69a4e5","datavalue":{"value":{"amount":"+0.9068022","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":"Q5920721$93D153D5-54AD-4ED0-8677-50B8F029D1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a49720b67fea53f3764207d69166b192680ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4735163,"id":"Q4735163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c655e37ec9a27bde9b89fd720067200ef69a4e5","datavalue":{"value":{"amount":"+0.9068022","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":"Q5920721$48A77670-CEF4-4C4D-9ED4-FAAAC9CEBEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f294e191066904aa53b0a9e9340982bac33d1ef","datavalue":{"value":{"amount":"+0.90680206","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":"Q5920721$BCB90D5A-BEBC-4544-B68C-01B6F0B8962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596001f2ecc4a532c34f374751e7d376e807374b","datavalue":{"value":{"entity-type":"item","numeric-id":2724155,"id":"Q2724155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba80aa17fb7c4b1a5e61bd3ae988c463cc6e9f9","datavalue":{"value":{"amount":"+0.90488946","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":"Q5920721$4DCB0FAA-2868-4CFB-9876-271030C5E39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251e7cd8e22b538eadcd0d9f1a3a85b834921219","datavalue":{"value":{"entity-type":"item","numeric-id":4344087,"id":"Q4344087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45b1c593f34a6ec7a13f9059b2d7b7f4a3a798e","datavalue":{"value":{"amount":"+0.9048894","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":"Q5920721$F95ADD9E-E86F-4C0D-8A3F-7A147B44A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99adb5c173aa8591ff9eb5d0fc7f9166f8002386","datavalue":{"value":{"entity-type":"item","numeric-id":2784275,"id":"Q2784275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bb90ede0fd72b906a0a3e42a80eef96bc1f9fc","datavalue":{"value":{"amount":"+0.89913464","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":"Q5920721$8C01F270-8B7B-47BB-999C-A27B2DA0138C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce47c78dea41a7cad5aa76af2975fcd99f7e10","datavalue":{"value":{"entity-type":"item","numeric-id":999139,"id":"Q999139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adb3acc0ce59b7715faff44951240eb7d0c07b2","datavalue":{"value":{"amount":"+0.89880437","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":"Q5920721$5A8A5540-0535-4CBC-B378-32CEEE3CE71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf712237018cc350300434d6a65f40cb348dfc6","datavalue":{"value":{"entity-type":"item","numeric-id":5093873,"id":"Q5093873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00d50cfd0e14673098fb798bead62cf1c0d1f6a","datavalue":{"value":{"amount":"+0.8980526","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":"Q5920721$88AAB248-D4AC-4279-9C89-7A2CFEC2A499","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5920721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5920721"}}}}}