{"entities":{"Q1146516":{"pageid":1157265,"ns":120,"title":"Item:Q1146516","lastrevid":66243615,"modified":"2026-04-12T08:30:08Z","type":"item","id":"Q1146516","labels":{"en":{"language":"en","value":"On inclusion problem for deterministic multitape automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3700211"}},"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":"Q1146516$2BF7EFF6-BEF0-4106-A18F-30E9AE7DF692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1873b717e24fff7cec8e8906a23daa147be938d","datavalue":{"value":{"text":"On inclusion problem for deterministic multitape automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1146516$324040EF-ABEF-4556-BFCC-2CADBF62313D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819c2ad07b15cc9cd100db4e1c377782cd9c3ee1","datavalue":{"value":"0447.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146516$EA193A36-1DC8-4359-8CCD-332952D4D56F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad92e7c883854320d9c7c923ee8b10ae04b3f540","datavalue":{"value":"10.1016/0020-0190(80)90131-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146516$5BA04E4E-3142-401B-92B4-76A4519D0CD2","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":"Q1146516$5FC1704D-53B4-4CAC-ABAB-1F791A9C9DBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146516$97A49E15-6AAD-4D03-9319-DF318EC1C34E","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":"Q1146516$6420A9BA-A2D9-4582-BE47-77CD71608FB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146516$0FC233D7-3509-487A-BC34-DA188DB6DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146516$6D5B1BF2-65CD-43F4-8E44-EBB2231E23D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"856c4feab5f7ad3a5867ca9219f881cb6e1bb945","datavalue":{"value":"3700211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146516$0113F30E-B97D-45BC-810C-7251E9F9DA26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73962c48b3c729c378dba467e20e17e6c5719ae5","datavalue":{"value":"deterministic multitape automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146516$44049501-7178-43C7-A162-FA0FAE41F89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7114076c4de8260aebdf2057b14978825a8e3d2e","datavalue":{"value":"inclusion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146516$B3DD3942-13F3-4BB6-9F31-CEDD72E4FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146516$2D3D3BC4-5F5F-479F-B1AB-6BCEBBD8FA7C","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":"Q1146516$2712B9CB-1B41-4775-96A5-FDCC4050A34E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e179ff6fd2d3ae34d48574c7db94e7dc9afdaabf","datavalue":{"value":"https://doi.org/10.1016/0020-0190(80)90131-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1146516$0B2C31E4-A548-4033-8D2F-4F5D91422409","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b04e81c08cdcbe0f924f33354952dc46adeeb01","datavalue":{"value":"W2078357059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146516$2078FFC2-D4F2-4C6B-BDC8-B85E42FBF916","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":"Q1146516$98DD53FA-3B0E-4E5F-877A-0AEC68AD9248","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":"Q1146516$6841EB6A-3ED8-4BB9-8E69-FF8DC8899C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6308caf9a190ff3371f7c4c88ec9892d7a455214","datavalue":{"value":{"entity-type":"item","numeric-id":5528650,"id":"Q5528650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146516$738982F8-9959-4C05-91B6-A090C341917A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On inclusion problem for deterministic multitape automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_inclusion_problem_for_deterministic_multitape_automata"}}}}}