{"entities":{"Q1222646":{"pageid":1233395,"ns":120,"title":"Item:Q1222646","lastrevid":66926820,"modified":"2026-04-12T13:46:54Z","type":"item","id":"Q1222646","labels":{"en":{"language":"en","value":"On the idea of a general proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3499722"}},"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":"Q1222646$038F7310-F150-43B4-8AEB-7A76F4898BF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dabccf7f8f1f7f6d3ff84b19746776d355ab011d","datavalue":{"value":{"text":"On the idea of a general proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1222646$71045C70-3F01-4872-BE80-45C271FD070E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b0e1a7fbbea285c88bf6eb27ee09086c77de9d8","datavalue":{"value":"0319.02023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$9505FF37-916F-42DB-8830-890A65194D94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd906d2fa76cd41a00176eea686852174bca9b86","datavalue":{"value":"10.1007/BF00660889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$15D487A9-E4B8-4DA5-B4EB-28E2A0A777DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8e1626803f2971fce4228c956999d9d244fe7c","datavalue":{"value":{"entity-type":"item","numeric-id":383063,"id":"Q383063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1222646$8E9732A7-EE9C-4D05-972D-316F2B124889","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1222646$868B05E6-84FD-4735-83EE-FC496ADEBDED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q1222646$937ECC02-613E-464E-9B41-4DC4424D8E21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$99F6BA80-49A5-4D8C-805E-8453ECB93DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$C2F78651-C0CA-4BC4-B298-9294F5E6A6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$874164D5-B7FC-479D-9118-7CDB2D2BB556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$7EFD1A41-3461-41CD-BCE2-9B9BBD456452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db5e55800724da116d74ea55e660cd5400bc8fd0","datavalue":{"value":"3499722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$49F87EB5-6CF2-46EE-B1C8-B93447F2AC9E","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":"Q1222646$BCAC3296-21AA-4449-A623-A55EF20688AB","rank":"normal"}],"P223":[{"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":"Q1222646$9B4A368C-1861-4CE9-BFB9-5450002D2B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1222646$F2205A07-3E17-4A35-A5D6-F1972E819E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1222646$52DA43D0-AC2F-42DB-994F-99FCBA6A938C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dccdcc9285ac41949ab7b49f9a464efe72465fa","datavalue":{"value":"https://doi.org/10.1007/bf00660889","type":"string"},"datatype":"url"},"type":"statement","id":"Q1222646$FAD345ED-C9A8-4F1C-89AD-D5D121552B99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29531f3f60f67dd670099021255a5e7a98ad90f6","datavalue":{"value":"W1556018465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1222646$1EFBADE8-C1F6-4E7A-B14D-6A019519CAAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the idea of a general proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_idea_of_a_general_proof_theory"}}}}}