{"entities":{"Q1280876":{"pageid":1291626,"ns":120,"title":"Item:Q1280876","lastrevid":67222806,"modified":"2026-04-12T16:11:10Z","type":"item","id":"Q1280876","labels":{"en":{"language":"en","value":"Formalization of the class of problems solvable by a nondeterministic Turing machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1262950"}},"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":"Q1280876$F38DF5AC-392F-4493-86C7-7AF28206D2AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92a23398fd078b7a0f630879c8a95d3a5e7933dc","datavalue":{"value":{"text":"Formalization of the class of problems solvable by a nondeterministic Turing machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280876$B89733EA-2B6D-4A9F-AE0A-3A82F8911DA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96d34e650d7335a5d331854469c0f8fae66d43a","datavalue":{"value":"0915.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280876$4DDADD69-5F87-4E49-AF15-65766862C9D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac951c83adec7821382fc6b4d6012e2969beb894","datavalue":{"value":"10.1007/BF02667185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280876$BCB4CA76-9BA1-4C62-A6CF-2ADE98310DE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$6E1745B9-5BE5-4025-8222-BA50A4EBABB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-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":"Q1280876$EF1FDA07-3908-46E5-95E3-032427C3F575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280876$24272993-3579-4288-8216-317D91C15EC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46487d968aabaf38e2c832d07df32ab23b657005","datavalue":{"value":"1262950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280876$17B1171C-B6A4-47F0-93FC-40A16978A7CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba05e017ea3287cf841d37503bb45d9024d3e2cc","datavalue":{"value":"NP class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280876$41D40662-EB9A-4ACB-8B66-E16083D91D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a483bbe4d1c25f10697d6b9f734f6c45b0375ef","datavalue":{"value":"no-lookahead problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280876$0583269E-AB55-47CD-B84D-C5579AC2FEF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7784f799392020c4a097af31a4a36925b3e80970","datavalue":{"value":{"entity-type":"item","numeric-id":1387765,"id":"Q1387765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$E871469A-36A3-407E-86C7-0D858D3D6B18","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":"Q1280876$9D9F07C3-574E-41BA-8C73-75242AED4C1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$D56E6D85-0C33-4208-A4C8-14D381E22625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde6ec7df5b730e668a74ad7b797ff0a0674ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4283690,"id":"Q4283690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$8B359F26-9011-4212-A52E-AB86D8706A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$CAA219AD-F240-4CFA-9BFA-7D5BDBF9B52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1339037264ea77e443dc665b1943e0d64741b6ab","datavalue":{"value":{"entity-type":"item","numeric-id":4283691,"id":"Q4283691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$FB16F8FF-6927-456A-AB15-2D36F0E329F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$507A0E51-5E23-4401-93FE-FE29BB943F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e16d1dc4052e71d6b4ce452bdd1e1e49e7dff8b","datavalue":{"value":{"entity-type":"item","numeric-id":4144192,"id":"Q4144192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280876$3590DB39-D96B-43FA-9CF9-1B0D89D4946B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"344c9e75528a9313bf032c185dc4787b6c127ac9","datavalue":{"value":"https://doi.org/10.1007/bf02667185","type":"string"},"datatype":"url"},"type":"statement","id":"Q1280876$1518EE5C-CA80-458F-A2A7-AA34DD9160D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52e8f49014c70b8b3d840f3fc510ccbdcbaa35b0","datavalue":{"value":"W2025543216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280876$A9873318-A39F-4E79-8AAF-0B50AD6209A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f191520fb23ddf062e3b7d3ae8096df29d856c9","datavalue":{"value":{"entity-type":"item","numeric-id":4359460,"id":"Q4359460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22339f2d0c81b112537610a7d4d062ea18c8b033","datavalue":{"value":{"amount":"+0.7320603728294373","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":"Q1280876$B02F39EF-96C0-4116-9EF1-2EF4E6E999E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb6b93ab40bb81e894b834e31ad5c3c920e0997","datavalue":{"value":{"entity-type":"item","numeric-id":4035683,"id":"Q4035683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cd5775b30c5e930b7597888808079acc5eeedc","datavalue":{"value":{"amount":"+0.7275307774543762","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":"Q1280876$79BD7AAD-5480-4B3A-8607-D1CBC3BFCB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913b934a4b1a8db05c5f09f3ba95dd962260fbf9","datavalue":{"value":{"entity-type":"item","numeric-id":4202212,"id":"Q4202212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc9ea57f31f7ef640475660b4c20c37b0b73877","datavalue":{"value":{"amount":"+0.7275307178497314","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":"Q1280876$2BED9DC3-8B4F-4ECA-9A4E-33E0A56E92D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf597e5750923f97dbdb2869b713973afb389ff","datavalue":{"value":{"entity-type":"item","numeric-id":1380293,"id":"Q1380293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe950b2cb31c1940ae2f131708d5f542c489695","datavalue":{"value":{"amount":"+0.7222941517829895","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":"Q1280876$0E019C30-3E5B-45D1-94C0-BCF9DD708D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of the class of problems solvable by a nondeterministic Turing machine","badges":[]}}}}}