{"entities":{"Q2631640":{"pageid":2642383,"ns":120,"title":"Item:Q2631640","lastrevid":44522775,"modified":"2025-11-23T13:07:11Z","type":"item","id":"Q2631640","labels":{"en":{"language":"en","value":"General proof theory: introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055408"}},"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":"Q2631640$57F81880-D834-40CF-938A-2C81888AAD77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c38b5555a42e808b379d50c7ca651e38e04dee2","datavalue":{"value":{"text":"General proof theory: introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631640$102EA9F6-E2D0-4958-843B-29B4923DCCE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e33298758ede755e8225f60f524d62179a15cd2c","datavalue":{"value":"1412.00050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$03503836-86B0-442F-BB56-F3EC965C8578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$B5781766-3DEC-4A0A-99B3-9E8F2D73FB05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631640$4E5BFC8A-452F-40AD-B6E6-C177992DA3F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$DA2067BB-0FCA-47E6-A9C6-D66DC3C9675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$01585836-F365-41F2-A71D-8C7982AF46FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19333706bc5aa52529ec3d8b859979c8f503ad38","datavalue":{"value":"7055408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$96432873-0513-464E-820D-69A59694191E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0dc6084a8727637d7b474e89df8dea9a8f711a","datavalue":{"value":"general proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631640$6F59421B-E4D5-4846-A597-19FD43EC1A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631640$318FAFE1-4E65-475E-A250-D846E1896C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631640$8371766E-F6A3-4A3A-A4B2-B5F60CE8C8A7","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":"Q2631640$3D16CD82-BD12-4E37-8905-F9075C79A3B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ce16e2b2eacec1a729eeb621b5ce984b787b9f9","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9818-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631640$A9C783A7-9386-464B-B600-50FE4DD1331E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7792935c4dcda3b0cacef02b4e259b227c7d0bc9","datavalue":{"value":"W2891069178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$0C03BA99-8AA5-4A33-8509-80DDE0BA37A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e41b7bb510fed1881510e32b1bdcc8f740bdd4","datavalue":{"value":{"entity-type":"item","numeric-id":5864197,"id":"Q5864197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$33C4D3D5-16C9-44C3-BA80-263B748F2875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$87F384B5-61B3-4920-966D-C81D31ECD460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f2db5f0a7536241070dde5ff3a36eeed6c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":2631646,"id":"Q2631646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$E1F5E1F2-FB8B-42AA-B8F1-24AC05BD07D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087e3a48aef73327917d5fbd132f37acae2f4f2c","datavalue":{"value":{"entity-type":"item","numeric-id":2631647,"id":"Q2631647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$29EBB066-0F34-491C-8AFA-621B246DF0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$C105F3B3-5DAB-483D-8147-C56B79BB5C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$EDE92A30-BA24-40F2-A26C-F1863DE244C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$CCED67C1-8FB2-429B-B396-E69D40ABC048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a465f286d70ebc922ae1dc45ceead877193393","datavalue":{"value":{"entity-type":"item","numeric-id":2631648,"id":"Q2631648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$01EFEAFA-5806-42CA-BEA0-686C64CB25ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad767dff991af4c71c957cbfeddaa7f34a0964d2","datavalue":{"value":{"entity-type":"item","numeric-id":495649,"id":"Q495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$E669370F-BE9B-47CA-80EA-A56117DFB3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4e36cdfcffb6756443d0154b39ea19a9439be7","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$7F2F54BB-CBA7-494F-8538-BFB213BC0EEB","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":"Q2631640$7C00BC34-D2A8-46C6-A838-06619672501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03214aa66f4eca06bf2f16650d127aca5860435","datavalue":{"value":{"entity-type":"item","numeric-id":2339009,"id":"Q2339009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$21C8F77A-130E-4BB0-BB15-E38105967725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$A0166109-606E-434E-86C0-1E4E43F955AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eb702959acaa970a57c99338f253dbd7414149","datavalue":{"value":{"entity-type":"item","numeric-id":2631649,"id":"Q2631649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631640$F8EE35F2-1C35-434D-A88A-E8B702BA5AD1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3b809291ce7c615a7b470f1ab9aeba8381ae1fee","datavalue":{"value":"Q129323252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$9EF7D677-C11E-406E-8E10-003D9BE04831","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df1e588b5f5fb14ad05c562c978648e580832f46","datavalue":{"value":"10.1007/S11225-018-9818-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631640$C58B0BE6-3CE8-4119-B0FC-78A1AA80C255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631640"}}}}}