{"entities":{"Q1240232":{"pageid":1250982,"ns":120,"title":"Item:Q1240232","lastrevid":68276745,"modified":"2026-04-12T22:38:10Z","type":"item","id":"Q1240232","labels":{"en":{"language":"en","value":"\\(\\alpha\\)-naming and \\(\\alpha\\)-speedup theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3564954"}},"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":"Q1240232$26210EE5-EBBE-4526-8C17-369319AA88B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d715338f9dc6c020f64c66cd21ae5acaf5c3ab91","datavalue":{"value":{"text":"\\(\\alpha\\)-naming and \\(\\alpha\\)-speedup theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1240232$EF672167-814F-4643-9EAD-B7189EB55820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97bceaa2b6bf169f17f346eac712c41cec8ca194","datavalue":{"value":"0363.02046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240232$A55F3D8B-5A23-495B-B6F1-65B05F497271","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2b6536148beb445d2a74666331dba45272253ed","datavalue":{"value":{"entity-type":"item","numeric-id":1240231,"id":"Q1240231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240232$727C1A2D-6FFC-43BF-BF1A-A99EB141EF62","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":"Q1240232$6F66DCD0-E41A-42BF-8E47-32255A9BB428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1240232$2E9B3434-1F08-4819-B0B7-A4FFB64DA964","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240232$996D175A-DC21-4C08-BCAD-2CEED54A2359","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d6db7fb7cd64120a26520735d7a6ce74438895a","datavalue":{"value":"3564954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240232$C93FC84B-5995-4CF5-8BBA-FA823002AAF9","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":"Q1240232$3652CE2E-E83F-4C36-ACC7-F6E90BAC8A7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"399f8fe908e3d270ffa475be1d1dcb8b04440067","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093882529","type":"string"},"datatype":"url"},"type":"statement","id":"Q1240232$7C2B232B-76DD-4C39-B0A0-1E62A5893607","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe935c6bb7e1c144c33d296350afccb1e07a4b7c","datavalue":{"value":"W1987340690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240232$7D53379A-66BD-4960-BB55-E8D5D89F0407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02a2f2f595a4e2e8a04e1e234ec56d8ff08d83a1","datavalue":{"value":"10.1305/NDJFL/1093882529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240232$772ABED2-BED2-436F-BDC1-C6717E8B209D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\alpha\\)-naming and \\(\\alpha\\)-speedup theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Calpha%5C)-naming_and_%5C(%5Calpha%5C)-speedup_theorems"}}}}}