{"entities":{"Q1134515":{"pageid":1145264,"ns":120,"title":"Item:Q1134515","lastrevid":66889821,"modified":"2026-04-12T13:32:56Z","type":"item","id":"Q1134515","labels":{"en":{"language":"en","value":"Halting space-bounded computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3658970"}},"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":"Q1134515$E800EA1E-A5A2-4335-A5F7-77A62FEFC052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b1f2e4b559ec7b6fca01512cb19787393579956","datavalue":{"value":{"text":"Halting space-bounded computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1134515$48672DE0-E81C-4299-B568-32B255384865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7f1d4584a2ee868308c93f06efffad0626e93fd","datavalue":{"value":"0423.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134515$596979C6-6589-4402-ACCD-70894C4339D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e7073ba7a9f3e2f4340b893df9c140ae34bff55","datavalue":{"value":"10.1016/0304-3975(80)90053-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134515$24C816D1-BFAA-4717-A0FD-A76F71710973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cebb39622b69e383ce0b14ff064561e8abcf454","datavalue":{"value":{"entity-type":"item","numeric-id":1069700,"id":"Q1069700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$A570837C-779E-4F35-8C4C-5FCBDC0D8FB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$CBB9D3BA-FBF9-44FA-808A-74A9B1A891F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1134515$10147376-245A-4074-8133-E77C4788091C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134515$CB1465FC-3DB1-4F87-8429-DB662F908AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134515$369F2AC2-CF8C-45CB-AD70-6218C73A2A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae9e5aab70e6653ea1e9fdae346b1c775ed69acb","datavalue":{"value":"3658970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134515$BFE436D2-6F1C-4DF8-948E-6282B38A0C5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d32b14c3e4a0651e4b2953168ece3900e59fd8","datavalue":{"value":"halting space-bounded computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134515$14C27078-37DA-40A5-95D3-C3D2FD6F2FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc23b90c1be4baaecf0ba99f92c30aca4062487","datavalue":{"value":"deterministic Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134515$BD868E25-A0E0-4DE4-81BD-EBCD2910FBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32bf88c7c8ec5610d5711694a5739d5304ef7fd","datavalue":{"value":"two-way finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134515$971889B8-078B-4A4E-BDF3-BCC2F04E54B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6937aa86e77246ee1410682a2ce45e53a192adf","datavalue":{"value":"deterministic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134515$DE7F0AAE-B74D-4252-B65F-505247345A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bde42b700d76e90d771afac4b4b38a5fe1837b7","datavalue":{"value":"two-way multihead finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134515$D5B9396E-83D3-4B72-A208-432FB99B4B9A","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":"Q1134515$DBAFA1CB-7F09-4DF9-A498-0FA2FC128D00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d590f006f807458c6abde2da74f6fc000543e6aa","datavalue":{"value":"https://doi.org/10.1016/0304-3975(80)90053-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1134515$8B23822E-233C-4085-BB50-903E46A73128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f690e2ce984bacfd8300a54096af21615d85715f","datavalue":{"value":"W1975698236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134515$A9B05D15-3C95-4515-97D0-9DC4475FBEBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"485f65457c2cee586d70f7d74905dc494ee38ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1235507,"id":"Q1235507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$09C99DF2-084A-4C90-9883-39DF86E626AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66856e28a8d065ae00cc1eb109ee4001e24e8421","datavalue":{"value":{"entity-type":"item","numeric-id":5582355,"id":"Q5582355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$8E67CD80-1A47-495D-9AF8-2054D114D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$6407CB4B-AA3A-49BD-9509-D143FCAEBC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fceb2bd9c7d07fcf97a47a3cc2f3f7fc5055e4","datavalue":{"value":{"entity-type":"item","numeric-id":2559145,"id":"Q2559145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$CB11EB4C-0FA6-41D9-9B55-4E4F1A15FBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630d5b661c39afb8a8edad13724b22f65694ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1227002,"id":"Q1227002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$A57117F9-C22E-4543-8461-1965B18CEC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2031f8bb3115f52425ff4dd04c9a69b45d8420a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241509,"id":"Q1241509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$0FD6D2DA-2AE8-44FE-9180-61EDDFA0A180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c6229f4b94d10acb3721769855cfef4d3336a","datavalue":{"value":{"entity-type":"item","numeric-id":5402568,"id":"Q5402568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$A2E3655D-9B68-475A-924A-6373387B87CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47d753588d3e15901e017390d393815c34f9ede","datavalue":{"value":{"entity-type":"item","numeric-id":5636862,"id":"Q5636862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134515$20F9E1DE-D6BF-46DB-8207-A5481A81E0C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Halting space-bounded computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Halting_space-bounded_computations"}}}}}