{"entities":{"Q2108575":{"pageid":2119318,"ns":120,"title":"Item:Q2108575","lastrevid":73405494,"modified":"2026-04-14T15:48:36Z","type":"item","id":"Q2108575","labels":{"en":{"language":"en","value":"Stage comparison, fixed points, and least fixed points in Kripke-Platek environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7634477"}},"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":"Q2108575$D63F1110-EE32-43F4-84EE-01CBC432EB46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a4613517f551d42e0ab2a51c4ea533550797035","datavalue":{"value":{"text":"Stage comparison, fixed points, and least fixed points in Kripke-Platek environments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2108575$0C3E54AE-A57A-4AC5-8105-87F16E837059","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5edaa7239c9870ba5c420832998c57564cc544ca","datavalue":{"value":"10.1215/00294527-2022-0025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108575$73E0E663-A59D-4D61-AA90-FD0786E1B530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$AA27E874-01FC-4689-996B-6BC10A3E9EB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$5095BAF2-3C11-48EA-A30E-36C84B6775C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d476bc98ade8fa5943c1aebbb4a04d667c5b15a","datavalue":{"value":{"time":"+2022-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2108575$BC03FD45-C068-41BD-8D01-B8744D1F6794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe145de3e1e5d53672949056cf281c30b8525c9c","datavalue":{"value":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-63/issue-4/Stage-Comparison-Fixed-Points-and-Least-Fixed-Points-in-KripkePlatek/10.1215/00294527-2022-0025.full","type":"string"},"datatype":"url"},"type":"statement","id":"Q2108575$8CE75FF8-84F6-4994-91DA-BE097453741A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108575$42E8B361-EC93-4C76-BD7F-E204B9BEC55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108575$88C83003-FCFC-463C-9517-B8EB1488381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108575$862AAEFB-B329-4C0A-A5B2-3EA1977B0640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f6840e548fbea90ab54d7fe6090605dbf959a72","datavalue":{"value":"7634477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108575$F4FA4F9B-804D-42FE-A932-77163991B481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108575$386B8144-2B13-4974-B6EB-627228A6DA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c3466fe143e89936600cfb70a36ab2b7cbdc4a","datavalue":{"value":"fixed points and least fixed points of monotone operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108575$DF25BF60-F9B2-4F2A-82D5-AF244F90DA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4acc787782fbbf35ef55502b772fcd75601116","datavalue":{"value":"stage comparison theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108575$15C20B3D-2613-4B93-AE29-266249ECD2A3","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":"Q2108575$62FA827D-C645-4414-9A02-089000D1B582","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1be0fc15b4ef2cb0fbc4645a3c0036caf935a86f","datavalue":{"value":"W4311896049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108575$5527DF38-1437-4355-9BA2-F1998580C653","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$2E2D2F6A-715D-43AD-ADD6-00564BC05714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ceff71804198d6b0ade727de00df1cb58fe065a","datavalue":{"value":{"entity-type":"item","numeric-id":4579812,"id":"Q4579812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$C641FC89-7863-4696-B2F9-9299A95EB7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c281cdb28913490a6a9c8eb1b8c4375aa82314c8","datavalue":{"value":{"entity-type":"item","numeric-id":3305630,"id":"Q3305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$FA5CDFC4-B62A-4CCC-80E8-9EC44523CCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$CBA78874-8346-43F6-ABD6-AF1B8B097636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c01aacb1bd820fc7c2a246f1cfd4160d66b71b2","datavalue":{"value":{"entity-type":"item","numeric-id":2257106,"id":"Q2257106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$68A6AEE7-5E1B-493F-818D-454E9BCD0EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dcc21e567567138d292a3259bd20dc3c770c1","datavalue":{"value":{"entity-type":"item","numeric-id":476116,"id":"Q476116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108575$845E1244-6E5F-42E8-8469-930B89E66C21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e9b047710127dc8a1bc6fea12e309f04009b7a","datavalue":{"value":{"entity-type":"item","numeric-id":4579812,"id":"Q4579812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98aec5e883f1d83addf48bd8367d0f21b193cf5f","datavalue":{"value":{"amount":"+0.8177642226219177","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":"Q2108575$6C98635A-BCD9-4CC9-83A8-8C4E1423A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b26e6659e92069fea2f03a4e67a3463840a2fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3305630,"id":"Q3305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403bb84c68c4b5aa27d6a380bf3890cdc62f39e0","datavalue":{"value":{"amount":"+0.7369902729988098","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":"Q2108575$5BCE9435-39CD-41B8-88F6-3AE447145CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34006bee21dbc3257df58ffa4a9792c5eaedeac5","datavalue":{"value":{"entity-type":"item","numeric-id":4936675,"id":"Q4936675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6553992050fda41df2e46d88486aeae7f2d2867","datavalue":{"value":{"amount":"+0.7292132377624512","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":"Q2108575$4E4455E2-F9D6-4CC1-98D7-91FCA2B3576C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c7814c6fb295e982c68a6b837f9da908ac4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4487245,"id":"Q4487245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2530f173399d88ee90555d58717c7f1745405c5a","datavalue":{"value":{"amount":"+0.7186371684074402","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":"Q2108575$39E944FB-F755-4AF8-A9FB-42C3AAB78C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95f30c8cdaa201cc9f8e6178c385c91cf61740d","datavalue":{"value":{"entity-type":"item","numeric-id":2486984,"id":"Q2486984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eebdbad81a61b136ec77b05c92758c812cbb04","datavalue":{"value":{"amount":"+0.7178305983543396","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":"Q2108575$1127F8E7-73A7-45E0-A8D9-3294F21391BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stage comparison, fixed points, and least fixed points in Kripke-Platek environments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stage_comparison,_fixed_points,_and_least_fixed_points_in_Kripke-Platek_environments"}}}}}