{"entities":{"Q1274458":{"pageid":1285208,"ns":120,"title":"Item:Q1274458","lastrevid":68430564,"modified":"2026-04-12T23:39:42Z","type":"item","id":"Q1274458","labels":{"en":{"language":"en","value":"Explicit substitution. On the edge of strong normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238422"}},"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":"Q1274458$4328399E-FA03-48E1-934B-3FE17CE51420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a03247c1fe670bcd16806c499288f7891715f66a","datavalue":{"value":{"text":"Explicit substitution. On the edge of strong normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1274458$75784E7C-5735-44FF-A82B-CA051623B54B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"093299cd3464f31e600923e4c8f883e9a66ca9ad","datavalue":{"value":"0913.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274458$A40402C3-9D05-42AD-9451-EA4D9D7BE62E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"780b2b0912dc9a55bf36bfcbcb3a2d7f4b35dd95","datavalue":{"value":"10.1016/S0304-3975(97)00183-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274458$D0C20C0A-820A-4F91-B3D0-2D181920B24F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c0470d173aeeeda7b208422c076739fd98b16a","datavalue":{"value":{"entity-type":"item","numeric-id":1274457,"id":"Q1274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$433B1475-68E2-4D6C-9061-EFFD5011E168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$7D798168-7A58-4109-82CA-19A1C86F8B04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$C331DE3C-C729-4241-A653-2FB5B50FA595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1274458$76E0B15F-619C-420A-B1A5-4538AB048673","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274458$A0E93744-AEFF-468C-8A8D-AC91E24F7FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274458$BECD2253-99A7-4C6A-A29A-5CED0A262575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8968e2abd9d6853df57334bbb38795c4dca5d27","datavalue":{"value":"1238422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274458$67DE9EC7-8C80-48E1-9AD4-14A6F3481BF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274458$3144CF69-5CB7-49B1-9062-F61903D16ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274458$154E15DF-08FE-495B-B668-C5768EA09954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da626c91c0f66a73e85f7748dc78d8f62e29e20e","datavalue":{"value":"recursive path order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274458$9D0F0D08-81A5-4426-AE23-389395BFCB8C","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":"Q1274458$60C1025B-3353-4E67-A450-8F2CE5D53C9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$D0A6012B-0AE5-4D07-894D-2DE688358881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$697A4CA9-1C9D-4AAF-B0A0-C471CE41A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$C9F3BADF-E607-4FEE-B45B-C71453F6E367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a16f537bdf99dfbd34b1a8438034f97c39337cc","datavalue":{"value":{"entity-type":"item","numeric-id":5055859,"id":"Q5055859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$44541ACC-13D5-445E-9F20-C47EF8DD8ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$7F91AF76-CB58-454F-B24E-399FA10F3CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374c655ccb9c0e0555939864bb7687975f17356d","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$CEE71193-C9CF-46C4-ACDA-4B28A4FA07F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b201d97ba51e9a469157bfcbb5963e8e4d8cc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$995D29DC-9F70-4275-99A6-86E1AF8B3C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$0B92D8BE-8AF4-4B92-92D9-772846F26791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$C4E04F9B-CD8B-48E8-8E2E-2BADCD35173D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274458$D604326B-8AB9-4D76-834E-05B82C8A2825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99579b58ec6b9a1e1b68d41c4fc3ca84546dbda4","datavalue":{"value":{"amount":"+0.8754948377609253","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":"Q1274458$E8155CA6-249A-4A13-BE53-F08738F83830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83788ec018f6fe076d317e7138cc532948fcec2e","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e449b8d9b79027baba70e5f27962b565785daf","datavalue":{"value":{"amount":"+0.8685947060585022","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":"Q1274458$DD4F8C68-A6A4-4E34-BE3A-B72A2D103F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5612bdf4d83dae7d06d733e84c9b39e83a84a955","datavalue":{"value":{"amount":"+0.8559871315956116","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":"Q1274458$CC6AC9E5-894B-4CE7-B363-74F2727E11F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f0e308167f5a5d8e61569130d0c278f23c162c","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e3034f5079acb922196061c82d48f9e278170b","datavalue":{"value":{"amount":"+0.8532533049583435","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":"Q1274458$F8898C1A-7B6F-4155-95F2-A2C22A9F108C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit substitution. On the edge of strong normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_substitution._On_the_edge_of_strong_normalization"}}}}}