{"entities":{"Q3520144":{"pageid":5550048,"ns":120,"title":"Item:Q3520144","lastrevid":48964066,"modified":"2026-01-06T08:17:31Z","type":"item","id":"Q3520144","labels":{"en":{"language":"en","value":"iRho: an imperative rewriting calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312442"}},"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":"Q3520144$63615AFB-FF1D-4C5F-8557-FDE5DDD2B4E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"addd04bd954038c394730c7ae1337bbe8b49150e","datavalue":{"value":{"text":"iRho: an imperative rewriting calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520144$78D1C282-1B69-481D-A703-F88896D6D80C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d822a3379b8fe40872b4513808eafddc5d24a27","datavalue":{"value":"1153.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520144$0F50374B-4EC7-467A-86E2-BFABFEA5039B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecb8a29e60ba22aeffd924e6848ca06b20e50b45","datavalue":{"value":"10.1017/S0960129508006750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520144$C4BB85A4-3670-45BE-91CE-71DF9A1EF6E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$CE0AD2DB-8FBF-45F8-A92F-556346FA6225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b7ef19f407c37a1344dec34df08d6a64a61774f","datavalue":{"value":{"entity-type":"item","numeric-id":928670,"id":"Q928670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$07552509-247E-48AF-B72A-A8BFAF66FBDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$3E76ED30-085F-4AA7-B76D-BC404CA4E1A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520144$8533F1D7-1165-4FDC-B36D-7D4C6C74388D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520144$6D140620-DEE9-440F-B46F-32984258E3A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fb0632440a60a90b5c9a0ba59ad26b003f64988","datavalue":{"value":"5312442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520144$A7F9E2CA-5460-4CEB-9D95-C9E0BD5BC601","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$127BC8C7-0AF5-4F8E-9888-354F115AD452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$2248E888-90DF-41D8-A68C-AFEC535EFCCC","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":"Q3520144$80008CE6-619A-4BE4-97AE-1EBB45C6DA23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$F1FBE22E-3949-49F9-9D9B-E3166919F739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$F7356D8E-7389-44AF-89E6-3B17B763009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b81cc149fd4c5f4f4c86815da5f5d4ddf0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$6B518BD4-41AB-485B-BF44-715B3B057DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$4AFE1C91-055C-4A91-8D7D-2E84FDF823B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$E2836019-5F5F-4CFA-A18B-255EC05C9DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520144$9C5E4864-AA3F-477B-B13B-88B851098713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badab0587d6a86cf23b0e6488e596803e8e7f3fa","datavalue":{"value":{"entity-type":"item","numeric-id":2879242,"id":"Q2879242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d378b2baff078b0ef6bc0273436241412a23b08","datavalue":{"value":{"amount":"+0.8507575","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":"Q3520144$33BFBE97-40FB-4E11-AD9B-84F07090149C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ac706391279225e81770873b926e13e28c5669","datavalue":{"value":{"entity-type":"item","numeric-id":2703689,"id":"Q2703689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cbef0a11152b96f933f84c5f08bdf99be68ce8","datavalue":{"value":{"amount":"+0.850101","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":"Q3520144$DBE28253-5B88-465E-9BB6-6CE18756AFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10951ba351ed86439180cd85bc7f221deb8d49a","datavalue":{"value":{"entity-type":"item","numeric-id":4723273,"id":"Q4723273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"765c3d7c1e24f452c34a94472b78fc0e96fdfff2","datavalue":{"value":{"amount":"+0.8482853","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":"Q3520144$3B003ABC-48CA-4890-AECD-1F49CB1CEE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454dab6aea3690faae659052d842e8ed10fe3ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5240137,"id":"Q5240137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd60bebfaa72362d8e941db3118745556ea5b5c9","datavalue":{"value":{"amount":"+0.844726","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":"Q3520144$2BD94B45-E3F4-4DF9-83A1-7FFB5896F880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2f17e7b41024f72a0383c39ae3e08e9cbe0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5758041,"id":"Q5758041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fb7dfe413837aef2c3235edcf807ba9c101ef6","datavalue":{"value":{"amount":"+0.84452605","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":"Q3520144$312E2F5F-D22F-42F6-AB74-DEF59A22A69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f3eb14f06c8ee5098ffb89b9d5a3c55b66a9b1","datavalue":{"value":{"entity-type":"item","numeric-id":4460845,"id":"Q4460845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43952a7972fe526e7220d952c9ec255d252f8f2","datavalue":{"value":{"amount":"+0.84363747","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":"Q3520144$BE0A04EE-2822-4EBB-B7C6-A58E5EC7EFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de2c192fee45851e00fce28ddbf376b65fda5d8","datavalue":{"value":{"amount":"+0.8428685","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":"Q3520144$5C3E4911-7767-42A4-A165-6FCD4031A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e13c7fd1d7cd89f1cb7dfee84fd9ff792eb845","datavalue":{"value":{"entity-type":"item","numeric-id":2097425,"id":"Q2097425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f553e638a4e4c08f7ba4be801a24e55cea8637c3","datavalue":{"value":{"amount":"+0.8376172","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":"Q3520144$5D6E6BB5-EBE6-4FB0-B554-1C474F44DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37400d4100f52469e107d416939db13b17584959","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa88f1ffccd914b3a9d93bc9f636c301ab8b509c","datavalue":{"value":{"amount":"+0.836874","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":"Q3520144$D2C140D3-0404-41A7-AA6A-06D42A1EC8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0e562696013e9e4f1b71877454f42a7fe76a55","datavalue":{"value":{"entity-type":"item","numeric-id":857913,"id":"Q857913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fde65305b2f4c696821b283088b91e64ff153b","datavalue":{"value":{"amount":"+0.83565587","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":"Q3520144$CECC39CB-D888-427A-A0B1-065533CFDDAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520144"}}}}}