{"entities":{"Q2895841":{"pageid":2906566,"ns":120,"title":"Item:Q2895841","lastrevid":42463353,"modified":"2025-06-28T06:19:55Z","type":"item","id":"Q2895841","labels":{"en":{"language":"en","value":"Undecidability of elementary theories of Rogers semilattices on the limit levels of the arithmetical hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6055338"}},"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":"Q2895841$2D0B9F73-A267-4644-903C-FEA3A35E7D71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36c265a2369f88c6a49f3a734fd4e0fa1a37c660","datavalue":{"value":"1249.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895841$AF8AE18B-D38D-43A1-BE09-930996BC7497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14fbb0e0d3bce43a9ca2e886d10fa33049b3f3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2895840,"id":"Q2895840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895841$9F44B23D-41F5-4296-8858-85F119F9A8CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8169782b0c1573ab69940e37078f3a0c71cae46","datavalue":{"value":{"time":"+2012-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895841$F799D757-D157-4258-9DF8-A83E4171386A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895841$9760890B-4D28-49D7-A878-B5E4F8D71B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895841$EAE5DC86-236A-43C8-8830-7C95705A564A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895841$48AC20D4-EAFA-4D31-8FFA-BB928FC416E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa0fb71ecc7d0e5831fb526701601c2cdfb117a1","datavalue":{"value":"6055338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895841$78143729-D265-4A1F-95D5-6A2660A36BCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72bd861ecc038a29fe6e6c5fe79a0a8ed9c83b7","datavalue":{"value":"numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895841$79A30ABC-89CC-4314-B984-AAF4CECDDB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a62e97ae42609e2f56ecce7699803daef0adaf","datavalue":{"value":"Rogers semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895841$435EB07C-009E-411D-9E40-72271EA55796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b418e00095d494ea4701199583b497e33f05a8","datavalue":{"value":"hyperarithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895841$44B71729-1308-4C90-8172-41590B4D3FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ea8e6ce32d505aa7f17f0d025f68fa085a78ad","datavalue":{"value":"minimal element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895841$5409DDBE-4BEB-4DD3-A78A-C469A4D6C03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358a0a99873ef9c213ed5e1201c829b384d52b77","datavalue":{"value":"minimal cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895841$353A2FF6-D127-4446-9016-F820FE5D6E0A","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":"Q2895841$0746A039-B76D-4E4B-B4FF-A4DB991ED438","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01528f6212e5c8cb4eac37459e2c92830e3378f","datavalue":{"value":{"text":"Undecidability of elementary theories of Rogers semilattices on the limit levels of the arithmetical hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895841$D282B72D-3EB2-43C9-A637-91C3FDF7FFF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a759a6aa711e0f4b33e673c6ad25e33676785b47","datavalue":{"value":{"entity-type":"item","numeric-id":6773955,"id":"Q6773955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895841$AC1A651D-387D-4FAF-8A20-1AB74D190FE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2895841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2895841"}}}}}