{"entities":{"Q2392477":{"pageid":2403220,"ns":120,"title":"Item:Q2392477","lastrevid":51788231,"modified":"2026-01-20T01:14:37Z","type":"item","id":"Q2392477","labels":{"en":{"language":"en","value":"Encoding abstract syntax without fresh names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6193953"}},"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":"Q2392477$FA199087-4FC7-4570-95A7-10D77AA36568","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78cd804e6184b739d02680b1cda972ec2e112a0c","datavalue":{"value":{"text":"Encoding abstract syntax without fresh names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392477$E0193F4C-C0F3-4279-833E-B0C1FB80D27F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98d3d7043184a703e1719d1adbafc7bda31879bf","datavalue":{"value":"1269.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392477$93F44CF9-879E-4989-9B97-FC45EDB46B38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8b4e778c280d6d8cb813f4d61e1c839d2cd798","datavalue":{"value":{"entity-type":"item","numeric-id":288809,"id":"Q288809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$00308D65-95AC-4670-9908-08FF8037F59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$E533491B-4B89-4974-AA20-A1AF276E20F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$70FCF56E-29EB-4540-94F0-01D8B125506A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e52174554282dcd72d8428d308340f8fb7a9109","datavalue":{"value":{"time":"+2013-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392477$7E562C32-D9C6-4957-8F69-A32294B85EFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392477$5C37C909-BF52-4A6A-8F12-C408CB47A6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392477$A780B924-098E-4655-B09C-45E1E99ED2F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e6e7e281a5ad9febedd73008bb2e9cf0359ab6b","datavalue":{"value":"6193953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392477$64C66CFF-C038-4126-BC8A-6F3BD7CB9984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392477$5A95F689-60AF-4908-8F18-C7FEAD7C832C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343d72c13fd2950200a59b3246024e9ab24f10d9","datavalue":{"value":"alpha-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392477$40D3AD68-62B5-4398-AE05-AB0A153428D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f096f8ffbd1ceedf6bc993ca7f44927ad0aacae2","datavalue":{"value":"nominal abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392477$A729CD57-4F37-472C-8F81-995D1FA8A53B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$A0A04489-B524-431D-B230-9F230993FD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$B2A5D8BB-7C6E-4943-925A-7D97EF55A829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$97C9EBF2-CBAB-47A4-875C-C8F931FB82EB","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":"Q2392477$96CF9BB9-7FBC-44E0-9643-1A9AA9136A9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63ce39ad3cc7076a369011b86723f366b2802afb","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9220-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392477$B27B7FBF-E493-4E0B-A1D3-2DDC120E5739","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4192b7275dbf0c006ddd8f33ac116527a66afae1","datavalue":{"value":"W2074694595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392477$368BC376-3FB2-4069-A7A7-E8201355E5D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$BB0F6D6E-76AC-4907-89B6-678A108EFCC4","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":"Q2392477$84D70B81-239C-46D8-967D-90E9694D1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1f8025396e644e74a6a9eac56c4f7c9989ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":5466474,"id":"Q5466474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$7D3D947F-0B16-4E47-80C2-7FA0FFEDDF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2146fe71b39638fd1364e80615a2a1a9ddb51fe","datavalue":{"value":{"entity-type":"item","numeric-id":5313189,"id":"Q5313189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$8DBBCCF9-B287-4581-BEF7-B12F099FF062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e394dcd5feafbbe828885b5e48c98d20a9ce2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5703876,"id":"Q5703876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$DD5997B2-53BE-466C-AF25-A92B3FA6A5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$C6BDFDDF-C921-4E6C-A4BD-CD7C116A2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762b43d948cd82d9f4af52f22f8fa8112e0ca064","datavalue":{"value":{"entity-type":"item","numeric-id":939160,"id":"Q939160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$67A9F5BF-342B-4D68-AD17-5E1093B40677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$2B35C87D-0434-44E5-A380-EBF5FE503C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$58D798A6-3543-4CC9-98D1-2D3F31E4E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c1ce7d634f64c79c1c213a0f38f502e107d96","datavalue":{"value":{"entity-type":"item","numeric-id":2704321,"id":"Q2704321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$215F9E4E-AA0E-447F-A74D-24490A08F0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775b67d93e5520a6052151e90159cfd6b8277e30","datavalue":{"value":{"entity-type":"item","numeric-id":3608646,"id":"Q3608646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$4671FA37-2791-4F3A-9A6C-2879000611D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$5506043A-09FD-47D2-8A31-6F2F183BF117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$6AA8B74C-0CFB-4813-86B7-033381295FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1330af7b5e629d1fbe63da4ba4f5238f6f02266f","datavalue":{"value":{"entity-type":"item","numeric-id":3617690,"id":"Q3617690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$34A08758-58D3-41B5-8EEE-9F32CED185E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$C02891A7-5619-4A68-BA90-9E305BB97872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$860557FF-476F-40BF-94B4-324799B44EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$F15F92D9-56D3-4BF1-96B1-52D995BD3114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$252BBA9C-E3C8-4708-BEB1-D04AC03FA429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$2B4F46D3-9D8A-4EE9-8A52-32108FB518CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604a7aad6b86a8c98c7c2c0335adbf058365c733","datavalue":{"value":{"entity-type":"item","numeric-id":3518270,"id":"Q3518270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$24CB40C3-91DD-425B-A8BD-2148D3E5E6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec88c2663747bf3533fc5bf0eb353d891e25d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5168920,"id":"Q5168920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$7779A3B4-34C4-436D-B407-55694AF16D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cb571752706c0bf4628a52352a1a7f232000b9","datavalue":{"value":{"entity-type":"item","numeric-id":2566026,"id":"Q2566026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$976D45C1-3A73-441C-915F-59DA2804E87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$94952CF0-45AB-4DC7-9375-1989EF5EA9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a3d190e22bb4042018778557a86c6f7b04b401","datavalue":{"value":{"entity-type":"item","numeric-id":5704024,"id":"Q5704024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$711B6EEC-30B0-4852-9626-B33D417859E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392477$495BB42D-0404-4197-8B92-4C155991BCCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34259d6d4372b4df1124162e2ee89ab5e2714876","datavalue":{"value":"10.1007/S10817-011-9220-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392477$ACF97881-3486-475E-9371-231CD51A07AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a4f7b4855411b08fc0fc722b3b0ac57b5f1abf","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d652c029ee8af36d101a899b3e371246dc09d0e6","datavalue":{"value":{"amount":"+0.7602971792221069","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":"Q2392477$55F099D8-4EF2-4FBF-B92E-7C9E9ACC4844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2706bca195c0e25fe83ee8577745238b60f02c20","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9b42089f9511607c6c2c916c8d944765e380a1","datavalue":{"value":{"amount":"+0.7250887751579285","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":"Q2392477$A6326AED-EDC9-4347-9A82-812108C52A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936e77ea02442278ec9caaff7da6283b031f7089","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa9276db8ca38ca8dc2239f25af8e889ba7cd02","datavalue":{"value":{"amount":"+0.7246683239936829","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":"Q2392477$C2D57390-6DEA-4258-8247-8F0FF9086640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2def8b855a3343460dfb20f0a835f5e03c169d","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fa35548577d5d7c63c9ce66f4700377fa2b998","datavalue":{"value":{"amount":"+0.7244262099266052","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":"Q2392477$0B91989C-657D-4050-8899-C06B9EB3CCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cde59a9649f3bab009f4cb04a9c7d7e1fddd2c","datavalue":{"value":{"amount":"+0.7188586592674255","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":"Q2392477$E3BD9E2A-8DAC-468A-9406-1E5AE5515842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2392477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2392477"}}}}}