{"entities":{"Q3769989":{"pageid":5799895,"ns":120,"title":"Item:Q3769989","lastrevid":51977426,"modified":"2026-01-20T16:28:33Z","type":"item","id":"Q3769989","labels":{"en":{"language":"en","value":"The \u03c9 sequence problem for DOL systems is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028934"}},"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":"Q3769989$FFCC0A2C-E48A-4954-8991-08848298D11B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4efd9654544ebd9cf1383b21685d1acbf59d7500","datavalue":{"value":{"text":"The \u03c9 sequence problem for DOL systems is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769989$A0A6EED8-B9CE-4000-B069-5AAD724A74B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afa940134b00e38f85689796e57028f222ced675","datavalue":{"value":"0632.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769989$057C2920-C32B-4693-B9A4-9AB5A4FD9BE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dceb8cfd0100efebd7122fdf8a836cd6c42c2874","datavalue":{"value":"10.1145/62.2161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769989$63AA3DFC-206B-42DE-92F3-78F10973C509","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b50d9d925c1d915b90d3836e3c8221c58fe283","datavalue":{"value":{"entity-type":"item","numeric-id":582130,"id":"Q582130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769989$4B46CB5B-2589-4242-9059-742098B667C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769989$9085E319-A2A8-4EF1-A49D-6F38EF573029","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769989$DBAD4F15-C94A-40C1-9042-A11F736410F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3769989$84969FAD-B5DC-458E-B4C5-5EC5474D07E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769989$8F45FF6D-23F6-4B80-8E55-A49539400C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769989$A3F7E31B-CEE5-4E94-98CD-D1111273B779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7533f12a75a31e2137554c00307766b59a75f11","datavalue":{"value":"4028934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769989$6B5D6230-C6B9-412D-86A6-88C061B0BBA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a4d39ca27948455cee854ef01e7c4b62a4afc9b","datavalue":{"value":"parallel rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$8BF2D6A2-366F-4BE1-B76E-20775172E2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$9F7E4B61-2981-4F2B-9CB2-C4CEC444B245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$EAAEAD9E-65A2-404C-AB49-8C736254B095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$48ABFC93-135E-416E-83E9-6B6EB3E84623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342fa7ed804296af08851b632a0d9ca8cc8d6d18","datavalue":{"value":"limit language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$2CC5B47F-5FA4-4FBC-9D8A-0BA735DC9B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bef4b138cce90797505776d7e0668962bd701f6","datavalue":{"value":"\\(\\omega \\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$B0A9CAAD-0BD4-4E76-B447-A6138E80EF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ae8bcb1c8b88e04347310c575d5d0891f7e55a","datavalue":{"value":"D0L systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769989$C7FDAE7E-B840-4209-BE8E-E6E2C2E64546","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":"Q3769989$A674D527-F028-472E-BCD4-B5088B4A8D8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4009f71c33d9c4169951248339c1b42cf990c41","datavalue":{"value":"https://doi.org/10.1145/62.2161","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769989$BFC730B5-A82C-4970-9222-5AC758CC6C40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ae754a086fe9dd4925e979b513ca8fd49ec78f8","datavalue":{"value":"W2020466367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769989$7F7DBE13-945E-4279-ACCC-DB6F5FA9C570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd20678019e4c62700c0aa5f1154355b912718fa","datavalue":{"value":{"entity-type":"item","numeric-id":3426793,"id":"Q3426793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab96c95a726248f2b778a31c8dc0e92c5665416","datavalue":{"value":{"amount":"+0.910711944103241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3769989$28B48A47-B90B-4490-AA5F-3C69FD00EDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16febb9a63e007a246b6239ca39f7d7a7b99e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3021985,"id":"Q3021985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abe4034996e62fbf05d5ca9f2fb3fcca975da48","datavalue":{"value":{"amount":"+0.9055922627449036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3769989$5B0CD5AF-C6E3-4550-9B72-B4D80D50CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a89ec3461add64d1a60d2fcd23dc9a068837df","datavalue":{"value":{"entity-type":"item","numeric-id":1936250,"id":"Q1936250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9aa423c17f31a658284a92129d26ebbb5655217","datavalue":{"value":{"amount":"+0.8573653101921082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3769989$58C109F9-D5B3-4EA4-A5B1-5702F17EDFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90099825b13871ef248f0558133fe7a86f65a342","datavalue":{"value":{"entity-type":"item","numeric-id":3782819,"id":"Q3782819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc10a1fb21d7dd5fe0ff44b937fa913605efbd4b","datavalue":{"value":{"amount":"+0.8538716435432434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3769989$EF126D1A-9E6A-43C3-88CE-ECB23DBDCD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c597b07ceb3e6dd14e33d4090b29e354042572d2","datavalue":{"value":{"entity-type":"item","numeric-id":2575836,"id":"Q2575836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64261f19bc0695210c9d49c63db1bc99bfb903d","datavalue":{"value":{"amount":"+0.8494650721549988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3769989$C4FCCFD5-5D9C-49DD-A405-6EE0AAA3F50B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769989"}}}}}