{"entities":{"Q1839249":{"pageid":1849991,"ns":120,"title":"Item:Q1839249","lastrevid":71421189,"modified":"2026-04-13T22:09:41Z","type":"item","id":"Q1839249","labels":{"en":{"language":"en","value":"Undecidable questions related to Church-Rosser Thue systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3807596"}},"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":"Q1839249$374C290B-21CC-46AE-8B35-E61B1D4F5D31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2152a3a128a6888a331cfa30d8d134049f22dae7","datavalue":{"value":{"text":"Undecidable questions related to Church-Rosser Thue systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1839249$3F5FE165-A6DA-4C67-9669-1D16CF677337","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23197e454bece60002e35f3c29a0f826bf9ce1d3","datavalue":{"value":"0512.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839249$F4C908E2-9830-4910-A614-980A70776B0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a46282803c3aca7faaf68faa59ef62cc7afdb03","datavalue":{"value":"10.1016/0304-3975(83)90039-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839249$52B64BCD-E35A-4D8E-AD84-95C31E7179CA","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":"Q1839249$EB002EA4-E86D-4D11-94B0-BABE8F7E46D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1839249$BC1BDBB9-4F8B-48BE-876A-6C825328641B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839249$91A1D18D-0863-440F-9F89-89226BBE5204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b2b8dda6a484ed744d8adc22d25f7b9152b53d3","datavalue":{"value":"3807596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839249$AA7EEC9F-21BE-4757-AECA-41EBC9658BB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfce81dc86184fa35dec9bfee4aa104739a8d49","datavalue":{"value":"finite Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839249$0FA15409-A6DB-4984-85F4-BC7FE3303035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138f914578956e7198096f031705638144761d1c","datavalue":{"value":"almost confluent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839249$F7E16D09-BB89-4430-ACE8-8FDD293A88A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a8c1890eb9acecfc30bcbe564bd66242c5a9e6","datavalue":{"value":"preperfect","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839249$C632136E-176A-43B7-AEF1-E0212EDA222A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61881b2ed50ff15503f2011b09daa9b6be3a65b4","datavalue":{"value":"Church-Rosser congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1839249$378DEFAE-22B5-4F5F-AE1B-D804C429ED81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aed274e58471806e973e3926af8e50abb8242477","datavalue":{"value":{"entity-type":"item","numeric-id":1162143,"id":"Q1162143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$A26B88E2-C499-4978-8D1B-08C11B56A22A","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":"Q1839249$B06D17A6-8132-4939-99FA-21841345BC82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afe06dd81849d766c608574659590a41427221b5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90039-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1839249$3F551D3D-AB98-4590-AE2F-733FFF22B3D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00400633610994e48050b2b3de385e6760b7d708","datavalue":{"value":"W1997017650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1839249$52EF0187-D7D1-4D3B-B5B4-5FF40DB32F7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$D993C469-4648-4E9F-8589-FE64FDEB4CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d91cc347ac2f5288732fa9b032b141b0a07192","datavalue":{"value":{"entity-type":"item","numeric-id":3319766,"id":"Q3319766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$D91CE675-806C-42E1-8AAA-471690F5E137","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":"Q1839249$F4D00589-7FD7-4A82-8C20-834C5189555E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$0B4CC1D6-C0F0-4979-8F54-9EA044B7DECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb713495b9ea7313f59f292ec295ea082246771a","datavalue":{"value":{"entity-type":"item","numeric-id":1162144,"id":"Q1162144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$073716CD-3B92-41F7-8B0F-65FFBD75C5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dcc3a862fca529e08652ec731a62fa642bdd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":1162505,"id":"Q1162505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$51C22B03-7D00-4AC8-A661-56AB218A8791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d697847196f96f79649a01bc950cb9c00d23b5","datavalue":{"value":{"entity-type":"item","numeric-id":5804999,"id":"Q5804999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$5F7DF937-394B-49EA-9172-E17CF8134686","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":"Q1839249$BEEC7281-BC5E-4DD9-B282-652BD51B95EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$7871A5D7-D043-4CC9-9D8C-FDAAACC4BCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1839249$AA4443CB-555D-487B-9FC8-64543DB923B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable questions related to Church-Rosser Thue systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_questions_related_to_Church-Rosser_Thue_systems"}}}}}