{"entities":{"Q593775":{"pageid":595551,"ns":120,"title":"Item:Q593775","lastrevid":62989581,"modified":"2026-04-11T09:32:24Z","type":"item","id":"Q593775","labels":{"en":{"language":"en","value":"Decidable sentences of Church-Rosser congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3833288"}},"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":"Q593775$7B5C2443-55CB-45E1-A6D2-9A89E079BFDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1076cc6580d8e6c79b70e1d8f702bd981f0b855e","datavalue":{"value":{"text":"Decidable sentences of Church-Rosser congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q593775$69E0CF71-6BED-437A-AE66-F8C3B6001AB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ece61568acb884f3e3f5ea1d5ed45c4d474eb6d","datavalue":{"value":"0525.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$C731C74B-1580-48C0-B426-8171858900A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8724ed767566a89c9280b96e14a6248a4b7825bd","datavalue":{"value":"10.1016/0304-3975(83)90005-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$46F0D622-0AA2-4D18-B0D3-04560A906798","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab539a58a8a767731665253837c1bc29c4d22a7e","datavalue":{"value":{"entity-type":"item","numeric-id":593774,"id":"Q593774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593775$EE08E625-CE53-4CF4-AB2F-3D27B88B031C","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":"Q593775$613C2A97-CCF1-41CE-AA91-84BD45E4A671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q593775$752C3571-CB59-4716-977E-AB3027F2B71E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$F9B69D5C-7674-4039-A7AA-BCA14778846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$04EC552A-A826-4BAA-8B21-E1082E58D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$AF985838-27D5-480F-A29F-6C57A55B2A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$C38BE963-5380-4F88-9EB5-3B2AE5C2FB6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad472b57a31391764d7a9de6c3cd0bb9ec137d9c","datavalue":{"value":"3833288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$7CF5EDFF-2A33-4123-B25B-4CF75E46807B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$1EC8F5C7-61F0-4A67-9F92-5B48A01FCE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121d3cd06600b0c796ffebf43959f5eb0036e791","datavalue":{"value":"Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$E37A8514-4569-4B99-867F-A3CBCFBBD198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$497D123C-DD4D-47F0-B1FB-136E65A31C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe093c49102255616548188ab57427ae085590f","datavalue":{"value":"monadic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$A78A07B9-760E-4D06-9E95-1EC42D3166EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8494cb14896b762568fa631e2df3e82c077d27d7","datavalue":{"value":"positive sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$6BA3CCBA-D292-4411-924C-443439552487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5671a62dcc2b7886f1e62f54005c537e94d62556","datavalue":{"value":"linear terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$4F974290-44ED-41FC-91D2-B7CD94701409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q593775$AD2C48A1-3538-4047-9384-05EC9E312CC9","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":"Q593775$B9A14A83-0257-4AEB-A8A2-88C4DD968210","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6e77a603379fcf5dbbdc919ec8c471aafbb6136","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90005-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q593775$80F3033D-1C2D-4BD8-9FE9-43B1D21DC071","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8aa3f33be29004eab14e5877f6b7e3d5f9f1320","datavalue":{"value":"W1988565881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q593775$334B8E1F-78AC-4F8F-8B40-56BF7391C4C0","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":"Q593775$9D299BC1-64EE-4410-8E50-0795E3BFB6A1","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":"Q593775$F5BA6103-A3D0-4068-A461-9A0A91DB573A","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":"Q593775$BD46CF52-1EC8-4C87-880E-077C74AE7DE7","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":"Q593775$080A8999-920C-4ED6-8A52-58F06466DFAA","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":"Q593775$72BA2390-857C-4A69-AA22-7806221293DB","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":"Q593775$78A3F871-5A45-447C-BCE3-01FD3C6A3F96","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":"Q593775$403678F6-1F4C-43F3-B25F-2363440F2798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593775$F72C5A3E-934A-434A-9170-50115D706E68","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":"Q593775$850A425E-5C96-4856-B4FD-F553916E7D71","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":"Q593775$6E5F37E6-6498-44A9-893B-079593A694BF","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":"Q593775$B2D88BDD-DD69-4C1A-B807-6045C0A33AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q593775$C5A63C86-C9F9-4F13-90CA-E4E6E2F957C0","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":"Q593775$152E8565-0F7F-42B6-ABB7-BA6804C7AD48","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":"Q593775$63D0ED44-BBCF-41E2-9FFF-2B9809B0A1AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable sentences of Church-Rosser congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_sentences_of_Church-Rosser_congruences"}}}}}