{"entities":{"Q1256459":{"pageid":1267209,"ns":120,"title":"Item:Q1256459","lastrevid":70479900,"modified":"2026-04-13T14:55:23Z","type":"item","id":"Q1256459","labels":{"en":{"language":"en","value":"E theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3627166"}},"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":"Q1256459$07396531-F1F4-4B49-B795-091007CCD7DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8fb8dcb6d4aa0a4aaace8fe3fea5ca1643a3362","datavalue":{"value":{"text":"E theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1256459$B369ECB6-8D7A-40CE-A00E-C536FA353363","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"889f5fd6637b728ed57924604250c4c39e0b3a45","datavalue":{"value":"0404.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$78F18F32-7A4E-45EB-A630-4D5DCEF10A10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dea4a6d0c29703bca5540f678cab18a5b8a1fbb7","datavalue":{"value":"10.1007/BF01091552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$98998E24-1A35-40B9-8F9D-8B576427C352","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":"Q1256459$90126E19-276E-4BDF-A019-CE84E14D6094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1256459$7DBC6D66-CBE6-4E15-85FD-9CD8475D9714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$B0200AB0-EFFD-4D2A-A986-6C75A2930F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$D177B8CD-0926-4226-A652-0AF6C9F7B871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$537C10A9-617E-40A0-9B42-BC9F44E6DC88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d9db7f4c9e99d2a188f1d3deee5c67537639dfc","datavalue":{"value":"3627166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$4EC04F50-2C60-4BED-8B34-563FBEA6AF5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5edbb36c7a29b3c6569370c5ae013d7963ddf79","datavalue":{"value":"Intuitionistic Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256459$D26D9CC0-627E-49D5-9CFD-68CCEEB3BBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aba17909c948763be9cd8492c9177fe0591d32f","datavalue":{"value":"Cut-Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256459$8A608430-7D7D-4F99-A7CE-539FF08D90E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524ade33fdd0fe507f2f2ba8256a2cd61f8dd5c3","datavalue":{"value":"Recursive Realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256459$71F00640-2951-4C06-81DF-33886DEB23B7","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":"Q1256459$BEBC1EB9-D2F6-4825-A30C-D4A0D5ADB477","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":"Q1256459$7AD6DDE2-5DD8-45E3-BBEF-F94D8F47818B","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":"Q1256459$125CF8F5-E0A4-4D7C-88CF-2D1943B53624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4a8128ff8a4c644623e7be76d881d87958df38","datavalue":{"value":{"entity-type":"item","numeric-id":2535674,"id":"Q2535674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256459$B9EFA4FE-8D6A-4113-AF10-75A504F79A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08e2c9e2a072cedf9804db7a259119989b45c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3212689,"id":"Q3212689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256459$423685D3-621A-46CB-8D12-EB8F9A8D6B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256459$0BB3CC86-D110-4DC7-AC81-8C014758079A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cdb74fc923d1168d9d84d081172666af61a0ce4","datavalue":{"value":"https://doi.org/10.1007/bf01091552","type":"string"},"datatype":"url"},"type":"statement","id":"Q1256459$61805725-2CB5-4556-AB32-779F52E8CF81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00b37145cb08b6c4fe73a7646e3eddce070b2712","datavalue":{"value":"W4239710460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256459$7BAD063D-12E6-4583-A0EF-D66D506E7AA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"E theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/E_theorems"}}}}}