{"entities":{"Q4939690":{"pageid":6969272,"ns":120,"title":"Item:Q4939690","lastrevid":47444350,"modified":"2026-01-01T18:43:32Z","type":"item","id":"Q4939690","labels":{"en":{"language":"en","value":"Explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400709"}},"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":"Q4939690$74154964-1F65-4750-AC65-3D5A13AABEC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e26593697f000460e6b75cfe5ef67787ec99483d","datavalue":{"value":{"text":"Explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939690$29EF47A3-735D-4447-A059-0018ADCDAD9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c6a30dc6ba3f3060d621639325979ae7a79920d","datavalue":{"value":"0941.68542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$AB64FAB2-A260-4381-BC70-CAF542EFE3B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a192478d48cfdad93932bf39ef52269858bc91f","datavalue":{"value":"10.1017/S0956796800000186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$FCF54418-8F10-4673-8321-7DFB18430842","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$1C38F82C-E652-49B5-8BBC-AF49B789CB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$56961FA1-863F-4230-ABAE-463F9AC76751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$76C3C4FA-70D6-4F82-B1F0-044528E302C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f256d5cf43befc80d25eef0366dda59dbd77d3","datavalue":{"value":{"entity-type":"item","numeric-id":1229200,"id":"Q1229200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$511F0D3E-A7F1-4732-B10E-F0B4A99E4923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$A0716D94-0C15-4D93-A6CA-E5503D0B004F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939690$D94717EC-99C0-4522-9F80-AA50B6960978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$DDA76238-2DFC-4315-82F1-D930D1B8173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$1A930017-B091-49A5-AB80-C0E5D096F2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$20E59CEF-8127-4855-A62C-A27FD5788179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b5dad11a47778651d5a93dc2c88a1cfcef0b42f","datavalue":{"value":"1400709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$BDB1C9C5-4720-44E8-BD63-80CEEA74F7C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705a734be25e7e723b8e5dd9a8610d2ab40d5425","datavalue":{"value":"lambda-calculi with explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939690$6FEF8154-B1AF-4336-B365-22B160A42769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5e78b438b6b1c09f22af7529224da8edd3a394","datavalue":{"value":"type-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939690$AE396BBF-CEFA-48E6-A896-C38338396B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f272e461922606dad00ab36641c331e201850bd9","datavalue":{"value":"Quest","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939690$E7058F17-3A2B-4AE0-8CAC-A0678973FB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbef2a9c2dd4661116926999bd87241065ff117","datavalue":{"value":"typing rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939690$0350491E-5BF4-4AC7-B9ED-8C31EA33489F","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":"Q4939690$BB432FA8-357F-4D3D-BE6C-E11DDA165E83","rank":"normal"}],"P223":[{"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":"Q4939690$B1745D4E-F718-409D-8928-1A2C6A0D648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a720b69b73a77620c7218acc700c3c632bdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":918956,"id":"Q918956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$F6066804-C4A8-493C-9CAE-2759D72142D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c3aea8ba4374fa6afd6fa009a7280cc68d9953","datavalue":{"value":{"entity-type":"item","numeric-id":1822494,"id":"Q1822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$53C48C14-670C-4A36-9820-9C7982343289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939690$3C1F36E5-6F45-43D9-A5C8-8079EFD0A5BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2974a33ce83cec69acb1820164757ae99a679024","datavalue":{"value":"https://doi.org/10.1017/s0956796800000186","type":"string"},"datatype":"url"},"type":"statement","id":"Q4939690$EBE526CC-66FC-4FA7-BC03-0D90354F1B75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52b67d901cf98780e69901ab1834741e8a43c9fe","datavalue":{"value":"W4236324644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939690$4462B67C-59B8-4648-89E7-5AC1D221AB59","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":"4867e191daa1406b22a570ea8091aa64e3607d64","datavalue":{"value":{"amount":"+0.8707911372184753","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":"Q4939690$842B8D39-9C80-42A7-9D2C-FA256121C50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf4202ba0873b174e18ab3bc533afc360d9fe0e","datavalue":{"value":{"amount":"+0.8578783273696899","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":"Q4939690$FE7FE10C-316D-41AB-99FD-7E1D184B694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebbca21b1f19538166852fd536273c2390fccfc","datavalue":{"value":{"amount":"+0.8468731045722961","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":"Q4939690$D48CFE28-4386-4C4D-83B0-4027CF7AA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3c7b8de097b4be467676211e2afc74edd39844","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c929a04a1cfef93a9f15dd6e68d981b59a9283cb","datavalue":{"value":{"amount":"+0.8373470306396484","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":"Q4939690$82555B8F-2068-4FD1-9F14-0DD0801C5C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96aac40ed8099a978cea94e38a5ff40be21a12a2","datavalue":{"value":{"entity-type":"item","numeric-id":4444908,"id":"Q4444908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2387029906134f27a8c411a3e107c5007a77848","datavalue":{"value":{"amount":"+0.8334257006645203","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":"Q4939690$7DEE1788-055A-4631-AFAA-D113CD0865E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939690"}}}}}