{"entities":{"Q6549533":{"pageid":14160687,"ns":120,"title":"Item:Q6549533","lastrevid":55677868,"modified":"2026-02-17T20:53:01Z","type":"item","id":"Q6549533","labels":{"en":{"language":"en","value":"Computability and complexity. Foundations and tools for pursuing scientific applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7859285"}},"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":"Q6549533$969ACF1E-9686-4925-808A-AB683F79B53D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb66e7239918dca464594e271d363c294c15072f","datavalue":{"value":{"text":"Computability and complexity. Foundations and tools for pursuing scientific applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6549533$31677384-07FE-4DD0-BD27-EA30245F0282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85d747b89c1267de0d76fe7d6ad3c049a24bc6aa","datavalue":{"value":"10.1007/978-3-031-53744-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6549533$9BDE6CB0-BCA2-471B-974C-C97BF76A7DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6549533$0A54AE3F-BBFC-4CA7-871B-3D4A1EFAB947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2df447ef05106ab8f26cea9fda71b2b40c740db","datavalue":{"value":{"entity-type":"item","numeric-id":355065,"id":"Q355065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6549533$C8CCED22-7BF7-4516-A833-A99CAA771D76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4b28782a756ab0159f7c61b7070f8a9b4b47d7c","datavalue":{"value":{"time":"+2024-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6549533$62C84F54-DF03-4CF4-BF2F-1167D75226AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af95a8e97cc70cdcedb7fb07f9635338c06b9072","datavalue":{"value":"The author delivers a thorough, fundamental textbook on computability and complexity. Following a background chapter setting the baseline for essential concepts on set theory, with notions on countable and uncountable sets, the author splits the chapters into two parts: Part 2 is on computability theory (comprising four chapters) and Part 3 is on computational complexity theory (comprising five chapters). In Part 2 the focus is on \\textbf{regular languages and finite automata} (Chapter 2), for which the pumping lemma and the Rabin-Scott theorem are presented, \\textbf{general models of computation} (Chapter 3), revolving around Turing machines (the universal Turing machine and the Church-Turing thesis are presented in detail) and partial recursive functions, \\textbf{undecidable problems} (Chapter 4), detailing the halting problem, Minsky machines, the generalised Collatz functions and unsolvable word problems, and Chapter 5 describing \\textbf{deeper computability} concepts, such as the recursion theorem, the wait-and-see arguments and Turing reducibility.\\N\\NThe first chapter in Part 3 focuses on computational complexity (Chapter 6). The concepts of polynomial time and space support the overview of the hierarchy theorems. Next, in Chapter 7, NP- and PSPACE completeness is addressed, with concepts and exercises on machine NP-complete problems and the Cook-Levin theorem. Chapters 8 and 9 focus on structural complexity, oracles and Ladner's theorem and on parametrised complexity, respectively. Parametric intractability, parametrised tractability and kernelization lower bounds are discussed in detail. The textbook concludes with Chapter 10, detailing other approaches for coping with hardness, such as approximation algorithms, and the analysis of average-case and generic-case complexity.\\N\\NThe textbook achieves a balance between theoretical concepts and numerous examples and exercises, scattered efficiently throughout the chapters. Solutions and hints to the exercises are also included. The comprehensive set of references also increase the usefulness of the book. Due to its structure, it is suitable for a wide range of audiences, from students to researchers, and it represents a fundamental stepping stone towards expanding knowledge in the field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$83D73076-C58C-48FD-9001-BAC273E03C37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"035c7fc61d6c9f8d0118c86401c2039cb42ea2e6","datavalue":{"value":{"entity-type":"item","numeric-id":590640,"id":"Q590640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6549533$13160696-FFE7-4FE9-A2D9-3A0000FF5829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6549533$3D87DDAF-18CF-4894-B7F1-8D1261CE6F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6549533$DA635935-C637-4BDC-97B3-0027BDFBB6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6549533$EF3A4375-62AF-4EED-8C80-E41ED95845BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6549533$4A8EFCD5-1CB8-46D0-B60C-36BAF4BD7860","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d544b4fe89c5d6b0ef163e8cc30da6944fddbb5","datavalue":{"value":"7859285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6549533$AD50F5A1-83F5-4815-AE17-15DE09FA2F30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$579627A2-38E7-4C48-BCE6-B7AE94A989F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963b573cb30128c8b3b38efa90aadda6cd4a1405","datavalue":{"value":"G\u00f6del numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$0D655E56-1904-4FFE-BD38-56B48B6C545E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815deacb06a22a1a53969c4942ac327dc80556fa","datavalue":{"value":"countable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$35174853-5A69-417C-8C5B-60C318C24529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2988c6ca7ff6fde59d2e4d8d6472d81d7212d6","datavalue":{"value":"uncountable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$4473B788-3B7F-4278-B269-C05AED100185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$05C12C1C-15F7-4309-B9A5-47D58B77C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$ACF7F3C2-1B3F-4CC0-9E30-5F4B03E0830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$26C2F2BD-D7A7-464F-BF1A-506CBD0BE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$0D6AC073-8CBA-4387-87D1-E931E8F5E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea8625d3b8659f4b43587f0bba7532750710b12","datavalue":{"value":"undecidable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$FC7B55E6-D6DC-4BA3-AFE7-3CCE834653E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5143626bec5a5d2c0e6a3c2e42486b21eff5e2fc","datavalue":{"value":"Minsky machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$C0171686-612D-4F82-A91B-0E4C775B2CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388baa0fb2a36691405361e81e61afd08d804b33","datavalue":{"value":"unsolvable word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$07F958B7-F456-483A-AF67-9BAE994EB06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a793dad370ad25e4ed600cbba2664d8056a5265e","datavalue":{"value":"deeper computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$1EDBEA31-FB5D-45B9-9353-7F94C0BFAE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f58e48ca395ba8ef6f53040a02ed9789c603a5","datavalue":{"value":"recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$084ADEE3-4B7A-4A1A-BFA0-F1247F4DE77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9d150303220739c0bcc4106627dedef2c11252","datavalue":{"value":"wait-and-see arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$A76DDE86-C45E-4507-B183-673F2D284A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$F0DA1F86-56BF-4A04-9824-0D67DB5306A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06fc6f1c79093684c9c62a5d1839ec686b9c8e4","datavalue":{"value":"arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$35C5C1EE-FF6B-490C-961F-87B47C995B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$13805F64-A027-49C8-83A6-B3F5241178CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$AFB964E1-BBA9-4CBF-B5FD-9DB112FF5DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$EC270751-2679-4AC0-AC90-36566BC2C5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e248e10887a733046d382b90742d64729bb4a370","datavalue":{"value":"Savitch's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$2FE5A021-CC26-4646-8ACB-C579A82C81B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$D5464F0F-117A-4325-B144-A9238FD849C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928765d6ea9fd9f98b74078370b0803c1f062bc7","datavalue":{"value":"Ladner's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$06690FAB-2CD2-42B6-AC87-DD14852CA563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be56aad476fe3b691df5d8b846b695fd8208a1af","datavalue":{"value":"parametrised complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$939C36BE-BFAD-4256-8391-5B3D2A56E117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c99a162e88cee639ae5d1e4790f4f801083f82","datavalue":{"value":"parametric intractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$54F53032-8CAC-4EFC-89FA-10D408628A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abe9a4ab425333db032e79a1ed701a6430841cc","datavalue":{"value":"parametrised tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$3BFC4667-AA1D-4B78-9CE8-0142F6DD06A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040e5cadc2542137fa22dc2efc65268bb08b809c","datavalue":{"value":"kernelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$1EF92D14-E3FD-4E0E-8AAF-0F5768D237C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$FB4C2C1B-CBE3-4234-8B16-504B06AB308B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4837877785b4675d8ac1c6d4c911bcaf794e13","datavalue":{"value":"approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$D9E624EB-8625-4480-A9E2-E535E227A261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb5cf5222b6371fb7f9c168c78eb205663c9be7","datavalue":{"value":"average-case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$6633CB35-35AD-4382-BDF1-0AE6F2D1D7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"525586f7f0852d84a5b56ad455da977a4639d4b5","datavalue":{"value":"generic-case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6549533$11526649-A675-40DB-82CF-111668171930","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":"Q6549533$E6F8FA76-FE79-4A76-ABF8-A419501B4A55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46c0affc4266b9c8b25c03cb3ca6c45538b9bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5429713,"id":"Q5429713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b1d802dae560f3a8100022550198738195bcaa","datavalue":{"value":{"amount":"+0.8256232142448425","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":"Q6549533$0EAF7E5F-1F10-4559-9B71-68E87E480E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c913d5952e25a8a5b06320965c56561626c912d","datavalue":{"value":{"entity-type":"item","numeric-id":4349929,"id":"Q4349929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfd74f24e029c744d73a07b19d66280a4532b25","datavalue":{"value":{"amount":"+0.8192723393440247","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":"Q6549533$07F30AD3-1586-48F1-AF4A-DC72B22767DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766438340f32cb13d9476b90703ce8a515e4febf","datavalue":{"value":{"entity-type":"item","numeric-id":4554784,"id":"Q4554784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15addfca6d78fb4d03a464fc5d5471387a291d9","datavalue":{"value":{"amount":"+0.8153513073921204","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":"Q6549533$5360B3DA-775F-4265-8257-D1818BD0BF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1a3df041a518d453788025e109a06480366569","datavalue":{"value":{"entity-type":"item","numeric-id":5900112,"id":"Q5900112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10192172149dd2ced3f8f673e38dcef7d15a12d5","datavalue":{"value":{"amount":"+0.8139610290527344","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":"Q6549533$8DF7B638-863E-4232-B505-422E8803EEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1b60040169269f81e10ec4f705c6a432b6bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":3090774,"id":"Q3090774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdea3927e5d394be9464b7e61f84c84aca82788","datavalue":{"value":{"amount":"+0.8092957139015198","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":"Q6549533$FD175973-6C81-43D3-80B3-035021C3DD18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6549533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6549533"}}}}}