{"entities":{"Q4187816":{"pageid":6217417,"ns":120,"title":"Item:Q4187816","lastrevid":28408087,"modified":"2024-03-05T13:38:49Z","type":"item","id":"Q4187816","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3625379"}},"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":"Q4187816$7BF0F164-D640-42C1-8585-CE03236A19B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9c6664e39818f2e0ba8157f043c52200fd48ee6","datavalue":{"value":"0403.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187816$E1653DD9-841A-472B-867C-1218AA000CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d48214e3f512b2b0fe074e201f271115b16c6251","datavalue":{"value":{"entity-type":"item","numeric-id":1843553,"id":"Q1843553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4187816$8ED0C3C9-C747-4D8A-8EDB-8DD5D38876C7","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":"Q4187816$B91BF96C-27F6-42AC-8D22-DFC64ED86384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187816$87CB0103-EA84-4E1C-A961-503BA5C4DD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187816$39AB6D2C-2152-4489-ACE9-EC28AA2B3F24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b52ec2deb050899fc03515c72fe19fa49e8a4ada","datavalue":{"value":"3625379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187816$B56A4E23-5685-4F35-969D-F166B2BFA08C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15091f2009e04aea4f628b285bbdf4cf9ac07601","datavalue":{"value":"Gentzen's Natural Deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187816$38358C9B-9032-4598-A262-38EF9A360A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6d42a1fb1bd68d66aed5ff0bee0bb0abed3959","datavalue":{"value":"Axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187816$90B27C6E-B921-4021-A740-497F0FAD4FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ce586541d3a6900ce8e580b11ea4acd60fae7","datavalue":{"value":"Proof-Theoretic Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187816$2805C73C-9FD7-4B46-9A1A-B12CACE0D9A4","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":"Q4187816$765CE2B8-1B34-4E23-939F-BFFBB1A0051C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4187816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4187816"}}}}}