{"entities":{"Q4715478":{"pageid":6745055,"ns":120,"title":"Item:Q4715478","lastrevid":47420335,"modified":"2026-01-01T16:57:16Z","type":"item","id":"Q4715478","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 946307"}},"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":"Q4715478$8C57BA4A-BB13-4D74-ABC2-B487BBF155D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdb733a64e493b66004ea70d9072a9d38d473bcf","datavalue":{"value":"0863.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715478$35DEDC85-4E53-430B-BD8A-FA3C1E912135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715478$D078FCCF-110E-4241-B57A-90A3509910E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a668d02226194776ec9ee0be917172cf21ef57fa","datavalue":{"value":{"time":"+1996-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4715478$35FE4FA3-5502-4487-9A1D-8D48C7F0A9DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715478$9711FDFA-91AE-49E3-8ECE-DC6AD4612D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715478$49D77AE3-B544-4C07-B857-46A6A9E3D501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c40f1c4207caf52b44ddfbfeb0dc1c1d75855a4d","datavalue":{"value":"946307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715478$1F812718-419F-40F3-A39B-1514319864D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a713c457484be8ab69d9420d6b38dcbac270a5","datavalue":{"value":"Martin-L\u00f6f type theory with \\(W\\)-type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$F64AC046-E44D-4B1E-85A3-1710676FD65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$046C1BB1-5705-413A-BB3D-08754C4D11F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$BD4BD801-9F41-45B5-ADEC-5ECF44A3A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2db965faf4da4060b66c8caa76d09093c743b63","datavalue":{"value":"inaccessible","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$F76AA283-99F8-4AE4-B9E4-3212034C4DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8246e8fd123c240b3e20a0d4b3df9dc7fac601d1","datavalue":{"value":"admissibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$AA002A89-7D3F-4F93-AC37-D4D4B4E1BF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7987616270cce7dc35d083ccf6f6cd07cc02b2f","datavalue":{"value":"tree-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$42358D28-1678-483A-A008-8BFA553DB054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715478$31112752-94ED-42A0-88B0-77CE12CCCD2A","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":"Q4715478$4D8B5798-8866-4381-9481-68395530FA20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6739cff58144060539828dd1255c40412a144f33","datavalue":{"value":{"amount":"+0.9067604541778564","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":"Q4715478$86C32F5D-AE3F-4007-BA05-8958C4AE2454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558451d5bf72b591e0effe1a25fb9587ce756dcb","datavalue":{"value":{"entity-type":"item","numeric-id":5438968,"id":"Q5438968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6739cff58144060539828dd1255c40412a144f33","datavalue":{"value":{"amount":"+0.9067604541778564","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":"Q4715478$64204329-CB79-4743-8FCA-80FC7A62B671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f909d797baa23e564b49ac086cd4abee13b9158","datavalue":{"value":{"entity-type":"item","numeric-id":4247313,"id":"Q4247313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28da629b5eca0526b67360d4f72a0cb09f16346","datavalue":{"value":{"amount":"+0.8190175890922546","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":"Q4715478$63CAFDEE-FB02-49A1-96F7-2935332078EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb277504941c4a8f757fa4055d9a94b5bd7e3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1976875,"id":"Q1976875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28da629b5eca0526b67360d4f72a0cb09f16346","datavalue":{"value":{"amount":"+0.8190175890922546","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":"Q4715478$5900FBD2-A1DD-4A2A-94AC-6224A3A3BE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3d9899bdce2c77c703aa5bb266fb0dd8900d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253dc57a804c0fa04e2e61bdd2e3eecc716190dd","datavalue":{"value":{"amount":"+0.8153010606765747","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":"Q4715478$1CB0F025-C560-49A1-B29E-7814E07B0907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4715478","badges":[]}}}}}