{"entities":{"Q2895474":{"pageid":2906199,"ns":120,"title":"Item:Q2895474","lastrevid":58054119,"modified":"2026-04-03T15:12:52Z","type":"item","id":"Q2895474","labels":{"en":{"language":"en","value":"Untyping typed algebras and colouring cyclic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052250"}},"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":"Q2895474$24FB9108-9DB0-40EB-AD1B-E0F27FE49822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d56925bb6e785b7af5844be9235057947394124f","datavalue":{"value":"1241.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$F5099B59-AF35-4944-9EBE-93A22AEAFF2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cb363ecc93ae6032707c3cfdd22c384b406a582","datavalue":{"value":"10.2168/LMCS-8(2:13)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$8770B9F8-89BD-48E9-A864-CCD678422F3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895474$CD8011F4-124E-4F6F-B089-FCE383C11E84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895474$E6F7753A-1B6B-4720-AF33-B1A01705C7DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895474$AEDD465A-9518-4A81-AC91-38904AABAD77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df481acb253f47febd900703d76b150f011c9273","datavalue":{"value":"https://arxiv.org/abs/1205.3612","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895474$630E078A-2D44-4BA6-BD06-85B9DC0C3917","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$28B91587-3D10-4A72-AB23-CE9B3EC8C957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$3A955CFA-46D8-40C2-B009-D93AA3F6D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$07CC8E7B-C90F-4BA1-88E8-361DDE7B16C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$3AD81C6A-E5C8-438E-9299-F812E53BFB2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10df9f4bb4f56a19157def5ede290b8bc4d898f3","datavalue":{"value":"6052250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$6B2752EC-94D6-49BC-B29E-B73C2D9A7A23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8d3dfc19a6135edbf61334a5d31a812d052b90","datavalue":{"value":"involutive residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$A90F6D57-DB00-4B26-9209-E3FFBEB79E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750c07e6335bea8a69b6d3c9c9af52298a4a0f28","datavalue":{"value":"cyclic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$FCC8A0E1-7A4E-435E-B162-77C5C765730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$DA444A42-9C3C-40BD-83BF-5637645B4EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffcb190f2aa614fb219a477ff88ec932207aac8","datavalue":{"value":"typed algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$53FEFFD4-9A00-4FF0-9DA8-440FF01515DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$39569318-248B-4311-8040-FFF6C9F8C24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$A0F7CD03-959F-468A-91B3-564FD176412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895474$ECFB62C2-5762-48D9-8571-7C47951BF66D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895474$67C5920B-73A4-4E8D-91D9-F99019CB1F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895474$0DB42045-04A1-4995-9AD3-277308ACC817","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":"Q2895474$80D114D1-6AA6-4C01-83B1-6D2BC18C6B76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02b5fcd519a03407968dff6b03e6ddf836b3569a","datavalue":{"value":"W1985731744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895474$A3827BEA-17C8-45E3-AEC3-4CA87B529FCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"182e9c890dd4db38a9d8dc5fe8c5414b9ec0cb88","datavalue":{"value":{"text":"Untyping typed algebras and colouring cyclic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895474$8F94F33E-A108-4514-B80D-694433DBED58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ab260efecb0bb7f123f5093b1f825734024174","datavalue":{"value":{"entity-type":"item","numeric-id":3586061,"id":"Q3586061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ad3b2697ece89464d189fcd4a92c7d3982263f","datavalue":{"value":{"amount":"+0.9836671948432922","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":"Q2895474$A3ACE09D-8B8B-461D-8BC1-7BC8047340C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb79d02854395724c79dc86c855b5a92d671ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1931900,"id":"Q1931900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5afc0b21a3123f2516dd8c332d60f8f33bb1eaf","datavalue":{"value":{"amount":"+0.7418384552001953","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":"Q2895474$6A1A6386-0ED8-4B55-B92C-7EFF6178590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618e3f32fe1f768bbf94a013cbc5ccbd7aa0db81","datavalue":{"value":{"entity-type":"item","numeric-id":4376071,"id":"Q4376071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817d6ca52ae2775da96b87fff77980623f353104","datavalue":{"value":{"amount":"+0.7095674872398376","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":"Q2895474$B1645C98-E120-442C-9844-3E6733722B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f060bc1562114e74ee2e9db670eb2f309d6d6a68","datavalue":{"value":{"entity-type":"item","numeric-id":4222838,"id":"Q4222838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd39b0d96eca8e34ed16612667144c806fd3bd7c","datavalue":{"value":{"amount":"+0.7042165994644165","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":"Q2895474$04FFEBAD-0FA0-4DAD-A64F-07A580666FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce843292cf7ef202b8aaec9e40e63443ad4a04","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c45a9a23207b60e7faad53e77aa365993876d0","datavalue":{"value":{"amount":"+0.7037813663482666","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":"Q2895474$2819F8DC-B1F2-46BB-8C2B-B7224E928FC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2895474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2895474"}}}}}