{"entities":{"Q5081870":{"pageid":7111446,"ns":120,"title":"Item:Q5081870","lastrevid":58420947,"modified":"2026-04-05T03:45:13Z","type":"item","id":"Q5081870","labels":{"en":{"language":"en","value":"A uniform characterization of \\(\\Sigma_1\\)-reflection over the fragments of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543887"}},"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":"Q5081870$17121B33-E338-4863-98C5-2F29BEA0BFE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c7199723ca1acaf6c0a8d4b3e2db77d128b6a17","datavalue":{"value":{"text":"A Uniform Characterization of \u03a3<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5081870$4CCFE08E-514E-4B03-9DE4-4497D1F315B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86946922c3267d2575b4cc1482275244def929a8","datavalue":{"value":"1501.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5081870$FFC4E37D-654A-4D64-A8E6-37CBE5C37436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d68738260232900c9755b9b34ca39ab3213bab7c","datavalue":{"value":"10.1142/9789811236488_0005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5081870$8F224841-7866-4BE0-9F62-96BBA6B5CED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5081870$FEA09962-741B-49C6-A1AB-82E2A8445786","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eb6635041af2fed8b191d71905ffc43da2af873e","datavalue":{"value":{"entity-type":"item","numeric-id":5081865,"id":"Q5081865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5081870$BFB1D7A2-9E6A-4E37-972A-DF829E09ED11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5081870$35112810-02B8-4833-A709-382C53B63707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ab1f784cfd7b87a2f5f940046b33193e194867","datavalue":{"value":"https://arxiv.org/abs/1512.05122","type":"string"},"datatype":"url"},"type":"statement","id":"Q5081870$D8FFAFE4-9E23-4141-AC66-4D52E6C998AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5081870$365917E4-2E0F-4CCF-9D20-DE5599220949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ea578077af09af87eff9050c184aadc36bcd1df","datavalue":{"value":"7543887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5081870$C37EADE3-B931-42F0-A3D0-7BAA83F682B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5081870$D20F8E7B-B454-436B-8E4C-DE62F82C0C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5081870$6CFA95DD-9AC1-4591-9E95-AEB60ABBADC6","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":"Q5081870$A8B7A132-D1BE-465F-92EC-0A95747E65DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38842efe5ddad057e41c89b7c678c38f4f15f5fb","datavalue":{"value":"W4210545053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5081870$65AF1874-7F0D-411B-8FD7-5B96FC203052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33485e146a5ae69ac2e092e712184e61487f82e","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1844592553202093334ed0db44d4592ff747ac23","datavalue":{"value":{"amount":"+0.8229089975357056","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":"Q5081870$EA9F0F29-EADB-42A3-9959-C7DC8673A5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d51812502961d5c3e8eaf91311068e789de760","datavalue":{"value":{"entity-type":"item","numeric-id":2407272,"id":"Q2407272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54afbd0a57f5f5ec3a81883929623197abe9a7c","datavalue":{"value":{"amount":"+0.8126617670059204","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":"Q5081870$24C0ECF3-606E-4E64-9B6B-0DA39D37D390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3418ae0b5bbcee08376de620717674fd455993d4","datavalue":{"value":{"entity-type":"item","numeric-id":5044314,"id":"Q5044314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b12ae2a1b424cc7de25f58989b95d298c1afbc4","datavalue":{"value":{"amount":"+0.7906695008277893","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":"Q5081870$7731526E-4B51-4024-BB87-5E2CFF123703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf58864b6344903f4e733e071e29fea437a683","datavalue":{"value":{"entity-type":"item","numeric-id":3720596,"id":"Q3720596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165ee5e695d5dd74ee7ddda5b4316c032427ac06","datavalue":{"value":{"amount":"+0.7859764695167542","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":"Q5081870$BEDD8B62-AF1C-4B00-8197-5EC564AB1846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acbabba71c82a2d754692d23a5077d97e5f1053","datavalue":{"value":{"amount":"+0.7764444351196289","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":"Q5081870$674EC50F-A748-4816-A332-F57487AC31E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5081870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5081870"}}}}}