{"entities":{"Q4916062":{"pageid":6945643,"ns":120,"title":"Item:Q4916062","lastrevid":51697760,"modified":"2026-01-19T13:13:46Z","type":"item","id":"Q4916062","labels":{"en":{"language":"en","value":"Compact proof certificates for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155877"}},"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":"Q4916062$7E44F06B-BF1D-40E9-89C2-B937F0ECCA0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5511748311637b5a5068db096cb685427d4b5c94","datavalue":{"value":{"text":"Compact Proof Certificates for Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916062$D92162C5-F0CB-400F-9DD8-E7E3A352C8C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"491f7f94f89e83c97c76a1c61ddf3c3a0150872b","datavalue":{"value":"1383.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916062$BBB3BD60-2E4D-466C-B42B-44BE5A0D005A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09da7777da7cdaf1d30f90e216d31272d6a522cf","datavalue":{"value":"10.1007/978-3-642-35308-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916062$F3682C8F-5C0B-43B3-B087-D4DDDAF86E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916062$182FF5E5-DB04-43C6-927F-F97035439B19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916062$40D80CF4-588A-4EB1-A47C-21B869B8BA5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916062$69EF00AE-2A95-4D41-B93B-99E5A0AF88E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916062$87268950-F455-4CC7-91D3-1FD8FE9B85F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916062$D1AF5530-6C50-4E07-9DFF-83FFC8169472","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf5c1a6b11e8f5bc72500d8d08878e1bb115726b","datavalue":{"value":"6155877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916062$4AF16FC3-A820-4D38-ACBD-71C55046CECA","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":"Q4916062$FD347990-A5A8-4AA7-ADAC-94786EAD0E66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b25dcbfc9226f5b48a46c367a543563575d4f335","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916062$451B9F45-7216-46B0-8F2B-1C497B8042F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0d428c49567b429e2c3f3788228ee276066b13d","datavalue":{"value":"W176871363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916062$E6AAEAF3-9C07-462A-9C94-9EA7A265D165","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd7b19d33a0b8c33cd434318642a61dc39c393b","datavalue":{"value":{"entity-type":"item","numeric-id":2843814,"id":"Q2843814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be614c89a2ee829442c296cba461f20fad7be363","datavalue":{"value":{"amount":"+0.7436189651489258","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":"Q4916062$C801A648-CCD6-40F5-8038-75C5BC11B8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6542d9083c9e5524e9a1e49b8ac795da6e8dba","datavalue":{"value":{"entity-type":"item","numeric-id":5862524,"id":"Q5862524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef95059407e4339027341c620179ffb7c2a3496f","datavalue":{"value":{"amount":"+0.737808883190155","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":"Q4916062$68ABEE38-890E-4FCA-BD9F-079C27D1FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c2d932897e0b1ff4f5e3678b99652fe44ca024","datavalue":{"value":{"entity-type":"item","numeric-id":2986827,"id":"Q2986827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48da38b725b223f1635f674c3a6ccb3c4e440c36","datavalue":{"value":{"amount":"+0.7252515554428101","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":"Q4916062$20CCD9A9-655C-44A8-9EBF-9F3FBBAAE9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b92e0c5e37d8649b02e898e82086aff0c3e28a","datavalue":{"value":{"entity-type":"item","numeric-id":4222837,"id":"Q4222837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf97b245609187fb01ec3f6f689eef01368ca54f","datavalue":{"value":{"amount":"+0.7245857119560242","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":"Q4916062$B243F4BB-948E-4EE5-BBCD-62C3BE8FB5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"807eed72d27aeea957dceaec413d50410db6c7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1326773,"id":"Q1326773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a338748d37830925d381366fef0b4ff682e6609f","datavalue":{"value":{"amount":"+0.7226358652114868","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":"Q4916062$29F69ED1-8152-4379-8F16-DA82F774E303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916062"}}}}}