{"entities":{"Q3708211":{"pageid":5738117,"ns":120,"title":"Item:Q3708211","lastrevid":87571622,"modified":"2026-06-04T12:01:20Z","type":"item","id":"Q3708211","labels":{"en":{"language":"en","value":"Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933348"}},"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":"Q3708211$EC3D8742-9B51-435B-81D9-DEFB95A1D7AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7da09080f47d0489605f9e43f2f4ae02b60290da","datavalue":{"value":"0583.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$EC1321EA-A590-490C-9EE1-C60910D5C228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44442aec21c7f71474ead5694a40e279839f3a2d","datavalue":{"value":"10.2307/2000102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$CBAA34CE-688E-4B36-BE87-7F06305CB823","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":"Q3708211$B3F47D80-1750-4C0D-A2F9-B0B8F5374775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3708211$026FCC35-AA2F-467D-8258-EE42700980E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$F4C476AF-5AFE-492E-B964-C89DA84FB7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$93F9C89C-B4B2-431C-862F-A12D56B8831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$9503FC74-11D5-4D95-9B23-912E92EDB37B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85359ec5faf05f508073da28c348d46739eb8ab3","datavalue":{"value":"3933348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$67D00ADF-5C5C-4AF2-81AC-8EAE7AE9D4FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708211$6CDD88AA-3F85-4A33-A36C-00C288DF89D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c9af96e85c18c7fd29392016f5e9bb3c033dc3","datavalue":{"value":"elements of finite order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708211$167BB0B4-AA2F-495E-A204-4507B3B6640B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708211$03214980-30D0-460B-BF0E-172E4C704F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"003f38b3f774e80f71ce4f9946134ab9d5ce7cd2","datavalue":{"value":"finite monadic Church-Rosser Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708211$A3A7BE98-05B0-4D7E-A133-3E7446D715AE","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":"Q3708211$DEB22FB0-D2EF-4DE5-8475-374A7FE4E39D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f99e8cfed8f29a47e1372f54867703108fd95b7","datavalue":{"value":"https://doi.org/10.2307/2000102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3708211$BD8E4AB5-08CB-4A0F-98FB-131AF32CD347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa9e2a4b726ce70d8ca073194207440111bd4e8c","datavalue":{"value":"W4229731907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708211$B5314FE5-ED73-44B5-BA5D-801F206029FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5363201425bef4cc919fcd00bb4c5bb2c256ceda","datavalue":{"value":{"text":"Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3708211$0C5CB64E-BA3C-4794-A24D-816E9E23F3D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebb06fffc0f01050548cc70a5275f2146093fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3329652,"id":"Q3329652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$13495A24-D1FE-4A27-99F7-230496D27425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d18f4a8bd58452a797b90b5f0ea9b7cbfc1e87","datavalue":{"value":{"entity-type":"item","numeric-id":3741791,"id":"Q3741791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$98DA9F33-A3E9-4EF9-A471-5573D61BC8AC","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":"Q3708211$95618124-CB8D-46F7-81A9-0DA2E04FDA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782ba884bddceeeeea0c893b705ae4c41557b763","datavalue":{"value":{"entity-type":"item","numeric-id":1166924,"id":"Q1166924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$8B78445F-137C-40E4-B06F-77E2B5CB8F83","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":"Q3708211$27B4F373-A9BA-4F9D-B6D8-DB9572A89D97","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":"Q3708211$FD955F6E-3C23-4164-BE7A-44A294AB877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8515c66e998b49e90d2f794c4c8b138d50aa183","datavalue":{"value":{"entity-type":"item","numeric-id":2266586,"id":"Q2266586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$C576882B-71CD-48B7-BEE5-75DE19CA5E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bce65c153f53b67aafc08e73839b95059249d","datavalue":{"value":{"entity-type":"item","numeric-id":2545845,"id":"Q2545845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$47507F10-4A73-40A5-B18F-07A5EAF9E419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$9D61CA88-59C0-4D40-AB6E-B05E862C0FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$24856F0B-4BB8-4222-BA46-45547DD23D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c82198b1893ce6810aa36878d8fbe3a1c43271","datavalue":{"value":{"entity-type":"item","numeric-id":1218040,"id":"Q1218040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$8D7F2A02-D9AF-43FC-8B9B-6FF7625400BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$BCF91F07-F15C-48DE-BB8B-F2172427C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$DEA10DC0-878B-4F1E-8280-7B429BF274E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$9397D38F-BA0D-4309-8790-B88E1BE6A38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$88B10BA4-E214-43E4-B485-8B1B70E85CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af188522ee36dfbc40e8063345c06265fc901ae","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$0E8BA955-7E33-4F04-975F-005687FB0F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d48410a7583156d1131964150b5eab11998283a","datavalue":{"value":{"entity-type":"item","numeric-id":4105657,"id":"Q4105657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708211$396C22B2-F7A7-417B-B7F8-4B4C4FEFC915","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":"Q3708211$AB76B8AD-7912-4CA7-9BD2-4A63FDD7E1E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cfe929d238c6c76212e60a2707567d5e8f19bb","datavalue":{"value":{"entity-type":"item","numeric-id":1121013,"id":"Q1121013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07be0cba0067b9b57604c47575f87f594397165","datavalue":{"value":{"amount":"+0.8711705803871155","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":"Q3708211$877755CB-9F72-42A4-A147-418FEBCBDDD2","rank":"normal"},{"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":"f4941a295d9d9ae14d0a8a9179cfbf967ce4f174","datavalue":{"value":{"amount":"+0.8642630577087402","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":"Q3708211$6EC4CE2C-1D9A-4095-A9AE-B7174B901727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5477c10cd6af849edede1ab1dadf06c16eac01cf","datavalue":{"value":{"entity-type":"item","numeric-id":3153443,"id":"Q3153443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7316e5603edcc41b84d319d0c1805c0961bb8682","datavalue":{"value":{"amount":"+0.8380990624427795","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":"Q3708211$BF8FC50E-B8C3-478B-B775-5575CCB38AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d652fdf152aeddbb37949bf30540510352318d6","datavalue":{"value":{"entity-type":"item","numeric-id":1123619,"id":"Q1123619"},"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":"Q3708211$FC9B1B9E-5795-412F-9B28-DA18634F47EB","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":"af6953704b4a0acff57a24881f0c35c2dc31f616","datavalue":{"value":{"amount":"+0.8310094475746155","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":"Q3708211$DEA1CE8C-3E2A-48AC-A634-0BD76CE81A92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems","badges":[]}}}}}