{"entities":{"Q1123619":{"pageid":1134368,"ns":120,"title":"Item:Q1123619","lastrevid":67051305,"modified":"2026-04-12T14:36:25Z","type":"item","id":"Q1123619","labels":{"en":{"language":"en","value":"Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110114"}},"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":"Q1123619$7C701FF4-43C9-4EAD-88A0-2BBFD527BF01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"586eb2fc0d084778e7f4e8ad39a299b0c4b0ea52","datavalue":{"value":{"text":"Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123619$8BB2BFD5-ACAB-4E14-A25F-4D7CEF0963CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d3240ee2217063c8718975baa28faa2a8b60b9","datavalue":{"value":"0677.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$4276A20B-4EA4-4E74-AEC3-902EE8101BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccda71f65b1bc48a5fdf88950067e7001cb4d773","datavalue":{"value":"10.1016/0304-3975(89)90167-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$E26FBD3D-8FB4-48A8-8336-E952CCC93C4A","rank":"normal"}],"P16":[{"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":"Q1123619$CCB78F53-C555-4D48-B281-AEDE023B5AE3","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":"Q1123619$2F407228-75CE-4B60-AD1A-D32A1C17B6DD","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":"Q1123619$150639FD-E91D-49DF-84DF-E48549C638F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123619$AF9F9A49-12BA-4504-8C76-6D605EECA544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$5F366D96-EA21-41E5-809B-19FAC96DF1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$7EA9DBC6-BD91-4CE7-92CD-63875859B5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$3D87A234-47C4-492C-840A-915DC6C8190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$B0C7237D-8B77-4ECF-827D-E400109DDB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$0FB43389-E9AF-44B2-AAE6-08E195DE7390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$8CB831DF-1984-4F39-BEC6-FB3223E60EE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a091a1e50a0f26e239a2cb64e07368a8f15f0894","datavalue":{"value":"4110114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$3E2DAC50-2513-4091-A0DE-E1D4AEC04D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae26b07a1e32742c2cd236f2f2cabbcd2a743dcc","datavalue":{"value":"finite monadic Church-Rosser Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123619$AB5B60F7-3004-4F54-BE9E-79A29BEDDBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123619$0FE5A51D-4CCD-4269-BB12-AD81A7F5E49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b3502133393638db2b87f2e1bd2af7aeba71aa","datavalue":{"value":"uniform decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123619$AD380B56-6D17-4C5D-AB56-C8EC165F8FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc4b80cfe5ddf36931f744381f39b0dce39f8c4f","datavalue":{"value":"uniform conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123619$E74F13AA-4CDF-497B-A38D-EA03DB4083FF","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":"Q1123619$6F329921-06CB-41C9-B9A3-68D83FBD9FEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d80c44ae86d17cee3096977f6be9f60df8d413a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90167-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123619$6ADCA254-E948-47E8-BD26-0B6114BBB847","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fad0ac35d1fbb918d41bccb0166b656cd205385","datavalue":{"value":"W1979249711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123619$88DB1FA0-CB1D-4D2E-B03B-478BE498D7FA","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":"Q1123619$390C7A85-6DE8-4808-90C2-A2F8EE4A9CD3","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":"Q1123619$60510140-5A9C-49B9-87B0-D52077F07987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5beb4ffbe4d8447ef8b9d68fdfb1a8b24a65e","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$7FB37495-C8EC-4612-8050-1F44759C05D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$6F73EBD8-0784-4193-86D3-336C4EE6C559","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":"Q1123619$4BDE597C-93B7-4A58-8158-0D2879AB98F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$2FBF65CF-16C7-452F-8232-A305DED8F2E2","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":"Q1123619$338C6163-719C-4AFF-BBFC-A1AF108D7295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$A43138AA-DBED-49E8-93CF-1B8AF251737A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480aa292913fd8766908eef3cfae15b19f52af9a","datavalue":{"value":{"entity-type":"item","numeric-id":1824041,"id":"Q1824041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$1BCDC5A6-720D-4922-B99B-B5CE1688D58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac80fd37ae52a4473f445e2dd3a2ffd75ffad640","datavalue":{"value":{"entity-type":"item","numeric-id":1073015,"id":"Q1073015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$FB652038-66C6-4599-BBA3-57C45208182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fa091aacea930eeb671d90752260e34911e748","datavalue":{"value":{"entity-type":"item","numeric-id":1089798,"id":"Q1089798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$EAE1B2AA-5B29-4C8D-8117-24E8031A972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23babecc2144a4d5370e9b86b8b61945f56ed7a6","datavalue":{"value":{"entity-type":"item","numeric-id":1121013,"id":"Q1121013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$83E425CB-B8C3-47B7-9D60-6FB3B6E8A29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a9e5d31f880fb608e56fc66242cd073c63e705","datavalue":{"value":{"entity-type":"item","numeric-id":3720578,"id":"Q3720578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$34F65494-B455-4C6D-96A9-D6A3F15B5295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa78d7638ea69d0a540e6d078b65b138e9b0f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":801163,"id":"Q801163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$348D0065-0F6B-4465-9DDD-D1A5BDD419A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b43f43ad4e7085e630997152fdc91bd6bfd3bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708211,"id":"Q3708211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123619$B8A79213-A4D9-497B-9F28-7A5F4A5683FE","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":"Q1123619$A1A574B7-5AAC-48A1-BA6B-D32CB5E32DA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bec4018938b95745d558cf4b569b25f3b77aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb6e3d5892ce0bd34eef92c6899b4a6a2422a3d","datavalue":{"value":{"amount":"+0.8602979779243469","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":"Q1123619$864C6097-9FD1-4FA5-979A-DEB7F0055511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b147bc0286436b0819fad980c8df17a1910054b","datavalue":{"value":{"entity-type":"item","numeric-id":1085618,"id":"Q1085618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02816cff08a391225eb451668d320e7d8da6287","datavalue":{"value":{"amount":"+0.8327913880348206","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":"Q1123619$0BF7D7A0-1313-44B8-9081-80DB1288C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8292c6550e146cd4d6e9ad00a0b316bd47758d","datavalue":{"value":{"entity-type":"item","numeric-id":3708211,"id":"Q3708211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76ebfd47c9421334dcb8868649c359446f8e842","datavalue":{"value":{"amount":"+0.8312769532203674","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":"Q1123619$DCB79711-A4F7-435C-BB56-00C492F0309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc807f417615fd0288d8269779e7194b77263fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1057264,"id":"Q1057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ceccdc637f06a858e209048cccd248809f67d1d","datavalue":{"value":{"amount":"+0.8288770914077759","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":"Q1123619$3F8BF6EB-3B27-403F-B398-C65981E7F4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8b0e92b1c9773d10af5e9f8ad7e932f5d1027c","datavalue":{"value":{"entity-type":"item","numeric-id":1057263,"id":"Q1057263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28540217d5d34dc2751935fa144de206c1be1d44","datavalue":{"value":{"amount":"+0.8239223957061768","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":"Q1123619$EE4C5C6C-F70F-4AFE-8049-8D47390DB3A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_polynomial-time_algorithms_for_finite_monadic_Church-Rosser_Thue_systems"}}}}}