{"entities":{"Q5894004":{"pageid":7932373,"ns":120,"title":"Item:Q5894004","lastrevid":51148976,"modified":"2026-01-16T22:48:41Z","type":"item","id":"Q5894004","labels":{"en":{"language":"en","value":"Bounded linear logic, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5828009"}},"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":"Q5894004$EB1BBEBA-83F0-4D20-8B95-FBA11E170C88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a17a806866ef52f8c232cd78bf3d74607bb3038","datavalue":{"value":{"text":"Bounded Linear Logic, Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894004$55E2FD24-FF79-44F9-ACF4-71B78CA51FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fd7cf440374c447e963cc3d6bf0f2a61f635772","datavalue":{"value":"1211.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894004$9C437191-A196-4AEA-8158-1A4898C86304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aaf87d137da19462ab4935618d8f77135d8fc98","datavalue":{"value":"10.2168/LMCS-6(4:7)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894004$1ADDE64D-3EBD-4DCC-99D0-53E1A20E1159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894004$668F2056-D654-4E29-91E8-4DA33D1E0EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894004$864CCD62-F377-41FB-9E85-F77D8D4B0918","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":"Q5894004$B15D5805-01C4-40CA-82B8-DC5FEE17AD42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79bc2204c9544f0bf0ce0dc7a60244bd9899c05a","datavalue":{"value":{"time":"+2010-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894004$1CE54CD9-CB98-41B7-8CF3-BB024FAF2291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894004$492EF062-499E-4937-883D-BEA237BDF519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7dbd5e8696a511ca5b4d2600a9db01b91ea6bbe","datavalue":{"value":"5828009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894004$D55412F2-CD16-46BB-9864-B5DC7999FB6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f313ec65625fcafaaf6a1fe50751beb3272dd1b8","datavalue":{"value":"extension of bounded linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894004$FE60CCA8-942F-4849-86CA-9483819FD6ED","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":"Q5894004$BCD96BFF-BE28-4227-BA65-4F116FA80ADD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec681975bb3b05c606436011c0387178b7a8da20","datavalue":{"value":{"entity-type":"item","numeric-id":5902142,"id":"Q5902142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f636150ebcd71799544959670ef676d1e56d4490","datavalue":{"value":{"amount":"+1.0000008344650269","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":"Q5894004$DE0F0923-65DB-44F0-92B2-F9E4FF6556F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27266d6050f683f4551f1a524e36358dc6e64e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1919758,"id":"Q1919758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40c99bb3a11e51ef281c83cea6d5bb8da61d333","datavalue":{"value":{"amount":"+0.7880715727806091","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":"Q5894004$7C0300F5-ABEB-46E0-83E8-E19933273392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ec02ab55979bc50664f00855203f98a3c2174b","datavalue":{"value":{"entity-type":"item","numeric-id":4035310,"id":"Q4035310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c0c714ac2a4711c3f91310e5e418df16f5f1cb","datavalue":{"value":{"amount":"+0.7861010432243347","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":"Q5894004$BA26506B-4755-48FF-A71B-5BC8AFC8A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5679fe4155603520a59fe92f9e0d25ec521a775","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f644da99c1619065d598ac10159bf99e787191","datavalue":{"value":{"amount":"+0.7687762379646301","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":"Q5894004$0510C165-DFA3-4631-99F7-D2C44DD7F7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f644da99c1619065d598ac10159bf99e787191","datavalue":{"value":{"amount":"+0.7687762379646301","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":"Q5894004$7E771C6B-BADD-4879-BE16-833F4AF42FCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894004"}}}}}