{"entities":{"Q1763376":{"pageid":1774118,"ns":120,"title":"Item:Q1763376","lastrevid":72909762,"modified":"2026-04-14T08:42:18Z","type":"item","id":"Q1763376","labels":{"en":{"language":"en","value":"Remarks on Thatte's transformation of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136252"}},"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":"Q1763376$DF580C89-7A4E-44DF-9207-AF59E9B6EBD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfde2ae11f7fb079868777aa6047da5ad1fdac63","datavalue":{"value":{"text":"Remarks on Thatte's transformation of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763376$4F9E1F41-8932-4B5D-8E53-37F4EE21B77F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eaab1f5d7e9cae9e536d86ae68b14698655b0d1","datavalue":{"value":"1101.68630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763376$CA5C8DEB-08B2-4AA7-96A5-D7AFC1C23E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$59A70462-70F2-4C85-8E0E-B1C3FF87BADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b427a374f5a21d1a904d2606dc3f2813824c389","datavalue":{"value":{"entity-type":"item","numeric-id":803266,"id":"Q803266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$192D1499-9336-4296-B3E4-2E9F0F3194C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e9d6aca34018820a8270a63a5c8a8d5a7e983c","datavalue":{"value":{"entity-type":"item","numeric-id":287152,"id":"Q287152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$E7DBCE92-57DF-4A8B-BF5E-69647F065664","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":"Q1763376$A0E94879-5133-4720-AF6B-F5F09AB65122","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763376$FEBDE7CB-D35F-4455-9C14-1458C83C76B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763376$5E39CFF8-FF1A-46C0-96B0-717AF11F5780","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb162ee5ebe8c26b73db1244999d735b48534a08","datavalue":{"value":"2136252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763376$0F415FC6-24F5-4860-AA74-E2942C79C3BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763376$8FDA208E-0101-44D2-913C-25104658AE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8543c5c9f8967970db5096bd7a41d8b550a3228d","datavalue":{"value":"Thatte's transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763376$ECC436FE-C5D7-4343-88BC-68EB5FFAFEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e338eebe363f6a7eb6b375929a3e0f5af9a53f","datavalue":{"value":"Constructor-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763376$552C63ED-8CB9-4AB3-BE87-8F253C31AF09","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":"Q1763376$3FFDE563-700D-4C73-A31F-213BB7CE22F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c48a4d378923738889d529e2b4f94e88e9862a6f","datavalue":{"value":"https://doi.org/10.1016/j.ic.2003.09.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763376$EAF543E8-A284-4FCF-B6D5-53E7B921F93C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"486e220e5f2dc7b33e9172cb98d12be04f89433f","datavalue":{"value":"W2098600949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763376$DAE2D2E9-6D11-489C-A868-B216787F544E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed0648f809f449264f7f710d068f681caf0145d","datavalue":{"value":{"entity-type":"item","numeric-id":4520528,"id":"Q4520528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$33D03D01-40E2-4BE6-BECE-E17F9C213CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$C8A1F633-92A7-4769-B4D7-E83CCA5EC90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf5646344de10ac4bc845329e780a0825d0c2a1","datavalue":{"value":{"entity-type":"item","numeric-id":4699301,"id":"Q4699301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$48F5EEB9-D89E-4F06-B3B0-C0E925A99358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d65043224af4b2cf3ae668d308eedc182cf63","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$D8146EB1-B53E-446B-9B38-3A3FB974344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$907233D9-CF41-4405-A1CD-B7A3821B2710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$E7745E3D-B6B5-4A94-9F9E-79F8E93AE221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$115265E1-896D-40B0-B528-4892574E7B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016e8963cc34ca4f74cab0dbda793d95e86a5221","datavalue":{"value":{"entity-type":"item","numeric-id":1059392,"id":"Q1059392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$E3176256-E8D4-4436-AE5A-CDA0BA59F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4a81eda070c978bbd2c9bef29ea1181fd9aaa8","datavalue":{"value":{"entity-type":"item","numeric-id":1112601,"id":"Q1112601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$34C3E6A7-8619-49CE-915F-2C9A03A15819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b31ab7e94bfeaca872b5b30b9b6e237bec36b6","datavalue":{"value":{"entity-type":"item","numeric-id":4369888,"id":"Q4369888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$931B4427-B206-4762-B0D5-A3BF034A9CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315ffcab526f00a8e2fb0cd35dfec1acbaec5b68","datavalue":{"value":{"entity-type":"item","numeric-id":672232,"id":"Q672232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763376$2B6B6E7D-97EF-4F80-97EE-1F9E0D9861A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20bf174c54c8e93dac0a2142df9593a93fa8988e","datavalue":{"value":"10.1016/J.IC.2003.09.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763376$63113D85-BEDC-497B-AC14-32DE6E2BB023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465d83c2f93a0d9a9000be6438c023e72de69b18","datavalue":{"value":{"entity-type":"item","numeric-id":672232,"id":"Q672232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd0ad2050ca4a62711260f782aa841fb7c36cff","datavalue":{"value":{"amount":"+0.8832467794418335","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":"Q1763376$A9FF4363-22DA-41E2-83C3-C6426CC725C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd0ad2050ca4a62711260f782aa841fb7c36cff","datavalue":{"value":{"amount":"+0.8832467794418335","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":"Q1763376$F3BA2EEF-0A72-448F-BA09-CBA3752AE6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739a644e41b5b65bbc27036dd91b6c83e011915d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274ced9acf4ef52468654b08527be57d17ca9451","datavalue":{"value":{"amount":"+0.7845515012741089","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":"Q1763376$48209B4E-AB23-4A79-AFA6-4AA63BC4D1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc99a6ad2e2bb0815c555e3aefcd0d0c30050e6","datavalue":{"value":{"amount":"+0.7796580195426941","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":"Q1763376$921A38D9-D3F8-4910-96A1-774F02DF553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f0664ea40b8a01b54714a03ae7aabcab1c66f3","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c3198f0796c7af2de4819938445c2c25ebac02","datavalue":{"value":{"amount":"+0.7737501859664917","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":"Q1763376$DF266350-98AD-4739-B790-4762BEA48B43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on Thatte's transformation of term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_Thatte%27s_transformation_of_term_rewriting_systems"}}}}}