{"entities":{"Q1056540":{"pageid":1058388,"ns":120,"title":"Item:Q1056540","lastrevid":66047109,"modified":"2026-04-12T07:10:29Z","type":"item","id":"Q1056540","labels":{"en":{"language":"en","value":"The inclusion problem for some classes of deterministic multitape automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3829263"}},"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":"Q1056540$A7869115-2B98-458C-96D8-80A1D9422829","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a666d3f94d758985a47bcd3eabf26922f448e35c","datavalue":{"value":{"text":"The inclusion problem for some classes of deterministic multitape automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1056540$F026BF6E-DA3A-483E-AB60-EFFEEF83E8F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f90607fbdd333e20c1a1daf9588f48687faff01e","datavalue":{"value":"0523.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056540$D9C94DC3-9AE3-4BE2-B089-8D294E271F74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb53ea98fac4d28ae759fba5316d293cd670c63a","datavalue":{"value":"10.1016/0304-3975(83)90077-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056540$4A3301C3-2C2E-43F0-90C1-C28DCAC75C30","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":"Q1056540$FA97A869-44C6-4882-976C-BE5C97BA320C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1056540$777D26F1-03D7-4B68-B995-EF8BB6B688FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056540$EADABA55-E16E-4139-95D1-8DF917A50022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056540$2F3CAF11-C063-4B3B-BF08-D4993EE5E9DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6fa9d0ae4ed198897c71a0b966432bfb5920800","datavalue":{"value":"3829263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056540$86593ADC-79B1-4A7F-8BA7-CC77A425BA2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0352107adfa637aa48475774d820f9c101df1472","datavalue":{"value":"deterministic one-way multitape automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056540$35E08884-DA2C-4AE9-AFA6-7E6083ADC677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7114076c4de8260aebdf2057b14978825a8e3d2e","datavalue":{"value":"inclusion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056540$1819CEBF-2B29-4AE9-8FAE-8C517724CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056540$1D36DE14-1886-4009-A0B2-33A639362CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056540$6C031CFB-DCC4-4D3D-9ED6-DB96F0F0A57C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3b29744c0c4a5e008618686519803ba2d0b097","datavalue":{"value":{"entity-type":"item","numeric-id":760794,"id":"Q760794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$710AC90D-0B80-43BE-9B29-26CFCE1742E7","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":"Q1056540$F8DF314D-7FAA-4D57-A141-DDE65871F125","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82293a56c112065e7034353bac3d1db790e79513","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90077-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1056540$41FB5DBF-4164-4BCA-A18C-CD90805C0879","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a72977e79bb4e5c8ecf4977808b92231dd8c0f2b","datavalue":{"value":"W2039942445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056540$0C93A06F-C3A3-4CA5-9D9B-9C4DDB8E74EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$23D5E8A7-F541-474E-9569-46F815461802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f1ddaba8285217bb41a356c810dd9d4f0f25b5","datavalue":{"value":{"entity-type":"item","numeric-id":5595961,"id":"Q5595961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$0E6BBFBA-01ED-433A-B303-2CD8CA9C02A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869763a444140960d7ec6485edd04e604637d313","datavalue":{"value":{"entity-type":"item","numeric-id":758956,"id":"Q758956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$6940A4F3-37D8-48CC-BD3D-598181174D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b531ebf7b358f2ac3c03673310f49bca88bfeaa","datavalue":{"value":{"entity-type":"item","numeric-id":1146516,"id":"Q1146516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$916BD1FB-1878-444B-9AC3-45F2EC2B8132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6626bc26dbe86cf5929d62d839f4d0ec039d8fd","datavalue":{"value":{"entity-type":"item","numeric-id":3918099,"id":"Q3918099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$370DF556-A9E7-4E23-966A-585045B71086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56025071d651abf811a988d3bb74e0abd83ebbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3940867,"id":"Q3940867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056540$FEA8E1B9-787D-4CB0-9A56-5CB45974E296","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inclusion problem for some classes of deterministic multitape automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_inclusion_problem_for_some_classes_of_deterministic_multitape_automata"}}}}}