{"entities":{"Q1689564":{"pageid":1700305,"ns":120,"title":"Item:Q1689564","lastrevid":43279291,"modified":"2025-07-23T10:35:16Z","type":"item","id":"Q1689564","labels":{"en":{"language":"en","value":"A proof-theoretic semantics for exclusion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825509"}},"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":"Q1689564$CE3F3F1E-2B10-4294-A100-C6D6C45576F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed2176a18d0be1754c48f9d6c55a7c2228cbfa12","datavalue":{"value":{"text":"A proof-theoretic semantics for exclusion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1689564$26B4CC95-6E01-4A52-954D-AFB28E1A7ADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c2a77d455965c88076dcbe5ae76752d0e962cbd","datavalue":{"value":"1420.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689564$2214C5BA-B0DF-489B-9128-FBFEBBD73E27","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":"Q1689564$A11A5024-FD53-49BB-82FF-859379EBE78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689564$32435D54-AB98-4A09-8E16-B457053D18A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689564$0C4DC312-26C3-4255-A54B-A8F2130D88A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1689564$5FFD21E8-CF08-4AD3-AF11-72C28876D28F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689564$85567FD0-DB1A-443D-BE80-717BD0A0928F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689564$78AEC19D-189C-44BA-9DAD-6F00B1F47C7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c03463435608e7f2c244c27faf74836c55513a31","datavalue":{"value":"6825509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689564$298D49DF-FF64-4A8D-8AF2-29417F207195","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dc86d8ee4876a712e25dc5df93d2698b651335e","datavalue":{"value":"exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689564$2E7B74CD-97A5-4AEE-9E56-8C5CF35E46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2918b283b7f1f0cd27244d690aa5d24850e24b","datavalue":{"value":"nand","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689564$FE7AD5E9-F199-44AC-9260-6ECE3F07202C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689564$B2BA426C-9F2A-4654-BD9A-471181AE700E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689564$CF8F0750-B3FA-4716-BF82-A58AF1794FEE","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":"Q1689564$A5864B77-FD78-46CF-A10D-FF131AEA15DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b89c42d365ee9d1432501defd93aa3f121ea37b","datavalue":{"value":"https://doi.org/10.1007/s11787-017-0179-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1689564$ECF8DF6A-5570-4B76-B809-0AD2BEB0C617","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dab8795666ff4dfab8c6f04ec288f7d7da0a8bf9","datavalue":{"value":"W2766972834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689564$26665C47-577F-44E5-9E5B-F1462C8C0464","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed874356f3f24effed0e669ef649adbf4dc7d95","datavalue":{"value":{"entity-type":"item","numeric-id":5737956,"id":"Q5737956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689564$E67BA216-1CA5-4278-8532-5369BA5586C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de44f59af2518b82d5b86c0c90e21beeb489a834","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689564$63E722C6-01DD-4696-ACCC-3417AA80AE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689564$6842F927-2E5A-4A75-A870-8F21B7941A60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d9e92ec3f70d2ef670087f596c09e06956e0e6","datavalue":{"value":"10.1007/S11787-017-0179-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689564$B6534C9E-C603-4766-B6FE-CB3A0263152C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f62a88172b349602e8bf5bcfcb3cb32daa801d","datavalue":{"value":{"entity-type":"item","numeric-id":3312204,"id":"Q3312204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e3957aeebcc626768f86210b59b9d9163dbb12","datavalue":{"value":{"amount":"+0.8949219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$D3BFBB41-81BD-4309-86EA-8905E59DC94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef66926cf75acb059b53261831169b475eb1904f","datavalue":{"value":{"amount":"+0.89443076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$DF046AB3-1F55-402D-B95D-A5AC9EDFE3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497bbd7dff057d8e9cda12db404d8eaa4ab2d68","datavalue":{"value":{"entity-type":"item","numeric-id":5250217,"id":"Q5250217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0aab2b3ecc438cbe9502ab21d90b8bf96cb940","datavalue":{"value":{"amount":"+0.8815218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$DA9D7591-D194-4BBE-B103-6EFA6F4ED369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cf3c2764fce7ae9474469700927a05246eb73f","datavalue":{"value":{"entity-type":"item","numeric-id":3751556,"id":"Q3751556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5479025680364e19f7f50a06cc029591828aaaa","datavalue":{"value":{"amount":"+0.87778276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$BBBEC799-8F9C-4D34-85E5-9F26E27A4189","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":"53b953362e4642dba499ba2d724f89bd4e6dce13","datavalue":{"value":{"amount":"+0.8757337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$F6E1990F-65D7-478F-A064-4F8EE09270AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00ef382e02f8356d1efbbb8356a8c84c08ca45a","datavalue":{"value":{"amount":"+0.8742564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$A23A558F-8F53-4119-9AB7-1140541F98BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc11b980e5d231fde708057b3568ec577f9924d","datavalue":{"value":{"entity-type":"item","numeric-id":5221592,"id":"Q5221592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883772b5a21322c3dfbc273810a2eeeab3c8bf19","datavalue":{"value":{"amount":"+0.8709434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$BACA9D9E-CB6F-4453-B465-3DB5997EE1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792dc24384b23aadd7bba5d6081db99c5aeb2428","datavalue":{"value":{"entity-type":"item","numeric-id":5197384,"id":"Q5197384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a536402e96386d5db2b09fb9ddb56c69155da659","datavalue":{"value":{"amount":"+0.870555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$987ED9EE-FA5C-4D76-B385-25C6D68189D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7fe2c00331db4fbbde99009df1123eb8da2b46","datavalue":{"value":{"entity-type":"item","numeric-id":5864198,"id":"Q5864198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2568d924666c152a3ebe85a03f8ffd9370a3da5","datavalue":{"value":{"amount":"+0.8693545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$47C3B6FC-C893-4D79-A9E3-5B95E4D41D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d591499170e7e58e08e897a328bc5d234ad7f1e3","datavalue":{"value":{"entity-type":"item","numeric-id":2339008,"id":"Q2339008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3175dd8ed9a96f81760401947c55c6bc4bc05f63","datavalue":{"value":{"amount":"+0.86923933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1689564$60EB430F-52BB-498F-AF62-FB52FBF36448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1689564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1689564"}}}}}