{"entities":{"Q4732467":{"pageid":6762044,"ns":120,"title":"Item:Q4732467","lastrevid":40932451,"modified":"2025-04-14T06:54:15Z","type":"item","id":"Q4732467","labels":{"en":{"language":"en","value":"A normalization theorem for set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4118365"}},"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":"Q4732467$52AAC71C-2FF8-46E0-AEFF-4DCD3C1E01A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aa637f8a8bf233b4db95701d6086d95877c1c9b","datavalue":{"value":{"text":"A normalization theorem for set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4732467$B3E908B6-067C-4FB4-AF85-FCB93C9D12E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac8ad7fe1f048c4091b78a3ac85d9c8759fe6c56","datavalue":{"value":"0683.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$70131C8B-579E-4743-9465-C3C136023F9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6933904e91d3e409588e487312d902cb2b457545","datavalue":{"value":"10.2307/2274565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$C23A5495-A682-49C3-BC89-48A2485BC8E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b17dcf0ac83f1dd38ccd61f7fa1d86349213c3","datavalue":{"value":{"entity-type":"item","numeric-id":751643,"id":"Q751643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732467$7C9F4902-241F-49D1-B682-F1431B2F9947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732467$67C9C07C-0288-44CC-AA36-1F65F9942B2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4732467$D4E2BD30-16E2-4D9C-8770-1960B33212CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$BA6B70D6-6969-4F82-91A4-9D23F9640555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$F992F74D-147E-4DEB-9B53-67D4EEBE91A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$F34A236A-2B91-4409-A202-F79D3880CBEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e465010dd17e283a406e66a5dfc33ef1d308244","datavalue":{"value":"4118365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$2788732A-05B0-4A46-AC06-8F65AA2F0948","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be65d83a8e300e5ee36250736596a29780a3f7c","datavalue":{"value":"normalization theorem for a natural proof system of Zermelo Set Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732467$69ED498D-A56C-46CD-9E3A-F5DE78D29419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b0e68cf55ac13d5f4a80cb98ce814564115107","datavalue":{"value":"normal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732467$417CB1CF-E623-4FCB-9BC7-1DC84170DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274635e6df46dde0869bfaab1d8860f940eb0789","datavalue":{"value":"cut-free algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732467$4783CF02-BDF4-404A-9596-54ACD072339A","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":"Q4732467$43AD69CF-1E87-4743-A509-479BDB3FC8FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35de480ac2dd434bdc861a0e68a15bef2289dfbc","datavalue":{"value":"https://doi.org/10.2307/2274565","type":"string"},"datatype":"url"},"type":"statement","id":"Q4732467$177DA60C-90BD-427A-BF7F-B7C250AE8286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"213ab0a417cc0cb893f1bd1a40afff0fe10cb9c5","datavalue":{"value":"W2053237077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732467$66CE2B8F-1B6C-4014-89C6-CE07CD9AD91F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732467$48AFC647-2D43-4425-9B09-142B43F14B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732467$2FCF15DF-8AEA-432F-80BF-CE104B59A6D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e4347159e9c0e0bdae30ed157d1872628ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3720598,"id":"Q3720598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b703fa9474e2dc065257037da819a685e68126e4","datavalue":{"value":{"amount":"+0.9201897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$C5707F87-D184-4770-94C3-254515C2D4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350823aa1d64e7b4b83f87f10e1cb162e4cdf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3819063,"id":"Q3819063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b55e831513fdaebf933492199da660d0cca8e09","datavalue":{"value":{"amount":"+0.91017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$F7617AC2-57FA-4EFC-9914-54617DDA43E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ef24230791a920674080d8725be1540d4a1cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3169477,"id":"Q3169477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b80e8311d9912bcf9f32ec0922a5a8036012ad7","datavalue":{"value":{"amount":"+0.8729495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$2AC46521-01E1-43BD-9B98-E2DD29001BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d3790d308f4eef46048b7c5e54eadf8bc34016","datavalue":{"value":{"entity-type":"item","numeric-id":5394567,"id":"Q5394567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ce27a9ba6cbdb7665e83c720282f9f0c631d3c","datavalue":{"value":{"amount":"+0.86906093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$01CA870D-79F8-4CE8-80B0-B8448025EFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a8171e7f35c8d0c3225389b38dce85ea562d24","datavalue":{"value":{"entity-type":"item","numeric-id":3395320,"id":"Q3395320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9983250dbac4761fcb2830ee66a9d054d5e68446","datavalue":{"value":{"amount":"+0.8588066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$7B460413-A945-46F8-BA79-82A858E5B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b5fe56cd21ad910292c4d5e49b55f220a80994","datavalue":{"value":{"entity-type":"item","numeric-id":3097157,"id":"Q3097157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1ed0f2da05cc896ccb0f94288f4695c4627c0f","datavalue":{"value":{"amount":"+0.85763943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$A4D9F550-32F9-44A2-8081-0AA91B77751B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2e48e7602208924e2e62f12564fc3faa172534","datavalue":{"value":{"entity-type":"item","numeric-id":3201254,"id":"Q3201254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adde012db7a21d2560ae2913065e349ebcd7adbc","datavalue":{"value":{"amount":"+0.85656476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$5F56D5FF-E0CC-435F-8A3E-AB8E6D901160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ff016b47319c07594770c6c1cc646e65a2408","datavalue":{"value":{"entity-type":"item","numeric-id":2365320,"id":"Q2365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d849e9cf37c323d570f887e558584df230fe34","datavalue":{"value":{"amount":"+0.85387367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$FD0CA895-0190-440E-BB1E-7EE88B718194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e23e6d90fa687156cce650811e3439572d1810f","datavalue":{"value":{"entity-type":"item","numeric-id":1912624,"id":"Q1912624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5094ad3f1b74e8cc928b45bf5c96c6009f8ede","datavalue":{"value":{"amount":"+0.8478282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732467$A68809D5-AAB1-4552-BD98-53FCBBD11542","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4732467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4732467"}}}}}