{"entities":{"Q4797583":{"pageid":6827163,"ns":120,"title":"Item:Q4797583","lastrevid":74700990,"modified":"2026-04-14T23:57:50Z","type":"item","id":"Q4797583","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1882496"}},"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":"Q4797583$7230AEA3-00B4-4A22-9464-9B3F6F2803BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"642d3e64c0da0272d45f7e9048efc5d7f67042f5","datavalue":{"value":"1050.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$5462533D-A2A4-45A3-A8B9-822658B1EE45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57c596e9d8926f58614b1ce35838c725b57395","datavalue":{"value":{"entity-type":"item","numeric-id":636379,"id":"Q636379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4797583$EFB64C15-08FE-4DDF-934D-AB3562C4E1CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8bf6de10654777949678e7fb8229d0ea51a7448","datavalue":{"value":{"time":"+2003-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4797583$B4BB1EDE-99E0-4440-B5AB-016039098BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$0649DA08-F4B2-483B-A1CE-435ECD0D54F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$8B94F656-C953-4FE6-8DF9-BA6CEB5782BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$CE32ED98-84F9-440E-A378-F101BFC20B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$7FBBCC51-87EC-489D-A9CB-E5477B6598E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$B7FDE0E1-0B2A-440E-918A-96B5CCF5359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$86AEAC0E-EEF2-4FDF-B200-EE671E153B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$304F885D-5D55-4049-988F-2B178741CC07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c909837d6a9a523e683e87f78b7ff480a74f99","datavalue":{"value":"1882496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4797583$4229C2A4-637D-4ED6-B44F-BD2523BB57B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$A880DA30-F452-4167-BE66-994114F2A584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d137000f9b7c7d2c203afbba8b71b02580d1868d","datavalue":{"value":"comprehension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$6335B58D-8C18-44C4-82F7-2EEB6019C2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c78721141b4f13208948b9a581723f4d49bc35","datavalue":{"value":"subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$B3A7E9C6-1824-4D54-AD3A-7B7F630EF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$B7F0DD95-90CB-4DA8-A953-E9AB2648CFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$17E41075-C339-4FEC-A73C-4CC3883A1721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a079a99a25f1220078e38b9d632dfa70e0228f4","datavalue":{"value":"\\(\\Pi^1_2\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$D1D78121-C75E-4518-A10E-6B25A39CD714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6417d461b2f1224184aba5ae1e7e6a39c4867847","datavalue":{"value":"monotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$024ABBC8-10BE-478D-A4BD-B84FD2DC32CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d0c9c43887e4608a7503bc3457ba500f8448de","datavalue":{"value":"nonmonotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$894BFC81-D3F0-4C7D-8245-F4F471A6C589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4acc787782fbbf35ef55502b772fcd75601116","datavalue":{"value":"stage comparison theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$53C06357-BCE2-4DAB-B7C2-27D608292F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$5762F3A4-373C-4102-9566-31A832F16EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd48d36850c6145eabd0a366c971e0b5094e80c","datavalue":{"value":"game quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$26D2EFB2-077E-4863-88EF-7C7D94C92C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2cd8409048f75bb51d6b288dbf56a296ba5be4","datavalue":{"value":"Suslin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$1234B196-D90A-4314-9900-11B5A5121AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4797583$1B8C0B46-E576-410A-A97F-653385B2C9BF","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":"Q4797583$9BE4FD64-B004-4891-84A1-84B3D034D903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a17d2e588d1d431cba8e268813b8fc6b086c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5311753,"id":"Q5311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56ac083037916cc7b4c8d4c941b2c38155aa00f","datavalue":{"value":{"amount":"+0.7725051641464233","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":"Q4797583$AD4A8716-89F2-4F89-8310-EEF9AB6C6D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e516f3c6933ae664faefe2885b514349e6017cee","datavalue":{"value":{"entity-type":"item","numeric-id":5752561,"id":"Q5752561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f96c6fb6d769a2f4ba4f5fe072c2428e0cbae8a","datavalue":{"value":{"amount":"+0.7586321830749512","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":"Q4797583$CB0CF96E-AA58-4C60-867E-7B5718422ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b24f3676351e174ee63d6082287910551cd7d8","datavalue":{"value":{"entity-type":"item","numeric-id":5287693,"id":"Q5287693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a1af63e5c15c1989ba05bdecd81e1393991497","datavalue":{"value":{"amount":"+0.7573226094245911","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":"Q4797583$8D17C532-800A-4C23-A217-333D299EBE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a1af63e5c15c1989ba05bdecd81e1393991497","datavalue":{"value":{"amount":"+0.7573226094245911","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":"Q4797583$44242C20-F49C-4C11-A795-798A305A197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6982be56b248723c76303a235ec410a82aa2a8","datavalue":{"value":{"entity-type":"item","numeric-id":2758045,"id":"Q2758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fc081a6d28004b32d23c0b6f4069e2f9848de3","datavalue":{"value":{"amount":"+0.7419562339782715","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":"Q4797583$271199A5-6798-4C9F-94E7-2F6C143D6D70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1882496","badges":[]}}}}}