{"entities":{"Q5409981":{"pageid":7439555,"ns":120,"title":"Item:Q5409981","lastrevid":96148169,"modified":"2026-06-05T10:31:57Z","type":"item","id":"Q5409981","labels":{"en":{"language":"en","value":"Friedman-Weiermann style independence results beyond Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285289"}},"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":"Q5409981$29A11EC5-C88E-40C4-91A6-CD57C808041B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c16387c9e5e95dd5935a49cb6bb7650c908a6652","datavalue":{"value":{"text":"FRIEDMAN-WEIERMANN STYLE INDEPENDENCE RESULTS BEYOND PEANO ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5409981$B416AE14-8A59-4F3E-87CB-C3A6B74C1C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c030ffd072f066b0f1be873c8eeb5b08069af79e","datavalue":{"value":"1349.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5409981$6062BF65-D9EA-48E6-BF6F-515ED556B69B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d97829837af6c075deec783e68eb2ceea77c2d","datavalue":{"value":"10.4134/JKMS.2014.51.2.383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5409981$54927ECC-8DC8-4BD9-9FE0-3B2BCF67346A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e187b2549084d3b0400c26e513ef456c843715","datavalue":{"value":{"entity-type":"item","numeric-id":618310,"id":"Q618310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5409981$D70EC4F2-F772-4746-B9D4-CFE2DBCCDCF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1fe847163ef83260e20cdc90bef6ff0c9acb5336","datavalue":{"value":{"entity-type":"item","numeric-id":2708259,"id":"Q2708259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5409981$4F403C6E-A049-49D4-B2AF-E9DA8C922763","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afe37cf2917e41f27c076194e149923b67529048","datavalue":{"value":{"time":"+2014-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5409981$8A3258A3-BBFE-4DA8-9949-F02955085AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"603cea1845181f4b0e5278269bddd4f15756c3b5","datavalue":{"value":"http://mathnet.or.kr/mathnet/kms_content.php?no=412029","type":"string"},"datatype":"url"},"type":"statement","id":"Q5409981$AA59629D-97FF-4061-B0EF-6B1C652A01CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5409981$312FC7A2-3AA1-48F1-924A-DABDEAA80EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5409981$9AC0AAA3-44AE-4505-8FD1-83288E028AAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f508e69c079845bb9dd65168efae418c7c5661c","datavalue":{"value":"6285289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5409981$80ED9C0C-D675-4B1A-81A2-1443BBF40B57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q5409981$E40D1583-2E2A-4E87-B411-EE1DD019E9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5409981$9988A0F1-97B1-448D-B4D9-46085BC7D671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f073fd7f262a0ff46fdf249f98670b48d31897","datavalue":{"value":"Kruskal's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5409981$24AC643E-1200-4107-BF54-37ABE81092F5","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":"Q5409981$FDB90F70-CAAF-4075-A72C-E1F28325A64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9939e3b243ee17fd9107e7eae5724e9d074d02a","datavalue":{"value":{"entity-type":"item","numeric-id":5696111,"id":"Q5696111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b6bfce1ba0a9b719bc0676337f092da585448c","datavalue":{"value":{"amount":"+0.7625423669815063","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":"Q5409981$CBEC39C6-95DF-4C78-992F-97CF41BA6999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e82324124f0c43d66d25fe0208509e674492f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2789881,"id":"Q2789881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e8b5cd70e185fbb74dade7e8f39c154d7bca49","datavalue":{"value":{"amount":"+0.7481145262718201","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":"Q5409981$1A2CEC39-4365-4EA6-8AB3-1434D4112A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18515c2c529ff20c08db40bd16ee809acdbe2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5046601,"id":"Q5046601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a70bc76309d7906d1c21456781986dfc853246","datavalue":{"value":{"amount":"+0.7188095450401306","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":"Q5409981$E3F01150-6323-4537-8722-E43259ED392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0bf56f15cd139e560867fe00d9ea9d2558c329","datavalue":{"value":{"amount":"+0.7167947888374329","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":"Q5409981$C0FB28FE-5883-43A7-A6B6-B7C89732A8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b0bbdba02c0122e06e35143e6304fa58ec3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3731598,"id":"Q3731598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4018d581d2f3008313d85b70f25a1e7b3149c067","datavalue":{"value":{"amount":"+0.7155417203903198","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":"Q5409981$E4782417-2C83-4873-BE4E-64CE2C34AADD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Friedman-Weiermann style independence results beyond Peano arithmetic","badges":[]}}}}}