{"entities":{"Q4357322":{"pageid":6386921,"ns":120,"title":"Item:Q4357322","lastrevid":46946481,"modified":"2025-12-25T22:03:14Z","type":"item","id":"Q4357322","labels":{"en":{"language":"en","value":"Relational proof system for linear and other substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1066121"}},"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":"Q4357322$0252B735-DEF1-4408-A1C7-85B9DFA3950F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28b62ca0b571e29f7fa53f10f9bdc68264e58f02","datavalue":{"value":{"text":"Relational proof system for linear and other substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4357322$38EE4878-0166-484E-AED3-5BEEA56EC00E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e6266e66de6c3c53eaf7db5a94c02acda621e1a","datavalue":{"value":"0889.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357322$B109AF7F-AC13-4722-A3F6-69514DFD2067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357322$5AFB0931-04EC-4A83-944A-558F8C42FD41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da5ec653cd76b79075d7eca2361024c9b561613","datavalue":{"value":{"time":"+1998-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357322$5AB85B8B-4EE1-462E-A706-28DDE3285CF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf0932123b8399f70f178b75fb05c33ccaacf0d3","datavalue":{"value":"https://semanticscholar.org/paper/cf9b177ec46669fec2f57ea5f3d4f9019546e03b","type":"string"},"datatype":"url"},"type":"statement","id":"Q4357322$50B22A40-0F50-4AC8-932B-1E8F20C11BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357322$B06CFBE9-1AEC-4FDA-9D59-478E76C7FC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357322$B1227AD6-3BA7-4ABE-BAF4-09799613F382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8b0adfc886fd534a2e4c6e639637948ba389cd2","datavalue":{"value":"1066121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357322$7CE94AB0-6155-4277-8A34-396F21DC19CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$0143C197-AA47-4249-874B-EDA4190D6890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$F829A76F-2613-4702-9A99-C64C716F94DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$B69B0666-E99A-4956-901E-7FB5BB8DF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0679a7730b9df7a2cd86a8e024c1c66ce8de6a90","datavalue":{"value":"relational proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$AA80B31C-209D-4EBA-B02B-4F8A8B5772A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8bd73d5a024fdd494a36ed7a2b3cbc41f14f88","datavalue":{"value":"intuitionistic substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$E871922C-A188-40A5-A262-66FBF84360C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7cc724cec8a218abce560ef8509c95bd5711ecd","datavalue":{"value":"linear logic with exponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$A0A8FCC1-142F-422E-AB78-702B72D38779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$9E80A054-8DB8-49CF-9670-FEC3B0DC676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd5602f67965201205eef9023d4f9662eee8d46","datavalue":{"value":"countermodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357322$1CA4FB28-6E0E-4AA1-8006-02AC998DB909","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":"Q4357322$53A705B3-8D40-4493-893B-2DD443EB2D89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4d5469c449ed29f29ddf581e00340a7bb4917e6","datavalue":{"value":"W2044160264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357322$4CC413E0-35C5-44E2-8E65-F46FE1961C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8420ff220098fd9044ca5984f6019366d1b71fc2","datavalue":{"value":"10.1093/JIGPAL/5.5.673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357322$30839E75-9C1D-4EEC-85E9-CC0D8FED3EA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357322$F30C9D6C-EDB6-4D5F-AD60-015A4A9CD389","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ad55ff9d4a411da0a313d55045ee2d239f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":280840,"id":"Q280840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41bde0044b543ea7d755e8df149561fb891978a","datavalue":{"value":{"amount":"+0.8312467336654663","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":"Q4357322$D77E6773-3FDA-468B-9AAC-16DF28C12E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5f1421ddc19cb37454fbfa7aa89020dbdf60de","datavalue":{"value":{"entity-type":"item","numeric-id":4212926,"id":"Q4212926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d3e3b50771039ca5b7c304cae1fe9ab658ccec","datavalue":{"value":{"amount":"+0.821853518486023","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":"Q4357322$DA43DB7A-9ECF-4A7E-8AAF-126B1D496F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f0ac087b246e173848a29c356ce224347ab69","datavalue":{"value":{"entity-type":"item","numeric-id":5871537,"id":"Q5871537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48ecf887588eea1bdda4c2ac3ac05aafacd6966","datavalue":{"value":{"amount":"+0.8055554628372192","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":"Q4357322$31C6FA2D-F8CD-4DE1-AC2B-4367BCF426E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7d9a7f5e2e335f80d9eb52c2a55457f11fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2874885,"id":"Q2874885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1ae17392e350d482cbc8a620c047260768ae9d","datavalue":{"value":{"amount":"+0.8032835721969604","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":"Q4357322$97E13CAF-BC92-4419-8C7F-3FD692B8FE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65a7f3fdbf940e440593ae40b1bcfd8d1ab4918","datavalue":{"value":{"entity-type":"item","numeric-id":1337609,"id":"Q1337609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2212670c0d07fb2892030e0c65b6c2c619fd1cdd","datavalue":{"value":{"amount":"+0.7898275852203369","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":"Q4357322$29690383-5F91-4138-8808-E5FD63B0C61A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357322"}}}}}