{"entities":{"Q3916564":{"pageid":5946469,"ns":120,"title":"Item:Q3916564","lastrevid":54986098,"modified":"2026-02-02T13:40:04Z","type":"item","id":"Q3916564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3728252"}},"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":"Q3916564$86DBCA36-F222-493C-8B70-5B8ADBEE00A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99dc3f77a11bec54408d974cdea014adce709848","datavalue":{"value":"0465.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916564$1619338F-C0A0-4E47-BDC6-24B0230D5D04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916564$7AAB907E-D31D-48C1-9C0D-9F5E73362795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916564$B5FCF535-7115-451F-8B8A-47EDCE186769","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3916564$6C0D12D7-D74D-47AD-B178-8D4066FBAB07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916564$D2251435-5FC2-481F-9492-D4003055AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916564$13174144-B057-4E8E-AF55-C26DBCBF96D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18193a39c800ece026bb4844659cd269d06d560c","datavalue":{"value":"3728252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916564$C797DC56-FF36-4EE6-927D-DBE69A9A5232","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916564$EB8379CF-EBA3-4AC2-BD5C-DA38B742B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916564$88073816-F64F-4552-AC23-B2F1AE042293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5496a94a74ddd28d774f6b2896e8db4caea0208","datavalue":{"value":"initial segments of degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916564$B6964A9B-9CEA-4F70-A5C1-3D619CB0C582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9ddfb3f494a1959396bff87953a6d5192dcdb1","datavalue":{"value":"codings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916564$42D02BD7-9A91-46E1-ABF6-DB3F50382021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df188cea864eb753f95ad54f33fc0c6687e9dc3e","datavalue":{"value":"n-ary relation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916564$2F5856D8-1725-460C-AB96-6934C758808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b3614826d7d988099d6061a23043f3123fee8f","datavalue":{"value":"quantifiers over ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916564$66288204-09AD-42BE-9147-EE339502F5F3","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":"Q3916564$D5D84110-191F-4F12-9972-CC2B1B155B04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3916564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3916564"}}}}}