{"entities":{"Q5864209":{"pageid":7893760,"ns":120,"title":"Item:Q5864209","lastrevid":56855187,"modified":"2026-03-23T20:26:01Z","type":"item","id":"Q5864209","labels":{"en":{"language":"en","value":"Open Problems in Proof-Theoretic Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537550"}},"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":"Q5864209$564349B4-ADFD-41F1-A848-9A82D8099B81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d842a3ff5240491ea661f85d98747c5db7044dfb","datavalue":{"value":{"text":"Open Problems in Proof-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864209$2EBBCF97-FF6E-41DF-B17B-270D909673D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9027850b9c19f7fbfd8618001d4bb75945600972","datavalue":{"value":"10.1007/978-3-319-22686-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$4DCBB177-2726-47E1-B40B-4E02D98E84A5","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":"Q5864209$E7B5958E-0D5B-4C9E-ACE7-53F9D799153B","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":"Q5864209$E3583206-8001-4367-B009-22065B655328","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":"Q5864209$C06C2EF5-0520-4F5F-BC34-6DEA565F4B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$918DD58F-BD7E-4476-830D-74B00ACAE8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$D656F218-DA2F-4023-9EB8-D0CBC3EE2C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$24421409-C854-40E5-83A3-155B63C44021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$F3291980-1532-4C93-9ABE-D794164407B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"224a8371f1da28aaec090f0f5843ad8dfcd3ed04","datavalue":{"value":"7537550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$762466C0-C7C8-4FDE-8DF9-0CFC3F476644","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$3F73D8F9-1013-466C-AED6-2A0EB4BCCF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5194115f0ad4456cfdcc257f33658d953ef9239e","datavalue":{"value":"hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$D0A0AE44-0D94-4D9A-A34D-598BF3124A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$E1C21CDB-486B-4457-852A-471C8B69A4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$0F512CBF-C94B-4F92-AE0D-5D747F0FF87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$419E7D63-F7D2-4D4C-8939-158535F8658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeedfbe2cc116d22a334a3935e3954c6415bd6c","datavalue":{"value":"identity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$94283F55-1482-4E43-BE10-D6EF27080C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c15a109dbc7be0617b860e7bb5d142434e659d4","datavalue":{"value":"definitional reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864209$233C37A1-127C-493B-BC50-7CA517CE820C","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":"Q5864209$0DCC64EE-C2CF-4576-AEB4-FD4BE98FA7DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d85bbab750001e135e5eb46567159886c426ae7a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864209$5997C8C3-B3B4-481E-A13C-5A4DE589B9DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7680ad08937e5bdd7dc8cc5530e797932ccb3041","datavalue":{"value":"W4251168359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864209$4004930E-5DA3-4094-9891-B61B90DE2B1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e3babe1f3a4f29027e88d0b7ab32e0dc176f4d","datavalue":{"value":{"amount":"+0.786480724811554","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":"Q5864209$BC58E70C-F15B-4F42-861F-388C201C01AF","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":"a6a212eaad3408a0cbbebee6950c162d2c33eaf3","datavalue":{"value":{"amount":"+0.7724778056144714","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":"Q5864209$9F59E26D-ADFB-441D-9431-62253AF39661","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":"64d6bf5f007a30db82b9d591e2f72affcfefa1a0","datavalue":{"value":{"amount":"+0.7599862813949585","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":"Q5864209$23F05DC6-9033-4DFA-8DC6-BC67F1092B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ad82f325e4c4b2b04e5a1d652bfb1b9501ad48","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3d80a6c7540b3a7a2a83b572ef251dea0f46ad","datavalue":{"value":{"amount":"+0.7442424297332764","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":"Q5864209$8658246D-C51B-4D66-B6A1-17AFD42992A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f608f34a39b4ea9ad104be92d335555ed4fbc61f","datavalue":{"value":{"entity-type":"item","numeric-id":2240552,"id":"Q2240552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b11e083e5a10aa0ab7dd857597e7b6a7ab9f3de","datavalue":{"value":{"amount":"+0.7363533973693848","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":"Q5864209$DD962C94-1A59-4F68-9D01-46559C262262","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":"Q5864209$5FEC19B6-DFCF-4CD0-92EB-5FD068FF4848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5864209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5864209"}}}}}