{"entities":{"Q5743602":{"pageid":7773153,"ns":120,"title":"Item:Q5743602","lastrevid":41224639,"modified":"2025-04-21T10:10:28Z","type":"item","id":"Q5743602","labels":{"en":{"language":"en","value":"Correctness of Context-Moving Transformations for Term Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539462"}},"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":"Q5743602$AF9A196D-6F13-454A-A708-21EBE1CECAE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a965206edb0a35a3a16ca86319e9251687fd225","datavalue":{"value":{"text":"Correctness of Context-Moving Transformations for Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743602$19D54EB2-0193-4EFA-91E9-449E04086F3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c91c1b1af3a70d650fadbb960783ad5759445feb","datavalue":{"value":"1473.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$E1CCBFB3-0FBB-4AE9-B95A-CE24AACE1AAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5844f5405a3f9ae3b1c40b9ef5572d2321dd4fc3","datavalue":{"value":"10.1007/978-3-319-27436-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$47B08E38-4736-447D-B926-6DC6695799B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4d27a3522e61691578898a33212e57f7d26a476","datavalue":{"value":{"entity-type":"item","numeric-id":1581210,"id":"Q1581210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$8F4CE376-ABDF-418F-969C-7D0E4E231819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e99b0756d94234ec5b8de37512b98b6fee209039","datavalue":{"value":{"entity-type":"item","numeric-id":1409299,"id":"Q1409299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$2E5599F6-3769-46C1-B1C0-4C9E3672C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$F5C8E4D3-5442-4FAC-B231-837696BF1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$17B013F6-530B-4171-A46E-7FF54137CAB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$54994CDB-307E-4310-9B93-3D555586AEEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5743602$9CB93B13-B741-4562-914B-BA72189D2F3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$1C1AD366-B682-47D9-8ABB-2FAA2C76F92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$FF1CD06C-9705-4CE4-9311-FE67F492392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$C2614C4E-8A5E-4A73-B6C4-E1FDC99F7395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$A4BC3A29-3B76-4CDD-8215-F26E3995A788","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce203b7db5f6b9d16ab758c41dccd2d34573956f","datavalue":{"value":"6539462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$D04F5486-D41B-4A11-B2DE-4DAAD9A39C1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55ce8b9ad46946dc62e91c57b56a73a7287585e","datavalue":{"value":"tail-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743602$B5692C7B-BD73-460E-A328-CA43E7A71402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743602$D5E91457-1B6B-4CBF-BC1B-429E53826E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9090eae54307f4cb4926123be61b267a50c76f98","datavalue":{"value":"term-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743602$66C6CEEB-C60D-4072-A830-8D5F89CD7458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743602$972BB2D6-7A5E-4EEA-ACCA-BA7CCF9FA815","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":"Q5743602$70DFA803-EB15-4B21-96BA-348B1A48CBD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e19d65ce695725efc3f835900067af39fa56fbc4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27436-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743602$F6F3CA42-0ABE-4683-AE52-ED4824185A6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9604becd7899ba3a374d55f330229eb5d5ff8328","datavalue":{"value":"W2408365838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743602$29771D8A-810F-4FAA-B564-821570E6A1D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a76e68be440fea2705ad11683516943993a9ac","datavalue":{"value":{"entity-type":"item","numeric-id":3165943,"id":"Q3165943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$D495AD0E-7EA2-4BE3-8A95-CA9EB35A99DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$25F4C14B-3A62-4FC4-B6AA-695163B303DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c9aa37d38c721994e679d0d73c23eefec4482e","datavalue":{"value":{"entity-type":"item","numeric-id":2723934,"id":"Q2723934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$39B053AA-C3DA-4881-B5CB-07516B8C06E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c38bf30473891f925b8eae2804f1a04e3e3de28","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$55CB8A0F-0449-422F-BA40-46E73E601EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$8B673C02-13DB-4A21-A82A-5D861864E0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800cb26ebd8bd73eb3371458d6f9dbbf37e26b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$C642FCBE-1537-4371-9B6C-ECF229B728E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba641cd545c9bb041472b623ef1413f763125ed","datavalue":{"value":{"entity-type":"item","numeric-id":1882908,"id":"Q1882908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$FB4DA18B-B440-4072-9200-04011EB1B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2630274fd0aa6c09d6e94a54ba583d422653bc75","datavalue":{"value":{"entity-type":"item","numeric-id":4386948,"id":"Q4386948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743602$7A21EFB8-4CC0-4D3B-B6E4-18640521480A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed4452b88de96217fce2d9ac9f739d7aa5dcc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3719825,"id":"Q3719825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e8f507ce657e6048bbe775be8f440d75f556f3","datavalue":{"value":{"amount":"+0.88618445","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":"Q5743602$8F0832BE-6B81-4986-9C1F-6A2BB80A5617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee38bcb77e4c6314a943e1f5342d419dd51c157a","datavalue":{"value":{"entity-type":"item","numeric-id":2908517,"id":"Q2908517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee2e4e43b58b0e6997a37236600c7c8ec4304a8","datavalue":{"value":{"amount":"+0.8850514","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":"Q5743602$887456C6-989E-499F-80FF-726E5874E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c429d2d65f23fcd3bf94e5f016eb4ea4580e44f","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1184a3adc93149b6d96c16b5d2cbf61c576b1ed3","datavalue":{"value":{"amount":"+0.8848139","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":"Q5743602$EBA71391-A809-4C16-B42F-D589B9BA7081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb9888aac49fca20e557ba55d9fe21cf06b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2778880,"id":"Q2778880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40ddb50f1dbe2882fc75595ed4d3ba1806f8dcb","datavalue":{"value":{"amount":"+0.8755095","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":"Q5743602$9DC24E43-4DF1-4AA1-A9FD-9BA36392A9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9fa6fc67ef337dcd9fa4ddb1b7cbda3898d373","datavalue":{"value":{"entity-type":"item","numeric-id":3184732,"id":"Q3184732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0065a2a5e04723d648b96f012c62898e1c6d199e","datavalue":{"value":{"amount":"+0.87416893","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":"Q5743602$CBF4EC05-B6D8-47FB-AE92-5A246D3C33D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f677df763df26fd462928cce9123ab3a10e4e6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2866802,"id":"Q2866802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbef9bb2f382ee168393ac80e1a6f82d3522a1c1","datavalue":{"value":{"amount":"+0.8737599","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":"Q5743602$89EC5074-EF01-47DE-BF9C-A211938263F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736eee410f19293d6bff529ea186d00294c1af91","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d2b4dce9af78a33cb386640ed6d6c3c8416dfd","datavalue":{"value":{"amount":"+0.87329787","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":"Q5743602$D4EBF2B3-F540-4922-92EA-B58BD3842D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2a133005182f645e20ab939d8ca4d7f80f04f6","datavalue":{"value":{"entity-type":"item","numeric-id":1763376,"id":"Q1763376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a26f32d1b87bfbc35641dc90931d6f3e70e7295","datavalue":{"value":{"amount":"+0.8727531","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":"Q5743602$D794F281-9FB9-4469-9AC9-B8EEF262A6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc47ca879be95c9d7946ac689f9b13e672ead2f0","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559abee4e2f6523e295242a32427e0a6c221fbbe","datavalue":{"value":{"amount":"+0.87154603","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":"Q5743602$52EECADF-3726-41A7-87FC-4DECD704DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600e8c1e8bfc82ca64c124492574eff51397ce85","datavalue":{"value":{"entity-type":"item","numeric-id":987981,"id":"Q987981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d62ca6d258e92c76ad983a6ff96ce787d96cfc9","datavalue":{"value":{"amount":"+0.8702316","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":"Q5743602$2805AA1A-BF95-4ABA-9EA2-F52B67E9D84B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5743602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5743602"}}}}}