{"entities":{"Q7361328":{"pageid":31519523,"ns":120,"title":"Item:Q7361328","lastrevid":105364898,"modified":"2026-10-07T13:35:30Z","type":"item","id":"Q7361328","labels":{"en":{"language":"en","value":"Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting"}},"descriptions":{"en":{"language":"en","value":"AFP entry Sorted_Rewriting"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b239c0f891b7866d71525262d9a5d98bc237a8","datavalue":{"value":"https://isa-afp.org/entries/Sorted_Rewriting.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361328$8C8B094C-D62D-4D42-8672-79D16157ACB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3bc23e9e34c1eb7eecca8162731879d009922c7e","datavalue":{"value":{"time":"+2026-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361328$4C40721B-6CBF-4938-88AC-FF28A676E5AA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361328$16BA5CCF-A63F-4886-8E5F-F00CF04AA12E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa437d5e150f1f081cba19ccf5bf92b396f148f6","datavalue":{"value":{"text":"Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361328$0177818C-BEF5-4704-8FBF-9E9C61A7D839","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"74d40db5759a1af2ebfff319b53e9a314940b483","datavalue":{"value":"This entry provides various materials for sorted term rewrite systems (sorted TRSs), (sorted) conditional TRSs (CTRSs), and logically constrained TRSs (LCTRSs). For (C)TRSs we formalize the fundamental result that the rewrite steps induced by a (C)TRS is the least rewrite relation that models the (C)TRS. For LCTRSs we simply formulate logics as sorted algebras with the bool sort and logical symbols which are interpreted as expected. This allows us to define rewrite steps of LCTRSs as rewrite steps of an (infinite) TRS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361328$C8E46A42-B713-4CD8-8CC8-B4AA97B8C75E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$F6C56174-41D6-4AAA-8888-A142CEE8E7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414f9e1b27e451503814d8f5b909cdffbaba0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5308021,"id":"Q5308021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$4C1044C4-B44B-47C2-93B8-8691B1ECDA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$74DA2C7A-149D-400A-A977-70250397BB78","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$3F59F1E2-A38D-445B-8CC3-D835A9ED20A5","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"85efd78a30ec4ea71bd602428941f1812ce7fff7","datavalue":{"value":{"entity-type":"item","numeric-id":7361363,"id":"Q7361363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$3F9079B4-8A56-40D1-8876-16D08C0CC0FA","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"edf8a8949edec3767dd80b6d3acecc92e5d25f1c","datavalue":{"value":{"entity-type":"item","numeric-id":7360818,"id":"Q7360818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$14BAD9A8-F56F-49BB-B494-A9A653E9A6FF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361328$22CDC7D0-A030-4ACF-9544-FA01423D2AD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sorted_Rewriting,_Conditional_Rewriting,_and_Logically_Constrained_Rewriting"}}}}}