{"entities":{"Q530864":{"pageid":532631,"ns":120,"title":"Item:Q530864","lastrevid":62533872,"modified":"2026-04-11T06:44:45Z","type":"item","id":"Q530864","labels":{"en":{"language":"en","value":"Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608312"}},"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":"Q530864$B088B6A0-188E-4188-AF39-DD7012DE869B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76297b2077a1bee6cc62f94818704b9e213a5137","datavalue":{"value":{"text":"Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530864$1A694667-3678-4DB4-8D31-C0CE3564D94F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cdf43573c9e3b68a8678e0f982467e31f4fb474","datavalue":{"value":"1342.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$FC0A726C-6E99-466D-952E-3A0DA7A99B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746409b166da6b3324f8a076651b3e33b41a949f","datavalue":{"value":{"entity-type":"item","numeric-id":530862,"id":"Q530862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$C52A6DAA-8A3E-4A9C-9D49-02B948A7DCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef5f2fcbe4affe3a081b63bc32cd9f9b1ef1904f","datavalue":{"value":{"entity-type":"item","numeric-id":530863,"id":"Q530863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$D7D855D3-CF0A-4F90-989F-D0CC69638B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"402a48fb715d415da55853e3651509e9510c9149","datavalue":{"value":{"entity-type":"item","numeric-id":220715,"id":"Q220715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$BFFC5C86-6EB7-4284-B990-1C8D2679A5C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-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":"Q530864$7D8312C8-12B6-4AC7-B2AD-F18F3A2DE9FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$3F73B763-2CE0-43E2-8847-93FA2E65F0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$F02538FC-AD61-4B10-ABD4-86CC9BB8840C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$FAFE0664-2A80-49F0-81DE-00DBD2FB9021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$DA9991D7-FFD2-4B3C-9A8C-44FFA88C6617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf8fd4a6f3f429c11c374060040645e50d258b4","datavalue":{"value":"6608312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$FEA50911-854B-4381-8735-79FD89017C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ae3a8d9f3401a083509ec6ab2b6f0f2deb2a29","datavalue":{"value":"formal metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q530864$52DED6FB-B62D-481E-9371-BE9AD9830BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q530864$B68229E0-808C-4A6E-845F-CFADCDFF95B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q530864$F8891A3B-3555-429B-8F3A-EDF4D63AD115","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":"Q530864$D6071F57-3543-4148-BF4E-BD0761389C23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35baf163acf70e7af0d83c059b7971f4df232066","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.04.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q530864$E8D10102-7C98-4474-BC42-2C289AEC4487","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c350389fb3c23b94bc09a486dcc81ce0f850954","datavalue":{"value":"W2051367997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$EB4DF550-DE17-4E9B-8456-1B0147010FCD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8f0e56853e7f818ae1aecf111002a834724df0b6","datavalue":{"value":"Q113317801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$C0CB59E0-411D-4813-919E-F4417EC70464","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3a7c1faf671a42f888a143ca6d231a4f3b4f0a","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$4409DF94-9D85-40E9-95FE-152B343F6400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$DC1670CA-09A6-4C2C-90E8-21D062413C50","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":"Q530864$746DB499-7B3D-4234-B51A-69790191DAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$C98B0A1F-3758-45A8-A9E9-7B38CC6874C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$1048A52D-D6EC-4852-A7BA-D6A6A80D9E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$05BB6063-0A69-484E-BEBF-136F5212C05F","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":"Q530864$BF7EEF0E-6682-4B8D-A74C-E3B6D9C44CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$13C0282D-EB74-4E48-A9F1-40AFE7148744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dceaeb69355189fc068eb986132da2a3b9a2d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2703747,"id":"Q2703747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$B0C9E0BD-33B7-4C76-ABB0-747F22BFBF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$07C6A902-E3FF-4F31-A6E1-1C22140DE0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$E946FAEB-49EB-47C8-B7B6-807A46C4555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$FD195B53-4A25-4261-81FE-4A3952219A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$B8662B28-01A6-496B-92A3-A12DD1ECA40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$63B10383-700E-4A57-B55B-AD73EBC67AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$33CA6EDD-E077-474F-A89A-2E0797EDDBEF","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":"Q530864$5366ACEA-A73D-41CF-B4CC-9DDBBEEFCB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$2CF0E9C6-7BDC-4E2F-8278-690A4775B08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a87f055065003dbd14e5606ab3697e4b1b1a8e0","datavalue":{"value":{"entity-type":"item","numeric-id":3714048,"id":"Q3714048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$406322D3-9CC4-423B-A553-EA0B8090D7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0126da9b71742543eac417fb5a04cf684f82016f","datavalue":{"value":{"entity-type":"item","numeric-id":740485,"id":"Q740485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$E183FD8A-D1B4-4A50-B26C-77C62D3D5497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$6C79DDDB-BF24-4FCC-B797-2BC4097DB9FC","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":"Q530864$327EDF35-AE67-478B-961B-63CA8A18E65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d1210df4ca2f7a9d1c0e50c280e46b223a4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530864$169131A4-D674-4B27-94E9-0F62916B39D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4fbeab6177960b917b82d2e69bcab120c2026b1","datavalue":{"value":"10.1016/J.ENTCS.2015.04.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530864$C6548EFA-0397-4AB7-B0AC-377C1A1FCFD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5398b6df03581d13840f4c2ed624403400625","datavalue":{"value":{"entity-type":"item","numeric-id":2358702,"id":"Q2358702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54c9f66f43225d63204bf1dae6dfef4827308c5","datavalue":{"value":{"amount":"+0.8853614926338196","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":"Q530864$9007AE7C-52AD-4033-A782-C8D95E43D276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60de758a443014b4840c9777426062ae21dbba3","datavalue":{"value":{"entity-type":"item","numeric-id":3714048,"id":"Q3714048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9d58a7dfda1bdc3262334827aa24d51a5d03c8","datavalue":{"value":{"amount":"+0.8772959113121033","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":"Q530864$D7C1C861-8A6D-444D-99D2-0FCFDCBA93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abf5ace6955f8d6b99a9767bbc92970fa25cfda","datavalue":{"value":{"entity-type":"item","numeric-id":1744410,"id":"Q1744410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a02bc3fbd538611e94d24a6abfbb01c33a434a","datavalue":{"value":{"amount":"+0.815697193145752","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":"Q530864$4A440516-C23D-4CD5-AD59-2357300E846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475c0d659499d4569679c722564b100ef26b18d1","datavalue":{"value":{"amount":"+0.7708502411842346","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":"Q530864$B5BBD5EE-F6EC-41F9-AC9D-7F25D9444CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c95f5771d7a0aff8646703a18bb75a61872a5d5","datavalue":{"value":{"amount":"+0.767983615398407","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":"Q530864$A32FCC6A-B67F-4591-A0CB-19CD5970B9BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalisation_in_constructive_type_theory_of_Stoughton%27s_substitution_for_the_lambda_calculus"}}}}}