{"entities":{"Q3922660":{"pageid":5952565,"ns":120,"title":"Item:Q3922660","lastrevid":54997432,"modified":"2026-02-02T16:17:05Z","type":"item","id":"Q3922660","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735789"}},"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":"Q3922660$660AA595-EEA9-4DD7-B793-31DA270421D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"918ac94602ada59c582c94ded6d94c4bb4064e19","datavalue":{"value":"0469.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922660$10B260E4-9112-4099-8840-7731B0D3C71E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3922660$FB3E42A8-E9B0-4972-9AA1-36B61587A1A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922660$156C0520-F203-43C1-A9E1-F76C70C2D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922660$59D23BF4-F752-4692-8CEE-4DD8F3A23294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922660$5DCE8101-ACD2-4B2F-B271-8AEDBE604F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0da1646440c8cf610d5bc4dee8e7b25607fb311","datavalue":{"value":"3735789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922660$F5D9AF63-EC9E-4294-928D-7ABF42868960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2409c23550c2817d3a2da856f22d688fe7758e46","datavalue":{"value":"multisuccessor arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922660$20B5760B-A3A0-426E-BCE0-B580BEBBC28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922660$14A3D263-24B2-4B20-AD29-97C8D0A9ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f38c2345fd454dc16f9914c054e996ad14b79acc","datavalue":{"value":"representation of formulas by automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922660$70CB5DE6-D231-460A-81F0-02C34D52AD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd3b68c8f88b45dd2f37afa619896a6afa297d4","datavalue":{"value":"Rabin automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922660$E7CC65DE-1331-4474-8E37-7A3763302B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"917953c3725127acef2abc08301c5efdb6ac2dc1","datavalue":{"value":"sinking automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922660$03379A7E-CDA8-42A3-BBD0-B5EC4320B528","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e8170104535c441d8e1d6bd57a388363c0f3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1068543,"id":"Q1068543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922660$7AC754CB-0C7F-4DAD-952E-F28AA0002757","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":"Q3922660$41585A1E-B12B-4D23-82D2-21E375EEB3FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3922660","badges":[]}}}}}