{"entities":{"Q4323009":{"pageid":6352610,"ns":120,"title":"Item:Q4323009","lastrevid":41865999,"modified":"2025-05-09T05:11:21Z","type":"item","id":"Q4323009","labels":{"en":{"language":"en","value":"Some Properties of Linear Logic Proved by Semantic Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722160"}},"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":"Q4323009$8F5E2959-D2E9-4A0C-9E61-87CECE6CD1D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"073964a47f3da001c1922f29d2a1c71fe83278b9","datavalue":{"value":{"text":"Some Properties of Linear Logic Proved by Semantic Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323009$CA92DAD6-0700-4016-B10A-D9534C6CA2D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f560594738e2726885f29c7fdc2c62d96097ea63","datavalue":{"value":"0814.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$6F64EFC1-6BE1-4B50-ADE4-6B703685D628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323009$7040BDAD-1304-471F-9627-6D1664FC4193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3f5020bb391825f091a9eb9719aa6d72bf1e1b","datavalue":{"value":{"time":"+1995-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323009$385C75EE-9267-4130-8F5D-7E2D9EB96DD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8805e0260d4335b6c092c8fe57a57e66f15295d","datavalue":{"value":"https://semanticscholar.org/paper/39d8e2176f04f069ffc940d609668ac59fcc3d11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323009$E1D095AF-C8CF-4735-860A-818BA2F16F54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$9124D479-92DA-46B9-80C0-3D3990A058E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$4BC6386B-6B30-411E-9B29-B77C4A7D1237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$C1F249D4-0EAE-470D-9E86-E0BE9FF5BDC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e9087ae2c10badf47e94c95a358783880ef1021","datavalue":{"value":"722160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$B21B3677-231E-498D-AA99-785D53202DDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323009$1DACE5FC-E8B1-4329-8613-549B6C55B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9ca4c74f2a1654c41dd63a805fadad56c0db56","datavalue":{"value":"fragments of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323009$F4CA2D45-8A86-406A-B7D1-E305D5D0CE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ead758945e42704eb2373295bd8b7b05f66d65f","datavalue":{"value":"proof-theoretical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323009$33D48BD7-A04D-4147-8598-F0CF7EEE0986","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":"Q4323009$EFFE457E-D2F6-4AAF-9AF3-4FD46CC3E4F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a95cfc9d1725129f3c554f04aa643ee5a6a95c25","datavalue":{"value":"W1970417212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$16AEDC1C-11CE-4907-AC2D-AB8B8632DE5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eacb495e0f411570239263d322ec6a3076b0a96","datavalue":{"value":"10.1093/LOGCOM/4.6.929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323009$D4D8B3F2-EE4C-4186-8FDF-A9DC6AED2C8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323009$D20EBD5F-0A10-46EA-A62B-C1F6F180461E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2443660d9eb2d9125cb8ba5ad8a102a8be61deb","datavalue":{"value":{"amount":"+0.9426056","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":"Q4323009$B1AA6285-DA08-4256-AF06-95489D54CB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad74480f51f6a27fb78219e4b7a71f25ec115f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4353717,"id":"Q4353717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a53d5f43062f4936a4ad5c0db984ff04c526f4","datavalue":{"value":{"amount":"+0.93786037","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":"Q4323009$973B12DE-976D-4DCC-A45B-90C73AB8D492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b47ee5e5f10bbecd415ab93bd6ddea2380749b8","datavalue":{"value":{"amount":"+0.9152365","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":"Q4323009$557E4E5F-0477-43DE-B4A3-A873B04EDD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c26b229c18866fdb2d6a2e947ea73fd75f3274","datavalue":{"value":{"entity-type":"item","numeric-id":5865560,"id":"Q5865560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab250fbff6c38ce707d64185f3fad2bb49188e48","datavalue":{"value":{"amount":"+0.909153","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":"Q4323009$F5411BBF-BC84-4749-A1F7-3C78852D59BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6b5a21b23cb5361846ea7b4f01d3a5dbf56759","datavalue":{"value":{"amount":"+0.9047681","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":"Q4323009$759C42B5-BCC6-4A6E-8AE3-DB35050420C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9677ed473cfc5c8cf0f2c4565709266a7e1d552d","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e91e362dd59ff3ed270d272f3a773bcfa48ca6","datavalue":{"value":{"amount":"+0.89246964","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":"Q4323009$419A6C18-708E-4227-8AD4-5DC746CDBE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad654cbc3d3fd4f21ff222ba43f6260ac0b7071","datavalue":{"value":{"entity-type":"item","numeric-id":5941199,"id":"Q5941199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78519088a0225039d37804d011ac6c01a55c4158","datavalue":{"value":{"amount":"+0.8918543","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":"Q4323009$44FC75E9-8842-4CC1-88A9-5C423D4A3D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c752f8d5e0d06f541065f2affacb05a9ddf707","datavalue":{"value":{"entity-type":"item","numeric-id":4458702,"id":"Q4458702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e5bdf78c058a30d3788e1add80f7fe531d12ac","datavalue":{"value":{"amount":"+0.8903326","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":"Q4323009$75E65B53-5A81-4E0D-97C0-7265DAAA3097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b62631dd58e588053600d632d5e4d591b4bca1","datavalue":{"value":{"amount":"+0.8893072","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":"Q4323009$6CC7A16D-1582-4CB2-B0B9-517668624FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0721c9a5265cc702b65cffaebe526cc026a80ece","datavalue":{"value":{"entity-type":"item","numeric-id":2922494,"id":"Q2922494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b16e9ab6e82a441eec32837606c16e9eae475c9","datavalue":{"value":{"amount":"+0.8882092","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":"Q4323009$219B8615-EA63-42DD-ACD7-25E16B1CF04F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4323009"}}}}}