{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T15:44:48Z","timestamp":1649173488893},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1982,6,1]],"date-time":"1982-06-01T00:00:00Z","timestamp":391737600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1982,6]]},"DOI":"10.1007\/bf00288972","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T13:45:25Z","timestamp":1096897525000},"page":"221-243","source":"Crossref","is-referenced-by-count":1,"title":["Ein Modell desP =N P-problems mit einer positiven L\ufffdsung"],"prefix":"10.1007","volume":"17","author":[{"given":"H.","family":"Huwig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Studies in Logic and the Foundations of Mathematics 98","author":"R. Goldblatt","year":"1979","unstructured":"Goldblatt, R.: Topoi, the categorical analysis of logic. Studies in Logic and the Foundations of Mathematics 98, North-Holland Publishing Company, Amsterdam-New York-Oxford 1979"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Hartmanis, J., Hopcroft, J.: Independence results in computer science. SIGACT Newsletter 8 (1976)","DOI":"10.1145\/1008335.1008336"},{"key":"CR3","unstructured":"Huwig, H.: Beziehungen zwischen beschr\u00e4nkter syntaktischer und beschr\u00e4nkter primitiver Rekursion. Dissertation: Berichtsreihe der Abteilung Informatik an der Universit\u00e4t Dortmund, 25 (1976)"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Huwig, H.: Das P = N P-Problem in der Kategorie der partiellen Ordnungen mit zweistelligen Suprema. 10. Jahrestagung der GI, Saarbr\u00fccken. Informatikfachberichte 33, Springer Verlag 1980","DOI":"10.1007\/978-3-642-67838-7_33"},{"key":"CR5","volume-title":"Automata, languages and programming","author":"F Henke von","year":"1972","unstructured":"Henke von, F., Indermark, K., Weihrauch, K.: Hierarchies of primitive recursive wordfunctions and transductions defined by automata. Automata, languages and programming. North-Holland Publishing Company, Amsterdam-London 1972"},{"key":"CR6","unstructured":"Johnstone, P.: Topos theory. Academic Press 1977"},{"key":"CR7","volume-title":"On the consistency of P = N P and fragments of arithmetic","author":"R. Lipton","year":"1979","unstructured":"Lipton, R.: On the consistency of P = N P and fragments of arithmetic. FCT, Akademie Verlag Berlin (1979)"},{"key":"CR8","unstructured":"Millo de, R., Lipton, R.: The consistency of ?P = NP? and related problems with fragments of number theory. 12. ACM-Symposium on the theory of computing, Los Angeles 1980"},{"key":"CR9","volume-title":"Kategorielle Algebra","author":"G. Richter","year":"1979","unstructured":"Richter, G.: Kategorielle Algebra. Akademie Verlag, Berlin 1979"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Scott, D.: Some definitional suggestions for automata theory. JCSS 1 (1967)","DOI":"10.1016\/S0022-0000(67)80014-X"},{"key":"CR11","unstructured":"Schmidt, J.: Mengenlehre. BI-Hochschulb\u00fccher 1978"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Thompson, D.: Subrecursiveness: Machine-independent notions of computability in restricted time and storage. Mathematical Systems Theory 6, No. 1, 1972","DOI":"10.1007\/BF01706069"}],"container-title":["Acta Informatica"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288972.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288972\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:14:34Z","timestamp":1554743674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,6]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,6]]}},"alternative-id":["BF00288972"],"URL":"https:\/\/doi.org\/10.1007\/bf00288972","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,6]]}}}