{"entities":{"Q3734715":{"pageid":5764621,"ns":120,"title":"Item:Q3734715","lastrevid":50888420,"modified":"2026-01-15T14:38:12Z","type":"item","id":"Q3734715","labels":{"en":{"language":"en","value":"Church\u2013Rosser Thue Systems that Present Free Monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966459"}},"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":"Q3734715$33D57652-26EC-455D-86BA-95E08E72AC9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ba9db8d6b38c1e95523050fbebd036a571350fa","datavalue":{"value":{"text":"Church\u2013Rosser Thue Systems that Present Free Monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734715$D6156011-C0B9-4838-A3AF-4A9503B6779E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5046f952fbb119630b516a7b5d58c7eb0f28223a","datavalue":{"value":"0599.20091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734715$536067DB-9202-4140-830D-642D5B0F0805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f43d263fef3b9169c2f8970f2cc7df14de9e41d4","datavalue":{"value":"10.1137/0215056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734715$47CAC4F4-9C71-44D4-9A96-EA120BAF3F2A","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":"Q3734715$1760C7A1-4FFC-45A8-847C-97B772662E72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734715$C496372A-07B2-44DA-912D-3921E002CC4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3734715$08D99F9A-308F-4F45-B652-79314C49D1E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734715$F0EDC1C1-7FCF-457B-BDD4-4C6E3DF06919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734715$53FC39B8-5A77-4841-9555-0F2F0C7ACFFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55ec77d255bb95620a324cd3cbf6c67b84521e59","datavalue":{"value":"3966459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734715$93108F3F-401B-49C1-89BF-00F745A9D56E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c5e01df482c27cf4d79c795691ca5c6b0b88aa","datavalue":{"value":"monoid presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734715$AF947DCD-A6B9-4D5C-8100-344E04CFF80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bb99fc817f39879f50131b75df7531965fbf93b","datavalue":{"value":"finite Church-Rosser Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734715$8C419286-C00F-4465-AD5B-A298815F4AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734715$2A53D908-794F-420F-9935-60C8A5E9914E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734715$DF7B284E-554F-4C80-9B36-1A4CC56CBD62","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":"Q3734715$68E9FDD8-BDEB-4535-9159-97BB7ABF8DBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41eb05e98026b5af46ee4c747352a85d2849c138","datavalue":{"value":"https://doi.org/10.1137/0215056","type":"string"},"datatype":"url"},"type":"statement","id":"Q3734715$A356D780-B122-4C49-93D5-C870FFE4C43D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b02c84f5cf3212bfbdd6d5eaf3ebb421ab034e","datavalue":{"value":"W2044793563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734715$323E9ECC-8415-4F30-A0C2-216295CA32E6","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":"7ef0c0dba4111c6cbb29fe157fd8d2a5698eb6f0","datavalue":{"value":{"amount":"+0.9098483920097352","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":"Q3734715$3A151A3A-83A5-43BE-801F-60D3ECC0D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2517caf0f008e6eb77f6e09e90ab8e7db5e5af4b","datavalue":{"value":{"entity-type":"item","numeric-id":3775715,"id":"Q3775715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de3654edf120b217c8f5f2634a95fe6de9bdaca","datavalue":{"value":{"amount":"+0.8634018898010254","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":"Q3734715$A3B5A411-8763-4970-B3B4-978A747A4DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5a70f64e8562a2efa7f2f1335489655dd66080","datavalue":{"value":{"entity-type":"item","numeric-id":3741791,"id":"Q3741791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e32ffb237ecfd4c6dbdc02be4244700c6ef77c1","datavalue":{"value":{"amount":"+0.8592290878295898","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":"Q3734715$0913072D-439D-443A-A213-DCD39971EC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d010401c659b2c47e57cedea336aecbe361b36","datavalue":{"value":{"entity-type":"item","numeric-id":1123272,"id":"Q1123272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beeaca36ab7393de5a5543f3deff507b146fca28","datavalue":{"value":{"amount":"+0.8572056889533997","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":"Q3734715$AB29C800-259D-4DD1-BCB4-E9F18B0263FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567536ab6ef058ffd53e0bb2517afe4fa6e5f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3358947,"id":"Q3358947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ca62e10fea82334c7fbe79642c089b1a5ffbd4","datavalue":{"value":{"amount":"+0.8562774062156677","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":"Q3734715$79F0B87E-BD9C-45DD-8D3C-2D7003DD27B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734715"}}}}}