{"entities":{"Q4764621":{"pageid":6794201,"ns":120,"title":"Item:Q4764621","lastrevid":82621391,"modified":"2026-05-06T21:21:00Z","type":"item","id":"Q4764621","labels":{"en":{"language":"en","value":"Residual theory in \u03bb-calculus: a formal development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 751125"}},"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":"Q4764621$FEF65C50-F974-419B-863E-F692162DAD93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0589df7527b8c1dea525a5f22ded43e6a15d770e","datavalue":{"value":{"text":"Residual theory in \u03bb-calculus: a formal development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764621$827BB4E1-862B-4C4B-B23B-B765D7533642","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee25854ae845c605dd235beae91dc77b22547ad","datavalue":{"value":"0826.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764621$B7918E15-F702-4C8E-9AC9-C2137985F3B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a16299b0497f98cb37f946047a3dda6750c3275b","datavalue":{"value":"10.1017/S0956796800001106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764621$EF385808-E764-4DB0-98F6-0EA1E314BF1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764621$71A29133-ED4C-4A95-92C1-658403C4A51B","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":"Q4764621$1F2C9103-29B8-4C33-88BD-53A217D679EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4764621$F6843682-489D-4FFE-AAD8-704CEDAA328D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764621$883052DF-201E-4360-B192-8FBC478EFE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764621$9575454C-FB35-4FB0-98C2-84D791764706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e4cafa3019c52f4d7aa266f2c792d8f10cb06b","datavalue":{"value":"751125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764621$F8B6E79E-8E0D-4AB4-AB88-BE4F57B601C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764621$1D534175-42F1-4300-8F82-F7D667C58BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3209908bea1920aa232f527827444b5b854940e","datavalue":{"value":"prism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764621$04932C50-3725-49EC-9D98-CFC380619F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3f199f0449135392c17d0c93c01349e5a3c9bb3","datavalue":{"value":"L\u00e9vy cube lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764621$ABB387A6-5D52-457E-865F-507A768D2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26ea4b79b4c5e44ee0bc7daa6a1e5c7b924d079","datavalue":{"value":"residual theory of \\(\\beta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764621$2DE1776A-E94E-4CC9-805A-050E6A75F447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77fe50eaba109354c5f5135b04032cee1b478ef3","datavalue":{"value":"parallel-moves lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764621$681A70E9-9E92-4B46-9C87-A8F7E9A05AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764621$40036A77-E333-4D2B-8B24-FAE19EF8BDD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a89d66e6a5af9de31d41292d285f0eb7b530aaf","datavalue":{"value":{"entity-type":"item","numeric-id":39284,"id":"Q39284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764621$5DD80F41-4971-4DE7-B970-C0F33E29FD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764621$CA09BD56-A2FB-4F3F-A175-375ED1BEE2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764621$54E14A99-83C3-4DA8-A475-5DA28633E140","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":"Q4764621$55EDD1F6-39D7-4D19-B525-19F0A8BCF5AC","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":"Q4764621$9E867AC3-B193-45E3-9507-FCAB1AC69728","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00e0369efa753f61ec811586033fe6c1e383b1ba","datavalue":{"value":"https://doi.org/10.1017/s0956796800001106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4764621$D517C4AF-54B0-4280-94BC-DDD3C040869B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88cd94fe11e536da4e1d2a1db789b16eb0f5658d","datavalue":{"value":"W1496085154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764621$ADB41058-E2C6-44E0-AF80-35E60A95203F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402c922754b9771b09305e2d783480c9ca8ed58b","datavalue":{"value":{"entity-type":"item","numeric-id":4916060,"id":"Q4916060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c52ccd385a4cbb73c4b58fa8a43eb733be997b2","datavalue":{"value":{"amount":"+0.7973642349243164","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":"Q4764621$B19C9279-3E0F-4E6F-AAB9-76DE8AD0DC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9700c198863ee7cdfccf0298fc0aa7e735fbe1f9","datavalue":{"value":{"entity-type":"item","numeric-id":4808736,"id":"Q4808736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39692c358b07d8f0020bada86318340c9d23c752","datavalue":{"value":{"amount":"+0.7870138883590698","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":"Q4764621$93F402AB-BD65-41F6-9CC9-0759A79C5C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902661f385e7d94261ef29c3b8c45a866771e54","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc17419fb33c5a196cfef4e8ce223c5097dba4a","datavalue":{"value":{"amount":"+0.7796787619590759","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":"Q4764621$0688B2C6-E46F-495E-9C84-885D90BECFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e75d19531fbf42912d86e4e69bfb094faf1d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5195246,"id":"Q5195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6f4c576947ea5b92d793a5a721e9130561f53a","datavalue":{"value":{"amount":"+0.7760936617851257","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":"Q4764621$F50A96FE-1361-445B-AF5D-447E3BF4C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c088ac95ac906727b69fc2484e544561c6a0758c","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb9cec2b50229d017a8fc98c4ca3af5415a7782","datavalue":{"value":{"amount":"+0.7737093567848206","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":"Q4764621$587445E3-3FBA-4E86-AD6F-F52DEB8FAB49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Residual theory in \u03bb-calculus: a formal development","badges":[]}}}}}