{"entities":{"Q5248982":{"pageid":7278550,"ns":120,"title":"Item:Q5248982","lastrevid":94622468,"modified":"2026-06-05T07:17:12Z","type":"item","id":"Q5248982","labels":{"en":{"language":"en","value":"The soundness of explicit substitution with nameless variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431990"}},"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":"Q5248982$9DA7DD9A-E55C-4B90-836B-D5E316191D8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37c4d4f3cef37ea3029db071050d51601d920275","datavalue":{"value":{"text":"THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5248982$03D0EFD8-CEBF-433D-A386-B26775CC76D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a524954bb6d55333e7ff68323ac2f972ef3c11b","datavalue":{"value":"1320.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248982$E7E558CD-3307-44AB-86CB-543F5BB6CED1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eff633f5289d643c03510c1c6da7c39829c09fb","datavalue":{"value":"10.1142/S0129054198000210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248982$5B732332-DA62-435F-BE91-129F855D0C21","rank":"normal"}],"P16":[{"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":"Q5248982$19DB2000-196B-4813-BF34-987F245D0442","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248982$ED64B35B-3E7C-4F5F-87F9-B1B23E7B5D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5248982$EFB42809-D807-4AE2-9F6F-8B3D894059EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248982$37EF7F63-E4CB-43D8-ACEC-47B46F36DEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248982$0A0CE9B9-15B8-46A9-8F2F-F11FBEC0BB4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5df09993d4beab06146e1447d7e6f0186a1833cd","datavalue":{"value":"6431990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248982$8DD753A8-9D8F-4B14-8F8E-2079E1FA9408","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248982$8B86468F-C538-4B57-A8F0-3F1FB72B6DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248982$E0C269F1-A6EA-46F4-AA70-50149167CEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ecf2a71b2b1d8e082304aa2e399647d0d121ba","datavalue":{"value":"variable names","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248982$06A006A1-37DE-4E15-AAC1-FC8F8B0C8473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248982$5F5756BA-6DEC-472D-B2E3-DAA98C8BAA86","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":"Q5248982$452E1379-CD3C-4441-B070-AFD03AFB4094","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":"Q5248982$5A6610DA-13F3-4B6C-AFF4-CE21003A3569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248982$D0BCD80D-05EC-42A0-A5CE-7395247F0692","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":"Q5248982$8B73079E-CCA0-47FE-9FA0-135004CC1B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7aa565bdb2a148fd351c269e59a364d9556ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248982$43AE391C-D6A9-4FD9-AD94-7B7A96AB709F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4fe1b8977f490196c9188240db25c416d17b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248982$C9CF8440-F8C6-4D79-84D1-F266543A12B3","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":"Q5248982$17F3DA29-0A37-414B-BA50-90A9FA93DC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5465db99f8f30dc187c2ac3fa858fe8ab1debc4","datavalue":{"value":{"entity-type":"item","numeric-id":4895552,"id":"Q4895552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248982$0174CFD2-492D-4AB0-8A34-2A95B3AB7B3D","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":"Q5248982$BCA3B69F-D7FB-44F2-9A1D-BBB77B153906","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f160c83ae24d405c81d6382e6a9adacae3758c48","datavalue":{"value":{"entity-type":"item","numeric-id":4222186,"id":"Q4222186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7922b644de807d536f97c0287175fd930aebec56","datavalue":{"value":{"amount":"+0.8400965332984924","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":"Q5248982$8ED4BED1-79BA-4486-B5A2-9AD1A9C3EF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015e3992e6473302ba78bf81a2102940cb522b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2392486,"id":"Q2392486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38800b61b1221b5a6a92a3b3d1e3f6b47713c7ac","datavalue":{"value":{"amount":"+0.8194822072982788","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":"Q5248982$3139FBD7-4353-4C0C-8987-5257AEC21B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ace346f000d5f81f11a6e5392281962c984e3","datavalue":{"value":{"entity-type":"item","numeric-id":4571957,"id":"Q4571957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b019b5a918a85a543ee96b4154879f3d2993cf1","datavalue":{"value":{"amount":"+0.818737268447876","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":"Q5248982$792E3433-A662-4388-9C49-FF3E3BDB04D3","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":"2fb353d43664040b74059c2b9694b69356d2e2ce","datavalue":{"value":{"amount":"+0.791299045085907","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":"Q5248982$1B3E4FCC-534E-47E9-8D1A-222A1CF581B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1110b6772f8b1138ec19e77964bf62c083a403d","datavalue":{"value":{"amount":"+0.7892542481422424","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":"Q5248982$2EFC4208-51B7-4B21-A293-5B0CAA7CF6B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The soundness of explicit substitution with nameless variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_soundness_of_explicit_substitution_with_nameless_variables"}}}}}