{"entities":{"Q5057054":{"pageid":7086631,"ns":120,"title":"Item:Q5057054","lastrevid":56681094,"modified":"2026-03-18T18:34:20Z","type":"item","id":"Q5057054","labels":{"en":{"language":"en","value":"Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633000"}},"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":"Q5057054$14ED2245-04FD-4372-9563-1703E4698E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a682c534743ecf42530d26fa4ad490f281a28a1","datavalue":{"value":{"text":"Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5057054$3F7D58DD-43C5-4C08-A3AE-1078272D6467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68245ada516452883b66459b1a66aa76e102462","datavalue":{"value":"10.1007/978-3-030-77657-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$A418AADD-2A6F-4BEA-B080-E20579140DC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$F61B353F-8283-43E3-8E86-22BE48EE42B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e885e8f11f97c762e813b8079b2cf7d74e26e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":5057045,"id":"Q5057045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$15555340-CBD4-4CD0-BB21-6A009FA00E3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a590f79e017275890da545c6ff28e3bd60477bf","datavalue":{"value":{"time":"+2022-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5057054$4A1F1188-D27C-4B8F-A7F1-2404FA995067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$BDE8ED2D-8D12-4D4D-8CA6-04635F15D2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$105946B2-6DB0-40CE-9687-CC5CBD0D9B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$CA5C928F-D55C-4FD9-880D-634A22958614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85dc5dd47fe0653345e59eacf14b6f72a9cfe6b9","datavalue":{"value":"01A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$81164FBD-F9C3-43CD-8292-FE43D07474DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$AA5109B3-1E32-432E-A66D-25BC240E91D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94ca9917877b4638a2f877da39e40bd88c0c29e","datavalue":{"value":"7633000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$855B3C2C-D87E-408D-8410-FCA0F894E34F","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":"Q5057054$71EA7020-CD32-4F52-AB4B-94D8D29E7E0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"431990584a5ca78f763f62cfe38a0637376a8dbe","datavalue":{"value":"https://doi.org/10.1007/978-3-030-77657-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5057054$6506D3FE-44C6-4163-9271-9AA3807CDDBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20a11eba624751c6ad1e10ffe41b3ebc59858a73","datavalue":{"value":"W4312280170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057054$3338DDDC-C000-4150-943E-94DAC61EB3EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"388652312846c036177579ce98da69efc177622f","datavalue":{"value":{"entity-type":"item","numeric-id":5902174,"id":"Q5902174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$17184504-39B0-42F1-9997-ED5924A2355B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f006d727f3acf3298f51fc9745240df942ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$BAC1E6B9-EFCB-416D-A838-93685DFC79B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59140fd44b6e3f1c3fc7514ff1f2621a08fbe67a","datavalue":{"value":{"entity-type":"item","numeric-id":5271415,"id":"Q5271415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$F69748EA-C6A7-4700-855E-4DFC0AC1CF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97eaeec2091207d38439905419b696f56f642c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2707078,"id":"Q2707078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$F05A85A3-39DC-4923-84EE-D5ABEEDA9165","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":"Q5057054$F18F59EE-C61D-49E9-9B73-17A374C736FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$9C0F4169-C275-4866-B57B-D341E0671658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$B1ED6671-4FF6-4E85-8A67-815F8B10A362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceb0015f0d2b4ea5e583693643ac8a74e21cedf","datavalue":{"value":{"entity-type":"item","numeric-id":1224083,"id":"Q1224083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$D05E4053-BA12-4283-A038-0A801FAA694C","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":"Q5057054$232BF568-7044-42DE-B032-327B6C8518B1","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":"Q5057054$B8C28647-88B8-40C9-80D6-FEEA3A41403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41fead01a7d6bfe7e55bccc5621dba664f70313","datavalue":{"value":{"entity-type":"item","numeric-id":4281260,"id":"Q4281260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$CF9B2BC2-5A0C-4261-95ED-DC730B562E35","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":"Q5057054$03ED8552-266F-41D7-9F0D-500FBEBFFF03","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":"Q5057054$712E7BE9-AA2E-4DDA-9A6E-647C3D0854DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86573b15240d5803ac646abc1b4964ec65f2787e","datavalue":{"value":{"entity-type":"item","numeric-id":1222646,"id":"Q1222646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$8B501D8E-E5E5-4E9A-960F-5D487DAB0FF7","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":"Q5057054$94749C4F-EC09-453E-B408-4D0A3B1C76A2","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":"Q5057054$04F7FFBF-52B7-4C22-8317-F318ABA58CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e9e998159715183fea9c2d3ef9cf2a541c2040","datavalue":{"value":{"entity-type":"item","numeric-id":5864209,"id":"Q5864209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$F7F0F10E-9227-4B3D-8178-B52E3F80F6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c86f7d0166ae09e3ee5486018b86298be49382","datavalue":{"value":{"entity-type":"item","numeric-id":1676357,"id":"Q1676357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$00030647-FCC8-4C0F-A3F6-7D619E59D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6b9771bf7a2fbbf39d3691d576a4bb52528a40","datavalue":{"value":{"entity-type":"item","numeric-id":1396584,"id":"Q1396584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$E53C0A44-0CA2-4D88-BC35-C4DFCBF6FACB","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":"Q5057054$E53C6B2E-2756-4026-A623-EA2D7953E5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751e8f0efe9ea52460668d0772ba1245a23405e7","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$1064FBEF-6209-49AA-B87F-F1D22F876291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9934e7f4b0df4e6f10eb445af518fdfeaa497f21","datavalue":{"value":{"entity-type":"item","numeric-id":1869614,"id":"Q1869614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$F42142BF-D188-4DC0-AE06-9CF8F5512537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f438116a01398ab16f739ed0a52e81c33b7bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2695033,"id":"Q2695033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$729A7F0A-858C-46F2-91BB-A6477FA470F0","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":"Q5057054$C30E141D-5FB9-4AD2-B3D4-ACAA5980F4E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73dac28a34f4de2bb2d38d9d03cfde0dc25999e4","datavalue":{"value":{"entity-type":"item","numeric-id":2037304,"id":"Q2037304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc4b6f39499ebc583718b302ae6fa414e5f3eaa","datavalue":{"value":{"amount":"+0.7218173742294312","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":"Q5057054$E0EC5D59-B5C5-45E7-AD4C-10E93D29AF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395d7fee6d9f669379b7520f647ad72f8129f9e9","datavalue":{"value":{"amount":"+0.7124720215797424","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":"Q5057054$4C21B872-C42E-4348-A8B9-70D12683DC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81eec2a089b306c823bf8c70833a50f2adf24ad","datavalue":{"value":{"entity-type":"item","numeric-id":2695033,"id":"Q2695033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f64503040bd47d66ada21b43c9ce4abf364f5a","datavalue":{"value":{"amount":"+0.7111682295799255","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":"Q5057054$8D0AC4BA-5F6B-4A28-9F4E-28FA771A1D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c35a552bddce531c1d2eb2e631f800a5dcb7a538","datavalue":{"value":{"entity-type":"item","numeric-id":5864209,"id":"Q5864209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d01f6834749cd01fd535974c126e388f4f1daf","datavalue":{"value":{"amount":"+0.7104242444038391","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":"Q5057054$CCEEA5BA-B5C5-4336-B7C3-79B63D5B748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f046cd237abad9a749b36e309cb17eff79d2789a","datavalue":{"value":{"entity-type":"item","numeric-id":5259724,"id":"Q5259724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d07e5d008dfd6444a30d3730e3f97ffc996f7c8","datavalue":{"value":{"amount":"+0.7041658759117126","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":"Q5057054$E87C2898-A68C-4AAE-8FFF-2B67E242C21D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057054$298750F7-6BAE-44DF-9107-683104FA0D4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5057054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5057054"}}}}}