{"entities":{"Q2704714":{"pageid":2715459,"ns":120,"title":"Item:Q2704714","lastrevid":82775657,"modified":"2026-05-06T21:55:04Z","type":"item","id":"Q2704714","labels":{"en":{"language":"en","value":"Uniform decision problems for certain restricted classes of finite monoid presentations -- a survey on recent undecidability results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1573207"}},"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":"Q2704714$BEB85547-0775-4F35-9E0F-79C987175607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb7adba24f91b0f5fab8c42a7759f766567bf9c","datavalue":{"value":"0969.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704714$5DE698D2-051A-4BDD-B38E-925070D114BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2704714$B12C9DC2-9622-442B-983F-5D1DBB254D8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5304ee1acd0d951d9b3b4a189a7d247f2a4fdb47","datavalue":{"value":{"time":"+2001-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2704714$34668D75-FDB9-4F9B-839E-14D5B05941B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704714$0B4F3956-957E-4FA4-83FD-80A9426AA583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26db7f8843cc097ebdab7798b69fef00ee6d65dd","datavalue":{"value":"1573207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2704714$D9DD858A-2549-43A5-A0A5-F37D60150A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$F7CCB92B-E099-491C-A0C9-6615720BDB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$F0BEE36A-FB7B-482F-99D7-38CAC728F3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1f87b0e1df54e6065b1d5b89e7a078354c22bd","datavalue":{"value":"finite monoid presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$8F7FF0B9-BA3D-4317-8953-855CB7CF2D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c36a534b34732dad3013e32494369f3d9230f9","datavalue":{"value":"numbers of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$7F3130C7-D8A6-4A44-B088-885C0F46EAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$6F7B0CF9-5AE9-4027-9FD5-A19847B462DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$5B5AAF91-F7EA-476D-A868-7B7E0F7D2097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"839d6af56add7716af801e3651cc3ea4a2910b71","datavalue":{"value":"Markov's embedding lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2704714$06A9D68A-2911-4D28-8B0F-3BE552EFE9AB","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":"Q2704714$9E8A7F78-D38B-4FB6-9532-E7BF6EE8C8D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3863a6ef2ad386b5d0d3ba03e5cb6017297388e1","datavalue":{"value":{"text":"Uniform decision problems for certain restricted classes of finite monoid presentations -- a survey on recent undecidability results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2704714$12B8D410-9C43-4544-BE02-03DFFAEB60F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3d91a2de6916ffa72e64e63c74ba84eb7037da","datavalue":{"value":{"entity-type":"item","numeric-id":4594219,"id":"Q4594219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df0d6b661b1c2870476cc6d49bb24f9d11ebc52","datavalue":{"value":{"amount":"+0.8521150946617126","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":"Q2704714$AD03BF28-6F99-4E2E-BDDB-446FE85FC6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6154b4e5078a276158c4c81a56160d31eb3fdd31","datavalue":{"value":{"entity-type":"item","numeric-id":4942274,"id":"Q4942274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d885acdb57c939c0473daa3d5526c5e78db21ad","datavalue":{"value":{"amount":"+0.8353850245475769","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":"Q2704714$DFF1BE96-2327-4F4B-8017-D7D0847D7714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bec4018938b95745d558cf4b569b25f3b77aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d885acdb57c939c0473daa3d5526c5e78db21ad","datavalue":{"value":{"amount":"+0.8353850245475769","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":"Q2704714$C2ED6B48-87FA-4B8C-A89B-7AF32FD363C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6247c261fde14f6795e32e94dc29e03fcc33f3c","datavalue":{"value":{"entity-type":"item","numeric-id":4227134,"id":"Q4227134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a96d69b47e671df35f5baf867260c9e3924a46b","datavalue":{"value":{"amount":"+0.8278130292892456","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":"Q2704714$2F3C10AA-DA4C-4E84-B232-78685A7C1284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e00a7d3b384dc4ea019663edeb10700cad978","datavalue":{"value":{"entity-type":"item","numeric-id":1075439,"id":"Q1075439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad4bcb7736ec15e27dac71e3e0e714cb58b265a","datavalue":{"value":{"amount":"+0.8141006827354431","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":"Q2704714$3EF27C44-7504-42C6-91F1-115CEE0AD0F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform decision problems for certain restricted classes of finite monoid presentations -- a survey on recent undecidability results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_decision_problems_for_certain_restricted_classes_of_finite_monoid_presentations_--_a_survey_on_recent_undecidability_results"}}}}}