{"entities":{"Q306821":{"pageid":308588,"ns":120,"title":"Item:Q306821","lastrevid":60964452,"modified":"2026-04-10T20:17:19Z","type":"item","id":"Q306821","labels":{"en":{"language":"en","value":"Implicit definability in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621292"}},"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":"Q306821$C7A1263A-BED6-4A20-B84B-949969A13999","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c99b294d8e835b423548c6a93c36ab75b57ebfa0","datavalue":{"value":{"text":"Implicit definability in arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q306821$655C9973-1246-4FDE-97E1-5FED743E2B04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea9f8736e91eeae1089748e7dfa48583a3fb4d3f","datavalue":{"value":"1401.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$D44E0D61-3AD4-4AF6-BD55-9CC5F19FED97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7d650cbe0d1d3d0e303a8dd2d13cd00339ad00e","datavalue":{"value":"10.1215/00294527-3507386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$BF797C01-9BEA-4F12-97B4-641CAF0E9B16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$E70E12A1-BA2B-43AF-91FF-7008C334019F","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":"Q306821$EC78C0E2-964C-4C6F-B3F5-142979140D0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-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":"Q306821$BD936F18-5B3A-4817-A2BA-D4E8EE4EB1D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17ffbe8c5944d075f413ba0304c9f9f55f6e81df","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1459343729","type":"string"},"datatype":"url"},"type":"statement","id":"Q306821$F0D62C7B-1161-43FD-996C-320931956AA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$6F01D924-68EF-4AC0-929D-B97CB9C4C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$B7D4773A-BA04-40F8-A17A-92882D48ABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$E3E1C553-621F-41EF-97F6-5CDCE15779E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$64E1894B-5441-4986-97C8-D6CC363A6846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$D23C3690-C9A1-44CF-B19F-C5A4F4329067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"829144d8ebd42c1ed1be9f5352b1f26d2d3c37c9","datavalue":{"value":"6621292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$A8D2C481-E9FF-4D6A-B8B6-8AC6FC6FD6E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q306821$594C6B53-C54F-4B4F-A218-9388F65B2A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2347da29d2ad9bf75f7d52f59bea5bc36caf5af9","datavalue":{"value":"arithmetical singletons","type":"string"},"datatype":"string"},"type":"statement","id":"Q306821$F9B77A85-46E3-4D9E-88AC-F9AC1E7AEB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e0172aeeb596f43bf9733c8330242d392f88c5","datavalue":{"value":"implicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q306821$3B4DB4CC-2896-448B-8527-D2A5E7D05DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b837f705758d854f5464cc4fc37be56122bc1282","datavalue":{"value":"hyperarithmetical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q306821$DCE0A1E2-5A91-4D85-B553-6B33F52CBE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4587eb717dcd042e95422560ccf4fe716cfb53b","datavalue":{"value":"Turing jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q306821$610061EC-71F3-4CA7-961A-F7AF72A742A8","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":"Q306821$E8809AD9-9740-4753-A8C9-EA34B58FA0D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27be793797823107d49a802ecfc24fef9d389d3e","datavalue":{"value":"W2189427865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306821$51555808-0636-49AD-8F3E-229A4D6448EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$FDFE3E68-525F-469F-8D43-EF8349ECB3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c611f2fa49c6701f1e973c2036c0a3e1cbfe3c","datavalue":{"value":{"entity-type":"item","numeric-id":3521596,"id":"Q3521596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$20AEBB74-193D-42A1-B330-4A19D4B8BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4af5b5876ff51622383a273f2390072da4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$D93716E0-DC86-4BFC-8D49-843169867645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e122ba9125d1486f7adcb34167fc7232cecfd84","datavalue":{"value":{"entity-type":"item","numeric-id":636325,"id":"Q636325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$A4BBAA94-6214-4981-841E-A1538336A08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f5dc4897411d93abbd3a2d3e5175ae629894b","datavalue":{"value":{"entity-type":"item","numeric-id":3984430,"id":"Q3984430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$08CD4C73-948F-4CB1-A926-B4C33F8B8A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883271986272a31c553b8386247a136e058e5b97","datavalue":{"value":{"entity-type":"item","numeric-id":818520,"id":"Q818520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$2B6AD0BA-9834-4483-B031-8B21DAB7846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$78AA3008-36CB-48B0-853B-5D9B17DECAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e645f1a6fbb11a8f1b713bab1dd060a70c3c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5533183,"id":"Q5533183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$117C3B2A-BAFB-4825-AAB1-67C148686338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$74694596-72A8-49D4-AFC8-F403C710771A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f728b5b3d99c6a3acd07d52198811fb5e277f3a3","datavalue":{"value":{"entity-type":"item","numeric-id":5663849,"id":"Q5663849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306821$30770718-14F4-4AE2-9CEE-BCD1DAF42035","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51594ba72ae15328a3e6ad0a8f24cdce1bd5aeac","datavalue":{"value":{"entity-type":"item","numeric-id":1430996,"id":"Q1430996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617de309d67d3d6914fa6237f722eee743cb068c","datavalue":{"value":{"amount":"+0.7571092844009399","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":"Q306821$88F020AA-045A-4629-A5CF-C77A49CA10E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cdce5a3bb48109957e09149889ba7f5ab8362d","datavalue":{"value":{"entity-type":"item","numeric-id":558423,"id":"Q558423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f21163e0aa86a7f46872bda00f7c3397fd36f29","datavalue":{"value":{"amount":"+0.7268357872962952","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":"Q306821$086E3F9D-5567-45C2-A164-EE4292F2302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c145c82d1325e5c582a5401e6ffbdd462e2fb90e","datavalue":{"value":{"entity-type":"item","numeric-id":306841,"id":"Q306841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96c8c9f3af96cb66ea8dbd371c88aea8e7ab693","datavalue":{"value":{"amount":"+0.7159118056297302","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":"Q306821$A8654663-E9BD-4BAA-B376-DC0CDBE1B764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36c970b70177764bc14653694dd6b482d18028f","datavalue":{"value":{"entity-type":"item","numeric-id":3794165,"id":"Q3794165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315e8f62f875baad3c4dbd947a2f10dddc4e74d0","datavalue":{"value":{"amount":"+0.7151192426681519","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":"Q306821$E674A262-EAFC-4DDA-A446-E8D44710B0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755b89d085469cf308a10db0f06bb2704e7a4ced","datavalue":{"value":{"entity-type":"item","numeric-id":5393633,"id":"Q5393633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28622d85d1d76cacacb060e46ed6c799ab8647e6","datavalue":{"value":{"amount":"+0.7111304402351379","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":"Q306821$6EF57894-4B06-40BA-94E9-A11045564276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicit definability in arithmetic","badges":[]}}}}}