{"entities":{"Q1254248":{"pageid":1264998,"ns":120,"title":"Item:Q1254248","lastrevid":42981601,"modified":"2025-07-16T14:26:29Z","type":"item","id":"Q1254248","labels":{"en":{"language":"en","value":"Finite investigations of transfinite derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619887"}},"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":"Q1254248$934FBCFA-63AC-4A58-94A6-F3306F82EBD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a2334912ce44c13f273a03feda9157a6e2b91da","datavalue":{"value":{"text":"Finite investigations of transfinite derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1254248$B8115A77-2105-4D72-94F8-717F44A1F6F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f5bd0c2140b52bec1ff9d57ff3a24244761fca","datavalue":{"value":"0399.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$07B7633D-89A4-47D1-9BF4-12EAF0A91B48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e8e4403c0852f31ebec8d43786e02ce540063c2","datavalue":{"value":"10.1007/BF01091743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$E733FA92-7F19-4168-8CB2-3C5A8BB193A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$154FB9D9-18E8-46AD-9756-6A519D077603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1254248$AFBF169A-819F-4760-9429-D9EC87FB8EAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$A4B08130-906C-43D6-A222-8102C870DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$E12C6902-0465-4991-9F38-1F1E13A14A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$C079DCF9-240B-48EF-A9A1-AD6A5BE49885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$3A88875B-88A5-40E7-B141-8E4F83DF332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$325EEDF3-78AB-47FA-821B-15391DE3C297","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7398d024622fc1019ee84fa96a0b631c47ff4a03","datavalue":{"value":"3619887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$FBEF305B-9431-45F0-B092-E8BDD560CDE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ae506cd480a3f10a3bb0841a5417accf268ca0","datavalue":{"value":"Primitive Recursive Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$B5A11D29-2648-4E4E-8DF6-F8CD91CA32CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a2a56f08695abeeeb69268b63d24f8a5881e17","datavalue":{"value":"Heyting Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$EA65584F-4C9E-4DE7-9DBF-F887BF8EFF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8f028a38ee08bd8736e1a1d33b8a58c9c971cf","datavalue":{"value":"Transfinite Derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$0CE4B595-2711-4BBB-AD7B-FF1F61E4FB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"510ee5d7b679bf736cb06df37d67b54b384852f8","datavalue":{"value":"Cut Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$4AD48401-9443-4B8E-9823-68276C485AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291b9b6fc543819a37660b180c3a89cb0632aad8","datavalue":{"value":"Functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$9C6A8123-CCF9-4F60-A315-AF59F9321408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0939bef786d5ea178afd4a9f20c2b129a09284bd","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$C3F55525-5D61-4A6F-9BF3-7FC981BAE4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"519fb1df3f66d60150b861ba02ce9eec3018645e","datavalue":{"value":"Impredicative Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$195770ED-7B79-4F5B-AA13-7F32EB82DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f19f7646a5f9c48bc44731b5a77149a9f64ee32","datavalue":{"value":"Second Order Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254248$13F6B5FD-5147-4C0D-925D-752FF057D708","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$01C48120-A480-4BEC-926D-3AAE75B19976","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":"Q1254248$FD34B0EF-09AF-4045-B803-4F69BBCFCAED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$E6EDB894-B70C-4A2B-AAD7-AF1FD387BBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$C10A14FD-0DAD-4800-9C24-B8B79E1AC632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc20c39e0b33b874af0982ebf6bc1d64db55ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4079564,"id":"Q4079564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$4712AC2F-8DBE-4CF8-A1EA-3B3FEDE0A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef616381e7d341062ebbd95e4743f93a2a6578c","datavalue":{"value":{"entity-type":"item","numeric-id":4133596,"id":"Q4133596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$F60D5F66-BA73-43BB-8D02-AC9C3E98D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$852DD9E2-D3EF-4896-AEE5-EC72EB9A2DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f1277c1ed435977ec9d6541b8a3705a4a5a499","datavalue":{"value":{"entity-type":"item","numeric-id":5646883,"id":"Q5646883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254248$7FB206C9-F9CD-42AA-AD58-4E8F1C9D36B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c16f40d624ac95be18f861fcdf65beaf7c604935","datavalue":{"value":"https://doi.org/10.1007/bf01091743","type":"string"},"datatype":"url"},"type":"statement","id":"Q1254248$93019B53-6752-4E0C-9631-FC870E151ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25ca8eed7dcc142e1b8e823b2d48433743867a23","datavalue":{"value":"W2071823993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254248$D62EBA55-8AB3-4DCD-902F-0B65BC5BBE3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1254248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1254248"}}}}}