{"entities":{"Q3796797":{"pageid":5826703,"ns":120,"title":"Item:Q3796797","lastrevid":87636521,"modified":"2026-06-04T12:12:49Z","type":"item","id":"Q3796797","labels":{"en":{"language":"en","value":"Church-Rosser systems with respect to formal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4062636"}},"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":"Q3796797$8538819D-9DA2-4961-BBB9-41A876C144F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d88d92d017e58d7ed080467762c2d2a964ae0930","datavalue":{"value":{"text":"Church-Rosser systems with respect to formal languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3796797$371F0B47-4AAF-4F71-AC56-50C007A0562B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53871edcc8d39a876f477e20d0679f1208583729","datavalue":{"value":"0651.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$7FDE5110-7D14-4C89-B88E-298F5A88543B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b7f908075f17326671e0f4eb070368742b2d418","datavalue":{"value":"10.1007/BF01074918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$168B765B-C9E1-4D9A-A9CC-A59F71835096","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edfdb8747d7ba239856b7a5f996e05fa7a89eb08","datavalue":{"value":{"entity-type":"item","numeric-id":2947072,"id":"Q2947072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$4FA05800-5CCC-481D-BE94-EE3BD68F9D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab835ee823091d1ceba22c60aa80cb8715e52e75","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$96782B37-DB65-476A-822C-F541982CD1BE","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":"Q3796797$C8196601-D09F-4A86-8B39-0A5AB1C58FE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3796797$D33E7E61-C055-49C2-9C5E-4951102F241A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$8660C193-13EE-41B5-873B-112D748A0E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$3EF2EFD6-CD05-4C73-B336-9E5FD0D33A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$36861FE2-7870-4F14-A1A2-7D9B7AA734F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$356FB242-B81C-4467-AC45-43DDF5C3ABA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$B235401C-DF0D-410D-959E-24BF17FDE642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$3046545A-68E2-4701-A5EA-C6D59DA94918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37104f8722e4a0c99fb889729596345d421bbfdc","datavalue":{"value":"4062636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$2F0CD68A-99A2-4AA7-ACD3-F9C145D4156C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3796797$B5545B77-A1CA-4EC8-9E26-A01DCC6476F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b653a99116a641ea331c23c01dd0539a978560","datavalue":{"value":"equivalence problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3796797$B316015F-644C-40DE-8247-4D7CC790EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3796797$69C6B892-874A-49D0-9AC1-59BFC556A939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3796797$97462E33-B353-4410-8240-E64B30F02979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872431b5dc755bcd5b7213492e1cb5e11885541c","datavalue":{"value":"Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3796797$2F3AB92B-6208-4B91-908C-BFF5C9E69A3A","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":"Q3796797$2B8A1452-26B7-483C-883B-3F5D328CE682","rank":"normal"}],"P223":[{"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":"Q3796797$9FFBFBD8-D629-4B97-B7F4-0608E56D61CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$C8C960F8-BCDB-49D0-A67B-772E05026E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$020A83EF-8396-4D08-B25C-D4B21408CB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$3E8F2A9E-8A86-450B-B70E-FE9015577D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee70b72dd30824e15ec99ad6ae6b60116a890bf","datavalue":{"value":{"entity-type":"item","numeric-id":4066643,"id":"Q4066643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$41C14F99-7E70-4313-8BE6-25D2FB756EA3","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":"Q3796797$D6806438-FA6C-4BA7-AE89-FE0AB0732747","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":"Q3796797$2B62D5CB-AF24-4690-A08E-A62282994F34","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":"Q3796797$9F761944-EC5F-4AC4-8C1B-3F910FAA45A7","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":"Q3796797$7D11C09E-1A1E-46E2-897C-D071C7C2BB84","rank":"normal"},{"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":"Q3796797$97B3FD92-1E92-4972-90FF-5F998BE41B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3796797$DFE57A9C-EB22-43EA-A563-4402FFBDEAC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbd0536dcce63b6424c91d8ae4d2bba71d207113","datavalue":{"value":"https://doi.org/10.1007/bf01074918","type":"string"},"datatype":"url"},"type":"statement","id":"Q3796797$4CAA541A-D73F-456C-8859-440A7E2519A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8461ba1b1c7f4e3edd448a7181d90b507756354","datavalue":{"value":"W1982879402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3796797$BAF001F8-7B09-4F20-87D5-D2B817B9986F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1454efb480b150a0afee282e59f9f878946610","datavalue":{"value":{"entity-type":"item","numeric-id":3778003,"id":"Q3778003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314f047e8669d8fbb891aa1c7fedc7e8790f66cc","datavalue":{"value":{"amount":"+0.8853203058242798","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":"Q3796797$A9379AAD-FFB4-475B-8829-EDB9424962EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543faedc79909ccf97fc246218bfa871371de0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49728b2cffafad35b2212c0def1ce01e88abb62a","datavalue":{"value":{"amount":"+0.8729523420333862","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":"Q3796797$E7B6ACCE-1C55-4CD1-AF80-56BFBD887DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98410aee71e8acee7749f84cd62a30d087d1d9f9","datavalue":{"value":{"entity-type":"item","numeric-id":3798271,"id":"Q3798271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1a221a7371d7606aa5d7a915943ddfd7d69fb5","datavalue":{"value":{"amount":"+0.8647841215133667","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":"Q3796797$82A777F7-BE7A-434B-85B1-C809A171DFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30758dc49df7f4b9e9d10b9ce54c0e60977278","datavalue":{"value":{"entity-type":"item","numeric-id":3722483,"id":"Q3722483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8737b126a71ec457b01519cefd469b3a9fbb5d09","datavalue":{"value":{"amount":"+0.858291506767273","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":"Q3796797$67A66B87-9B31-4408-907F-A19FE2D48033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365a861e35d11978be8db2118e36c73b35163714","datavalue":{"value":{"entity-type":"item","numeric-id":3319766,"id":"Q3319766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9eb496c7992393032b888bb18c9de5dd0e4525","datavalue":{"value":{"amount":"+0.8567540049552917","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":"Q3796797$BE22EAF2-92F3-4BD8-936A-8D3BD7F6D886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Church-Rosser systems with respect to formal languages","badges":[]}}}}}