{"entities":{"Q1401941":{"pageid":1412681,"ns":120,"title":"Item:Q1401941","lastrevid":48157024,"modified":"2026-01-03T19:45:35Z","type":"item","id":"Q1401941","labels":{"en":{"language":"en","value":"Term rewriting for normalization by evaluation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967129"}},"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":"Q1401941$89D420F8-D4A1-4EB6-8051-C07BD741DAD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b89edde3d3ed5638f13162ae4ec433a4bae6a49","datavalue":{"value":{"text":"Term rewriting for normalization by evaluation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401941$7392ADE2-3C31-4B50-910E-6E8BC31CF7EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a417dfa2d5f612873b4c3f5b90d15320621de74","datavalue":{"value":"1054.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401941$9C9EA78B-6438-48BD-9015-1702253A9BD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d38db66e3b7a980f45b7b493de7522abad6de1d3","datavalue":{"value":"10.1016/S0890-5401(03)00014-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401941$6C932017-FA2B-4810-99DD-AF8CF9C07766","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$D931351B-6D3B-4460-B63F-A8DC0E83B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b4516da5d9cc8e91b80c1921fe54e2e4f0beae6","datavalue":{"value":{"entity-type":"item","numeric-id":1401940,"id":"Q1401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$F8830C64-556D-4A7D-B22F-40B83E4CAA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$71520426-A871-42E8-8EBA-55CDFCC3BF61","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":"Q1401941$67D5AC28-4AC1-474D-83D9-3327F855350A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401941$9908810C-3967-4314-9AD2-382632287D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401941$43CF70D8-557D-4C12-A037-FEC849E5AE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401941$87FD0DF2-6458-4856-9830-282EFC62B74B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1079977a6ff185185cb307a94a94ec4b7e00f719","datavalue":{"value":"1967129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401941$E711FF01-CDC0-4417-B1E8-2ADD301CAD4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401941$7E213230-2B12-460A-BAA7-2390D4D12264","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":"Q1401941$C9D4E67A-DA02-47B1-B15A-DA1735792127","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa1e1e1a7f2285ef58a648d10db096ce5882504","datavalue":{"value":{"entity-type":"item","numeric-id":5057474,"id":"Q5057474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$05747284-D5DD-4EA3-A6D8-2281A90BBE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6f0b82d28d67b4e3312c91b8fa8f0254a3dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$198AB899-9651-4B0F-BAF1-12BE6490A1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2d23a50dba8580b6197119e23d17d7e9ff91e0","datavalue":{"value":{"entity-type":"item","numeric-id":4938550,"id":"Q4938550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$AE2F93E5-0233-4841-AA78-0D098B09BAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$5CDE3C8D-0A53-4B7D-AA3E-28E3C84F016D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$D2A4FE9D-742F-414C-961A-06E4127E06A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$19823F8F-910B-46F1-A525-F8C7C296AD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c22f8f7f95b56b278664d00f296311bc9c99054","datavalue":{"value":{"entity-type":"item","numeric-id":4494371,"id":"Q4494371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$37C51FBB-5206-4A2C-A349-489FB796E66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$F7147298-002B-46FB-B8EA-B44A9A638950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$08059148-EA25-4D40-9BC4-6FCBC28B65F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401941$5621C5B6-A86A-4681-A113-EB4696EC465F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4b9d54b0da3c4115311f34cdbd4e695260e620","datavalue":{"value":{"entity-type":"item","numeric-id":4536108,"id":"Q4536108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d49fe902265d618f0d4ad72f389b5149d697b75","datavalue":{"value":{"amount":"+0.8361335396766663","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":"Q1401941$B022F6AF-C61C-4A20-B394-AC2DF7FE38F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a455f70c60abd453570ac0eef01d50921f1456","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d49fe902265d618f0d4ad72f389b5149d697b75","datavalue":{"value":{"amount":"+0.8361335396766663","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":"Q1401941$B8D058E0-7432-4042-B40C-1DFFAC58D646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4400596c9af62ac251c02d13ccbc6f6903f92a85","datavalue":{"value":{"entity-type":"item","numeric-id":4818938,"id":"Q4818938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead27336de7faad4c6a0676abfc3afec7ee57e86","datavalue":{"value":{"amount":"+0.8168563842773438","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":"Q1401941$836ACE1A-8408-4EA7-9AFA-CDF9904D69CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50193511f07b105bf1a9975e80ce225a7ec7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4813224,"id":"Q4813224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdd4be60bf140f6cc758913519a6c24c4d8cbec","datavalue":{"value":{"amount":"+0.802749514579773","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":"Q1401941$D3CB0E13-E165-4B0C-8AD5-90732FB72297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ba777ec3d69929aae1fe702e999be4e6dd481","datavalue":{"value":{"entity-type":"item","numeric-id":5308449,"id":"Q5308449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dc0edfa09176ea5a997d513425219477e8de64","datavalue":{"value":{"amount":"+0.8024622797966003","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":"Q1401941$E9C0F30F-35F1-4D3B-ACAE-CBA14B255C3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401941"}}}}}