{"entities":{"Q2037304":{"pageid":2048046,"ns":120,"title":"Item:Q2037304","lastrevid":57627237,"modified":"2026-03-31T16:31:50Z","type":"item","id":"Q2037304","labels":{"en":{"language":"en","value":"What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7365452"}},"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":"Q2037304$E9A2470D-264B-4161-9519-B289F1303CB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c58910af2b65fc8f4305ba69bb26a662b5cbc4","datavalue":{"value":{"text":"What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2037304$CD6E6E0D-49DE-4BB8-B483-9C5B88035A06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed88e7b4ca4d162b9b8cee07310086df1ba6736","datavalue":{"value":{"entity-type":"item","numeric-id":2037303,"id":"Q2037303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$206B9943-8FA4-436F-A25F-661B61926570","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$6ED6067E-7E9B-4624-A29B-B0BA890F2924","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"171f2af9cac0af8d18c26cef20b5132d63a5fe91","datavalue":{"value":{"time":"+2021-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2037304$891703D2-99C6-457B-ADAE-3F43EA9663CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037304$EF40F0CE-7E22-4959-AB8A-50C1A3C8ED6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf0379ac6a0a3d2d561502de98686ebc976924dc","datavalue":{"value":"7365452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037304$22A2333B-F9B7-49CE-9C95-E5ED0AB8AF0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037304$FAFD3BF6-FAF5-4459-8691-89A4E9036F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1b5105c9e7ac17d2ae587f34df0c5082154e2d","datavalue":{"value":"sense","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037304$E09ACC5D-9CB2-4072-9645-EF38A036FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d1a7341496252706cb24146cd0a090cb00f858","datavalue":{"value":"denotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037304$6FD7183A-DBD2-41BB-8AE2-AC7E591F4B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeedfbe2cc116d22a334a3935e3954c6415bd6c","datavalue":{"value":"identity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037304$07D6EF7F-A883-4CD2-83DC-35EAD3285E44","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"94b9dfb4bcee34f1328a5dd9f5bfcbc8d3524ee3","datavalue":{"value":"Q113900777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037304$D310F715-B265-4A75-B657-D5867908DC48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$DC5AC7AE-D6E2-4C5A-BD96-11BDF9408397","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":"Q2037304$EC479C59-0C9E-402C-864F-5910C77E37AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"525882315465965605fcd828c607a52f9fca9b37","datavalue":{"value":"https://doi.org/10.1007/s10992-020-09577-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2037304$47F20DDD-9E7C-4B4D-9487-D827C5A9B532","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48bb43f944b2176f5610b633adf737148a9fadc6","datavalue":{"value":"W3094003468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037304$5AB380B7-ABDB-4DCB-8EE7-951DFE65E736","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$021C56A1-3B79-4CBA-A121-9F2C6B44C66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d32a72cda6b1d0bdf3cc028fa60c1186ae20d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4938597,"id":"Q4938597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$23CEBE96-65C9-40FE-8B88-1D8B0A459974","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":"Q2037304$66787578-3407-4AF7-86B8-16CF6A0939B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac30472f3711a2478de68cf38d3ea22c8420b47","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$604B7FA4-862E-4149-ADC8-097925A8B2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4188e4adc39d938f7f753a7d31f5eaa4e9c4651f","datavalue":{"value":{"entity-type":"item","numeric-id":967450,"id":"Q967450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$37ED4307-95EF-42C5-9D6B-554476EDBC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4b91d68ee745db12998ae9ccf16b372ffa592df","datavalue":{"value":{"entity-type":"item","numeric-id":518743,"id":"Q518743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$07BB52A6-2CE5-4C6D-A3C9-9EEA4A07F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$74FC931D-BF2B-455F-820C-6D74191C99F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$8D79F176-E02B-43F1-87F9-0081737DA410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$810F63AA-2952-44DF-B6A6-5DFA3FF1C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$838CEBFE-906B-4036-B393-F41A0872FA0F","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":"Q2037304$E721612E-FCCF-4A3B-9CD3-7E6A5E8DFDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cb1095bfb6bd6ea560e43c2c009e4d62aef6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$9F266383-E768-4CBE-B577-CDB3A56A7D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$1BE53BE3-CEFB-4301-B7D9-885F854036A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$D285B59A-2EB9-4145-A9BA-27F93FA70CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$BA3C55FB-53A5-45BA-BAC1-67494AD9F5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$5243E0E0-81C7-4BCD-8B50-4A5163A72ED5","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":"Q2037304$136516D2-88F1-497B-8AFE-A070D2BE9EFD","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":"Q2037304$08AB9406-8044-4344-BD1C-DA53FE7B0530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$2D627447-33AE-43EF-84CB-3CBAAEC3E7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$E76AF804-424B-4376-9F77-D72FFCC19E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a406e086e1f9a6620270b8ea6107ee488883c73","datavalue":{"value":{"entity-type":"item","numeric-id":5739972,"id":"Q5739972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$1EA955B2-5A52-49BA-81AF-9131596E8947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4add67d37da67ecb779b5e47f9ea60dc9ee587b7","datavalue":{"value":{"entity-type":"item","numeric-id":1633237,"id":"Q1633237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$4E7BD0D4-40D0-4BA4-AE8A-A1270B34AFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$6B21E3E9-8FD2-4E6B-A8AD-A31DCB196B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d60400ae1230d8a8afb8a42ea97caa8d1a90b5","datavalue":{"value":{"entity-type":"item","numeric-id":5251185,"id":"Q5251185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$338378D2-197C-4B4A-AA1F-CDFD65186F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037304$8EF24138-A318-4682-93F2-9904196B3B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39e39e34c83664a91365f33cf26117c7da1f3240","datavalue":{"value":"10.1007/S10992-020-09577-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037304$7E5C9AD4-4B4F-48EE-8077-BBAA6967B0B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf3af6e7122c14f616530ca3f468fe68601ec36","datavalue":{"value":{"entity-type":"item","numeric-id":2342803,"id":"Q2342803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0543778f7edf3d41e9b5fbf38c4e33d0c3e6ff0f","datavalue":{"value":{"amount":"+0.7963962554931641","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":"Q2037304$707DA3EF-DBC5-4E05-B1EB-EF6D0DEC88A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151ee9948b29371098a15559d2f267ffb4cac3ff","datavalue":{"value":{"entity-type":"item","numeric-id":4981271,"id":"Q4981271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d519555d42def973463f09b3bf3bedb2d652209","datavalue":{"value":{"amount":"+0.7853720784187317","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":"Q2037304$A0696A30-6EB1-42C5-A870-28528BCD98E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473a344cc4c4c6ad718fc58b4e2c864fabc496a","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4542328f48e39ae891aedc399270aaadc7aeae","datavalue":{"value":{"amount":"+0.7807798981666565","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":"Q2037304$7A3B2A6E-3B4C-4BD5-BED4-1D41EA158429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5196bba3b82bbeb66b4d76414bae6123e489aaf4","datavalue":{"value":{"entity-type":"item","numeric-id":5739972,"id":"Q5739972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db119ba8c2b7339c335b2d83a80d6fca8baac34","datavalue":{"value":{"amount":"+0.7761677503585815","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":"Q2037304$1DE9FBB5-DB8D-435C-8771-67EB72975C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eda87278d89af66a50920b8668918d4a226459","datavalue":{"value":{"entity-type":"item","numeric-id":2690170,"id":"Q2690170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e4f05c2b586d4496f7d4e4ae3b1a56e9478adb","datavalue":{"value":{"amount":"+0.7750126719474792","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":"Q2037304$2D18EC60-A995-4A76-8AFA-7A8C910F6EB7","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":"Q2037304$5E0B8624-5386-4968-8829-77673EE1207C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2037304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2037304"}}}}}