{"entities":{"Q5891797":{"pageid":7927592,"ns":120,"title":"Item:Q5891797","lastrevid":101848142,"modified":"2026-06-06T03:00:22Z","type":"item","id":"Q5891797","labels":{"en":{"language":"en","value":"A course on mathematical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6090431"}},"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":"Q5891797$54AD2041-6081-4015-8F70-F06427E46E7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3713088dbaa7cd22961c40bf4fc7bea81d7c5981","datavalue":{"value":{"text":"A course on mathematical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891797$7CB181BC-34EC-4454-949B-4ECE05E5AA9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae58244b244ba543aae806e840ab7e8a41f0c285","datavalue":{"value":"1263.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891797$EF6C8905-1B5E-4569-B776-5924B2AA3022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d1d10276a43121dbc188aab68b4b6fa49612b8","datavalue":{"value":"10.1007/978-1-4614-5746-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891797$022B1591-6D4D-4967-8664-D53CC8122043","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9376eab1fddf0773b903fa5401c03e28dca900ea","datavalue":{"value":{"entity-type":"item","numeric-id":455386,"id":"Q455386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891797$8331D6CB-4738-4628-9652-5E9B97A234DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8add31f26cdbf28161a196bae4082822a85ebe4b","datavalue":{"value":{"entity-type":"item","numeric-id":166422,"id":"Q166422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891797$CB28A797-CFD3-4C66-A7E9-B8AF2319501E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f8189d2a034ff6392d84365a701fa2658da4b33","datavalue":{"value":{"time":"+2012-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891797$FD8A422F-1F8A-467D-8288-FC23C5280BF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b9d1e0907fba346ee36f0cd5c24c0ea5c4493f0","datavalue":{"value":"The book under review is the second edition of [Zbl 1140.03001]. In this new edition, consistent changes have been made throughout the initial text. It provides a sound first introduction to a very important branch of logic, namely model theory. Topics in the new chapter include ultraproducts of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Several proofs, such as the proof of the completeness theorem, have been completely rewritten in a clearer and more concise way. The book also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891797$05361A19-BC4E-4DC0-8814-2A44A2F1D1E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891797$377388B8-0558-41E0-9F96-3A58F33970AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef793920dd6cfc896fe5bfdfbaf7e3c9c180d103","datavalue":{"value":"6090431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891797$2643E4AE-F29C-4183-9B8F-A9E369EEA1F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c26f32d6948e4a045ae73b20ec076113ae2518a","datavalue":{"value":"G\u00f6del's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891797$61B88DEF-2A8B-4DB5-AF63-EDE578F8B986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891797$6BC48A58-AE9B-402B-8D37-9DE1B47D69C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891797$CCBB3C73-19E5-4B83-B6C0-2F88103744CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891797$E6C2DC41-FC5C-462F-9DCA-1B59EAE67CAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"600bbf2e5c48e27ebb39b8d602eb8f41c0c00d32","datavalue":{"value":{"entity-type":"item","numeric-id":424064,"id":"Q424064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891797$61F6C32C-7994-4381-B047-496B819FBF91","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":"Q5891797$5D4B01A6-7367-4EE3-82C4-B483A99EA6FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56989c51dda7797f5e52c74009af2df15356029e","datavalue":{"value":"https://doi.org/10.1007/978-1-4614-5746-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891797$45DDB0B6-D550-47E2-A8AF-7C85A11269AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d341af888d2ccb2b878ee1ba20c3f6d6477983df","datavalue":{"value":"W4230491414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891797$BA1E3551-27B6-42B2-A942-17921CDA5260","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586adcb76f1fc852d4117084f617e3500e2ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5920368,"id":"Q5920368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5891797$CE1C30D3-CD6F-48FF-B29C-314A5D225F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1465b32efb0ea21bcc07742ff8f174a5bcbe6647","datavalue":{"value":{"entity-type":"item","numeric-id":4891057,"id":"Q4891057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d704c2fce1429cd9ec1ebebc21e77f13458a59","datavalue":{"value":{"amount":"+0.9536358","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":"Q5891797$D3920C07-2644-4155-9827-F32860AD99F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0055229fa12243ec3c9186841b49cf7848e0b752","datavalue":{"value":{"entity-type":"item","numeric-id":5579473,"id":"Q5579473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41becdfed700083fb2d802d22bd8dfca4de7b6c0","datavalue":{"value":{"amount":"+0.9485794","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":"Q5891797$29904399-AE85-4D37-9C38-F1834B0F1F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa7a6dfc26f761bd7616cfbeb486b4083cd4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4306655,"id":"Q4306655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d2df8b6bb303e01c157f8edfb8b12ef43ebf04","datavalue":{"value":{"amount":"+0.93461084","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":"Q5891797$D25AF359-19A2-412A-A962-F451DABBB959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721349f841e78ac68cadf0afbee5b9a96abf3a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3020318,"id":"Q3020318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d2df8b6bb303e01c157f8edfb8b12ef43ebf04","datavalue":{"value":{"amount":"+0.93461084","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":"Q5891797$12B03FD1-9DA6-4E74-86B9-1D1EEACC5587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc7a07c6602f7951f67f5247347bead120d9ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382ac388ca7149be0118598e9289fc459e6dc65d","datavalue":{"value":{"amount":"+0.9324343","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":"Q5891797$4237D10D-DE5D-42E5-86E0-1A1D5C9DED0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed42ce7f7f6fef8e427a1e9c26a494a12b4e33da","datavalue":{"value":{"entity-type":"item","numeric-id":4003521,"id":"Q4003521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fc818e3c0a62de279bfc4e293ec51231156017","datavalue":{"value":{"amount":"+0.93136084","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":"Q5891797$BB538952-9CC0-4C65-95FD-6A02BEBFFE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef45221510a91e6f0ef5f48efce0e0cc4382fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5595142,"id":"Q5595142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841b55ee8cfa268e483a1c5902070ae65ed98db9","datavalue":{"value":{"amount":"+0.9220984","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":"Q5891797$8EB2F96D-4F40-436F-9C8F-1D842A481E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b84e287fc1cfb48b6456f9fa9e9c611f45efc","datavalue":{"value":{"entity-type":"item","numeric-id":2949554,"id":"Q2949554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961430cb3d4f92cf93edf96cb62b9cb525d9f899","datavalue":{"value":{"amount":"+0.91838676","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":"Q5891797$4421BD7B-E87E-4A4C-85E9-52EE90245DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A course on mathematical logic (scientific article; zbMATH DE number 6090431)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_course_on_mathematical_logic_(scientific_article;_zbMATH_DE_number_6090431)"}}}}}