{"entities":{"Q853744":{"pageid":855592,"ns":120,"title":"Item:Q853744","lastrevid":49971406,"modified":"2026-01-12T09:10:13Z","type":"item","id":"Q853744","labels":{"en":{"language":"en","value":"Explicit substitutions and higher-order syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073696"}},"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":"Q853744$202DDD55-4B4E-4CB7-820C-973913D76F3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"003541b53d2fe880c70fb27cfdef7b2002834ead","datavalue":{"value":{"text":"Explicit substitutions and higher-order syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853744$5FA08C66-62F9-4FE6-B03A-064CE11E08EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"952ec23c298040f7b885ffedf8f128da91cd306e","datavalue":{"value":"1105.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$18BE3430-03A9-4EAB-9822-5291F08DC667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$C3CA083C-921B-42DF-AB0F-28D1E3407609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$15E7CCC7-EB56-44A0-B28C-7F1545BC7F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39125986354abecea843861eabc948f8d83e93d5","datavalue":{"value":{"entity-type":"item","numeric-id":853742,"id":"Q853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$FE24EE01-A2B4-493B-9682-E7785C6375CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$A4C3C49B-6C30-49A9-ACBE-4B55DEEF2721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853744$B6CDF7C1-6EB3-4782-B23F-D5612042C0B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$ED03A609-A326-4523-A26C-6F9D014123C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$46ABC5CF-D4FB-4C9F-AC3A-943C0502BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$E7525CB8-51C8-46DB-95B2-757DB2743B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$CFB71799-29D4-4F43-A4C9-999066A2415C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b499b1dabe3314dfa4d6dcf8061a8becd902777b","datavalue":{"value":"5073696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$F0771A3A-57FE-43C6-B184-D55A70FA58CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22a1a3fa50231d1caa6b46500381caaf3efbc107","datavalue":{"value":"Abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q853744$E4C87A41-0F85-46D7-8580-4767A088E503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d55670886c0d5988605630710539c8408cbc57","datavalue":{"value":"Variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q853744$F83A0E05-DF7C-4814-AC13-E5F9A4DBFFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ad2bf217deca5d48302303823b649ed43103ea","datavalue":{"value":"Explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q853744$AC206839-D5AE-4755-820A-3AFAC430CA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558acff25ae427a183a17293519c081d7bbed12e","datavalue":{"value":"Algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q853744$F2ADA9A2-ECA5-46ED-8531-6536DF775768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a82d7871e07901806055f2f2c7c5017b8624f5","datavalue":{"value":"Monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q853744$488108DC-D06B-4EA5-BCC4-57B22D17D4CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$7078DEF4-3BB3-407C-AA4B-E5EE1E00B4B9","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":"Q853744$D010BF00-31BF-4175-8EF5-D8BB234E2202","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2702692cb2c497a4f6d46e5facefdd1e6983f5c0","datavalue":{"value":"https://doi.org/10.1007/s10990-006-8748-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q853744$A74E4452-EAFF-4193-AA76-5964B532A6BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3e04c891c1f6f0823be9e0f1c2ca58c23680bb4","datavalue":{"value":"W2108760508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$C6F5B43B-5C3E-443D-8A2E-D2EE07585FEF","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":"Q853744$154C7E46-2E2A-434A-8BBC-A3692F15C200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$67A59B4D-72AA-43B8-A7C5-169741F2DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$48F09646-6082-403A-9873-90CED5BBB161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6069fe941b593d2933dca9b2b6dea1fb51529c05","datavalue":{"value":{"entity-type":"item","numeric-id":4408807,"id":"Q4408807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$5BF8DC97-B513-402F-9BE6-EABA5C69DFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2222505cb450ebc747df8c24236387b8edc783ca","datavalue":{"value":{"entity-type":"item","numeric-id":2842813,"id":"Q2842813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$087B7279-D70B-4938-8CFA-A24294EEF0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$6BE5CF85-3198-4CFB-B1CB-723F77D94E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$2EBFB324-EF4B-440C-B2A8-2C37482B4608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17422820de131ed03dd36bb6484e8aa078aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$5B1BDD68-22E2-4C60-9D3A-61145A0BB83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$58FCCF11-839B-4CA4-817C-6169B0A789B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c6c2fcb5ee9f1a75fce9cda985a18c2ae490c2","datavalue":{"value":{"entity-type":"item","numeric-id":1052452,"id":"Q1052452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$19CD2A33-17B3-460E-86D6-042946D7BD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad604605d1a29b226be438b9060cd0726e1243","datavalue":{"value":{"entity-type":"item","numeric-id":4408809,"id":"Q4408809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$A4A7348C-A035-45EC-8B4A-DE071F910550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d2d8ab3debd042997c5182da12fdf610edb88","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$7F77FB9B-E2A3-4097-AEFA-90BCD54EDA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d77bbce06dee767b923dbce7a63e4752ff3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$0AF6A01D-1894-425E-8FA4-88FDB52E8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0482a745629093244d13fd1299cd347050c1fa08","datavalue":{"value":{"entity-type":"item","numeric-id":2949200,"id":"Q2949200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$5D1A2562-ECC9-41CE-BCF5-7D3686FA28DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427ecabdb0be72e27f7908b271171f3a3fc0480c","datavalue":{"value":{"entity-type":"item","numeric-id":4737122,"id":"Q4737122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$B5CF1E2D-1858-4C42-B648-7DFBEBA4C965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f008d5eddfeade61be7dbb71f637365a48fd7545","datavalue":{"value":{"entity-type":"item","numeric-id":2843728,"id":"Q2843728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$C728E8DC-CA88-4EC9-B979-59F659AFC606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5563cb636be982d7a10c0cf19bddc6eed54527cf","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$ABEFA2E0-DCAD-4834-9F63-202AEB235480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2787ea32a3bf9fb6ee87b4677f03845f7f9fe085","datavalue":{"value":{"entity-type":"item","numeric-id":2842827,"id":"Q2842827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$DB69FAA1-1A73-4008-BB02-490E9024825E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$EBD1CE5E-7586-44E5-AF5F-FF82DB0A4984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853744$E8386CF3-EEB3-4EF9-ACD2-35058DFF4268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8a1a7d7c605cdf6c24ab93b1048525a5406e346","datavalue":{"value":"10.1007/S10990-006-8748-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853744$97E56E37-F330-48B5-BEB5-416F85BBA70A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7626bd82c7817198f577c2326f3f869bd666d9c","datavalue":{"value":{"amount":"+0.854072093963623","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":"Q853744$78D637EE-5C26-46A9-8E7F-4C9C24DB45B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8b2e73f0841d6763f32fe56b4e97fe3410566c","datavalue":{"value":{"amount":"+0.7915617823600769","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":"Q853744$C1217976-A027-4F12-8008-65E4DCFA7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25b8f52428493ccf7994fe2ced0015cf3204118","datavalue":{"value":{"entity-type":"item","numeric-id":2866332,"id":"Q2866332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb168f6d1206b372db03a4f68abf2fb0226f341","datavalue":{"value":{"amount":"+0.7879256010055542","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":"Q853744$577A6CC0-EA3B-4AF1-832E-DA5926B59BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8c835fcd67bb68e4d18132ea1a02fb9c8e6880","datavalue":{"value":{"amount":"+0.7788970470428467","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":"Q853744$6697F311-E795-42AF-9240-4560D8554040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0101ff1b5f2df93422d76eee2b8fe1838a2b7d69","datavalue":{"value":{"entity-type":"item","numeric-id":703526,"id":"Q703526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8e9b3dd20e8c787924f433aa33cbc627d08d36","datavalue":{"value":{"amount":"+0.7757258415222168","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":"Q853744$464E8FF3-0554-472F-AEA3-93C4A5A198B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:853744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:853744"}}}}}