{"entities":{"Q1763429":{"pageid":1774171,"ns":120,"title":"Item:Q1763429","lastrevid":73855335,"modified":"2026-04-14T17:30:38Z","type":"item","id":"Q1763429","labels":{"en":{"language":"en","value":"Decidable call-by-need computations in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136298"}},"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":"Q1763429$F70B4E76-4123-4783-ABCC-0665A643B952","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49ba2ebb661553c23b81db121c317c85c49ebf92","datavalue":{"value":{"text":"Decidable call-by-need computations in term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763429$FD626496-F096-41C7-8709-EDC4FEFD17DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3e6d4321bda422a22a128a2ddc1bf61f8b3980e","datavalue":{"value":"1101.68628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763429$58A2BF76-3B51-4E64-8604-4EE425BA58D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$FCD9E586-0FB3-4481-867A-E43B3EBC6244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c53283f06a783eebebf881549b5dd1ed498267f","datavalue":{"value":{"entity-type":"item","numeric-id":248923,"id":"Q248923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$0D718BAD-57FA-4B84-92BB-8BE8465E4C58","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":"Q1763429$D3E43F85-E665-4739-A0F1-CC9C34580E6C","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":"Q1763429$7AE171F9-8BEC-45C8-95B8-431AAF3388D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763429$1215DF42-B3CB-4F0B-A30D-F8462B74914F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1345afa44dcae7d59a9750a378c085b64754a70d","datavalue":{"value":"2136298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763429$526CD9BA-427C-400B-AFE8-A08043DA793B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763429$3316F7FC-A57F-4C01-8A6A-19984B5EBB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b8721a1480ae7139bf23b04b436d5a47063c49","datavalue":{"value":"Strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763429$16658B77-425B-4FDB-A5BB-E568E01C7911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b12fc105a33b578566aa64fc606ab9b86d7a36","datavalue":{"value":"Call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763429$3DAA0892-0041-4E7B-AEDC-796F32098296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a5a511a70081ebff631f8fb66688d8f2c0ad26","datavalue":{"value":"Tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763429$A2810BCC-E05D-41BF-97D2-256B27553C5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a67283e0d2fac85bc68c195e6f38300432d646c1","datavalue":{"value":{"entity-type":"item","numeric-id":14022,"id":"Q14022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$D2B7863C-AAC6-4061-96CF-9D59DCC03140","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":"Q1763429$54CDBBD0-1C6D-4AC5-A503-DF082EEF0FD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da0a57a6fb2f4a9fe01bd19f755a5f46963a60ba","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763429$2FF8F286-E628-48B6-8BCC-0C7639220230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8da3e8c2228706c5ab6570e1070c974e3b785ef","datavalue":{"value":"W2106516665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763429$F5A36C8B-4B8E-46EE-9ACC-8F72324EC397","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafa274090033c9667da1bfa37ac7e3b2b2f08c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854333,"id":"Q1854333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$C93267AA-3A9A-4013-A576-764CBABB27C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740dedd4f9af49068d933d21b3dff400b57b1484","datavalue":{"value":{"entity-type":"item","numeric-id":3979263,"id":"Q3979263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$11266B87-8E8A-4F52-B0A4-F238496BB7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$D8E8299D-7BC9-4EE7-841B-D723704F45FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9132dc4fa5802adc529bd12f6d0bd4cfacf9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$22BAA46E-424B-492E-A22E-26789BF3D252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32f8c7df148e4dbc074ed1c24d13882bb6069b9","datavalue":{"value":{"entity-type":"item","numeric-id":4808760,"id":"Q4808760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$9C4C2B08-F5D8-435B-8AA7-19458B833D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621c74ec4ffc782a3586c027189f19d5c2ee9673","datavalue":{"value":{"entity-type":"item","numeric-id":1892142,"id":"Q1892142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$67921985-4374-491D-ACDD-7AF438CDD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32958591c3e6b09af1c21e58d8f0ef427f9998b8","datavalue":{"value":{"entity-type":"item","numeric-id":1763429,"id":"Q1763429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$60A538B7-B655-480A-9E1A-11FA1C26F51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc159bcd03114c26a2905c9998566994e127eab1","datavalue":{"value":{"entity-type":"item","numeric-id":2769431,"id":"Q2769431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$6C31DBA4-3196-447D-BCF7-61CDD0FBCC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$4BF33FA5-5F41-462F-95D3-4A7465152E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$28ED9A41-4F52-4B16-B9D6-E2D1E2A31096","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":"Q1763429$6487F332-FE57-4337-99F2-3A80B4734FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5147416ec2161493d5545370272bdd687c6708c","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$F8EB4C35-0565-4FF0-BA57-1D15FB1CCDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$123D610A-37C1-4C08-AC6E-43F157B3597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$27CF2F70-7E87-4B8C-B8B3-16881178929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e202c2e5edec59f40988e7812684954e5a84808f","datavalue":{"value":{"entity-type":"item","numeric-id":4705608,"id":"Q4705608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$5707F4DD-9BE4-4A6B-AB61-A21C5A4FAC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dd04201c59095126ace1b445dd17268a9523b","datavalue":{"value":{"entity-type":"item","numeric-id":1400714,"id":"Q1400714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$80C52A57-A132-46A8-9346-DAC2284121CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$C895BB71-E30C-41D7-96D8-93267C9EFBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$C567F1CC-2848-4DFB-B149-44E25298A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c985d0abe9bfdc8e0e5759e75dd8c3a31efa1717","datavalue":{"value":{"entity-type":"item","numeric-id":4037688,"id":"Q4037688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$95650FBF-504C-4070-A413-6483A6F35D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1adff01dd8135f1ec580aaf85536ae94c3e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4808741,"id":"Q4808741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$4CAC7591-8AAE-442F-BCC6-E60A90337702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccdf7173fbc3e3fcf1b15214f83d5bbcd461200","datavalue":{"value":{"entity-type":"item","numeric-id":5055738,"id":"Q5055738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$992029D6-F179-4CB1-BE21-4BDA7C44200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$F4DC8A02-BF2E-41F4-9DD4-8767D85A1F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0426e61a4750cf11d302b47b0624f9b4ef55cbc2","datavalue":{"value":{"entity-type":"item","numeric-id":5287535,"id":"Q5287535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763429$9074150B-DA17-4D91-A63B-CCE4A82E423A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a22dcc441f9ff559cc30b4d6125ac47440dcec7","datavalue":{"value":"10.1016/J.IC.2004.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763429$24CAF7A8-1D3A-49C0-8B54-A45C5BEEAC87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73edcb0a82005327c983df17a9bf74946991822","datavalue":{"value":{"entity-type":"item","numeric-id":5234682,"id":"Q5234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5960f563f38819af104d5d026199622f91e68ae9","datavalue":{"value":{"amount":"+0.8692899942398071","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":"Q1763429$4812F3BF-915E-4BA2-9388-BDA6EE4B0541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6275c1627ba638896d2cd2d7dc6c2e248439378","datavalue":{"value":{"entity-type":"item","numeric-id":2769431,"id":"Q2769431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c57bbbccb944354455ec226b274e725233c3631","datavalue":{"value":{"amount":"+0.867580235004425","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":"Q1763429$DE074C14-8E31-4A31-9406-BE0938C3223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c0e5a80083d9783c85f3824aed10eee72f271a","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bb5612f3e1ac2b8860152299f4e90e1e5db9e2","datavalue":{"value":{"amount":"+0.830445408821106","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":"Q1763429$BC769EA6-6FDD-4C9F-95DB-7040BB209181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45038490b2643dd3cbf29f6f44f9d8f3750e7f4","datavalue":{"value":{"entity-type":"item","numeric-id":2844071,"id":"Q2844071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae69b1611f792f18d752ff27ab961b2981c03da","datavalue":{"value":{"amount":"+0.8298631310462952","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":"Q1763429$B9A81404-7784-40C7-8D3B-9ECA578443C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941098d9f6105251ff02bd295bc3eb3b63f8c05f","datavalue":{"value":{"entity-type":"item","numeric-id":5898158,"id":"Q5898158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3528ccef02e02cdf0654e07cad6557f4a2c76c","datavalue":{"value":{"amount":"+0.8230246305465698","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":"Q1763429$EF27179D-7F5D-42D7-9CAF-2A011F0ED11B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable call-by-need computations in term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_call-by-need_computations_in_term_rewriting"}}}}}