{"entities":{"Q4637943":{"pageid":6667524,"ns":120,"title":"Item:Q4637943","lastrevid":53076902,"modified":"2026-01-24T04:27:13Z","type":"item","id":"Q4637943","labels":{"en":{"language":"en","value":"A constructive examination of a Russell-style ramified type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6866161"}},"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":"Q4637943$87555EB8-61A5-4364-9B71-079EF417F41C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3770ba77b2ccc037e0ecc0161f807da05e3e4b1a","datavalue":{"value":{"text":"A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4637943$B475DF11-020B-4B56-A096-2D2EAE9F337A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$137A6815-217B-4E35-B3D6-84D250F9AB21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$5DFC05FB-4212-4157-96BF-A0C48A299ECE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551df2524c439adc42740e41cce382bed9f8f3d1","datavalue":{"value":{"time":"+2018-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4637943$0F0A2D39-9809-4619-B97C-A2D93EC0764A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6632a1694a3a5a537b9e2b263e546fa0e186400f","datavalue":{"value":"https://arxiv.org/abs/1704.06812","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637943$F74D835C-F922-4E90-A9F5-119732255E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637943$57DBE9FD-26BC-4F47-9A3B-0504C2AD846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637943$19D14C95-893D-4F6F-80CB-C1EE5EE5B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637943$D36FAAC6-0D94-4976-9AB4-F8C76C86C41F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da1ac7e8b8206e320a17a35f33483c732d17581","datavalue":{"value":"6866161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637943$74511140-4889-4DF7-9445-865862E926FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1242186e5b6e959f362bcc1720bc180d7c30319e","datavalue":{"value":"ramified type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637943$C8CBFAA6-3801-4719-A78B-6283A616D47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637943$1B9CC393-595F-4300-B6A7-30AA6BA0FB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0703f0eeca389fe79f176b1b6f35b185fabf8a","datavalue":{"value":"reducibility axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637943$AFD629F4-6E75-492C-A013-5382095442A0","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":"Q4637943$C9845B35-379E-4C1B-A892-D887CC5D4E6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08c8f3054a989a5619cb010f2d887f4c82823556","datavalue":{"value":"W2962715763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637943$0C4AB036-3E8C-4C25-B747-183C65179E1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$F56B519A-4B04-4CA0-83F9-F9EFEAF11670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$EA3EC64B-DA0A-4CED-A51E-45F4B298040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$6C437179-648E-447F-AC36-05248376DA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$800B6CC6-A1DA-453B-886D-692DE2493823","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":"Q4637943$533E27A3-6B5D-43C8-990A-DFEA47BE39DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"319907956d1eb11090ad3c36c6d5cbdeb067ddeb","datavalue":{"value":{"entity-type":"item","numeric-id":2563450,"id":"Q2563450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637943$53E491D0-F87A-499C-9CC8-144F821D9581","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9668d27960e16bd4ee6d46e7fac7f44bad129f80","datavalue":{"value":"10.1017/BSL.2018.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637943$FB54A1BE-5121-4E87-A96F-B3F53640E35F","rank":"normal"}],"P1643":[{"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":"2d25c1dcbcd3ff5cf216d88a6d99d8260ca47f0d","datavalue":{"value":{"amount":"+0.7878550291061401","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":"Q4637943$26902974-0436-4C4B-82A7-0E02931D3459","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":"772c015ba911ea4d815084df106014562e1e90f4","datavalue":{"value":{"amount":"+0.7684815526008606","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":"Q4637943$F41701A3-E4C7-4A4D-A011-E1AA18E74535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772c015ba911ea4d815084df106014562e1e90f4","datavalue":{"value":{"amount":"+0.7684815526008606","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":"Q4637943$E94C4BBA-A16B-4B51-9048-80837A67D6AB","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":"9dfa6359fec56da2c171a0b3f1460debba83a9d1","datavalue":{"value":{"amount":"+0.7573227882385254","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":"Q4637943$3A072E59-EABD-4AD3-9180-A90D2EA61705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ca5e8f0b9e66d368df9bfa460d6825c74b5700","datavalue":{"value":{"entity-type":"item","numeric-id":2472611,"id":"Q2472611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1116cb8d4b183cfe81ff0563bfa81c7be70c87cf","datavalue":{"value":{"amount":"+0.7474311590194702","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":"Q4637943$B095F009-6ED6-48FF-BA51-F9D32508130F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4637943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4637943"}}}}}