{"entities":{"Q3138829":{"pageid":3149545,"ns":120,"title":"Item:Q3138829","lastrevid":45531493,"modified":"2025-12-10T07:20:46Z","type":"item","id":"Q3138829","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432702"}},"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":"Q3138829$FFE86B24-8B28-465C-A705-E6DFDF1B1B65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13b0deb2f84a027ad4a733a6fecf08d918c44bb2","datavalue":{"value":"0795.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138829$D3AC1670-C189-41E1-8727-405656AC952C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138829$6347847F-5028-4EAC-8B6E-082F9B67B40A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f73ce4bfe86aa855041ee7bf71ac722a256254","datavalue":{"value":{"time":"+1994-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138829$46FF28D8-0401-4A34-B60E-2AC932542503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138829$6DE9500F-A186-487C-8185-145D855D6B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138829$636B5387-665D-4E1A-9824-27E0BEC760EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138829$0A387AEE-673B-4280-BC7F-6D79FFE69ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138829$C0BFA894-2F49-4B8D-B14C-B5AA9D181FE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3961448618e815b018c4e524bc61ba9bd739fe56","datavalue":{"value":"432702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138829$CD9B4077-8AA2-4770-9421-A21C83FED20D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$E0A6B314-2BEA-4118-AB52-92DFFBC049E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259e475540aa6373d10dbc90877e9086a5bd5d18","datavalue":{"value":"admissible proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$00AC24E1-60B3-4C95-9B49-5BBA1AA6C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02efba5a38516906df7b3752b37b488aaef7133","datavalue":{"value":"local predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$B7216DCA-DFCD-4022-A393-AB65FEC74B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7e57edbd2a740a89c64973b8e8e34339b660d4","datavalue":{"value":"Kripke- Platek theory of admissible sets with iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$678734F7-B22E-43B9-B29D-66F7D58FEDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d6e710213cdbb7e0397bc78b0e0097cd00bc70","datavalue":{"value":"constructible hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$87219C6F-3E7E-4424-983B-545A04C72447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d8152317640fe8e36023532c4b7c9a4f480f0a","datavalue":{"value":"collapsing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$7D8CE34A-2D81-4EE8-81F3-495AEFEEE0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48e74a4f884482639772bafde9251ff5f3859204","datavalue":{"value":"weakly inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$B2A9E1AA-2F07-466A-A3BA-C36EEBE71E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e649288d8585e2b46824f26b31e1d31a9f911a6","datavalue":{"value":"impredicative cut elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$AA9EC520-75F1-4EFD-986A-1F9AF49A4564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd02544359f1f3bbb06aeeca46ea6b018ccfdac","datavalue":{"value":"infinitary proof system for a ramified set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138829$66C83D73-124E-443F-BC00-B2C419727947","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":"Q3138829$101F01C2-F7EE-4541-BC30-F1EBCFD0B07C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c03523f8f7140cdd7586c3231383dcc26263f5","datavalue":{"value":{"entity-type":"item","numeric-id":4354626,"id":"Q4354626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12597e4a880dffa027e6609cacd35e0149e7d4e","datavalue":{"value":{"amount":"+0.8511956","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":"Q3138829$C92793DC-90FB-4F3B-8617-726A48A49E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98da64ae5d41b6c2262194118967acf05e9ef8a5","datavalue":{"value":{"entity-type":"item","numeric-id":4879900,"id":"Q4879900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf08511d434d6b040e018934d4b4e37f6cb068e","datavalue":{"value":{"amount":"+0.8458053","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":"Q3138829$2A8B014E-A164-4B12-9A67-ECDD11D7A244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16a6599bd466718b5cf313cd391c1ec72e63198","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a485bd6856e18a55dcec88c037cfbaf02d2242ab","datavalue":{"value":{"amount":"+0.84493846","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":"Q3138829$4DE34FA3-1F65-41C4-9433-23BC19382591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cc4a40b5e1aa620fcd929946a911a45f26e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3454748,"id":"Q3454748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e291d7ede87e3f3cd75b0aea1965bdbc92cbc0","datavalue":{"value":{"amount":"+0.8448299","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":"Q3138829$DFBA9972-9668-4149-BF28-D4D819996C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a599d04d9e97401093283b65fa72e1878544d8","datavalue":{"value":{"entity-type":"item","numeric-id":1075323,"id":"Q1075323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ce4d1e8e8dc9ab87d6149813e911bc0d27879f","datavalue":{"value":{"amount":"+0.83585733","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":"Q3138829$DACA7A71-6D3F-4BBF-A2B9-44E0D6F66D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ba56bcc361065273e9bac2b124798d8fc48002","datavalue":{"value":{"entity-type":"item","numeric-id":4703653,"id":"Q4703653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c541064bd7b954aef1dd01d01a0560931dab231","datavalue":{"value":{"amount":"+0.8344475","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":"Q3138829$A347562A-13B5-4439-AE98-5C13BB5B1E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3300ea65825be3c284808c2dcf78a167c3ba6c03","datavalue":{"value":{"entity-type":"item","numeric-id":1761295,"id":"Q1761295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9eb0ee8347613c3e4a9aa2d95c4166cbeff24a","datavalue":{"value":{"amount":"+0.8339412","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":"Q3138829$0A92F594-8E9B-42B3-B220-4A20B740335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94cb1772f20ecd540e52e45eff810265372ca930","datavalue":{"value":{"entity-type":"item","numeric-id":1598420,"id":"Q1598420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eddaecb3117abe6aa596f6d83d3617ecbabd30c","datavalue":{"value":{"amount":"+0.83389866","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":"Q3138829$90937A5A-7817-4F9E-AF74-CB509C9C6AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482f655fea6f9ab85dea7c6286569f58b2a55df6","datavalue":{"value":{"entity-type":"item","numeric-id":3724458,"id":"Q3724458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c55cc7047b9b76513055aea208e3d8f4c3a25d","datavalue":{"value":{"amount":"+0.832761","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":"Q3138829$8D9DBF6A-25FF-4FBD-B83B-203A5D6371CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3303deeb82c513f81e72d5396c2160d4d8a9c836","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c3c7c7d18797adb191d7a344c60b3b316fae53","datavalue":{"value":{"amount":"+0.83132565","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":"Q3138829$AC0E0B84-32B1-49F0-9EB0-A8E50146D0AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138829"}}}}}