{"entities":{"Q1336046":{"pageid":1346785,"ns":120,"title":"Item:Q1336046","lastrevid":57124941,"modified":"2026-03-26T17:17:52Z","type":"item","id":"Q1336046","labels":{"en":{"language":"en","value":"Polymorphic rewriting conserves algebraic confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 653286"}},"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":"Q1336046$06AD2C10-4374-4C73-8CF6-384E987514B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36ec0ab156ec44d29d5b8838c56d14edf7ed90cb","datavalue":{"value":{"text":"Polymorphic rewriting conserves algebraic confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1336046$58D2DD01-3671-44F1-B50A-DAFDE9967ADD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d3f4afd0690429fa669a69a708113df4061543","datavalue":{"value":"0820.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336046$0A18B852-B8A3-47C2-A43F-38CCCCE404E3","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":"Q1336046$8EEAEC54-C941-4EAF-9B85-B759D5240466","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":"Q1336046$97A4FA58-AAAB-4F64-ACC6-B37DBE30AA32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336046$4D3E2B84-2F8F-461E-8501-C07A76EDDD02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35d39e210be1143825b67c9418f16b393bda66a7","datavalue":{"value":{"time":"+1994-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1336046$62D71A56-7DDD-44CC-AD37-1242437B9172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8abe66aac4d1080c2138566e3d9656fa398b8ff","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1597&context=cis_reports","type":"string"},"datatype":"url"},"type":"statement","id":"Q1336046$C565E457-63B5-4B16-AB30-E77DA4E24FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336046$55DBD658-C784-4842-A9F8-832E00197AAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2df43e1a9970d11280d9857ab5ded564f82443b5","datavalue":{"value":"653286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336046$A96C8BD0-59D8-46C5-ADE1-8212BC19945B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2dcf3a3b8c8d22a2e8d1f1fddb0c37bdc58284","datavalue":{"value":"algebraic term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336046$3783FE36-7D5A-43AF-B8B9-267B079B12C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bffa9443997a088e08802d10acedca5c62c0c21","datavalue":{"value":"polymorphic lambda term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336046$43E343CC-F1BA-45CA-850C-5D3B94B5E889","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":"Q1336046$AC7898A1-1B42-44C8-90B1-A251C7A913E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63b868b63c198e9979393d22ecb7b60e616c8817","datavalue":{"value":"W2044646445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336046$CB27AB77-DD18-4555-87C7-E3F58112FBFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edfa1d0f3f5d7d5dcf761a55ad71950a382eb8be","datavalue":{"value":"10.1006/INCO.1994.1078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336046$AE75FFCB-C4A6-4319-BD10-0255704F3BF3","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":"dee08bca79986df2a827579a60b7375946716836","datavalue":{"value":{"amount":"+0.952669620513916","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":"Q1336046$4535D9E6-0DF0-4FE5-8075-35EE6C88AF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e035ddda7436ad5f058d496a714721c1b5cb68f","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a68fae3c3a8a77a966314c69aa55c804478cf3b","datavalue":{"value":{"amount":"+0.9095964431762696","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":"Q1336046$562C7D85-EE70-40EA-A968-EE44D32C7AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114941f7931c3b195587f701beb9e1579622913a","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1dc8b322713794e6f2461d21554041a3c7863c","datavalue":{"value":{"amount":"+0.8522396087646484","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":"Q1336046$ED21ADD9-F96B-4598-86D6-5FF8933D5812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07ea29f34a0ae3c3bb20ee1e6b731c59ab57a81","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c19efeab29fcf1d9d5574bb3df8beab385852e","datavalue":{"value":{"amount":"+0.8496130108833313","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":"Q1336046$EB4ED7FF-1AD5-47BA-ADE7-265F7CC31080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237b97dcfbfc01474547724047ebed891866bc69","datavalue":{"value":{"entity-type":"item","numeric-id":1197987,"id":"Q1197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440a9c371b869ef3a49ca0d31515518fd5a8d3a1","datavalue":{"value":{"amount":"+0.8332966566085815","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":"Q1336046$F9DFD1A9-B483-46A8-BD47-CF89EBEA4AE4","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":"Q1336046$E737962A-D17D-48B5-B944-F79DF852C53D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1336046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1336046"}}}}}