{"entities":{"Q4955544":{"pageid":6985126,"ns":120,"title":"Item:Q4955544","lastrevid":108596402,"modified":"2026-11-07T03:00:43Z","type":"item","id":"Q4955544","labels":{"en":{"language":"en","value":"Theoretical computer science. An extensive introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1453448"}},"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":"Q4955544$C7A0267A-5D2E-468D-A6AB-219F4F1066F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b82792395d4d1d0851a1c344063e39a172bcb0f4","datavalue":{"value":"0949.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955544$BE6E4600-2ECD-4418-A433-7973BF7730F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d286136f55be3639193b75a08b80aecae21f11e3","datavalue":{"value":{"entity-type":"item","numeric-id":222853,"id":"Q222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955544$C340F4B0-178A-4F1D-BA8C-2FE7F2384673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3455867184cc364270c9713e1c0199ada1feb","datavalue":{"value":{"entity-type":"item","numeric-id":222854,"id":"Q222854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955544$2D347B40-EA90-496A-A11A-4C4744B99CF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32314d1218b19a179f9499bb4fad97ebf9884422","datavalue":{"value":{"time":"+2000-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4955544$0C946B5E-9FCD-44C0-920B-7C5D993420FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955544$64143F1D-4525-455C-9963-C70E7E95AA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955544$E007EF53-FDF9-4F56-9C75-56232A5BC072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955544$7BCAD37C-5FBB-4D21-8F76-BFEB62EA248C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955544$73DAA9C4-F66C-4BFE-9EB2-4339984E70EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696fa809e0af311cba75cfb95fe167e154d27323","datavalue":{"value":"1453448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955544$931D4DBF-7111-4F83-ADA2-086B065B5D89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471e9dc487a56b5f3ea73c701ec3a9aa5d2cc274","datavalue":{"value":"theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955544$B35E1776-4D56-43CD-928F-84D14AD62E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955544$B40C30B9-96ED-45B1-90F6-68B36783CABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955544$017678C3-06D6-4C03-8BF9-952ACB4158BA","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":"Q4955544$8906543E-E818-4D6A-B720-002902B24D8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7075953810572bfbb2e2c6c8fdb6234fb51cc65","datavalue":{"value":{"entity-type":"item","numeric-id":5952488,"id":"Q5952488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad44fe94a467fd789832fb507f47d7c9c072fe8a","datavalue":{"value":{"amount":"+0.949592649936676","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":"Q4955544$17E41BE9-3DD4-4D59-9BAF-979A8D9C4035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba37a36b0122ad2b9ce08b2582aa4a546dcec665","datavalue":{"value":{"entity-type":"item","numeric-id":5434194,"id":"Q5434194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0ee3f9113dede5d1c44b199055e28faaff5d2e","datavalue":{"value":{"amount":"+0.8789157867431641","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":"Q4955544$659A09F1-6117-4C20-BE45-012337336BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67660a50cd93829a5dfd85301e4fef45c7db0609","datavalue":{"value":{"entity-type":"item","numeric-id":3010639,"id":"Q3010639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3385b2e4ce48de1d31136baf1ac3ac054461262","datavalue":{"value":{"amount":"+0.8768354058265686","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":"Q4955544$883D5A44-4384-44A6-97A2-302110BD02BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d307ed9572587989dcc749af3f1578a2141e494","datavalue":{"value":{"entity-type":"item","numeric-id":4877295,"id":"Q4877295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e433b92bcaf4282c845480892fafa68221af6e","datavalue":{"value":{"amount":"+0.8565422296524048","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":"Q4955544$90143DA1-4728-4980-AE2A-CA358E30F1C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cd9397bb51554bc9a0b163c8c5a2b14d4e0f8d7","datavalue":{"value":{"text":"Theoretical computer science. An extensive introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4955544$C29EFF3B-D2B8-4243-A47D-8EAAAA56D28E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1e1570b75816eee827992712587c5ac6338bf3d","datavalue":{"value":"Das Lehrbuch bietet eine ausf\u00fchrliche und sorgf\u00e4ltig geschriebene \u00dcbersicht \u00fcber die klassischen Themen der theoretischen Informatik. Anschauliche Motivationen, pr\u00e4zise Definitionen und vollst\u00e4ndige Beweise erlauben die Verwendung als Grundlage f\u00fcr eine Vorlesung aber auch zum Selbststudium. Die verwendete Terminologie unterscheidet sich teilweise von anderen deutschsprachigen Lehrb\u00fcchern, was die erg\u00e4nzende Verwendung des Buches leider etwas erschwert. Die inhaltliche Auswahl folgt im Wesentlichen den klassischen Werken der theoretischen Informatik, auch sind viele Formulierungen und Beweise dort entnommen. Als Ausnahme ist ein Kapitel \u00fcber Nicht-Standard-Berechnungsmodelle zu nennen. Nach einf\u00fchrenden Kapiteln \u00fcber mathematische und aussagenlogischen Grundlagen werden in Teil 1 des Buches Formale Sprachen und korrespondierende Automatentypen ausf\u00fchrlich behandelt. Teil II widmet sich der Berechenbarkeitstheorie unter Ber\u00fccksichtigung verschiedener Typen von Registermaschinen, rekursiver Funktionen sowie alternativer Berechnungsmodelle (Verschiedene Ein- und Zwei-Register-Maschinen, Wang-Maschinen, Tag-Systeme, R\u00f6dding-Netze). Ein relativ kurzes Kapitel besch\u00e4ftigt sich mit Komplexit\u00e4t, hier insbesonders mit einer Sammlung NP-vollst\u00e4ndiger Probleme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955544$C9E3F4DD-D2A1-49C3-99E1-E1BC8397F2E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theoretical computer science. An extensive introduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theoretical_computer_science._An_extensive_introduction"}}}}}