{"entities":{"Q2151396":{"pageid":2162139,"ns":120,"title":"Item:Q2151396","lastrevid":73439163,"modified":"2026-04-14T15:59:30Z","type":"item","id":"Q2151396","labels":{"en":{"language":"en","value":"Hyperarithmetical worm battles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551711"}},"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":"Q2151396$28E2E194-1426-432F-946B-137CD5712DB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aa7e26cdf0bb53e9137ddf86105886fc864c6cc","datavalue":{"value":{"text":"Hyperarithmetical worm battles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151396$7594779E-80C8-4E95-A3A4-F71633A11841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b39b7f5d5b42c70e2e021a45306ea8fd5bfe55be","datavalue":{"value":"10.1007/978-3-030-93100-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151396$8EB626D9-7269-4E47-BAE2-54B8C7484D7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$81AC8E82-C3F0-40A1-82CE-EF1A5E25F03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99fb5e8a8cd6f5ef0e1bcfd23bc149c0cf741bdb","datavalue":{"value":{"entity-type":"item","numeric-id":2151395,"id":"Q2151395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$CDE57567-6526-4695-92AE-6F4F0B0799EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$9E4E2895-AE7E-4B34-94B8-7CEA8A25C0D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2151396$E7D7319D-8D95-40D8-AB02-4A2A1A18C6E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af976320855b45e11b6ee2f91752d43e534ec41d","datavalue":{"value":"https://arxiv.org/abs/2112.07473","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151396$B25BA177-1AC4-4F89-B5C5-0B42C0A008F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151396$9AF6D252-8164-4E85-A6D3-D267F7BB6FC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c40785bac6273b727600cec1a38e54fd823a22e8","datavalue":{"value":"7551711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151396$C94A1B7F-5C43-4C65-91A9-5C113915611D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151396$86A58A35-1DFD-491C-89A6-8CB91F1419CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151396$EAAAC59C-EE83-4E8C-961E-76B9284EEC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151396$264A13A8-BE29-4F31-94C4-31D97254F855","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":"Q2151396$C620E9FA-2DC7-400F-AB4D-6E66CEC316F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b49e0598bf4a0810598e639a71edced7c0caf48","datavalue":{"value":"W4200573286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151396$C5BF5E1E-F977-4E42-97E8-57F7DF4542D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$B582F2C0-F1C4-4756-8562-F93F7939E3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$35EE8218-471E-4F89-B931-DB6CB48D370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$1D2BAE47-B1CF-4EE9-B67A-11F7BD310DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83f198c5c7178639e27c9a7003d0d2773d2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$43A86C12-DFEA-4EBB-BCB7-CE277B4374F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdff70f066c2558820218ac8aa398456b224a18","datavalue":{"value":{"entity-type":"item","numeric-id":2120976,"id":"Q2120976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$36F925EF-DAED-470D-A45C-6BB2E1877963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb660a8cc042e4117791d071b0bac96f9dedeaf6","datavalue":{"value":{"entity-type":"item","numeric-id":5359565,"id":"Q5359565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$FC2256F3-06D9-4A74-8D41-09D8E0D9DA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a734f0e78a9068a093699bca0af4445b60fc7f5","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$BDFEBA01-56B2-4955-A3BD-1E0F86ED6710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83d3dd844e10f76030e452cd367614249e8fec0","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$7193A091-F7FB-4F39-BD5E-0BA68D8A3DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8417887f2a76ba50f6f7c5f56c86d3e9fee6319","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$43C59A86-DE33-43DC-A723-74F67B3ABF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed5d4dc6a27184f9b503206e637b294a24667c","datavalue":{"value":{"entity-type":"item","numeric-id":4644499,"id":"Q4644499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$EABB0928-EB6C-4008-94A9-E59870423699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114260f4cd1602544364642a34079b9ceee85ae6","datavalue":{"value":{"entity-type":"item","numeric-id":1694812,"id":"Q1694812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$82CF0E45-B834-4204-A831-5E9299648028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$38D802A3-6580-46FC-A664-96F3C6D330F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc1af0656c54f8f83b18d2d9d9b8c72ebdf3f97","datavalue":{"value":{"entity-type":"item","numeric-id":514512,"id":"Q514512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$60053976-CF92-4F8F-A5EE-9B19A9204FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6574f88b778d52a3bd98fd812a8823fea4d2599a","datavalue":{"value":{"entity-type":"item","numeric-id":5015723,"id":"Q5015723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$105565C0-72D3-4181-95DE-C01FB41EDE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$615F9ADF-9456-46B8-8EBE-01B18B8816A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b188fe521513cafa07214dcf777ae791368c5e8e","datavalue":{"value":{"entity-type":"item","numeric-id":5489367,"id":"Q5489367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151396$72681BE8-BA38-4B78-A23A-85795A76F4D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df62c61abc3d017ee8667435e63384fbff3d292f","datavalue":{"value":{"entity-type":"item","numeric-id":5872868,"id":"Q5872868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c58ebc9bbf7826de13a756ac0e12f7c2a056434","datavalue":{"value":{"amount":"+0.9890277981758118","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":"Q2151396$8283CA88-78A8-4B27-A6B7-2A285EF35157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4cacf8ce4d718613ad5b7cd7205033a6ec6719","datavalue":{"value":{"entity-type":"item","numeric-id":5494229,"id":"Q5494229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f73d9e8f57737cc1e5b8d3fc0298701ae59bb3","datavalue":{"value":{"amount":"+0.8055896162986755","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":"Q2151396$7DC6276B-ABD8-48BB-80EC-CD51ED43B996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa47a2c9b99b966966818fbf34a1b477a296ab06","datavalue":{"value":{"entity-type":"item","numeric-id":4644499,"id":"Q4644499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216ec9e51902f3e3e05faf404bbbfca5f9f107df","datavalue":{"value":{"amount":"+0.7950993180274963","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":"Q2151396$3CBCD632-23ED-4A9E-9755-881FBB6DD11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bad1c16d0f174cba2c055c55ee5bf55469720a","datavalue":{"value":{"entity-type":"item","numeric-id":1694812,"id":"Q1694812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6754c056153e898019c13cc73d821c8dbf36fd72","datavalue":{"value":{"amount":"+0.7912458777427673","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":"Q2151396$0864CABF-16D9-4857-9D0C-2031D5E8E947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6849f91f776d19594f48248fae7a0a7b6c0953","datavalue":{"value":{"amount":"+0.7888267636299133","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":"Q2151396$63AB8990-08DD-4E10-B424-893E46537E8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperarithmetical worm battles","badges":[]}}}}}