{"entities":{"Q4893132":{"pageid":6922711,"ns":120,"title":"Item:Q4893132","lastrevid":47412304,"modified":"2026-01-01T16:25:53Z","type":"item","id":"Q4893132","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 922612"}},"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":"Q4893132$013910AD-6FE0-4FAE-9A6C-F99513619AA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ffe87a9ede5002490e8a60c9fd2f7b64341afc0","datavalue":{"value":"0857.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$7F80A000-D605-4477-994C-50026ED59D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4893132$7E1FB8BE-3A18-495D-8D3E-1A0CC761B37F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4893132$30EF043B-6922-4673-9DE8-78413A7BF4CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$D367E0D4-C6EA-4B10-AAEC-7118067092A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$86F7E577-4CF4-42B4-8776-17A25D0FDC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$0293FFD2-CF43-42E3-845C-AB47C46B3E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$140E70C1-3375-46A4-A6C2-1119C42B59DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$5BE6407B-74D0-41F5-AFFE-3F49E079C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$EDC25BAE-6CE7-4010-AACE-7A2560C00F74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe74d6568eb3206a0b026d1e8ade7b1d6662aa72","datavalue":{"value":"922612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893132$B6634DE9-9FDC-4D54-A59C-2BFC8A5BB3BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b48ae87d5083055e1252d99e0fb286afd3cde8c","datavalue":{"value":"higher-order arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$27C67B4F-0858-4999-A1B2-A4A959C87A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5eac9cc779ed598d9550ae1f2142c6ec403d42","datavalue":{"value":"higher-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$1A8F9926-86C5-4E65-831A-1B18811814DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d67136ab0a39b4ed417935c424fba0440d3c58","datavalue":{"value":"extension of ramified analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$AB0BDD93-8C04-43E8-B5FB-95311A486C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b059d79ce60c22137965cc28b1ee2579b3492e77","datavalue":{"value":"functional system for ZF set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$0F472713-8CDA-4356-9B13-36322E97E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36271fd456e500d331854c305c465be9f4a03c6a","datavalue":{"value":"unfolding of a subsystem for admissible set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$31A0F3E5-BF4D-47A0-B599-8F2F83527497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240fc0c5e1bdb41b8b8287cdea2a71346c2ccea9","datavalue":{"value":"axiom systems for mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$8EB9C62E-F58A-4D12-A653-2A0A233DF2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27a2bcbd0fd2a02c9bf35964cdb9f3eb5bfa5d2","datavalue":{"value":"non-finitist arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$E87B1B8A-CBFD-45E6-AC37-B1EF38BE9572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d27fe8b2257a1b448157cc7fad0cc922dbf5c7b","datavalue":{"value":"operational unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$870A71FA-588D-462B-9BDD-6D94F685375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c7f62d50a70e27fccd18d6d7362cf952e3dfaf","datavalue":{"value":"axiomatic version of Moschovakis's generalized recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$89AB5268-E0FD-4E7F-8B1F-99A88C182A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"622254ea7f13e162c1271088f5fe769da0a1abb6","datavalue":{"value":"Beeson's logic of partial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$6A6CA2E8-9955-4C21-AE0E-6967F20C5E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206e9af6d116e7bd13ba817a771c1d25c847052","datavalue":{"value":"conservative extension of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$A938D368-79C8-4D79-8627-6496024DD12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ed287fdbba99068f69aa4c6a516ca4c2ec6449","datavalue":{"value":"full unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$25F713B5-0F54-4280-8EEA-62323E44EE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b4d48511d04f1135762e8c5131891d34501344","datavalue":{"value":"hierarchies of Mahlo cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$782FBA2D-ABF6-49E8-A0ED-5BCF6A3AEBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893132$652A13E4-BA27-4830-82FC-1611353CF2FD","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":"Q4893132$89EE81A5-A753-4AF6-A472-9AABC72C18B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a45e7c3ebe113aa2b3c04cf54809f08aa2fa75","datavalue":{"value":{"entity-type":"item","numeric-id":1577479,"id":"Q1577479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae1d60fe01d46ad542956a93541a2cd8f5bd58e","datavalue":{"value":{"amount":"+0.7974412441253662","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":"Q4893132$9CC1D580-7921-4B65-8659-B03AC1100A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d926821e6b12c74a6d1e860a5c3abcdf1e2acc48","datavalue":{"value":{"entity-type":"item","numeric-id":4319674,"id":"Q4319674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c0d2fe2cab111622957930b9943a1bad5912ab","datavalue":{"value":{"amount":"+0.7974410057067871","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":"Q4893132$EB98D7B0-9813-4743-B6BD-D127FF3409AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a4890ef98a8167a359dae35a7bf34984503cec","datavalue":{"value":{"entity-type":"item","numeric-id":5214786,"id":"Q5214786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aff97f85b45a83e65dc8041fd1518a5963d53c","datavalue":{"value":{"amount":"+0.7796808481216431","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":"Q4893132$85AB7259-615A-4247-9FBA-3EF77650A1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f64dec32195396148058ddb933544145a788a1","datavalue":{"value":{"entity-type":"item","numeric-id":3066785,"id":"Q3066785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673692b36c7a9298835a7f97a199844723dbd2ec","datavalue":{"value":{"amount":"+0.7758635878562927","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":"Q4893132$4B8A213A-A955-4BD4-A94F-4CFEBF740601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5e526e8ab38dff13577722c3b0a11b71acbf40","datavalue":{"value":{"entity-type":"item","numeric-id":5901498,"id":"Q5901498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c220fac8b54fe793ea64c51977c2e5474d42db1","datavalue":{"value":{"amount":"+0.7358208894729614","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":"Q4893132$6675565D-9D19-4B77-BD08-6FF56085ED7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4893132","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4893132"}}}}}