{"entities":{"Q3798271":{"pageid":5828177,"ns":120,"title":"Item:Q3798271","lastrevid":53040701,"modified":"2026-01-24T02:44:06Z","type":"item","id":"Q3798271","labels":{"en":{"language":"en","value":"Church-Rosser Thue systems and formal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4064524"}},"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":"Q3798271$EA41920E-D025-40EB-9E2B-374BC7F151A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66018575faa72f372021ec93b9070ccc44b4864b","datavalue":{"value":{"text":"Church-Rosser Thue systems and formal languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3798271$79D456C1-339D-4CAC-B28E-EBE27537AFE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"133a115434052b08bef3bc332f4e76480d6be239","datavalue":{"value":"0652.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3798271$42219C84-C897-4322-B5CD-361F1827416C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b0800291d44e2f648146ecde8c94dfe12705ff9","datavalue":{"value":"10.1145/42282.42284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3798271$3CB27577-84D8-470F-A3AA-F77C3DF1662C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16922eb7ed4824225f324fac9345cfe633d1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":211674,"id":"Q211674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3798271$A62BB277-D2E3-4EB0-B8CB-29247FDC1D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3798271$8732E8EE-D947-4752-861A-B7A83040BA98","rank":"normal"},{"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":"Q3798271$C735D481-4CCD-4136-B920-30738B45639C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3798271$18927D12-E462-45C1-9173-253F98AFAF6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3798271$83C660BE-85CB-465D-91F5-F8411ED369D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3798271$A68C580E-FD9D-46A3-8C86-8E312ECEFF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3798271$34F61710-3DDF-494B-BB25-749EE0503133","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc111673d0fa59423a9b6295a551a2102e1313e","datavalue":{"value":"4064524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3798271$1DCD4208-1D19-4F6F-81F5-5C6FC0556C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6dbf42bc269958acea2d313f6db5c034566a53b","datavalue":{"value":"Church-Rosser systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3798271$7A48EC65-12A5-471B-97E0-1EC0ECEC9DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872431b5dc755bcd5b7213492e1cb5e11885541c","datavalue":{"value":"Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3798271$F8CF0F52-78C7-4BA1-9B81-58BE4B9C92FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3798271$F79E242A-4C7E-4352-9ED5-6C4CE33CF75E","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":"Q3798271$C18D15E1-79AE-4CBC-A95B-6F95DEEE89ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a488214f84d29560933df9c3e4bfdcd49a74bc7","datavalue":{"value":"https://doi.org/10.1145/42282.42284","type":"string"},"datatype":"url"},"type":"statement","id":"Q3798271$25604878-E6EB-4AB4-8ECA-637E8667874C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6f4624a8310e84fa139bef84dec82f3f034d346","datavalue":{"value":"W2057834256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3798271$F1EC137A-4884-49D7-91F7-55495495A379","rank":"normal"}],"P1643":[{"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":"dde659b0f5c27ae48375a631693c8bf30bbf3f90","datavalue":{"value":{"amount":"+0.8705978989601135","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":"Q3798271$426F91E6-98EC-445C-A900-D407CDAC7067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcf9448d7033c32b4275bd4376f2d4813d887fc","datavalue":{"value":{"entity-type":"item","numeric-id":3796797,"id":"Q3796797"},"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":"Q3798271$5AA5CDB9-CD24-46D5-9271-47AF66506BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02fbca4bccb20200d05fefd3fb4db34e08fdf45","datavalue":{"value":{"entity-type":"item","numeric-id":1071759,"id":"Q1071759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c2fc3c71ee1934c495562fa005bed929a00590","datavalue":{"value":{"amount":"+0.8581627011299133","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":"Q3798271$AA65AA76-0071-4988-BED1-911921ACC711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d4c548029af9f06cad6125cbca3fb8d8887c79","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9feecba0eaba6f53946dc69a19c33224fc60dea1","datavalue":{"value":{"amount":"+0.8261566758155823","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":"Q3798271$EF9FE611-04CF-4F88-9186-48145BB7CD0C","rank":"normal"},{"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":"57ec43e888ff098deded60c0439fcbb210115d0c","datavalue":{"value":{"amount":"+0.825099766254425","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":"Q3798271$F371BDB7-FFF7-4940-B256-99A9B1BE7FF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3798271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3798271"}}}}}