{"entities":{"Q5010232":{"pageid":7039809,"ns":120,"title":"Item:Q5010232","lastrevid":55388857,"modified":"2026-02-17T15:17:31Z","type":"item","id":"Q5010232","labels":{"en":{"language":"en","value":"An Introduction to Proof Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7384961"}},"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":"Q5010232$4E3F49F6-D21E-4CDE-9615-503ED6693745","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8ea743102bf00ac183ed836ad68e139f4a8798b","datavalue":{"value":{"text":"An Introduction to Proof Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5010232$8BB79E3B-742C-492D-8872-268936D53B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ade2c17110c88e77a460b1060c4082d87479863","datavalue":{"value":{"entity-type":"item","numeric-id":218496,"id":"Q218496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5010232$5B98FE47-17D0-48BB-810D-5FF5108F6E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e1ae96afd025d1a0e7b389c3709178e16de9b47","datavalue":{"value":{"entity-type":"item","numeric-id":1337602,"id":"Q1337602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5010232$2C7DF103-F17D-4937-9CBD-BFFD96295C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5010232$4F09C49F-3BA0-40F6-B397-5B8851B7BFDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6d5f442eb1bf30e3dca97971d0037b560e5fb3","datavalue":{"value":{"time":"+2021-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5010232$C8258E12-A330-45FC-9F80-607304AAE833","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5010232$0AA66ED9-4ABD-4F46-B27D-CF42B8558604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d44f730db65acc2d3f61b1686ee73f89a6e14fcf","datavalue":{"value":"7384961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5010232$A8CAC47D-2611-430F-BD97-64C53619DB2B","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":"Q5010232$B385F3EB-0838-46A5-819E-9B1EBE253982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf888f31fe3018192a1e2a5b1a2305feb9ab6b9","datavalue":{"value":"https://doi.org/10.1093/oso/9780192895936.001.0001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5010232$EA976EF1-2B50-4922-9CAD-7433916CC253","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e777e6c7d8425890b8f58da5626b92b890d3c15a","datavalue":{"value":"W4289719525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5010232$59A8CEDA-8AD1-4453-AEA9-7CA65B94CB30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9411972352f2aed4b8f44a511ed30eb293c790b","datavalue":{"value":"Q126710567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5010232$1DB1E339-6F93-465A-8585-2A6A7493BA96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ca35b23f9b1532bffd05df4aa4e6c3d8e628454","datavalue":{"value":"10.1093/OSO/9780192895936.001.0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5010232$61DF90B7-1432-4623-B2D7-38D59CCD52D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f6cf803818f8da441f51a8cdb74931cadd9722","datavalue":{"value":{"amount":"+0.8113963007926941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5010232$C5917F11-4A4B-4A7F-A4CC-1494725E5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf07926ab61c3401613197c240a74f3af33c2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5119482,"id":"Q5119482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036ddcbcc7182ab493d94ac1497bce183d8faf94","datavalue":{"value":{"amount":"+0.7957496643066406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5010232$5B4BFE1E-304A-431D-8770-C18492E51CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed460f6ece729df542c05a9adbff173fadef2b","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb347fd9f3fd2e1e5a06292008ea66758ea20a31","datavalue":{"value":{"amount":"+0.7877858877182007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5010232$7BAE77D6-6573-4ACB-9DD2-84F6FE266E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80919e725f36aa7a771fafdbac6f4284966c32d","datavalue":{"value":{"entity-type":"item","numeric-id":2863601,"id":"Q2863601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6198253c32f7cadb2516e1c7509f9a7b0c409a0","datavalue":{"value":{"amount":"+0.7654597163200378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5010232$C73CBD16-6923-4D81-89E9-E6A34695DC99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5010232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5010232"}}}}}