{"entities":{"Q5855753":{"pageid":7885304,"ns":120,"title":"Item:Q5855753","lastrevid":58605453,"modified":"2026-04-05T23:28:36Z","type":"item","id":"Q5855753","labels":{"en":{"language":"en","value":"A simplified ordinal analysis of first-order reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326438"}},"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":"Q5855753$BF04F1F8-D3E5-42E5-8B46-BEEFE9E77B92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1393cd81190842be883138baa6e3a2e355dbbd4","datavalue":{"value":{"text":"A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5855753$390EDC54-9B40-4223-9921-6CF596753278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a97422345d6590ea85564e0ce99f60e05ef91a3d","datavalue":{"value":"1485.03234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855753$7C9173E8-35CB-4D04-9821-E2F4748650AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$7FEE858C-4750-482B-8020-A762007AEAED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99cd72c3f8b23bcffeda78059e62d8c3df9cfa03","datavalue":{"value":{"time":"+2021-03-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":"Q5855753$0AF7ECEF-18AA-4E6B-A686-BE0265EE9500","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21c03ac40e0c17484118ee94e5aa5f61a06bd771","datavalue":{"value":"https://arxiv.org/abs/1907.07611","type":"string"},"datatype":"url"},"type":"statement","id":"Q5855753$B7FA3B68-7123-45DB-B08F-1A21D5C4F968","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855753$DB79D826-1893-4BD2-B4DE-51F787E44AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9df8324aa8498cb1ed88b7c00a358f738bdc2dca","datavalue":{"value":"7326438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855753$1C2F789E-60D1-405A-BA1E-8EEF922063F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855753$F72FA04B-6012-4FBA-9221-0439F8408098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c7ab43cc8b6ada16a38f4a66e1976d2a4d433e","datavalue":{"value":"Mahlo classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855753$D8043A3C-12B9-4DFA-A860-2AD0E434816D","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":"Q5855753$99377A36-0753-46DF-B8F8-7F3842E53752","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aca34b04f4dcbad0a97578bd0eae7e8a60540c4","datavalue":{"value":"W3094509376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855753$125CC469-B2D1-4B53-ADF9-E907B0ECCE4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f5c5470db5c93e403e609fe93402427a46b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$9B2226ED-0ABE-42D1-92F5-4F80B6A2D36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90eea54f6e5558a75a527091b123c14414a6f076","datavalue":{"value":{"entity-type":"item","numeric-id":4630793,"id":"Q4630793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$52BA1E85-7C4C-4AC7-A596-C04FB41DCD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414ac0b56bd2344e477ea569f239924b584edf4","datavalue":{"value":{"entity-type":"item","numeric-id":638478,"id":"Q638478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$54B47637-E16D-4787-9A89-9BBC3BD00D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cde701e02021646019ba19afbb88561800cc0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2933677,"id":"Q2933677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$E9F96DC1-20EC-4D0C-A399-BB130A0B4DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df391c14f89714fa01f6064c7ec4af45aa0776f","datavalue":{"value":{"entity-type":"item","numeric-id":5361255,"id":"Q5361255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$2A90D2D6-DAD7-4961-B755-FA22A00D95CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c482b602f05488701d197a989abad413a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138829,"id":"Q3138829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$3A27DDAC-4A22-4C3A-89B8-909983983827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a31b73f44dfd8f5adec1977ab91387594d481a","datavalue":{"value":{"entity-type":"item","numeric-id":4981456,"id":"Q4981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$26737BC5-E190-4990-BEB9-784C334C8B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$08D7818C-4066-4224-B94B-A476CC4A2DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1d6593cd0ebfca53ff73204240e1bf28b6816d","datavalue":{"value":{"entity-type":"item","numeric-id":1765099,"id":"Q1765099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$90565A37-9CC5-432A-A6C3-2BE0C0B66DC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1315f6af57cc6eca087128b8633c15678a63893","datavalue":{"value":"10.1017/JSL.2020.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855753$62EAA9A1-1D63-4A7D-BF67-EB700ABAD483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855753$6D3AE95E-66BF-4BAE-B8F3-E31B6742622B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27448d4f8c467ed365162749d9f337a8916ee07","datavalue":{"value":{"entity-type":"item","numeric-id":3416113,"id":"Q3416113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9715991c0f15599463bf1d262901524c19dc19","datavalue":{"value":{"amount":"+0.7877830862998962","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":"Q5855753$BCC7D36B-FA57-42EB-BA97-B3755F5B37BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf20a72c87c85cf6f836cdd293a539c83e95161","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291fa4905caaf2f25ba43eabe2133b20e500b111","datavalue":{"value":{"amount":"+0.7877511382102966","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":"Q5855753$62857522-60E1-4216-A1C9-43D5CDBD1B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489b0b918a3c7a7115d7e427c31d888fb3cf8f6c","datavalue":{"value":{"entity-type":"item","numeric-id":281010,"id":"Q281010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7cad1536c24023fe15a9320e22f6f6252b3e1d","datavalue":{"value":{"amount":"+0.784969687461853","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":"Q5855753$4751A542-7857-48F9-B109-E7A2C9F6717C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed96ea9ca2d0e684435b511a04d1ce0ca272408d","datavalue":{"value":{"entity-type":"item","numeric-id":3138827,"id":"Q3138827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd6c48891aa8dac572734d6fca4885ec58cdd3f","datavalue":{"value":{"amount":"+0.7824325561523438","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":"Q5855753$AF824729-6B76-4C42-A023-28C5DE279C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865cb4e7a9bd5838c8c9f94424fdcc6dcd089f87","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1e40b93c74149a3c4a81ba7721ecabbcb789cd","datavalue":{"value":{"amount":"+0.779058039188385","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":"Q5855753$53EDA004-EAC4-465D-9CA3-9FBB5AD092EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5855753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5855753"}}}}}