{"entities":{"Q673984":{"pageid":675833,"ns":120,"title":"Item:Q673984","lastrevid":63483360,"modified":"2026-04-11T13:28:15Z","type":"item","id":"Q673984","labels":{"en":{"language":"en","value":"Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985876"}},"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":"Q673984$F63835B7-D2B9-4FF4-B965-99C8832CCAAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70577dd08eb9b81af7cd3586ff3a1ff6a59cc2e0","datavalue":{"value":{"text":"Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673984$83BB5F10-2D5E-4EB3-840A-ECF1675D26A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3679a5f355109e93f96fa54c355433462830cb74","datavalue":{"value":"0875.68593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$75EBB694-7B72-485F-AB83-66C221B00681","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16b7da9907c165d29c6f1084ab175dc9eac4165","datavalue":{"value":"10.1016/0020-0190(94)00208-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$8AC5C1B9-22BF-4386-8A0D-D12FF30F64A0","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":"Q673984$8AD7432A-B5D7-41BA-9BF2-517185E958B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$83223BDC-F6A4-4051-9E12-C8092EDA48CD","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":"Q673984$0B645C17-17F1-4B62-B4E6-CA734D15EF62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$99D7A1A2-7C2F-4DDD-B23F-57FC7CC16D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$082F95FA-DDCB-4691-AEC2-23D8562EF115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce706b7da936669327495e29784e9c04a3f080b7","datavalue":{"value":"985876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$FF870460-DB8A-42E9-AC38-15CA54A4CB7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8eb270d4ed4b446b915ab174a0d0120cef86df","datavalue":{"value":"Formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q673984$10440C4F-356E-449A-A08B-15EE4A7DB831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07be4bd0a19dac2c92dc00b3b7dcdeefd3ed46f9","datavalue":{"value":"Word equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q673984$5ADCDE99-637C-4559-BA0A-37F9FE0F8343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37991cd3dd61b09e975f214b5565889f6551e231","datavalue":{"value":"String-rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q673984$B71E0D7F-7D2E-43F6-A082-B38C7AC26646","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":"Q673984$E1A07089-B55F-416B-B78A-1D99F22A79B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab87c9961313d1ba7255915aa67fb9d3b278330c","datavalue":{"value":{"entity-type":"item","numeric-id":280998,"id":"Q280998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$ABC8F87A-C43A-4F11-8AE6-9C9FB702D7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$A44E169E-C210-4935-BA01-76C72E073205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93f3c3eb08a198e5f96969567b686a9be61b15d","datavalue":{"value":{"entity-type":"item","numeric-id":798317,"id":"Q798317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$F6BEB367-FDA4-43A8-ACF6-4A88A0D8A0EE","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":"Q673984$6A80E434-19CC-455A-94CF-56E7C0D81194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf4606e610fbe75ced44da4fb436394937a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3474892,"id":"Q3474892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$6C6E4496-9E88-41B6-AF26-C91BE9878C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$24F18201-5ABD-480B-9B28-515109497570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8c690ecf6b6186d6b91f08edd0eb8003f2b83c","datavalue":{"value":{"entity-type":"item","numeric-id":3043354,"id":"Q3043354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$2E4C266F-6110-4FF9-BF3D-B4AF5FE6D24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01e3da5a4844dff8ff82893f700dde171302f09","datavalue":{"value":{"entity-type":"item","numeric-id":4376059,"id":"Q4376059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$C32C2387-ABDD-4BE9-81D9-47EB537FA52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e344815bc3b5de06e360987ce2ad4ba51709f0","datavalue":{"value":{"entity-type":"item","numeric-id":1070349,"id":"Q1070349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$0882F9E7-20B1-4F59-8F93-A382737EACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6743832806513b495c15b8d3c3fae8c97120cdc","datavalue":{"value":{"entity-type":"item","numeric-id":797700,"id":"Q797700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$0AC0FA72-4D25-4F99-979F-C8561F282D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b73cc94f4a6d87984319ad929de757cddce8f7e","datavalue":{"value":{"entity-type":"item","numeric-id":6169560,"id":"Q6169560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$F92496EA-F95E-4B5E-AF7D-F01D5F97EE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd5fb1b51412a0727f36b0bbfd69b4b1de3cc14","datavalue":{"value":{"entity-type":"item","numeric-id":1319389,"id":"Q1319389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$DB0D7A23-6AFA-4F5D-9B1D-377DEBE28AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456271b1daa1011563d4ee9eaedd8c2523eab20e","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$0AFDBDBA-BED6-42C4-AF27-86886D5C94B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a36578245b2d3613840d72980ba074a3359ffd8","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673984$01C423E0-10CC-4CDD-9CBA-D8B0E898F755","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9ca4b76b51d310a73e3c9c826615b009c167b0f","datavalue":{"value":"Q127720512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$6E23610B-771C-4FAD-BB1D-DBAAE0889CB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33560aa2ba1ac1e8b8135d84c00d7f2d5bbd8bd1","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00208-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q673984$91C2C39F-51A1-48BB-A25A-2EC5B199A240","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a583f7407f823d2bb129f2632d23aa511bc3146","datavalue":{"value":"W2023356641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673984$7B9C3120-836D-485A-A479-2F4C88EFB2E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3361208c8e3dfba25d9b99bfa8b668293f1253","datavalue":{"value":{"entity-type":"item","numeric-id":4571993,"id":"Q4571993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc94c6890132eb52bee22be0fef05c5bb75e6ee2","datavalue":{"value":{"amount":"+0.8549259305000305","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":"Q673984$07840F39-22C8-4C4A-B0EF-86A475C5A0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6690af857a55df498880774b860185b26ccaf38b","datavalue":{"value":{"entity-type":"item","numeric-id":1201349,"id":"Q1201349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8e80203fa8415dd3afda3ae052869525ba9e8e","datavalue":{"value":{"amount":"+0.8130590319633484","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":"Q673984$E0DBA5B4-E216-4542-BFA1-C8E0D2DA340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82733854f4ad3b6d14ab75d1b46ec45320d0775","datavalue":{"value":{"entity-type":"item","numeric-id":4038766,"id":"Q4038766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e290d1a0df0ed849ad9c744b647b975fbc6c9b","datavalue":{"value":{"amount":"+0.8079511523246765","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":"Q673984$F67CE6C0-7274-46FB-8A92-78EBCEEF517F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solvability_of_word_equations_modulo_finite_special_and_confluent_string-rewriting_systems_is_undecidable_in_general"}}}}}