{"entities":{"Q3942944":{"pageid":5972849,"ns":120,"title":"Item:Q3942944","lastrevid":55063987,"modified":"2026-02-03T07:47:40Z","type":"item","id":"Q3942944","labels":{"en":{"language":"en","value":"Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760144"}},"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":"Q3942944$4138388E-7E5B-46CB-8414-34620C316C48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2daf090c1d2cab12893976186b8e66c55887a0f7","datavalue":{"value":{"text":"Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942944$43E1893A-1271-489A-99B7-DD5925792034","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab60c9f98df1771cbdd4570947668767ea800f45","datavalue":{"value":"0484.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$3B29F2CD-2CE5-4BDA-97DA-E2B08D33E415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13b64184cc7e61789691eb4a61dd9bcbc224e796","datavalue":{"value":"10.1090/S0273-0979-1981-14904-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$EBD03F39-FE8F-402D-AC89-1E94134F0C16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d8423f1327302bd91c424093d3752a15cfe97d","datavalue":{"value":{"entity-type":"item","numeric-id":673777,"id":"Q673777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942944$CADE4170-D8CB-4694-B365-5C71AED92AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698bc4fe65f79b85d517df655a1aca4a01c66cfe","datavalue":{"value":{"entity-type":"item","numeric-id":444387,"id":"Q444387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942944$995FFC61-AD4E-4A46-8ABA-ABB265FE0CBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942944$9167718A-4F11-4792-8DBF-80686C8A6C99","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":"Q3942944$24BD2391-930D-4547-8DE0-A53F639D4DA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$0AFC7CEA-FD45-41BE-8118-398033CDC1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$0E51F6AB-F3BB-49F0-8486-2E9248E760D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$61CE2934-5A1C-41AD-A39C-22B7B249AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$B11F05A7-988B-49F9-AEE6-BF393C5DE9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$142794E4-7DD0-45AC-9A34-FAE1C5404E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4920bcb5055cf3da94830f00d832c01308357d4b","datavalue":{"value":"05B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$D1B91A33-0A8F-4537-A9AF-DCA9B0030EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$8864EDF4-33C7-430B-B1FA-305B2F5086F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$00C3820E-CF18-4194-8885-FCFBDEA26B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$C5B54773-D9B7-487F-A1BC-88E4F4605659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cd3eb4f079eccea797f0202f26e653da45aea97","datavalue":{"value":"3760144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$61FF1B55-56DC-47F4-B90F-61DDDC2F776F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b58a9db06da05029b9b9e50c5b23ff5479c4757","datavalue":{"value":"context-free graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942944$03F5D1CF-0D2A-4CE8-BE59-B37FC3A3636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733dd9e5fec9e832e1adb326e5cfebd4bafe385f","datavalue":{"value":"isomorphism types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942944$8C17AFC6-0661-4A71-B02A-2FFC72E49086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"565fb168016f8a311b0a15b947cf746e4bfbbd76","datavalue":{"value":"end-isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942944$20451B5D-5F77-46B7-BD30-C4550C924B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be8f73351dddcee339ddf241d91d9edb9b80d31","datavalue":{"value":"monadic second- order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942944$7786AA36-4142-4D26-9323-2F5C1C5221DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d568e276883d971cb460ad5dc98b40d27884851","datavalue":{"value":"labelled n-ary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942944$B275BAF8-9728-4963-B0E4-4DFB9F8909C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b33fb93a1dc0f8bcb543b4224f64215af0506b3","datavalue":{"value":"global transition function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942944$ECB2E427-AC6F-4E7F-8A2F-EB6D2EE7496F","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":"Q3942944$F182CEC4-2686-4C83-A293-8BCB02B74185","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942944$FD5F205A-0D9C-451B-9E1C-417393BB2545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942944$0E8624D2-C79C-42F0-8853-13CD03A899E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a83a1ca4d4fde49a64a4b02cfd93f8a6844ca3","datavalue":{"value":{"entity-type":"item","numeric-id":5651924,"id":"Q5651924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942944$584C7D66-72E9-4C91-90CA-AAF865DED5CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39b1747a38aa5f25550360a623225b8153a280f0","datavalue":{"value":"https://doi.org/10.1090/s0273-0979-1981-14904-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942944$B8AE357D-74A2-4FF2-8E65-057F2018FB67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43433e5658faf31d1fed98ba0d4cecb40a0aa05a","datavalue":{"value":"W2012343259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942944$72291CD3-DD42-4156-B6D7-903A92486822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3942944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3942944"}}}}}