{"entities":{"Q3647258":{"pageid":5677164,"ns":120,"title":"Item:Q3647258","lastrevid":87564959,"modified":"2026-06-04T12:00:19Z","type":"item","id":"Q3647258","labels":{"en":{"language":"en","value":"SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640536"}},"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":"Q3647258$C636464A-412C-48E7-B1FF-40EDCF8658A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f67311d6caffa09cacdaa70a6efac2df490be9","datavalue":{"value":{"text":"SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647258$ADD13E9B-2DDC-4DF6-967B-35BC28C009BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b403ad4b88808fabf51539f092d77625ac3cc84d","datavalue":{"value":"1184.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$F28C9D47-16C3-4B94-B172-411153032228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0a37a82c91a35e36561764c406163ac5986165","datavalue":{"value":{"entity-type":"item","numeric-id":1627456,"id":"Q1627456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$79617F9A-E858-4451-9236-D1837D8F485A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$6B9FC9C4-2A9F-4A47-AC6B-DD134A655B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$EFA34E5A-D064-4772-85A8-2CCE59AFBDDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$4CEC79A3-EC09-4EC7-9A50-E99EA4DA0334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647258$24F8EC97-4469-4F69-BDDD-7B2F24503AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$41302C58-A459-4C01-AFF0-103D2CBDD5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$6EF61624-5941-4037-8DFA-F7B02C9C49BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a322222a5c890cf0447a1b4d3de9614bdf49a658","datavalue":{"value":"5640536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$4E44C5F9-2F5D-432D-BB3F-19C8256166F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647258$69857B5D-66D6-4246-92D1-2C3E3DD17430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647258$F64AA541-FC05-4D84-A758-286B610DFF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362952ff26c61bfe4566d3c944496faab16b88f6","datavalue":{"value":"visualization of \\(\\beta\\)- and \\(\\eta\\)-contraction and normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647258$EA54C17C-4A72-4E9B-A032-C4189DCA6A75","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95295e964f0c062dfaaf665af87aa66b39afb87f","datavalue":{"value":"Q58001512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$A1DD1D5B-3C6B-475A-A6A7-14C14D3F212B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$F00AC874-655D-4AB3-A5C8-57BAC223170F","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":"Q3647258$24BD8DA0-0DAB-4AD1-87DE-0399B547F617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d210afa1a17e8509ad8d7a82cbe67ae138b03126","datavalue":{"value":"https://doi.org/10.3166/jancl.16.119-150","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647258$681C663E-954E-4FFC-BD81-B9C693A50ECB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4579cc9014e1fe7d1385e0158cdf32315e2982d7","datavalue":{"value":"W1997707012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$71521912-3C53-472C-A846-AB4BAEAD914B","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":"Q3647258$48BE0B12-AD99-445B-9357-0327CDE97F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15019ccb1391ca723bb4cc5baf2d1998f1ea3274","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$14FCD359-E3F2-4387-9A91-A19FBDC8C66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a934e7417b90c31b46f0de9ec5f584034529341","datavalue":{"value":{"entity-type":"item","numeric-id":1779307,"id":"Q1779307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$AEEC406A-AF24-44A5-9A1F-D3127E2ADAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$C1CD5B50-269A-4575-B506-0BD811BFD438","rank":"normal"},{"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":"Q3647258$E54B1332-7240-46D3-A7D4-728CA0F43412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$E20F1314-2429-4BF2-8BD7-9B5A60409DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da88094cd0f8f7b2372d67f2718a6f39c385893c","datavalue":{"value":{"entity-type":"item","numeric-id":4675772,"id":"Q4675772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$0E7BE5F0-2529-4C4F-BB64-DA402736B34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c872b21643ba9065fdf049fd77eff8b53fff3656","datavalue":{"value":{"entity-type":"item","numeric-id":4519171,"id":"Q4519171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$197D0F8D-238C-48FB-8633-EFA73683CC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32aa680a687ac8af5ece0422edfadb4f75737ce","datavalue":{"value":{"entity-type":"item","numeric-id":4885994,"id":"Q4885994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$00BBFDBB-2FAC-410F-941F-F0457FAE79B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e071b82df678c6ec0f432c6d3d6c2abc01699489","datavalue":{"value":{"entity-type":"item","numeric-id":1314351,"id":"Q1314351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$41CFB6A9-9B3D-4AB2-8177-A8316BE029EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$091E5F2C-788E-45EA-B611-0A4524228A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ec0158e8065da6b9ce4d4ea6c388167366ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$8ACB23CE-7FE4-409A-BB30-EB6158AEABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42efcc39689c4413b537a9a2453afb9516d21c85","datavalue":{"value":{"entity-type":"item","numeric-id":4500175,"id":"Q4500175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$14193DAF-DFFE-4A42-8E97-4F5294102B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9856799bebc3b14cff23d50b4af9f7cda1dbd633","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$4E9F9B6D-7082-4314-A4D5-B4C965B3F7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbe5267d1195440877775dc4014bcf6f86f7960","datavalue":{"value":{"entity-type":"item","numeric-id":861365,"id":"Q861365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$4C799A47-7B64-46F9-AAF4-CAC54310184F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424568afbee8e6c5fde4c7bebc92442b4ccc1c2","datavalue":{"value":{"entity-type":"item","numeric-id":1129257,"id":"Q1129257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647258$DD2301C6-E78C-4F80-837E-CFE972A373A5","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":"Q3647258$2E0FB572-2F49-4E20-ABEE-FB3C395F2AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71650500c17cf840a974c724568d38e9291e1da8","datavalue":{"value":"10.3166/JANCL.16.119-150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647258$4EDD07B5-064A-4C4B-8F0D-210880260E15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f1a89ac70b41ceebfe88ff34bb26e50961466b","datavalue":{"value":{"entity-type":"item","numeric-id":5179010,"id":"Q5179010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbecdfc1f46d5ec3be34d40a915c5ae2ff037296","datavalue":{"value":{"amount":"+0.9316547513008118","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":"Q3647258$FED6FEDB-F8F8-48F4-A9DA-9A4131AF6D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326608c52a7f9ddd7af16aef468eb4ea6c3e7685","datavalue":{"value":{"entity-type":"item","numeric-id":4916203,"id":"Q4916203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7c8e64e58a07280c3b110ec03b829a9a703914","datavalue":{"value":{"amount":"+0.8285521864891052","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":"Q3647258$49BB3F58-383A-42CD-B06C-70D7D6C9EE28","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":"08d79d363a3385175afd1fe14bb1a3e55bdfffe8","datavalue":{"value":{"amount":"+0.8163747191429138","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":"Q3647258$CF711885-7033-4935-99A2-87F8331760B9","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":"03a40aa4a4e5f1eec4552fac5a6e451f9145756c","datavalue":{"value":{"amount":"+0.8115878105163574","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":"Q3647258$781323D4-531B-424B-9E09-DC291EC3A3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e54c07ad29f12c4bdd75800e72942c910f887bb","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09932f5c3e7eab2cfee0179864f997d991fcb37","datavalue":{"value":{"amount":"+0.8078018426895142","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":"Q3647258$50EF404A-69D9-4091-9E9D-72643BF154EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi","badges":[]}}}}}