{"entities":{"Q4513124":{"pageid":6542717,"ns":120,"title":"Item:Q4513124","lastrevid":108654626,"modified":"2026-11-09T15:52:11Z","type":"item","id":"Q4513124","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1526720"}},"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":"Q4513124$27E40E4F-2B73-4170-AC03-D23041A922A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c782221db5cc52024ca9f5bcaa565f08cef292b","datavalue":{"value":"0955.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513124$A08A4F61-CBC7-4789-B625-47081B117898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7037365ea7a82807e50e341e920a8fe3ca6fa7","datavalue":{"value":{"entity-type":"item","numeric-id":768533,"id":"Q768533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4513124$22445BE0-CF01-4A96-A79A-72EED9049EAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808321b5dbf4c939be439eeccdeece7a1f77a12f","datavalue":{"value":{"time":"+2000-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4513124$9B62C7A7-5D00-4C06-A3C3-F874037BCE1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513124$96949FE7-18E9-4F7E-A4D4-30242B9CE2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513124$C49B34C8-B340-47BF-8518-3CF515981328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ca6feeebe2055c9f45e2376fd60570532b5955","datavalue":{"value":"1526720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513124$0FA9FCC6-39A4-4911-9D15-F6B2443E75E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c39995b0394348bc9e08786acaadb211904ceb","datavalue":{"value":"algebra of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$7A315E3B-B0C3-485A-A3F7-8F0EB888E79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75488bfea019ee685efdf7bf86d33e29cf81a87","datavalue":{"value":"semantical consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$F663224E-8FA0-4231-BF54-11AA460F1AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$6D65F9AC-0D3C-4CF2-8635-9D69826CF2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c98eacbda2d802589038945b080b634c0b6437","datavalue":{"value":"quantifier logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$59BCE5CC-C4B2-478C-941A-41FA829609D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$1DDDF724-AE5F-4F52-9094-444D5C5466E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$8559FD04-FA67-4F49-A7A9-9CD8B2E355BA","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":"Q4513124$D16A0F6C-F550-4601-8359-5FA867B5F1DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9824552a2b16a6fbf63e4f8dba2b5434656dccc0","datavalue":{"value":{"entity-type":"item","numeric-id":4422745,"id":"Q4422745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99f1b80cc1b59c9bf02e5a9da9a4222444f6064","datavalue":{"value":{"amount":"+0.7891719341278076","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":"Q4513124$7D2AB967-45B7-49A7-AB99-65A624770405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d099b8fe424c1e689782a511828a1239dd56bafa","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c12509efb3d92b88c22786e6e4107ae4f474197","datavalue":{"value":{"amount":"+0.7885139584541321","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":"Q4513124$06AF1C0D-01FF-4DF0-8B23-4CBE93873237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad678de063efb2d590cce52f01ca15cc46b1f45","datavalue":{"value":{"entity-type":"item","numeric-id":5485945,"id":"Q5485945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f031b6dba42490fb354d59d07fe73af67c43ac","datavalue":{"value":{"amount":"+0.7869922518730164","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":"Q4513124$769B27B4-C3F7-4EA8-AE13-D5AA7E332FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe0ec999140dbcc2d8ea3834a666abb8cd6238","datavalue":{"value":{"entity-type":"item","numeric-id":3768858,"id":"Q3768858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf08605d173bedd0a328180eeeef0e90faafc5f2","datavalue":{"value":{"amount":"+0.7868450880050659","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":"Q4513124$55AF4A68-A0E6-4505-9B71-53BB7398DB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801ab2903379c951f8febe23642dd70016e3bc62","datavalue":{"value":{"entity-type":"item","numeric-id":3137311,"id":"Q3137311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9620bc988e54e751cd06f3c4eae0655a0df3f6f0","datavalue":{"value":{"amount":"+0.7853162884712219","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":"Q4513124$C7FD54E9-4F95-47E7-9723-1D9174A65350","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c07b2bb8b3031f98dd22034fc19b5e4c5157aaa","datavalue":{"value":"This is the first of W. Felscher's three voluminous, monumental books of Lectures on Mathematical Logic. This volume covers the basic introductory logical notions such as compactness and axiomatizability of semantical consequence, L\u00f6wenheim-Skolem-Tarski theorems, prenex normal forms, characterization of elementary classes. The semantical consequence relation is studied on the level of equations and then in the context of propositional logic, open predicate logic, and finally on the level of quantifier logic. The first part of this volume contains auxiliary developments. It recalls definitions from set theory and combinatorics, lattice theory and Boolean algebras, basic constructions of subalgebras, quotient algebras and products, separation theorems, and discusses the connections between homomorphisms, filters and ideals. The second part presents an introduction to the subject of universal algebra, containing the algebraic construction generating the smallest congruence relation, i.e. a calculus of equations, on a term algebra \\(T\\) being invariant under endomorphisms of \\(T\\). Whitman's solution to the word problem for free lattices is included as an appendix. This part contains Birkhoff's characterization of equationally defined classes and Tarski's results regarding the functionally free algebras. Equationally equivalent descriptions of equational classes and some properties of Boolean polynomials are discussed as well. The last part may be considered a set theoretical logic containing as one of the first principal results the fact that the operator of semantical consequence relation may be described by a finitary algorithm, covering, essentially, two approaches: the first one based on the known algebraic method and the second one employing combinatorial techniques. This part contains the treatment of compactness and normal form theorems, open predicate logic, quantifier logic, completeness, equality logic, substitution, Henkin extensions, Skolem functions, Herbrand normal forms, the Galois correspondence, L\u00f6wenheim-Skolem theorems, characterization of elementary classes with ultraproduct construction. The book is written as a traditional combination of a textbook and monograph. It will be useful for students and researchers in various fields of mathematical logic as well as a reliable source and reference on logic for professionals in pure mathematics and theoretical computer science. This book illuminates a string of the most magnificent pearls of mathematical logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513124$677D37CD-7284-492A-85B7-6E5DDBAA0AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4513124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4513124"}}}}}