{"entities":{"Q3363460":{"pageid":3374165,"ns":120,"title":"Item:Q3363460","lastrevid":49761274,"modified":"2026-01-10T11:51:08Z","type":"item","id":"Q3363460","labels":{"en":{"language":"en","value":"THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4216203"}},"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":"Q3363460$CD23DCC7-B7DF-4155-A58F-B026FA6891B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4741f19f68d8db1f85496d1df7ec35662686b006","datavalue":{"value":{"text":"THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3363460$5D2B783B-478F-4605-B1B9-590AD361BC8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35bf01a77d9241c6b29fe7d5cf8e8d4c074df2bf","datavalue":{"value":"0739.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$62C60FD9-BA50-464A-8DA9-0F607AF48D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3363460$89CA6014-F422-428F-B6D6-23ED8D4A9717","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3363460$A3AE8539-00DC-464D-B7C5-91C24DE19960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3363460$C5E2C25D-D7AA-4DD1-926D-7D4DFDA7431A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$9EA000A3-4A23-411A-8CE6-03831683EF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$08E39D7A-065A-4871-BCA3-687378580F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$3D3AFD3E-C486-49BE-AE9F-F6B364A07F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4438891986a2877f5160a1f3cad2d1878ac972","datavalue":{"value":"4216203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$C6658FCD-7B80-4DEB-B9B6-8F18C612715F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21907e30ca5507f29e613afce5fe64264de9c45f","datavalue":{"value":"judgement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363460$67EA07EF-0AE0-421D-AEE4-2E3FC327DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363460$75AE7829-BE70-4435-B0F2-69D50EDE79A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363460$A08B5217-0950-41AC-A74D-A975CA4B7152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363460$B813F9F2-8B81-43B3-87C0-A6C065A0D494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f77cf0c11a8a30e5ae71a8e50ebc240215b7172","datavalue":{"value":"well-typed program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363460$AB5AE564-2D78-4C86-8C1C-40FB9796D726","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":"Q3363460$CA5F9601-140E-403C-B01D-4E0DC5E55F33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceaa2471f3fdfd12136ed5b33920d437e41aa224","datavalue":{"value":"https://doi.org/10.1002/malq.19920380105","type":"string"},"datatype":"url"},"type":"statement","id":"Q3363460$69650CD0-0F81-4E7E-89C6-C12811265089","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9033b0090606a17ab29087bcfc244f34bbf0871","datavalue":{"value":"W2012710467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$869155BE-9C79-4628-A97E-C11B9B3373D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c4c24c73113f407d700b6aa2c0e1d6a41a1094e","datavalue":{"value":"10.1002/MALQ.19920380105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363460$9C8F1553-A5F3-4402-99B0-36784D2DFC4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed732cb2aed7d71afab3713fe90a6c86c5cc275","datavalue":{"value":{"amount":"+0.8029299974441528","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":"Q3363460$FD93B24F-5CA3-4AB3-AD70-769E192DBB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0e6ac65fcaca12f95bc37d3596093638a2cf39","datavalue":{"value":{"amount":"+0.8029298186302185","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":"Q3363460$0F4F5D2E-93E3-4852-9FB6-7D316C8C3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8c22854c84567dec9ded8ca033bb9de29312b1","datavalue":{"value":{"entity-type":"item","numeric-id":908909,"id":"Q908909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357d70e08d377463303c539aa70f094f062f5a5a","datavalue":{"value":{"amount":"+0.7840010523796082","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":"Q3363460$CE8D6B5C-5355-46E8-8CCB-144138C5E914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfee32583a5668309ad1e05d531587b110bacd5","datavalue":{"value":{"amount":"+0.7807613015174866","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":"Q3363460$3C8ED3AC-813E-4CD9-B649-607E2090B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84fcc83d95b255ba25da12473a3616fa63d0061","datavalue":{"value":{"amount":"+0.7728676199913025","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":"Q3363460$612ADF1B-3F3D-47F6-83BD-2201BA2B12A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3363460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3363460"}}}}}