{"entities":{"Q3747751":{"pageid":5777657,"ns":120,"title":"Item:Q3747751","lastrevid":51016739,"modified":"2026-01-16T05:39:44Z","type":"item","id":"Q3747751","labels":{"en":{"language":"en","value":"Solvable problems for transformers with reversal-bounded counters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3984605"}},"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":"Q3747751$AA892430-8A63-4043-BCE6-6929568DDAF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fbb11428cdcf6a8d96b2090d4bb679e472812c5","datavalue":{"value":{"text":"Solvable problems for transformers with reversal-bounded counters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3747751$AC2B5FDF-7C48-4618-AAE7-8A42AD88EA6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a271ce25d636e24a211aec386071864178fbad","datavalue":{"value":"0608.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$689DC8A0-4A4A-4039-AFD5-60D503B48FD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b768f67559fda780ce552fa2d67b85f6d7705a7","datavalue":{"value":"10.1007/BF01078820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$CEF47F93-A07A-4BA3-A771-0CAE2803977D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"842e7fe9435d11f8590652041848673d020771e4","datavalue":{"value":{"entity-type":"item","numeric-id":3747750,"id":"Q3747750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$9BF918CD-A462-4029-B120-89647F28CD6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$80158069-23D6-4251-B17A-10C512619C39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3747751$39154CA5-059A-4248-828D-01DBB74241A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$6BFCAF37-41D2-48F0-88DA-2965C1A67A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$03600C10-64F2-4BEF-B8E8-0FEEF0BE53EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$ADA43A5A-0853-407B-BE43-803F37ECDCC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e01cbd82edc8f26a12e81dec28b96d6b87d32830","datavalue":{"value":"3984605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$D23FF3C0-9D91-4EAE-A0DB-0940A863B3FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$B9C798AD-313C-4A14-87C6-0D162BA6F635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568ba4006817693b4a089bff3b79b1ee9ba9f045","datavalue":{"value":"finite transformers with reversal-bounded counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$C613C4CA-3A37-48A2-952F-D268B6C2844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6ae6ef27313435c3576c63352fdb5270214d9f","datavalue":{"value":"linearly rigid semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$B6440DE0-88FF-4E4A-9125-CB45AEC19AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c6517849b3614c4196440067726d2c94eba48c","datavalue":{"value":"transformers on marked trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$1A6A62B7-F09B-4BAC-80B7-1F72544F8E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7610cddb9eadfd2527ce1d30274176f1f1517433","datavalue":{"value":"nonemptiness of a recognizable language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$BA7BBA63-69CD-4A05-8D85-EB8B102B35AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee7b2cb407552d3419df28b2bd41c9681ab5a01","datavalue":{"value":"two-way deterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$410DAB8E-B96D-420A-8AC1-7D624D22770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ac4cd934611b89a921227736d078b9b990e95","datavalue":{"value":"functional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747751$59C762A8-F9E5-4D10-BC04-5B0224D602AE","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":"Q3747751$AEDCDE15-FAE8-4D39-AAC1-8E1B7437523F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f288bc74453bc75119151532d00fa87d73b5d78","datavalue":{"value":{"entity-type":"item","numeric-id":3952314,"id":"Q3952314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$52FAF872-6479-437C-8055-5AAE596276E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84f03104a9ac585d8b4e68131b5641b281ec7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4055582,"id":"Q4055582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$67915DA9-1C82-4544-9D70-6216E6317D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522f2d75990c4eece3190a87dc21b1e7a9d661fc","datavalue":{"value":{"entity-type":"item","numeric-id":5186756,"id":"Q5186756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$1C742192-50ED-40BE-A3CA-832CC445DC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$74CE18F9-D919-4714-8982-60D676D76F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$718BABA4-3682-48DC-8440-065FC26F43B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$3F1629C1-8F88-432A-BC6C-208CE49B6BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747751$66FA9053-47A8-4839-B231-8DC244B6CEB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34d2c706feb3de8f2a633d76c71d612ed259d592","datavalue":{"value":"https://doi.org/10.1007/bf01078820","type":"string"},"datatype":"url"},"type":"statement","id":"Q3747751$65DC00BA-8A98-4B8A-87F7-A743CB4A7056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"562400f667aadd0bb15b62209d49be6afff17d95","datavalue":{"value":"W2020041969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747751$1790BFF4-14EE-4210-A8B6-F9EAD14C9D50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7c0aba16685b82be5aa89f28c45f3915050363","datavalue":{"value":{"entity-type":"item","numeric-id":5186756,"id":"Q5186756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade8944e9bb7eeb42144ffa6cf0747b5ef30dc94","datavalue":{"value":{"amount":"+0.8635617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$B85FB277-8EFD-4E81-81F3-363E370041D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7305df58d440e2cd573ba8ef43bc7026d32c45","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6961ffb5c9b9cbfc3a54f418239ab3a82bbf039d","datavalue":{"value":{"amount":"+0.8567822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$1476EE66-EED2-459B-9EE2-45EC71D87D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf556f9ad8f0628a8561df560d7278295742618d","datavalue":{"value":{"entity-type":"item","numeric-id":6091196,"id":"Q6091196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e75932d6e5ea77bcac16a565431788851c73357","datavalue":{"value":{"amount":"+0.85511476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$54020B6A-CAA0-4DA8-84DC-30A721D2050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561a556981847876956a9e851274c07126fe49e9","datavalue":{"value":{"entity-type":"item","numeric-id":5496173,"id":"Q5496173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2fdeb4547e38ecf8dcc1c53d5fd817d9763d48","datavalue":{"value":{"amount":"+0.84826404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$59D79FCE-9E63-49F6-B9A9-0C057C655788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e55cc099913d8f75fbeb6ff39036dfe17f4aec7","datavalue":{"value":{"entity-type":"item","numeric-id":3606557,"id":"Q3606557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a938c94854c3f6a2971266ed9fe7810f92b7fb1","datavalue":{"value":{"amount":"+0.84153295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$6713788C-1D5F-474F-855F-E31B5B72D48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17949b8112f79316724828e124e08f556b5fc1b","datavalue":{"value":{"entity-type":"item","numeric-id":5898886,"id":"Q5898886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a938c94854c3f6a2971266ed9fe7810f92b7fb1","datavalue":{"value":{"amount":"+0.84153295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$DA63B54B-EB23-4BDF-97B8-0420E30C1E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66a535c7ffbceca90dc4327df6ccc714099cfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3702514,"id":"Q3702514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68110e34a1e84d2d8707c2bb7f720003a23a63e7","datavalue":{"value":{"amount":"+0.8377182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$3DEE76C0-604B-4077-8FC8-6A6A01C717B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1680e11224a81d36b38cd30ffafdf480aa80a21","datavalue":{"value":{"entity-type":"item","numeric-id":1102114,"id":"Q1102114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6904190a273e5375af22dc10a81275b2abeb907","datavalue":{"value":{"amount":"+0.83756495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$709BC247-619B-4C33-B8DF-152C86E9E5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95233dd9f5e671f52527e031446fbba8db3f2dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1094884,"id":"Q1094884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24608fa80bc40864fae4afe22460429b6cfa3e9","datavalue":{"value":{"amount":"+0.83265984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$1A45713C-908F-40B5-A247-2E87594CBD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077e34ed3152dedd3471e1a54cbc0a46e029e7df","datavalue":{"value":{"entity-type":"item","numeric-id":4281542,"id":"Q4281542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa36fc44ee01ac590f31b255647f77509d8442f","datavalue":{"value":{"amount":"+0.82801235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3747751$D4EC00BB-26FF-4AA8-B47D-561A5BBF2FCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3747751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3747751"}}}}}