{"entities":{"Q2891272":{"pageid":2901997,"ns":120,"title":"Item:Q2891272","lastrevid":84864467,"modified":"2026-06-02T15:08:14Z","type":"item","id":"Q2891272","labels":{"en":{"language":"en","value":"Computability theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046361"}},"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":"Q2891272$741649B1-68A0-4BBD-A2AA-4A9E02B84C28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e585cd845f91be9385390bb9e6fbee119e5a863","datavalue":{"value":"1246.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$57B0A9CC-FCEE-481B-B41D-0F7C0CC95995","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"965cb07a88eaeb7c8e65bd1a4575da80673eaa46","datavalue":{"value":{"entity-type":"item","numeric-id":926180,"id":"Q926180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891272$CA8329FB-BE1A-494B-8BB2-774AB4EEE3E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf340f13360847ef89f3785ef076532703eb87ca","datavalue":{"value":{"time":"+2012-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891272$54B4AA81-E93A-4F5B-96AE-0CB9059FF599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$871DB02E-FD02-4977-883F-09FFF45E3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$1FAD5759-505C-4C51-9620-46D6449BB826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$A6BE3EE4-F113-4BF4-92D5-DC454D817729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$73774422-C988-4187-967A-D76A5B0C14D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$9B5D36D8-6B30-4D65-8040-04485DF9C374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$FE308E12-92F1-49D0-85A0-69EB4879F4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"649beba51dd1814d05cd95ee56b353c0706c6534","datavalue":{"value":"6046361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891272$19BD14B7-3219-4B96-A5A7-921D69231580","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":"Q2891272$C99CCA1F-A46B-4FC8-A8D3-3D003D8DEA38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abd8ac34244f14b3ce30823935c33a2e80a11567","datavalue":{"value":{"text":"Computability theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891272$E975886E-C06C-412E-A058-4298027F3B0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77980591603a3f654c9ad681d63d69abe7e19fa0","datavalue":{"value":{"entity-type":"item","numeric-id":6535892,"id":"Q6535892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891272$C9AD0648-0025-4E76-B1F3-A4C5E28F0030","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b3dd91869cbaaa56b6bb149b150573a30c2143f","datavalue":{"value":"This short text does an excellent job of covering those topics that should be included in an undergraduate introduction to computability theory. After a chapter efficiently introducing a minimal amount of mathematical logic and notation, the longest chapter of the book explores the concept of computable functions, using Turing machines as the primary (but not only) model. Subsequent chapters accessibly present other central topics in computability, for example: the recursion theorem, c.e.~sets, Turing reducibility, decision problems, incompleteness, priority arguments, and the arithmetical hierarchy. There are both appropriate exercises and enticing doorways to open topics and current research. The exposition is precise, but still conversational. I believe my students will enjoy reading this text.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2891272$A2C4CC05-D5FF-429D-98BA-C69D1ED0A70A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891272$B2BB2133-36FF-44EC-A4BA-D1935ACEFA7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b748a803ea12a66918cdbb390d52a838325b7deb","datavalue":{"value":{"entity-type":"item","numeric-id":3582626,"id":"Q3582626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596ea8b426944597d99a774966e84d9decf2b8ec","datavalue":{"value":{"amount":"+0.8653391003608704","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":"Q2891272$7B724944-C0CE-4F71-85AE-ECF790CE2682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31f5c1ae87af856317c98effcc1abcc9e138885","datavalue":{"value":{"entity-type":"item","numeric-id":5286632,"id":"Q5286632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83e6f616f370dd6c81fe280376685d0a465094c","datavalue":{"value":{"amount":"+0.8594467639923096","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":"Q2891272$D3AB81D3-FD89-4AFD-BE41-DBFA309CF518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5ccccc3845cab9f9d2079fb15c9cc0b66d58c7","datavalue":{"value":{"entity-type":"item","numeric-id":5153715,"id":"Q5153715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83e6f616f370dd6c81fe280376685d0a465094c","datavalue":{"value":{"amount":"+0.8594467639923096","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":"Q2891272$95F5F501-FD0F-451D-955D-8643B3C82CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45280e8d26c501cbba93ca200956b050e2e820c","datavalue":{"value":{"entity-type":"item","numeric-id":4798659,"id":"Q4798659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc4e0a1bca1548db5745dab06a712f7e4793b2d","datavalue":{"value":{"amount":"+0.8504250645637512","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":"Q2891272$69EE88C5-2D88-42F7-9FF3-76347BA46DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a2825efc9b827e4684a655b251fb9b01a84ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5226947,"id":"Q5226947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4541198c8bb8a50f45fd7990eaae5ab774c0ea69","datavalue":{"value":{"amount":"+0.8496242761611938","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":"Q2891272$F8588EC6-545B-45A3-83C6-D2B08C2A83B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability theory (scientific article; zbMATH DE number 6046361)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computability_theory_(scientific_article;_zbMATH_DE_number_6046361)"}}}}}