{"entities":{"Q5145648":{"pageid":7175219,"ns":120,"title":"Item:Q5145648","lastrevid":53912909,"modified":"2026-01-25T22:24:59Z","type":"item","id":"Q5145648","labels":{"en":{"language":"en","value":"Cones as a model of intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299482"}},"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":"Q5145648$E1B4CCDB-91AE-46A8-9A4E-B997003E8A3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183049b2bf7857181870c9d8c566de9b47fe6573","datavalue":{"value":{"text":"Cones as a model of intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145648$63228F60-0AD9-440F-8B23-5073B44F5144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f126c0fb018f8c4933376612fc94f156f742752f","datavalue":{"value":"1498.03157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$1096B693-ADD6-4311-A6C9-3DB61586C133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"935c615e4f0a3e8ce9d78e05a1fada04517c99b5","datavalue":{"value":"10.1145/3373718.3394758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$F0948D3D-94CE-494C-B73F-4EF536274B4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145648$37ADA627-D1AE-4409-940C-FB880A2E66B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145648$2ED98D7C-F38D-4856-9EDB-920EBBFE9A59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145648$AA8CBFCD-F682-4921-9862-CEF0544F4ECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$C55B89FD-41D7-49DE-A6DB-C9C5071534EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$9552278F-F740-4290-A7E0-85144BBD0891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c72fed0a6f61b4edc60537b5c9d20db01fbce90","datavalue":{"value":"7299482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$01332FA0-E065-4AD3-90B7-B88789BC89D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145648$CB0FE970-9630-43B9-95DC-04A27C363322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145648$24B3F201-751A-4988-86F1-BA9C853CC33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a30704a52153d2172a8a1912890045c71e8e68a1","datavalue":{"value":"probabilistic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145648$A5BFA201-8C0E-4A02-9DF8-DC5E43187057","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":"Q5145648$D8ABB035-904E-45FA-8689-E80D00AA25F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bc84c8b778ac40b4f00d8856dbc6b07a02e7456","datavalue":{"value":"https://doi.org/10.1145/3373718.3394758","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145648$6D184455-8193-43C8-8ECC-56CA57D44F14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58071ff34e17479e76e27a817b672c976f9df2e6","datavalue":{"value":"W3031132030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$4A818558-BAF7-4D3A-B2EA-932DA55FAF9E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5389f926c472543439133948ce68f242b6f1dd7","datavalue":{"value":"Q130826245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145648$C26FC1DF-2E19-4DB9-B066-3229735617E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174d7c08901c8d1243f33ff2467ea85b13660c81","datavalue":{"value":{"entity-type":"item","numeric-id":4632438,"id":"Q4632438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3d3d641e14d512aa845cfe2fe223a0c88aff47","datavalue":{"value":{"amount":"+0.7655201554298401","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":"Q5145648$C4E34099-9361-4612-89EB-B4E3F837A4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1459326923cadbcc03fffcbfe18198233de030","datavalue":{"value":{"entity-type":"item","numeric-id":2757813,"id":"Q2757813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1724397f04e635cd54eff0a51db1694ef19ed65d","datavalue":{"value":{"amount":"+0.7602590918540955","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":"Q5145648$24DAE014-76FE-4C72-88B6-6DFB63CAD866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494a53445db9e0ca2e7bd6bde2f49be6a0d7865a","datavalue":{"value":{"entity-type":"item","numeric-id":2988358,"id":"Q2988358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9555bb17cfe68412e261ee5453762cb56e31dfb9","datavalue":{"value":{"amount":"+0.7590575218200684","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":"Q5145648$05ED2287-CFF0-417E-A9F9-0F25CD2BD015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129f6f2817f12559f4f879ec8a502dbe0c36badc","datavalue":{"value":{"entity-type":"item","numeric-id":5145300,"id":"Q5145300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1981d109ef9d4094bc314725616b3603b24b14f","datavalue":{"value":{"amount":"+0.7496017217636108","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":"Q5145648$07326B80-9543-4485-AA23-BD2DA1F0148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789baa11c99421e6c5178e5fbbc7f6a9ceeb7e86","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e029753d807f529b7bbc59b5368e2e41c03d2b67","datavalue":{"value":{"amount":"+0.744067370891571","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":"Q5145648$4261D212-443C-45B5-9958-A5A2E5B67B6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145648"}}}}}