{"entities":{"Q4023926":{"pageid":6053690,"ns":120,"title":"Item:Q4023926","lastrevid":108221150,"modified":"2026-11-05T11:43:03Z","type":"item","id":"Q4023926","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108465"}},"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":"Q4023926$0B15396A-DDE8-4B9F-8EF2-4EEC7CF58CFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f9ee3cb133d2ca66a7c5cad294145c5c2b792d","datavalue":{"value":"0784.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023926$0208CC2B-0647-4019-AA87-655AF70996B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5866f2312a96c68937ecd247ca8e2756e26159f0","datavalue":{"value":{"entity-type":"item","numeric-id":1201998,"id":"Q1201998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023926$541F5376-41C2-4D8C-BDED-3D5E1B36EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023926$4D17DB0C-C4B4-4AD9-B928-33551729390D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023926$5492DF4A-3B1E-48F0-89F3-E98B94B7305A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023926$D2FA04FD-734A-45A2-9942-F7F9A122708D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023926$65553D5D-B594-4468-A789-4FFEFFA72837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023926$D312F774-BF46-47A3-B315-35BCCB94C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023926$735F3D01-42A1-4CFE-9E97-18FD5BA62537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023926$8616131C-3447-45E0-9A24-2A1DAAD5803C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97017601db645857523c3c075dfe6eca64eee8b","datavalue":{"value":"108465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023926$51D6B0CF-D38B-4A8A-9817-03DB74170A91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$992E19B0-9F38-465D-A507-DFA63FD25B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$137A676D-6A33-4273-89BA-381059E9A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$EEDB7879-5E62-4F6C-BF4E-DC3DCE059C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d159edb24bb95c4042e5ecd46128a4c0bc85209f","datavalue":{"value":"first-order predicate logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$4C923D85-42EC-4DD9-92FF-DC1D4F6D9364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$F3FD2DE4-6100-40BD-9FA3-11D4BD38A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520258b9889bd3663eb9b8c0174c75ed754d195c","datavalue":{"value":"logics with infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$62B9D35F-8859-426F-8313-4DB92A507912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf159a8f08b33f65cdc58b33b95156c9004c761e","datavalue":{"value":"logical foundations of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$674260F9-366F-4FC9-96AA-4E60720C823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$99DB598B-9FB7-4039-8D54-0C8076CEC1AA","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":"Q4023926$B111ACE7-49B6-40BE-AC90-7F826AAC4654","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82901fd07db2b53f5a5065e9b8ad0027f840759","datavalue":{"value":{"entity-type":"item","numeric-id":5920562,"id":"Q5920562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612f6e9bf16752002314f6baab9fb870466df773","datavalue":{"value":{"amount":"+0.89121795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$A48EC44D-29B7-41AC-A7A2-5CBAC4B5031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7128f980692594088325ca79378436bdbb637c79","datavalue":{"value":{"entity-type":"item","numeric-id":5902234,"id":"Q5902234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711d038ebcdaa3f9265044ee5b7990c7b17bb621","datavalue":{"value":{"amount":"+0.88854647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$0ECA2679-37AE-4451-906A-755113E9A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b48de31403e0853774a169d84f065adf17c09a5","datavalue":{"value":{"entity-type":"item","numeric-id":4992250,"id":"Q4992250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c70f0ca497dce1b417d700eba3ad26af955377e","datavalue":{"value":{"amount":"+0.8781495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$4FB73EA4-8F1D-4C9D-A453-F21330D71B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4252736781161d72797102dee820f8dc128448","datavalue":{"value":{"amount":"+0.8526356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$087021A5-6B58-452D-AB43-B6D065399199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d04babaa06dc259361c7e79f86f8cbaf7960e5","datavalue":{"value":{"entity-type":"item","numeric-id":4840188,"id":"Q4840188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a1bc90b0b69a1dc3eff7ad711c2f7b87427d66","datavalue":{"value":{"amount":"+0.851604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$FF2FD643-F822-45B3-A9CA-70541C4EC482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270ea6c4f3846fce9e98c2dd8ba57ac3671744f5","datavalue":{"value":{"entity-type":"item","numeric-id":5245319,"id":"Q5245319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba8bcc1fd201e25cd3bfdc56133f6a9eb773241","datavalue":{"value":{"amount":"+0.8482594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$18099454-56FA-483D-90E0-9649D7CE2AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4626c49720e48c70778d68082ace3e89cff8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5485956,"id":"Q5485956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8ac4f931c3c5990c62a3d8920c1dc607b0586f","datavalue":{"value":{"amount":"+0.8473396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$175FFCEE-CD36-4835-B27E-BD5B38F3410A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a86cfbc0c1f10d4d31c217849a149127e60231","datavalue":{"value":{"entity-type":"item","numeric-id":4510393,"id":"Q4510393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebf3826731ae1ea2b0e4e6036d478fbcd3025f3","datavalue":{"value":{"amount":"+0.8452459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$BB53E5FF-E69E-4F5B-97B5-C81E0F08E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf025a03788ff544567b6078287ee4dbf748d505","datavalue":{"value":{"entity-type":"item","numeric-id":4040429,"id":"Q4040429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04e450eed0ef8e2e53f51b0bd145a3fd84e8d80","datavalue":{"value":{"amount":"+0.8449004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023926$92A40F89-8A6E-42F6-BC12-D6ADFFED0054","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9afd42e5d527692df2367fd1fdb5eb3919a14bd","datavalue":{"value":"This book gives a very thorough treatment of classical logic, in German, for mathematicians. It starts right away with first-order predicate logic with equality. Propositional logic is only treated separately in Chapter XI on logic programming. This chapter is new with respect to the authors' ``Mathematical logic'' (1984; Zbl 0556.03001), an English translation of the first printing (1978; Zbl 0399.03001). The text is illustrated with interesting examples from mathematics. Most (if not all) sections end with exercises; solutions of these are not given. The proof of the completeness of a sequent calculus for first- order logic is given in the Henkin way. The L\u00f6wenheim-Skolem theorems are treated in Chapter VI. Because of the restricted expressive power of first-order logic, second-order logic and logics with infinitary languages are considered in Chapter IX. The undecidability of first-order logic is shown in Chapter X via the undecidability of the halting problem for register machines. In the same chapter one finds a proof of the incompleteness of second-order logic using Trakhtenbrot's theorem, and proofs of G\u00f6del's first and second incompleteness theorems for arithmetic. Chapter XI contains logical foundations of logic programming, including Herbrand's theorem, resolution and unification. The last Chapter (XII) contains some very interesting topics not easily to be found in other elementary logic books: the theorems of Fraiss\u00e9 and Ehrenfeucht, giving characterizations of elementary equivalence; and the first and second theorem of Lindstr\u00f6m showing that first-order logic is the most expressive one which satisfies certain conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023926$F57FBDE6-8DEF-431D-87D1-DD8A7A57F582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4023926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4023926"}}}}}