{"entities":{"Q5864199":{"pageid":7893750,"ns":120,"title":"Item:Q5864199","lastrevid":93265763,"modified":"2026-06-05T04:06:13Z","type":"item","id":"Q5864199","labels":{"en":{"language":"en","value":"Categorical Harmony and Paradoxes in\u00a0Proof-Theoretic Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537540"}},"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":"Q5864199$D269995B-6E36-43AD-8934-FADBD02CEE25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa98cd339c30ef8ff401ab05b5f68fc79dde2309","datavalue":{"value":{"text":"Categorical Harmony and Paradoxes in\u00a0Proof-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864199$8A8D3C6A-D8FE-46FA-8FC8-527CCBAF9B47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce092f51daf8ddbd541ee07133bd8a26083292f8","datavalue":{"value":"10.1007/978-3-319-22686-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$D94FA0C0-9E60-4C29-B7E1-488B8089047B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"385db80d6bed80abaf8c7a169d8469a4d7c9ee89","datavalue":{"value":{"entity-type":"item","numeric-id":418909,"id":"Q418909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864199$16D4E370-59D7-43C4-8651-D44FAFAB6287","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08fb054990c1718394bd86a4e86a0af50376f17","datavalue":{"value":{"entity-type":"item","numeric-id":5864193,"id":"Q5864193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864199$B68F73FC-9169-4B72-B132-A0C7FA47CA6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5864199$BADF1D3D-A2EF-4F6C-9699-D875A2AC9F92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$008B6BAE-2A64-4C97-A3F6-474A56816E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$34FEDC0C-13EE-4475-AA68-20F797B0D5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$51047117-ADC6-4C84-B7D1-FEC782D997B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$5D57ED49-5F72-4223-9AB9-7D573128D0FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a29b1ca9ff2c42597c0cc56b772abd7e923d4ed","datavalue":{"value":"7537540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$9CB6987D-28A7-4E0B-B0E8-E40E23415947","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99445ddd44eabe0674fe1b50d54a44545ee9c02","datavalue":{"value":"categorical proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864199$26A546AD-B95D-44CF-B794-D8DB535CEE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcce9a78acff1830488c34d078e06aa9b7fc785d","datavalue":{"value":"categorical harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864199$15B0BCD2-F4D4-4C27-9F95-17C234144DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25439de26b0924a3a58251b00589f27ce891ec6a","datavalue":{"value":"iterative conception of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864199$1D8F133C-3C78-4A2D-B065-3683A4D33FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda1cac06a30a7c2e6b8892c2ed0dc0adbaa32f7","datavalue":{"value":"Prior's tonk","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864199$6CEF1F19-8592-463B-A77F-74ADF0488941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b8b11044bc0cefe1a118e4e9d60f8c29110d2c","datavalue":{"value":"degrees of paradoxicality of logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864199$B93637F3-87DC-446D-ADEC-991A261AAC0F","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":"Q5864199$5596CC19-4CD0-4DF0-AD1D-AE324A69C1F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfed525350fb9687ae9cdcfbf014f27883e6f9d6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864199$7C283915-9284-47CF-8AD4-24D1CE5B6CAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b104762e76a09df0ff7f5305264d553f0dcb87b2","datavalue":{"value":"W2249617106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864199$E9480D36-D14D-4F06-BF47-7DD768D0F97A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06de2ccfeba826229c3194587c766601be84e755","datavalue":{"value":{"entity-type":"item","numeric-id":516400,"id":"Q516400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6983b296083568c10566534529b0aa9f51eb18ac","datavalue":{"value":{"amount":"+0.7814307808876038","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":"Q5864199$692761C3-5B6D-4797-8ACD-733572914FC1","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":"c9362166ceb00700fa16a9ac31d40a863d382791","datavalue":{"value":{"amount":"+0.7401890754699707","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":"Q5864199$7FFECF59-7BE9-4C07-810E-0860AFDF4A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4e4b8b824ef3a4b48f57825d05370f7df5f92b","datavalue":{"value":{"entity-type":"item","numeric-id":2288280,"id":"Q2288280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4b55d68c147d3b211ae4e94f1590fefbc19f92","datavalue":{"value":{"amount":"+0.714989185333252","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":"Q5864199$30EEC2CB-CD4D-413A-A15F-2A0FCA41FDA2","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":"8deb1d02f5871bd3d3f07d7e7a00193880197c5f","datavalue":{"value":{"amount":"+0.7124736309051514","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":"Q5864199$6806E3A4-7078-4193-98F7-4C64C848944A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6e33e0ad16cb230f72ecbbfcc2b738eabd5910","datavalue":{"value":{"entity-type":"item","numeric-id":763325,"id":"Q763325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63900d489253ca314bc61d9f1a5afee7f01e2066","datavalue":{"value":{"amount":"+0.71059250831604","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":"Q5864199$3A051275-2766-4E8D-8398-F06299546BDF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864199$2ECDEEF5-CF53-4063-9ADC-3067CB6E13EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical Harmony and Paradoxes in Proof-Theoretic Semantics","badges":[]}}}}}