{"entities":{"Q1982017":{"pageid":1992759,"ns":120,"title":"Item:Q1982017","lastrevid":55390177,"modified":"2026-02-17T15:17:47Z","type":"item","id":"Q1982017","labels":{"en":{"language":"en","value":"Proof nets for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7391978"}},"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":"Q1982017$E18D1BD9-016A-4C6A-9828-2742355B9A5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a6a6f216bab6139583fee699f3175053a0660c9","datavalue":{"value":{"text":"Proof nets for classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1982017$1B0E308C-2AA2-4C47-90BC-AAE25106CA67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db61d8d326adba12259be053d753dd24abd51758","datavalue":{"value":"10.1215/00294527-2021-0016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982017$97735AE5-C9ED-406F-AF4C-68A936A29254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$6DC5D71C-F687-42B5-BC50-C958600C3558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$59EF7631-3909-4AB7-93A1-B077E501FD37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$DFD8E1AF-A60E-4D68-91BC-C989AB1F0F23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a092842a78445abe6eddf882d96533bd820ccb4","datavalue":{"value":{"time":"+2021-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1982017$C1E4D65A-5DFA-446B-8A92-B96BBF90D224","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982017$0478977C-69F6-486F-9DEB-FE13D34667A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982017$F0D3430E-D9B1-417D-828B-9F684995305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982017$65AD6B15-276E-4D45-97DE-548B22466608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5589ed51ec3f57eb6490e84ab47a930f0d94a38","datavalue":{"value":"7391978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982017$4019FB24-1E61-4001-93A3-3AFCEF11EE79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982017$2733DE29-32F8-4CA3-9858-191BEF10A60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982017$8E4B27FD-3FFF-4B18-A2F7-A0DDF20D03F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982017$BDCF75E2-D7AB-47E6-A67A-3F5D658104B8","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":"Q1982017$6A1627B2-973C-4472-8682-66D38BCC225C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"182d2784892a0805ee05af0dcbc85b873d06f142","datavalue":{"value":"https://doi.org/10.1215/00294527-2021-0016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1982017$3FBD2477-25AF-469A-BCAC-0FC1F31C200A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47506b083f172d70935f485a27319c24211a8ac0","datavalue":{"value":"W3171554509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982017$80D0DF04-7409-4143-8E57-6980475AB092","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e212bdd6f4b87b546d50f29b1d7fea21385722","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$753EB5C4-887B-4286-AEA6-D6E7D02CD00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$C4CD7A4E-B1B2-44A1-BFAA-6C487065661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322cb536d18d13274b87adcf8c32b9e9e2e2316b","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$15327C9D-3DCE-41F5-BAAA-8A1F853D0CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$53B6D851-C34A-49E6-928F-74E7AABF607B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$C6D2A923-A9F0-43AD-A377-BE44AADB9806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$ABA16151-CE0E-43AC-AD23-FBD30B11F57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$6830E5B2-BCA8-4DA5-B416-B9B8F9DABD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$46DBD715-68E2-4C96-8B2F-610B317C939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$0123EFD8-8671-4E82-85AC-9707E2E5A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$4B47961F-7591-40F6-883E-4A65825736C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2e18d1df9fdf7c997855f23fd7e29219c01e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$8D46F3F3-3E3E-4E28-9D49-7E052A066506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df56abe85eec7fc6ed3d6c8b3236b230a8db0d2c","datavalue":{"value":{"entity-type":"item","numeric-id":2946570,"id":"Q2946570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$C974C404-6F1D-4AC3-8279-0F3FF06FD42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b442700e9f1c677d5d95db2d4b0cdb5bc40853f","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$C62A1161-0837-4660-B22E-1948B4CC40CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581bf3ecbc0dac03b37a51be7589237f484080e3","datavalue":{"value":{"entity-type":"item","numeric-id":4917988,"id":"Q4917988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$71CF2A59-7015-49DC-BEE6-7D8CEDD901C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$8463578A-0721-4B1C-9097-5630A5BF4967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b77dcf793e4a80772a3eec7193ad156522687c3","datavalue":{"value":{"entity-type":"item","numeric-id":5704013,"id":"Q5704013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$210962A7-4A87-4834-918F-106C31DFB7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23e4484dbe90c851fe3b3eecd6556006a3445e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$A8FB3DC6-77E5-4CB8-A8E2-9882D0A0FE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$424F9CAF-E2C6-4D67-AC98-FD207A1298AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da631b6cfbf07e23d25864fed3656ffc6ce36b6","datavalue":{"value":{"entity-type":"item","numeric-id":556824,"id":"Q556824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$04B56D6C-6F9F-44DC-B3DB-5915B99D1F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$77ED535C-42F1-4510-A7A5-B2206E47EF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b9113fb7fd41708bb2c9aadf960b324b3f15d4","datavalue":{"value":{"entity-type":"item","numeric-id":639671,"id":"Q639671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$84C83184-62F9-46F1-ADA0-F5BCBE695C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbc4fc3570dd46672c02bb474c88ff9e54dcc75","datavalue":{"value":{"entity-type":"item","numeric-id":1946674,"id":"Q1946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$AA8FF97E-9A06-472C-9EAA-EC7C704AC6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4fdc336b43063ea23854b1e9b2526543940aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$C93B5482-887F-4E76-802F-A6643D31345E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$2DE4868F-306E-48F8-8719-5C671D21A0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$73888A5E-ABF8-4A91-9EB3-533216478408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5170845ad4d274290ddb99e4bb6d6d6f27905124","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$69B5ACEA-8CD9-408D-A0AC-829A28785808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$909EACDF-F141-440A-A640-C73C18632182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982017$FA6D1A6C-34E9-4C5B-B387-C82D332A416B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a0bb17488de7167be9a8d4b9863448336bda04","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8533b792834c020436191b4671d2e6b64f713fd2","datavalue":{"value":{"amount":"+0.8838968276977539","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":"Q1982017$383665FE-FD08-4E1F-8B86-B8CBB9EBF315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4a9b5cb99dde5bdbd53e5e3a4ea149175d0c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4933330,"id":"Q4933330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884ec3aab718350cf0ab903d81ecea962ca1e3d8","datavalue":{"value":{"amount":"+0.8442935347557068","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":"Q1982017$E028A31A-07F0-496F-8BD3-A07437A4611E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872386990e8ec7de89eb41f32129f183a9544e11","datavalue":{"value":{"entity-type":"item","numeric-id":1946674,"id":"Q1946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0afa5f7975158e3e2e19656b3ae00bce8ce6a0","datavalue":{"value":{"amount":"+0.8402800559997559","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":"Q1982017$C88484E3-930C-457B-BFD9-BEFA344AAC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4823ddff5ca7b84d91a4ccce8704f4034da7b8ef","datavalue":{"value":{"amount":"+0.8153919577598572","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":"Q1982017$B230E043-2389-4867-9DD5-F75294864FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73073dcfdbafb28af7083f0cfceb76864448e84","datavalue":{"value":{"entity-type":"item","numeric-id":3576229,"id":"Q3576229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be598b4e5ac5205bd9c6c9f469aaa7b2516fdaa","datavalue":{"value":{"amount":"+0.8070210814476013","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":"Q1982017$951A0BD2-D8C0-4D7E-B230-0C18EEB8E302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1982017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1982017"}}}}}