{"entities":{"Q4487243":{"pageid":6516842,"ns":120,"title":"Item:Q4487243","lastrevid":47479459,"modified":"2026-01-01T20:46:56Z","type":"item","id":"Q4487243","labels":{"en":{"language":"en","value":"Cumulative Higher-Order Logic as a Foundation for Set Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463084"}},"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":"Q4487243$DCEA28CD-0359-4DD3-8EAF-F4E5CAB44C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac3cd59498d4da0f99c41491a921fbe68f01b85a","datavalue":{"value":"0958.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$1FD72029-4C82-4969-A5F3-EF7097801F03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c76212b48c84e904f0aab42b1925d8938331ac82","datavalue":{"value":{"entity-type":"item","numeric-id":1970600,"id":"Q1970600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487243$1D07BAC0-6D37-4555-A3AA-77D1E6393DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487243$4FC761AB-2774-4B2B-8A13-C1C572930FC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f06e3965919c6d8e09cf93fa6be5852ecd89988e","datavalue":{"value":{"time":"+2001-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487243$8DF02FCB-3FFC-4E8D-A96A-F8DB025DF844","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$49599A5A-69BE-4DF4-9CAC-3D17C6567854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$6164B85D-86CC-4EB3-816D-73CD88EAB0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$6A7EC46A-7391-4380-9362-FDFAD7433409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$81E84AF6-B445-49C3-940B-0EF73B55504E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4827ceaf7efb50704c078ec76f838a0ac9e7f4cf","datavalue":{"value":"1463084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$6DD33D27-C2B5-4AA7-8E78-AF783B98C5EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487243$2CD0AD58-B749-43BF-8C8D-67F375BD69D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487243$95E93E2F-62A6-4CA4-AB25-BB2AC869C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"405f277cf9e10caf0bf601fcab444ff10ecf85f7","datavalue":{"value":"systems of transfinite cumulative types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487243$A3519E12-65B3-40B0-BBFE-6760E6E3CBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3c8c584daa53f3faf46d622ebbe73d16ac078a","datavalue":{"value":"logical foundations of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487243$FF061EB9-C8BC-4C57-A924-159D8BC38734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f788c90e46783fe8ce0d9a8ecc5f1908346584","datavalue":{"value":"comprehension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487243$0FF45DE5-280D-4204-9A42-B4617984B970","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":"Q4487243$59DF8D04-ECDB-4AA3-A5BE-D7A034F34437","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb671efccc75633436e5a90736cbee8594d5d500","datavalue":{"value":"W1986777423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$95310138-0643-4A90-951B-C2AD907C4788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"919ad9535e650ba92a7eaec3d6d7536a91d85cf2","datavalue":{"value":{"text":"Cumulative Higher-Order Logic as a Foundation for Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487243$B6BA7D40-3561-4382-A309-D0BC887FD918","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faaf1f550fa2b7a0a5f3c26e3fac9f53ebf5b39e","datavalue":{"value":"10.1002/(SICI)1521-3870(200005)46:2%3C147::AID-MALQ147%3E3.0.CO;2-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487243$7EFCE562-7D3E-4281-888C-C5248AF3ABAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d67642a8540a001e984998686d1176c16a9f5e1","datavalue":{"value":"https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C147::aid-malq147%3E3.0.co;2-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487243$54C407B7-B8B7-437E-8874-E8D2F2516D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbfb315c64ba0e17d2e4b6a81b4ed4d7920f972","datavalue":{"value":{"entity-type":"item","numeric-id":3322068,"id":"Q3322068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5943551cea80db16546abcd565d0a96cf14aa118","datavalue":{"value":{"amount":"+0.8551289439201355","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":"Q4487243$CC430AB6-348D-42F9-90F9-46D3DDF7E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0251f32048d4ed360d675645b1c0d174a12ad53b","datavalue":{"value":{"amount":"+0.7730588316917419","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":"Q4487243$73197BB4-8201-4D6B-89A1-BEFD40F27507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f3ec8a6847533afaea82dc39023649a7c51372","datavalue":{"value":{"entity-type":"item","numeric-id":1970601,"id":"Q1970601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04e43cf30e6c0b9b8539f66380332b342f364ea","datavalue":{"value":{"amount":"+0.7666148543357849","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":"Q4487243$46315576-E227-4B91-BF19-671BD8CC73A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309cc6d9be6f6b34f8929dfd567396cb0cbc4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5593820,"id":"Q5593820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f55be5fce81e7f22911a7d5f3e10bc241c25b99","datavalue":{"value":{"amount":"+0.7559332847595215","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":"Q4487243$3DDCC3F9-E674-4B57-BE80-3BC3905D43AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3def8d2e3028067255d42294e56dd7f24baf44e","datavalue":{"value":{"entity-type":"item","numeric-id":4847766,"id":"Q4847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf37bd72219e315e06588672c72c3e656fe61186","datavalue":{"value":{"amount":"+0.7504504323005676","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":"Q4487243$34F45F13-9AA9-45D9-BBE3-D0601E59F72A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487243"}}}}}