{"entities":{"Q5905500":{"pageid":8017599,"ns":120,"title":"Item:Q5905500","lastrevid":39849788,"modified":"2025-01-27T18:54:51Z","type":"item","id":"Q5905500","labels":{"en":{"language":"en","value":"Logic for computer scientists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 52797"}},"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":"Q5905500$8AC6A869-2FAF-4E40-9E3E-04FDD4F23467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3acacda8927165f7e74a88d99ec42e721e74fa80","datavalue":{"value":{"text":"Logic for computer scientists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5905500$27C48107-7CF9-418D-BB0C-AE12029095CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fb390f7ddaef51db725f8075904fa8565e76360","datavalue":{"value":"0748.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$FBE20787-9245-48F8-AE61-0797509DDC2C","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":"Q5905500$3F8FDC8C-033C-4AEA-8DD5-A6D8E22B25DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5905500$7886642F-397A-4123-8F03-5C995B9BC85D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8cfd4482ddf15b532091aa82a2cf735f5742b41c","datavalue":{"value":"(See also the review of the German original [Mannheim (1987; Zbl 0637.03002)].)   This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages. In the first chapter, the main concepts and results concerning propositional logic are introduced, emphasising some typical aspects related to resolution-based theorem proving. The fundamentals of predicate logic are presented in the next chapter; some specific aspects for computer science, such as undecidability, Herbrand theorem, the principle of Robinson resolution and some of its refinements, are developed to some extent. The third chapter of the book presents an introduction to the fascinating area of logic programming. Although it is not intended to be a first course in PROLOG, a well-founded theoretical framework for understanding logic programming is realised here. The main features of SLD-resolution are pointed out. The numerous exercises and illustrative examples contribute to a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$D754FA1D-5D15-474E-B081-6FD56470670B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00dcf12b9a602d9c5eb5566a233851af0f0ed4fd","datavalue":{"value":{"entity-type":"item","numeric-id":469832,"id":"Q469832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905500$DC2107C5-0665-4D94-AB09-9E02DFC70D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$C2D1DD24-9EA4-4BF9-BE2D-2E701EE3F4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$DEFA68B1-91B8-4039-ADEC-4689FD835D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$311D47FB-7346-4874-9DFA-92253A0223A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$B0AC2F4F-CFE7-43BC-AEC0-70A74527E62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$7A63B94B-ADEF-43A1-8AA6-1E935EFD4C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$96B347BD-7984-4117-82AA-F502A11FC0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$328DE473-B16E-47D8-A0A3-4F5A50813A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$8101FA11-0814-4FD3-B4A7-A6AF83C94436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$F21A1EAF-BD16-4F3D-9CD3-1927F005C5C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3146cb177727d37523056e52e53c56050720d2e","datavalue":{"value":"52797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905500$9C55E1F5-8A1D-40F7-A4A7-953684888432","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$18A0A927-7C99-4FAB-9D99-A257D133F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$019ECA8B-EC42-4A2A-9A4E-B37E4EBC823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$9FB9701B-8252-4D00-A8FA-575AFC373FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$F89DCF87-2DE9-4EF6-98EB-AC48DC162139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$33F8B3FC-6F25-4BB9-AF86-45529F9E0953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384911a23d3bae024ee09485d14b557ec1109507","datavalue":{"value":"resolution-based theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$24966FC8-C633-4133-945F-755349619E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$657B7809-B50D-4BFB-97A3-3BA81817975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905500$8D39431C-9853-46ED-96C7-0151FC514C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e020d336f4040f2344877fb27890751f480383","datavalue":{"value":{"entity-type":"item","numeric-id":1052096,"id":"Q1052096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905500$150405C8-65FF-42EE-B79A-7411228A89E7","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":"Q5905500$43CC05F2-77F6-4D46-9EE6-DC1783555FD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81818d93a27b1f5ded655e0b84e52ded387f87e7","datavalue":{"value":{"entity-type":"item","numeric-id":3996315,"id":"Q3996315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dcdb5a3434ba901e1b28d3236caa64848a3c8a","datavalue":{"value":{"amount":"+0.9282571","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":"Q5905500$13A2048A-50CD-474A-B4E4-16E12C29BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b690ca30aaf4ab7c8d79d57c0270b4a23482b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4041013,"id":"Q4041013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8149832e75f730461575ca71741b2e4b1b1e3f28","datavalue":{"value":{"amount":"+0.90777636","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":"Q5905500$26F7368E-164E-43A3-BE52-12494579B7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7847cff27e6b0c55a11f3ce52b8ac8a46e9861","datavalue":{"value":{"entity-type":"item","numeric-id":4301157,"id":"Q4301157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd56f9c5373e95b295c4d668786ed430290a22c","datavalue":{"value":{"amount":"+0.8909261","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":"Q5905500$B82E8EB9-71E5-4554-9E8E-FD46D28350EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e632597bba5d11f151d511bdece5f774bac10b9","datavalue":{"value":{"amount":"+0.88963103","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":"Q5905500$681C5821-21DD-438F-A426-60A2D7043B67","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":"a450ba12ee745ca269da03889033c8bf3b417855","datavalue":{"value":{"amount":"+0.8888563","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":"Q5905500$FD7D5125-470D-4026-BA1B-366C3A990C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d969a3fe6d54573cc167f843f8b37d83c0a93cff","datavalue":{"value":{"amount":"+0.88244027","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":"Q5905500$7B08FABA-EFD4-4C23-8449-CA93149FEF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc87926ffdd518931f5af8093fc5c12ac516491e","datavalue":{"value":{"amount":"+0.88164073","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":"Q5905500$E24268BC-BF49-41B7-B7DC-C8183DEE4C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707e428e7a1bf1e7612f8c34f37e5832692b79f4","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40f6a1b0566f5d8c0e4153607f6471c3397ce6a","datavalue":{"value":{"amount":"+0.8813817","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":"Q5905500$87ACCCC2-00BD-4235-A6D5-E049F73C5583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc49982ecf8ffefd3149f96cdf9fa2500f628262","datavalue":{"value":{"entity-type":"item","numeric-id":5434189,"id":"Q5434189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8d00dae11b33fa22526c867b96b7b85ec2994b","datavalue":{"value":{"amount":"+0.87901556","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":"Q5905500$F9C3A4C8-73DE-4ED1-ACC3-2DEE0DE40A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc32426d2a45c6ac0e64f9561b2eb3aab4161","datavalue":{"value":{"entity-type":"item","numeric-id":3792276,"id":"Q3792276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307c92cb8dee1a80ddf2f627efcdf08aca02454b","datavalue":{"value":{"amount":"+0.87888163","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":"Q5905500$362F5DFF-F71A-4530-9B1F-9E20DFA16CB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5905500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5905500"}}}}}