{"entities":{"Q5259724":{"pageid":7289292,"ns":120,"title":"Item:Q5259724","lastrevid":94781342,"modified":"2026-06-05T07:40:35Z","type":"item","id":"Q5259724","labels":{"en":{"language":"en","value":"On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451728"}},"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":"Q5259724$D1DE2791-DDF0-427F-B391-7B25A09F6FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f837e7f9259ee5bf66a223610379f22caf9f5333","datavalue":{"value":{"text":"ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259724$C0DD2683-219C-4416-AE31-7A5CF995FB80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b45a348febc7d0ef6767f16ab27a7933a5be2933","datavalue":{"value":"1345.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259724$C9E780F6-8B18-4EB8-80FF-78A2B5B4DFDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d70bdffeb8181a4e2cc2e5fb1d1f1b1df3fe20","datavalue":{"value":"10.1017/S1755020315000027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259724$470BB0FA-A2CE-4990-AA4E-C8B4F6552253","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$F3C6DB0A-019C-403A-A1AA-9B14C65DB22E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$E8E282C4-4F4B-4B4B-B8D8-461C2A59FFE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259724$2BD2F770-43EB-4F39-BFC7-4419FE6964C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259724$3251C720-3C4B-4C27-A53E-A5CC24CAFDD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88db67d8824f601ccd9a0d402513ba2e4fa5d7a8","datavalue":{"value":"6451728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259724$9A8F5C96-A528-4CEB-9C48-29DE39C37DA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259724$B590F53E-D392-4CEA-8E21-F98BE5983F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d9bad7044d7e713f57201082f918b86fe5d6b8","datavalue":{"value":"canonical derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259724$17EFBDE6-8B7E-4F3A-870B-8F60D289870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cea16dc6b1f6b1fdf35cb79a7592648bb7c648c","datavalue":{"value":"open assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259724$357F30E0-92B4-4BC6-ACE8-22BCB8D3F146","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":"Q5259724$8F2300ED-489C-4825-AA3C-57E64E6E8EC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c249069543662db3275f47726248b0dfee75158d","datavalue":{"value":{"entity-type":"item","numeric-id":3147433,"id":"Q3147433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$E0E14118-13DA-48C9-96AA-6EE8FA21DEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$F19CA8A1-E9E6-497F-BDE8-4E9FD16A6C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$663A0006-AF07-4EE4-8DE9-33CF9089C7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$24ABD52E-4CE0-483D-907B-12ACCC95CE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$C009C994-F0E2-45D7-81A6-6C8072219CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9da6db278a0b4e7baad52787cf34ee8dcacfbb","datavalue":{"value":{"entity-type":"item","numeric-id":452347,"id":"Q452347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$583C34B0-2E3B-4414-B097-F31D50A02003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$C60B231C-956D-4D95-83CE-12787ABE58F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37292291198f0cbe5db557812804e49ba834618","datavalue":{"value":{"entity-type":"item","numeric-id":3096815,"id":"Q3096815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$66F72D4E-DE7A-4217-9E36-4F2D3AADE9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f7b46411c388883506d370dc2aab419bfb347c","datavalue":{"value":{"entity-type":"item","numeric-id":3795662,"id":"Q3795662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$8A25D2C7-7235-48FA-92CD-E461F1EF6ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$374512F0-78F8-4B36-8342-8B3A10DDA447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095235182a772e949a894fe1e8dd7dd415201919","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$DC24D48A-8D07-43EC-9B01-41205788E99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$28AA0B27-2E3B-4A6D-8387-C456E9BF63F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49f121476c3beb5b9d0e88b7c37b584c9fc8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":383070,"id":"Q383070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259724$7F4A5A57-F5E1-4F36-A6FF-B0B492C06742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf82167ee5bf47c2369807b0f7d492b3ff96e821","datavalue":{"value":"https://doi.org/10.1017/s1755020315000027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259724$88E45ABE-4669-487E-AA77-34508014B44E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fcc456a5a6a285b5679f5a943d16df41bc0b951","datavalue":{"value":"W1993368359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259724$02FE7A04-A041-4A53-A22B-D942FA6270AD","rank":"normal"}],"P1643":[{"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":"82652468509ca18d2b66364e9eb1f3037451662b","datavalue":{"value":{"amount":"+0.7967488765716553","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":"Q5259724$9352971C-8772-4554-A62A-06A1A6D7E04A","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":"1e08f73a793f6a20177bf174cd953077121547db","datavalue":{"value":{"amount":"+0.7812241911888123","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":"Q5259724$E569B0A8-2A1D-4116-A58F-FC59F618ABEA","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":"ee4d10d07d4d0fd4dac6ca0dcdb8c4687086e97a","datavalue":{"value":{"amount":"+0.7621448636054993","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":"Q5259724$E71534AE-8D8E-4A9F-BC99-24A3EF791B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e3ed989bb797d45f4e2bb5ac79877de06a89e2","datavalue":{"value":{"amount":"+0.7456272840499878","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":"Q5259724$79254C29-DFC4-410C-AFF2-43430B576D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92dc078299696f4e9eba95ffd121aedc1a78b6","datavalue":{"value":{"entity-type":"item","numeric-id":4903813,"id":"Q4903813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79f55eea938133d82fbc2ae34f834dd9683edb1","datavalue":{"value":{"amount":"+0.7455163598060608","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":"Q5259724$3CAADA44-02AA-4395-B79E-3E09353FDF25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics","badges":[]}}}}}