{"entities":{"Q2563450":{"pageid":2574193,"ns":120,"title":"Item:Q2563450","lastrevid":46814727,"modified":"2025-12-25T15:49:46Z","type":"item","id":"Q2563450","labels":{"en":{"language":"en","value":"A modern elaboration of the ramified theory of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957479"}},"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":"Q2563450$6902EF70-E4E8-4188-A495-566B597525A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dfed9506758a7882829b0ed032c50b9c3befa86","datavalue":{"value":{"text":"A modern elaboration of the ramified theory of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563450$2CDB6286-16A0-46B2-9FC6-963F4992E1E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a69746595605e3c0fad2e010d9e7672efedbd8","datavalue":{"value":"0864.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563450$8E9023C3-C8A5-4E90-8737-232F589BA64E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c4f01bc86fbc3a3c27fc880706bfeec13e29b80","datavalue":{"value":"10.1007/BF00370835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563450$F37136D1-7E76-4287-93F9-E9E5978B71DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5833a50b9b6136fe4d80f55956accec8d2089eb","datavalue":{"value":{"entity-type":"item","numeric-id":195252,"id":"Q195252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$F80D4CD8-38D1-4E43-A1A3-D888CACFA167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$15EDAC99-7A5E-4714-8AEC-7F5FF5C4D388","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$8007FE2F-B004-4302-821A-2A13CC587492","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5dcbf7af5fc9377bd6622f30bf4a1171e3fa4090","datavalue":{"value":{"time":"+1997-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563450$231A692A-2E81-4592-B59E-BDD5A208C43D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d96431080e380e2babea85f2dc6da4319e518dc","datavalue":{"value":"The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica. This formalization is close to the ideas of the Principia, but also meets contemporary requirement on formality and accuracy, and therefore is a new supply to the known literature on the Principia. As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern setting. Both formalizations are inspired by current developments in research on type theory and typed lambda calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563450$AC364F6C-71FF-45B7-A214-A033CA9474BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e2603c079c1d726246ca9d53231adff5483a1f22","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$F989A628-17CF-4F25-AEE9-36EA41747E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563450$70EA5109-8413-48C9-97A1-86C8385B742F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563450$5316AF11-2834-4613-8E0D-28E8349BCF7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1196335a4b4dd8a648b5934a683a6d66fd0af042","datavalue":{"value":"957479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563450$744F7ED8-8375-4186-81EF-70C0286BAF97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be06407931825c9e49708324be208c1cd4eb33cd","datavalue":{"value":"Principia Mathematica","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563450$E01E8F3F-C2CE-4C56-A3CC-ABE397DCD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1242186e5b6e959f362bcc1720bc180d7c30319e","datavalue":{"value":"ramified type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563450$36E37E54-5D91-41AA-925D-C8CFDC407ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563450$23C57C65-7292-44CA-A355-8D8328C2D0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdbe2b7463f194f908958b9c605f09ad41e5b5c5","datavalue":{"value":"type system of Russell and Whitehead","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563450$2EAEED00-FDCD-418F-9ABF-F0B785DB1F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563450$4A8475B7-09C1-48D1-8CC4-2934D130F0C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$BA65607D-C4B1-4CF4-BA46-2067CEF544AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$740522E8-7259-4404-AA7F-63D9978DC137","rank":"normal"},{"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":"Q2563450$06536489-7E74-42BD-8D62-8A70C84B8E92","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":"Q2563450$C20BC7FA-96BE-4A90-8095-514EBF1B97B0","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":"Q2563450$9ACE1876-6CF8-4EC2-BD90-4C552C0CB560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed76fb826674154100cb639fa6d84dadf53cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3340832,"id":"Q3340832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$2CA4E9C0-BA24-4E6D-8BD0-5A9CED0971E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$209D5EB3-2E11-49BE-B738-63ADF42FDAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$58CD2C99-D8F7-4707-9318-2E2FB696E5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4de6c18ec6abe20a12c9606e11386a481c8d66c","datavalue":{"value":{"entity-type":"item","numeric-id":4163501,"id":"Q4163501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$C4A6C4DB-C6CB-48AA-B773-8B9562217C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$BEC44FA8-3AB7-47C1-86D2-6919FD89C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$DCD9132B-5F44-4B84-BF1B-0C5BF990073D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53f41f5cf361d1f3a8afdfb23d296ba8ce2290e","datavalue":{"value":{"entity-type":"item","numeric-id":2556402,"id":"Q2556402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$BE0796A7-1121-487B-9F48-434C4E20C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428e212f45d542fa42feab10e83348e1aabca635","datavalue":{"value":{"entity-type":"item","numeric-id":4877445,"id":"Q4877445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$528E10FA-DA19-42CD-A15C-BABB09983ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$8D5C2A82-8A62-409C-BFB1-703112DE67DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2afdfee151b6a68d62f2405d3be4c5d22f73b7","datavalue":{"value":{"entity-type":"item","numeric-id":5734418,"id":"Q5734418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$71213682-C6CD-468D-93E7-B75C0AB42A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4558ae6cd62fc14a03db35eba3e10ffd23b3488","datavalue":{"value":{"entity-type":"item","numeric-id":5834274,"id":"Q5834274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563450$188356F2-2602-4FBB-8F57-D3994F7F86D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b785cb710ec962f9974baa670db230a6463417ba","datavalue":{"value":{"entity-type":"item","numeric-id":4924550,"id":"Q4924550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2debe4a7510b8566e92cde124a4ba03875f8801a","datavalue":{"value":{"amount":"+0.8065028190612793","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":"Q2563450$506ED9A1-F9CD-40DC-99B8-C63ACCA3C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2430c3cf228c3c3ba14ab7a3d8ce56e775d22","datavalue":{"value":{"entity-type":"item","numeric-id":4664923,"id":"Q4664923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc83fff887061bf560239cfb0565b97b63bbf40","datavalue":{"value":{"amount":"+0.8014920353889465","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":"Q2563450$35A6F918-4B7A-4AA6-AE93-A82DF6396BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d2f4f8ed59ed8ce19ca2c0751b297c1d3a05b2","datavalue":{"value":{"entity-type":"item","numeric-id":5939957,"id":"Q5939957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464a24aa27b58dcec672fe4fb2d72a7d5e9d9194","datavalue":{"value":{"amount":"+0.7921292185783386","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":"Q2563450$8ABDCDB2-5D28-4E22-9291-E723CCA26686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0986dc3ac98c3ddff7a293791460e65454d01108","datavalue":{"value":{"entity-type":"item","numeric-id":4663849,"id":"Q4663849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773983328497faa5627a3ac05cc5df01ca3479e5","datavalue":{"value":{"amount":"+0.789628267288208","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":"Q2563450$86B196A1-E3A4-4C7E-ADD2-25D97DC21267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563450"}}}}}