{"entities":{"Q1176244":{"pageid":1186993,"ns":120,"title":"Item:Q1176244","lastrevid":66435969,"modified":"2026-04-12T10:03:43Z","type":"item","id":"Q1176244","labels":{"en":{"language":"en","value":"Polymorphic rewriting conserves algebraic strong normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13893"}},"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":"Q1176244$7DD40CF4-DF31-41A0-AD5A-A096B8C3EF2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d3fa96b0a075d2bcd133d739bb560f1ca5b4b05","datavalue":{"value":{"text":"Polymorphic rewriting conserves algebraic strong normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176244$BB448B57-0099-4161-854B-BE69FF756565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7c93e265965e5164ba5c058a6dc36420007dd3a","datavalue":{"value":"0745.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176244$6DDE6F44-03A3-4C3F-99F8-4872957EBD96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6dcbc53cbf21790ed3dfd60176b2ca575547b28","datavalue":{"value":"10.1016/0304-3975(91)90037-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176244$868209C3-74A5-413D-B913-AEC01E35346F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc783cd5616fccc031a78230a398244b135e31e6","datavalue":{"value":{"entity-type":"item","numeric-id":749517,"id":"Q749517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$1FC28121-90C9-4080-9619-5F1E430AE5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$B459DF8B-A752-41BF-BF1D-0211D9A1E7AC","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":"Q1176244$AE9E4092-CB34-4DFE-936C-A2265DE2E0D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176244$865C9770-178C-47F8-9708-07111793C7A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b65684bb73f38930e5f0e8cc75535931c7a1bcbd","datavalue":{"value":"https://repository.upenn.edu/cis_reports/546","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176244$C662FAED-2429-4D30-B1D6-7A0DCCEA9EFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176244$1BCE190C-CA42-4A33-8C86-91FDBBCE9915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67eb696c9899c1346a9e348c7c7e03a128c69628","datavalue":{"value":"13893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176244$A15307A0-9E34-4BE2-B9A4-00345C05B613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5408ff3339e82a66bafc094f005d3b1fad86a755","datavalue":{"value":"many-sorted algebraic term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176244$80700204-ADAF-4349-BC0D-0386110B6F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bffa9443997a088e08802d10acedca5c62c0c21","datavalue":{"value":"polymorphic lambda term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176244$B715D56B-E24D-4361-B0B9-0EE80875AECC","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":"Q1176244$A9995F8C-9049-49C8-82D2-4B88D617AD78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c18bffce46d1e0d0a953506f1664c70cd5ea47eb","datavalue":{"value":"W1999683854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176244$EDE60C1B-6DF5-4CB9-A65C-CF2AAC5F8ED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$7178BDE7-B31B-447F-8518-C30EA4E1073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$E176B296-DE41-4F3F-AEBE-634B48B706C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$24E3C1F2-CD1B-4E78-BD32-00629D06A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$B7F00758-CDD3-463A-AEBB-D356113CA64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$C0D7DBFD-6CA6-456B-B106-0D385E488E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$44A4E1ED-C14F-4516-AB86-FDA44C3CB6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$A2DA9623-A4D6-4944-97D0-CB982F9A1139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$9F6F4B2B-D4BA-4A0F-9383-B628DD3F048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$97120394-7CA4-4BD7-85AE-0127F13C4D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$387E0D75-A27A-4A52-B2FF-F6E3A1EDCB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$0F00B7AF-8C31-4EFD-8D39-D82B5E39F316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$87160595-D20D-4858-8E04-DA95E6911E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$D9B9B5A7-648C-4737-9751-90EA4413E48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$029FA90A-EF8D-4095-BF89-70B9882FF40F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ad3551fb745cf52b15d1a7a6bcc7a82129a4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5b5971439c007cc442d2a48c6017bf0df61817","datavalue":{"value":{"amount":"+0.9850153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$335C31BD-7771-4553-A06B-E295981F091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18abaaa8ec3f4b4dff43413f9172c7868d4ad2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82f9dbf018d71f70e9c57de70c6f64f9433130f","datavalue":{"value":{"amount":"+0.9330202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$D32801E4-D30A-44FD-A2A0-5E5EB3118090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d81984e73f41a703a072b9b75772081d74744e6","datavalue":{"value":{"entity-type":"item","numeric-id":5881282,"id":"Q5881282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2c1e8c0fc7c466ee17a4afbb4fabe3690c05c8","datavalue":{"value":{"amount":"+0.8991809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$DB6FF919-C707-4863-BC6B-6841CDA9B910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e9dcb4954ceadaef22f6f08ace6944c0cbafc8","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a898e7584c4f72dc046de8e29fe8178e9bffd3","datavalue":{"value":{"amount":"+0.86687136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$7CB87E52-2EBA-47E8-B5D5-758125221536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2210e42a745acd3fde9aaf4e65aaf2250ab240a","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871952732db5895a64bf85092d9d6177a5316802","datavalue":{"value":{"amount":"+0.8617439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$40D92E1F-E42C-4942-BD45-E8CEC67D06CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e087c61fe2738d6348d9fbe65d5b85cbfd09b6","datavalue":{"value":{"entity-type":"item","numeric-id":5858674,"id":"Q5858674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495c6ad02c2194ddfb1ae17e9b874f3abded8d10","datavalue":{"value":{"amount":"+0.86109716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$DEF2EDDC-92B1-483D-B519-68E2E9F11980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d737c6c20aaa7c508a077c54429edca413af01d","datavalue":{"value":{"entity-type":"item","numeric-id":3982097,"id":"Q3982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca2e02479a69ad8b400c44dce27e58da8aee286","datavalue":{"value":{"amount":"+0.85850286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$126055F3-897E-4043-A190-C56690D78011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7deb4069a633156022e294596d3e1e23591d21f2","datavalue":{"value":{"entity-type":"item","numeric-id":4862765,"id":"Q4862765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00685dde1bf9d72e6399f7362990de266fccfbf3","datavalue":{"value":{"amount":"+0.85632455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$12116989-3D5B-4B7F-AFB7-C983C9F42B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8ec8be874d7ffa31a025193401dedc39219192","datavalue":{"value":{"entity-type":"item","numeric-id":5411470,"id":"Q5411470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbd6739d8543a27c30c3558977176c7de250a8d","datavalue":{"value":{"amount":"+0.8561667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$ECF74783-07AB-4391-B3E7-9C0FF78A2AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37fcb897b2a4070aba3e7f72c3c433998c0135f","datavalue":{"value":{"amount":"+0.85603774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176244$A7A378D7-98F3-4FA9-A7C6-CC8ED449C5C0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176244$E1DE51DE-D656-4A5F-B1F9-65AA743C5F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polymorphic rewriting conserves algebraic strong normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polymorphic_rewriting_conserves_algebraic_strong_normalization"}}}}}