{"entities":{"Q6869953":{"pageid":20716309,"ns":120,"title":"Item:Q6869953","lastrevid":84234107,"modified":"2026-05-14T00:22:24Z","type":"item","id":"Q6869953","labels":{"en":{"language":"en","value":"The computability path order for beta-eta-normal higher-order rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149353"}},"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":"Q6869953$E4A40E9D-8EDC-4017-A870-3EB753DB60F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b6a441032c32b83445036fc59b286b71a8e8cf2","datavalue":{"value":{"text":"The computability path order for beta-eta-normal higher-order rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869953$542A870A-C678-48A8-A17D-60C6B00BD688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3b21ae05076ec4d563206acd56979fde9c5da6f","datavalue":{"value":"10.1007/978-3-031-99984-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869953$F653D6EA-C3CB-403C-B2B5-3AF21E48A2DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c14e9066edb670f410f158c8aad9211d48f52e4","datavalue":{"value":{"entity-type":"item","numeric-id":6492758,"id":"Q6492758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$073CDAC3-E459-48D2-8453-51B3462E6E96","rank":"normal"},{"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":"Q6869953$65C0941A-97CF-448C-9D92-936492AE810F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869953$B6E80649-299D-43DD-A7AC-CFB9F1B6F786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869953$FACEDE24-A5BD-483A-B371-01C63A1D4276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869953$E4F8E115-D33D-4439-A6D5-05F415608C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869953$D75F49B0-E2CE-4308-B858-9055FA17C1C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af116d83042a23549ed1d6b6e5da8710cef8b8b9","datavalue":{"value":"8149353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869953$96421DFE-E066-4D27-91C3-57CB7B23C819","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$4E866E28-ACA7-4DDB-8B74-0AE6E4920299","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869953$C14EAE7C-CE88-4719-9129-766072465E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869953$B778BAD4-041F-4280-B8C8-1DF0035A6489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869953$AF095196-4D4F-4018-A68C-FC321DAF159F","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":"Q6869953$58082D8B-BA73-408E-9B3C-F763183AE37A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d779ca2d7cb325eb96c56585db5f2f3fd3ed1c26","datavalue":{"value":{"entity-type":"item","numeric-id":3196359,"id":"Q3196359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$02712F62-84DF-407F-BFDF-5EA6109ED449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14408ce3bc4d32d31c1f710f161db7f09add187","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$88FBB258-5015-4D58-BD92-B85FC55B381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$8A33359F-4FCC-41CE-BD5F-990727EC482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1d433bcc05b79d0a7782a91a91c31e981497db","datavalue":{"value":{"entity-type":"item","numeric-id":5111904,"id":"Q5111904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$276923B8-298E-4027-8EB0-974993831E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$465C2DE0-F1D9-4910-82C1-5596F4D93EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce757064dfe21d0d1ba4275c47d9a7d60bb19a9","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$5D832F4B-22BC-4770-B289-F1EE5E2346F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17201a0ab1a53634b525f29e02591aaa9b4d7b5f","datavalue":{"value":{"entity-type":"item","numeric-id":5898159,"id":"Q5898159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$9FF73AF1-FF11-402E-A76F-757E2852FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5caa1963409882f291bdd862dfad9c1f478a91e3","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$110079AA-F919-4A43-BDB7-0AE0635152F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da79663fa6c445059603456269c9902280a33779","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$19CFA274-2F86-487A-B4BF-CAABA0DF7FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b33dfeb0829b31735b30d32fbed869d1e60df32","datavalue":{"value":{"entity-type":"item","numeric-id":2946769,"id":"Q2946769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$4BF89C15-C324-4AD2-8637-7B738CF00AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc0d3fa1f3ac25a342393f934766ba14c518e28","datavalue":{"value":{"entity-type":"item","numeric-id":6854397,"id":"Q6854397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$1DF96611-ECAA-4952-B3BC-38469EB2B6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d8c974b8f59aa4a5bdae5802b6f961e1b5fc46","datavalue":{"value":{"entity-type":"item","numeric-id":843949,"id":"Q843949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$FD618CB7-BD67-4856-BBC8-CDD4E3DBADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$28344876-01F5-4099-A76C-319AB1C48C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$72D4E7B2-E8BB-487D-A90C-B3C2140B15C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$23E3B1CB-512D-459D-AA25-BFF7A253BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdbbb0e55701e4979c9b9da2040e2fcaa62eca57","datavalue":{"value":{"entity-type":"item","numeric-id":3127078,"id":"Q3127078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$99ACC827-48BA-4896-B5CE-BE41D4ADF1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e61c05725fd10ade5bdbfed8ada2d720d5480","datavalue":{"value":{"entity-type":"item","numeric-id":2778883,"id":"Q2778883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$8C672132-4476-4FCE-8ACE-2757A0294C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$57C78762-C4F2-4693-81FC-9FC8580F2489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869953$576555C3-6EE7-4919-98A4-845ACE845E15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The computability path order for beta-eta-normal higher-order rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_computability_path_order_for_beta-eta-normal_higher-order_rewriting"}}}}}