{"entities":{"Q4924550":{"pageid":6954132,"ns":120,"title":"Item:Q4924550","lastrevid":51733166,"modified":"2026-01-19T18:05:20Z","type":"item","id":"Q4924550","labels":{"en":{"language":"en","value":"Polymorphic type-checking for the ramified theory of types of \\textit{Principia mathematica}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171464"}},"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":"Q4924550$20921E9B-DA1F-4FB6-9B7C-F319086355C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0747536a6696c6f8592f8777dbab10c549443b5c","datavalue":{"value":{"text":"Polymorphic type-checking for the ramified theory of types of Principia Mathematica","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924550$3522B929-79B1-4470-AB4E-88CFB3783F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f1285c4d1aa2c43b536c36758b6b8710a68f04c","datavalue":{"value":"1264.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924550$0C250CEB-1945-49CF-A75A-13BCC89603DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad9c6848795fda32192cd827b5c43a70fc0e7b41","datavalue":{"value":"10.1016/S1571-0661(04)80761-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924550$72157890-01FB-4B18-8AD1-5D2CD0D9AFC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a400620885450b6d61e4734ea975ed48418e403a","datavalue":{"value":{"entity-type":"item","numeric-id":190346,"id":"Q190346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$C0A92886-6720-446B-BC11-5DEA53B76185","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$65362DF1-1715-420D-A0A8-E0693F7FE593","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924550$F6F6AC78-691F-4F04-95F9-BC52CDB168AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924550$4BC371BD-86FA-4A81-93BC-E9332DE8F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924550$A2067C37-95B1-412E-89E3-31E051629047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5911516e5b4f63e7ce3dcc7ef83751ed25f1e71","datavalue":{"value":"6171464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924550$233C4979-0C05-45B3-8FDD-753BF1624FB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$351CA9C1-139F-4662-BB46-BC0F6AE100A7","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":"Q4924550$3CF370FF-B8D8-4A90-A39A-9025383BA359","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fead97b242bb4a1886989689df9fd0fe5b0ab526","datavalue":{"value":{"entity-type":"item","numeric-id":5937851,"id":"Q5937851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$F8364840-34D4-49A1-A822-D1D524B237C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb55b5694675fb344702eae902b8a2785ded516","datavalue":{"value":{"entity-type":"item","numeric-id":3149961,"id":"Q3149961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$066F096D-DD36-45A8-8568-3EE6AA390D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$0B2320A5-6652-4F6D-A4B9-D8D6EEAA3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672c51adbd9eef44ab9573c0c7b86f998f4c9152","datavalue":{"value":{"entity-type":"item","numeric-id":4357731,"id":"Q4357731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924550$911BB086-D098-4D60-8DB0-98813EBD210D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4372a1d6b0c53216355c29ab7f568fb2a437d878","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80761-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4924550$137C08CE-E243-4AEA-AE6A-43A534784F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f11f691b07611f09748d83f3dfadc7e3f1ea433","datavalue":{"value":"W1982164370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924550$1620627B-F3A7-4837-B387-1DF83B629E7A","rank":"normal"}],"P1643":[{"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":"fa7aeae8b6c960f3b045dfb81b41fc23097d3074","datavalue":{"value":{"amount":"+0.9758064150810242","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":"Q4924550$28458F71-43F8-43D8-9D2F-E0DB2B8A4C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7678714d1639b0d6c08a2dc3dab4ebb55ddc15e3","datavalue":{"value":{"entity-type":"item","numeric-id":2563450,"id":"Q2563450"},"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":"Q4924550$CEAF5F9B-032C-4CF2-AF9F-AB7017A2AC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02332199122e89470495cf5626c3a366d0791bd","datavalue":{"value":{"entity-type":"item","numeric-id":580956,"id":"Q580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6472661c943eb08eec01c8dd2c072cc3a7f421","datavalue":{"value":{"amount":"+0.7551815509796143","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":"Q4924550$77AFC8AC-EB46-413E-A549-0EA9480F3309","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":"ab434978f52d81ed0e25a005ca0e4073f0797282","datavalue":{"value":{"amount":"+0.7448306083679199","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":"Q4924550$64C73DB8-1FFE-4C5A-B816-BFB9A9399F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bf2999a629ddee6218a2e2becb113340921911","datavalue":{"value":{"entity-type":"item","numeric-id":3486543,"id":"Q3486543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab434978f52d81ed0e25a005ca0e4073f0797282","datavalue":{"value":{"amount":"+0.7448306083679199","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":"Q4924550$53185494-5D9C-448E-A985-AA50BA27C748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924550"}}}}}