{"entities":{"Q5864208":{"pageid":7893759,"ns":120,"title":"Item:Q5864208","lastrevid":56856915,"modified":"2026-03-23T20:41:05Z","type":"item","id":"Q5864208","labels":{"en":{"language":"en","value":"Completeness in Proof-Theoretic Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537549"}},"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":"Q5864208$4FC1925E-F585-413F-B6F5-943F15DD2096","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d50df147a54e5d5279659f4bedd90811b1b423f0","datavalue":{"value":{"text":"Completeness in Proof-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864208$1471D860-BA1D-4571-821C-9EE75F064A9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca4034b6d32a8e4933188173afa1868df8947393","datavalue":{"value":"10.1007/978-3-319-22686-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$EB5930A4-E97A-4E96-885B-B27B7893130B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf54ab2c7328bda3b5b67988ad156936a08af29","datavalue":{"value":{"entity-type":"item","numeric-id":2516583,"id":"Q2516583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864208$45FF84F4-F7C8-41A9-BA14-11197518FEA6","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":"Q5864208$8169348B-1E44-400C-9A33-ECA3DDB44281","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":"Q5864208$AD4E838B-09E5-4626-92FB-547BF8B7F24C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$1B01B4EE-EEC6-4070-ADDC-6D3DB89938ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$D1E50D89-AA16-4AAD-BF52-F574E4750C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$9E88DDF1-8A43-41F4-B8CC-E214A78BB0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$2DD7F68A-89A0-42C8-B24F-36CE49A3E3B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86e669a0daea3edba67f08f1208c90ac6713a816","datavalue":{"value":"7537549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$16694D2B-C1C0-422B-9284-B78029E74FA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864208$91421176-D7F5-4F9F-9E5C-725DB6C8CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf705c3b0ab97896a883e41d21241fd7649af2e8","datavalue":{"value":"proof-theoretic validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864208$4B40B614-C7E0-4638-B8EA-91C8EC448542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864208$F650E689-EAEF-44D5-A30C-4945F607DDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864208$507E7E46-AEC7-4FD7-BACC-7DEA7961B956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deeb45327f27f462787c027196bf84e3d67f7ec0","datavalue":{"value":"atomic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864208$BAB800CB-517D-401E-870E-1289EE00509D","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":"Q5864208$AF91367D-B2FC-4C0E-B5B5-6FCD9F1AB724","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b96104585ee7226b76183b93a50de6d410da279a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864208$831ABB92-78F9-4AC2-BB85-3A4D487D7BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fc4344c49f6524c2225ff1bebaa883c74c55ad6","datavalue":{"value":"W2277133989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864208$AD796292-CDD4-4B77-864F-BC743D1E9748","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b4fbf39a2f0b45b048ba6bc04546c77112217f","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503c3ae4f5824be67a24aed214d4ed34a95f812c","datavalue":{"value":{"amount":"+0.8373512029647827","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":"Q5864208$E5BB6534-CB10-40F0-A3F6-C191DBD72F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b7b63652b23e3553dcb805dc09feb2bdfaa837","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47c156c608d1820d913472436dbad86f420ebb1","datavalue":{"value":{"amount":"+0.8345124125480652","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":"Q5864208$F9424E1F-D588-4E19-8FF4-66B30B82BB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0e888fdcbe9803359bf4363aa72e847572b502","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b36e8a4b6af5e39f1117cca853a24a181e37f9e","datavalue":{"value":{"amount":"+0.7925248742103577","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":"Q5864208$B003D4E1-1BD4-487E-99C4-40054B4B2D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb0ebcde0e70a22f7ed1cfb31153bb6d28c8f93","datavalue":{"value":{"amount":"+0.7915821671485901","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":"Q5864208$055CB229-9E45-485C-992D-F6A2054554BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14a0c5069ccb8a74dc33c63926d5850bebb8ea4","datavalue":{"value":{"amount":"+0.7800915241241455","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":"Q5864208$E82D9CBA-8CCF-4380-8105-937F6DD35491","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":"Q5864208$38188CE9-8CF0-4114-B8CD-BA55FF77C09A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5864208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5864208"}}}}}