{"entities":{"Q1159985":{"pageid":1170734,"ns":120,"title":"Item:Q1159985","lastrevid":66278496,"modified":"2026-04-12T08:43:55Z","type":"item","id":"Q1159985","labels":{"en":{"language":"en","value":"NTS grammars and Church-Rosser systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3748437"}},"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":"Q1159985$149EFF0B-DDDA-4D20-AE0C-5061788EA10A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f40c140fdf15466619d10b22721e3e941b77af8","datavalue":{"value":{"text":"NTS grammars and Church-Rosser systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159985$D1EAB2A0-3F38-4BD4-987A-C3490EC3AE0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa8c460f5194ebeb98e6d28bb64e504c5c9afb62","datavalue":{"value":"0476.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159985$4B50D4AE-8DF5-4A45-AEC9-C89EAA185FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e3cc2813bca80c6e5e98849532a5752350e56eb","datavalue":{"value":"10.1016/0020-0190(81)90036-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159985$D36BB02C-0169-4205-AEBE-889275DDDC88","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":"Q1159985$FF731F12-26D1-40AD-A969-B0DDDBA3C235","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159985$9F9732D9-3677-40EF-AFBA-2A935F1979ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1159985$D000374A-BABB-458F-BFE5-B20230501F41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159985$E031BD2B-8E78-4DF6-8B6F-EAA3950FDDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159985$9E9909E3-2729-4F96-9913-545E7621BA3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70c33d1a3093924b429fc03eb3ae523faea17031","datavalue":{"value":"3748437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159985$CFA522C7-B4ED-4EDA-810F-E332921D7A05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159985$84293FD2-11EC-4584-A81F-C99EB1496726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1ee54f6cbe637742aa23bc773f63ee128e8ae2","datavalue":{"value":"monadic Church-Rosser systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159985$65D0AC7E-7343-4EF5-AC82-8E2DB4D9D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121d3cd06600b0c796ffebf43959f5eb0036e791","datavalue":{"value":"Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159985$6189E786-DD53-4B9D-A091-7032DBCD5B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196c131b1541ff40c2fb8830e1c3f97f5b22c1ab","datavalue":{"value":"sentential forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159985$5C3AF618-F678-4926-8BCF-093E105133A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d54e53f83cf30abd532228b73bb952ded5d07e","datavalue":{"value":"nonterminal separated grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159985$8E200EA0-9AFF-4520-89B4-29E73ECBD6F5","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":"Q1159985$8DA68CF7-B768-40CE-99DC-065FF04A1B61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"406d38c2436d00c42ee1150c5f12ec46b86e9f04","datavalue":{"value":"https://doi.org/10.1016/0020-0190(81)90036-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1159985$EC50B688-557F-4463-A34B-53636E1E4FF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98f8c68b1d24ed496161931794f4285ece5dd82d","datavalue":{"value":"W2075454140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159985$82F35A9A-6B2C-4608-B459-773EEE0E5665","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"553b5efb2d82caabf5a27d8c346106333fffaa0d","datavalue":{"value":{"entity-type":"item","numeric-id":3904059,"id":"Q3904059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159985$D9DB6C64-F690-4661-B9A7-5090BD583557","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":"Q1159985$A995E784-1946-44A3-B494-360318C578DC","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":"Q1159985$A35D323E-13F8-4ADE-B6F9-521CACACF845","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":"Q1159985$514932A4-E07A-498A-9694-A583BF512AA9","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":"Q1159985$175A1AE2-4A3D-42B1-96E5-DCB3F292DDB2","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":"Q1159985$300AABB1-80A7-420F-AC4F-C50553ECDC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159985$7AA7643B-9FF4-491B-9791-3EC05D2EAD9D","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":"Q1159985$C4592082-10FA-4342-ADAD-8A676188C123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NTS grammars and Church-Rosser systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NTS_grammars_and_Church-Rosser_systems"}}}}}