{"entities":{"Q5430139":{"pageid":7459713,"ns":120,"title":"Item:Q5430139","lastrevid":50232779,"modified":"2026-01-13T14:37:01Z","type":"item","id":"Q5430139","labels":{"en":{"language":"en","value":"On categorical models of classical logic and the Geometry of Interaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5219785"}},"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":"Q5430139$6010EE8A-EF44-4873-A94C-D7F2D6B98664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bbfe80085e7b17ba07d07ee0a82623166a3e35d","datavalue":{"value":{"text":"On categorical models of classical logic and the Geometry of Interaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5430139$6F550C8D-BE2F-446B-A186-CB1EDC6B13A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e978692a26a8073681f5c9da7b6880c8a26ccf9b","datavalue":{"value":"1129.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$9266D6D2-AF81-40A0-89D7-6EE3A57F10A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f65fd161c386c03a5740c20a009383f6a674371","datavalue":{"value":"10.1017/S0960129507006287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$6D3193F3-70AB-4197-9CB1-81C6FAA39714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7ef1733c276d7b71a41a1ae09428b7b77bf220","datavalue":{"value":{"entity-type":"item","numeric-id":1398460,"id":"Q1398460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$D92AD39B-14B8-436A-8387-32F0B5DA25D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$5E9496C1-5404-4105-9979-D99B637A77A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$7065BF76-1E3D-49F6-8397-42CDF9AB1869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"314b76050ef3171781c5f6c923ad9c6a4de18f5b","datavalue":{"value":{"time":"+2007-12-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":"Q5430139$7A50BA00-10A9-43F3-A4C9-D53555A3B423","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$5B6E25C1-0009-4BBB-A466-82F1CEC5A6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$4C6F2B4D-148D-4BA6-8456-EF015960CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$994033E3-0AED-44DA-9D41-B95889052ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$D3856880-3A29-43E4-AF54-1D9DAEC711DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$9803D4E9-E0C6-48C4-BECC-BD148172E4AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2abfbf53d8794c53c6b9294792431ffd4bf5d064","datavalue":{"value":"5219785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5430139$45E0182C-87F7-4DAD-816A-30DFD619DCF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee92a0e5a0926789e8f9fb1b6dc9e58966501ce","datavalue":{"value":"Boolean lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$1409090D-DF93-4CD9-9C45-6359D6FE4F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddb6b92164e4b150c7315e5feb6d9606fe9ce06","datavalue":{"value":"classical sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$134979D8-792E-47EE-A7F2-185947C6A9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$239FBD9A-EA5C-4CD2-AE20-58B3A08DFEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8230a611a98fb84134c25d2c8ed13d57cb68dbad","datavalue":{"value":"proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$82D3E2C3-782B-4868-A535-4425043D6FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e68fa3ab41b8745031c93365d320886c2a9448","datavalue":{"value":"symmetric linearly distributive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$EDEE37BB-6180-40A2-AAC5-A1D8A65E940E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99e3f3d1c6ef5b8aa08703a7fa0ec545e96945f","datavalue":{"value":"Dummett category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$2B240F1F-A1AB-40A6-9D14-9F8085E94D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c1968a9f9d5283ab066cc19ecd77d2a488e5ef","datavalue":{"value":"classical category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5430139$C3F13FD6-0433-4DF1-B930-68688E655995","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":"Q5430139$4AF6837F-62FD-43B7-B5A2-3892A975AB39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$CBB2019C-609C-4FB6-805C-C657DB7EB9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$383B6933-A16B-4EDB-BAA1-1A82D4AAFDD6","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":"Q5430139$6307EA51-76CD-4602-81CC-CB9C7249546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$659606AD-FA91-4CA6-ABF7-F6813F31A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf5865cd07ece1ba1ad76aef5a35df3bc8decc","datavalue":{"value":{"entity-type":"item","numeric-id":1588062,"id":"Q1588062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$8E8FDDE8-B08A-46E3-990D-53DFD1028951","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":"Q5430139$0106200E-E46F-49B2-AF45-0CD44223E931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe32c56634fc0606f2501355777421a9de85e69","datavalue":{"value":{"entity-type":"item","numeric-id":1818630,"id":"Q1818630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$82A9632B-8F58-4127-8CA3-2D7811CAF498","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":"Q5430139$1C985D72-8480-4BAF-A315-D6505A81AF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$F32AB13F-8431-46D4-896B-D965B4DE40B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73da5f0432231d45dc9d442ebbe6a90a1fdd828f","datavalue":{"value":{"entity-type":"item","numeric-id":5939825,"id":"Q5939825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$E093AE47-23B0-4AA8-A9B2-6887EA942329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$2FACBCA8-7047-4F27-BD9F-6C3444611E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$DBF56087-2F1B-4C42-B60F-A46A17425026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee5d222aba101a0acbf527c26af2c58471ddfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$6624884C-FFA6-432C-9925-2A03318C63E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad0a431c6a1de3f80a72a3273bd827a7a07a7ba","datavalue":{"value":{"entity-type":"item","numeric-id":5957852,"id":"Q5957852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$8B4E90A4-0C47-4AB9-8E8B-9FC841AADDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5d548584c028db5c5bf0690cbeb3e9237fb5b0","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$86E5D2D1-1023-4044-BABB-93C345C8823B","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":"Q5430139$F228A2AB-9AF5-4784-BA95-52D4D60292F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$1E4327DB-2450-40C3-882C-FBCF471C407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a63d513be082099ec3002f581d7dbe5d33cf9f","datavalue":{"value":{"entity-type":"item","numeric-id":2576913,"id":"Q2576913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$97476700-83CC-41A4-843A-4A1147D7080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5430139$75BB91F0-B3DA-4066-94E9-323A45CEBEC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a183f05aa5af7a7b099ac109e1eb7c526c6215c1","datavalue":{"value":{"entity-type":"item","numeric-id":2576913,"id":"Q2576913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5204ac91e9470eb84e4f1e33291a5093202d9255","datavalue":{"value":{"amount":"+0.8410850763320923","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":"Q5430139$2C6E1A7A-24A1-49F4-BA0F-F61E75DD7ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c666404e14481b354babce0f8e3e69851053c744","datavalue":{"value":{"amount":"+0.7766727209091187","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":"Q5430139$C2E11EEB-7C25-417F-8CDF-62B967BE3796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23d0d506b3c04e3059aca284a58e3bb29409a2b","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2773a6ac753f81a3498c85160cbbacfb1692088","datavalue":{"value":{"amount":"+0.7764928936958313","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":"Q5430139$11430922-B3C9-4CA5-A9B6-0947E942914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00f6b774170a9989e7745f39d5e49c0da6727e1","datavalue":{"value":{"entity-type":"item","numeric-id":860833,"id":"Q860833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb5c345815f61975ca8749ac6374d233d7040d0","datavalue":{"value":{"amount":"+0.7636315822601318","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":"Q5430139$09C3AE74-503B-46A6-B25E-55E1D3A806C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e1464287a1aa9fcff875e1403bec7c4c7774c63","datavalue":{"value":{"entity-type":"item","numeric-id":534708,"id":"Q534708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bbe99d91b9f89597b22373a55c14c600245985","datavalue":{"value":{"amount":"+0.7448445558547974","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":"Q5430139$4A30B2E9-FB22-47A8-8AF4-51378C2F62D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5430139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5430139"}}}}}