{"entities":{"Q673144":{"pageid":674993,"ns":120,"title":"Item:Q673144","lastrevid":63466560,"modified":"2026-04-11T13:21:12Z","type":"item","id":"Q673144","labels":{"en":{"language":"en","value":"A finitely presented monoid which has solvable word problem but has no regular complete presentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985395"}},"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":"Q673144$B8CA580D-970B-4EB8-B57C-E2402B3DDFEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"527f2e9b6866dc5a80cb7a70681060f822aa39b4","datavalue":{"value":{"text":"A finitely presented monoid which has solvable word problem but has no regular complete presentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673144$A07E25C9-2BA3-4C9C-8720-585AF65E656B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4258fb71c5593005f27f666ee211c1d24a73c32","datavalue":{"value":"0873.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673144$A09C7DCE-31F4-4AA5-B46A-F718881AD056","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0e74c3e0de310ebe5c0d0bad5c12bdbaa675436","datavalue":{"value":"10.1016/0304-3975(94)00264-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673144$55462171-787C-41C0-B79C-4B8537AEF6F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0189ea284dbeb4d1811a67b9a764a86b15f50c48","datavalue":{"value":{"entity-type":"item","numeric-id":441852,"id":"Q441852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$F617656F-310E-4AF7-8415-DA32D7491D87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$017EB3F5-349F-4FA6-8A93-7CD4CB84E7E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673144$226971E5-563D-4A70-9B8E-31C203251331","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673144$8F4DDAF4-96EA-4F6D-94AE-8DBEBA33F5DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88b80cee77a4cf08b9cf01124d940967b01df652","datavalue":{"value":"985395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673144$254070A6-1B49-48D1-A2C5-D8A33CC1D1AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673144$F43CFB80-EC0C-41A1-9C5F-FFD4834DB7C0","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":"Q673144$ADF6B717-CE4C-4CDD-B881-7DA32C3212AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49582f8ec584180cc897530585e03802107fc8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1098283,"id":"Q1098283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$5252D35E-602A-4F57-8D30-C2EDA9A89073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$0C8F46F8-7FB4-4861-BD8A-128FC543DAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2d103acfafa20eefbb7865cc562924fe60fd56","datavalue":{"value":{"entity-type":"item","numeric-id":1217881,"id":"Q1217881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$9E9E6894-170A-45C3-B4C9-919EA1AEC8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b13217bf70193a7b079b4a9bb7b516449db390","datavalue":{"value":{"entity-type":"item","numeric-id":3135703,"id":"Q3135703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$C34BCC34-E841-45DC-BAAF-FD6C5F2C4F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$7E4F1A81-8B76-470E-AF60-5605E50E8B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f34ae390c6d8facd7ee60c0dba87ec8db83cae","datavalue":{"value":{"entity-type":"item","numeric-id":4011119,"id":"Q4011119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$D8B275CF-15EB-4107-B61E-9C3FD73C587F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352993cd689ee9252e9b275e143ad89055183c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5592263,"id":"Q5592263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$8AC3D712-8AAA-4A66-8676-3AD17B383A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$452A084E-18F4-4065-B9D4-80B4EC705A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05572b50a1424510b2c012d8400646ac6d18d5","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$E400EE71-69D0-4B63-9E55-530D1B932D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e146e1a73572c015ee99d18dfefc4f34fddc2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1839248,"id":"Q1839248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$F0F182DA-5558-4247-9B8D-5E3B8AFF0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$B25647D2-6095-4D65-80D0-31EE5DEDA084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7fb8dd267bfb595978db6cc0a348c3bd3eaf6b","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$3B80893A-9712-4C2F-A505-C1A9D14688C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9607aadf0fd62ac484c074cc2e0875afb5d09f96","datavalue":{"value":{"entity-type":"item","numeric-id":3952128,"id":"Q3952128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673144$9917A37B-8B2B-40CB-B383-27E9EBD95519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f85dc779ceef4f5a9037ee24eec9c139cacc4850","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00264-j","type":"string"},"datatype":"url"},"type":"statement","id":"Q673144$1E425A6D-1622-45E0-95EB-18C5588FF1A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dddb8b8ad5bb305cea74c6aee5142aaa580e902","datavalue":{"value":"W1975351486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673144$B2CA94ED-7C46-427E-B1B3-AD16A45D639B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbae16996234fe772f459f71d7a60330184ccf0e","datavalue":{"value":{"entity-type":"item","numeric-id":1357103,"id":"Q1357103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cc4a2a4495a06dd6cbf62a59c52d125614fa09","datavalue":{"value":{"amount":"+0.8740357160568237","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":"Q673144$EEBA0784-051E-4047-8A23-71786D7BF43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b9ea1c41797f2c66e1109b6d2a4cd35a982504","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd377eb5f43e8b2ce54e5156d7c22751661036e9","datavalue":{"value":{"amount":"+0.8471720814704895","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":"Q673144$87E6B25B-5C8C-4C43-8FFC-755B969CADFA","rank":"normal"},{"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":"687c24ac385b4f1b0e374c07944c15ae6b80bef9","datavalue":{"value":{"amount":"+0.8251274824142456","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":"Q673144$A90B5FF3-3AF4-4732-8E30-BAA662BAFE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a090b6405b5f07b4a2d0beb300124b5bd03846a","datavalue":{"value":{"entity-type":"item","numeric-id":1273769,"id":"Q1273769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784a1bfe2dc05117854ab11169035e0de3679cc9","datavalue":{"value":{"amount":"+0.8218137621879578","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":"Q673144$F53C017C-9005-41E9-A1E0-10151727168F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finitely presented monoid which has solvable word problem but has no regular complete presentation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finitely_presented_monoid_which_has_solvable_word_problem_but_has_no_regular_complete_presentation"}}}}}