{"entities":{"Q3608427":{"pageid":5638333,"ns":120,"title":"Item:Q3608427","lastrevid":50591369,"modified":"2026-01-14T12:15:43Z","type":"item","id":"Q3608427","labels":{"en":{"language":"en","value":"From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523408"}},"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":"Q3608427$F025C2F4-7B7C-47F1-9B13-AE1D021A4C77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"097f90c65857b0466135736f3b28f20837485901","datavalue":{"value":{"text":"From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608427$27682D1C-3531-46D8-9017-76AE7FD89F0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d29f7233e7c077f664544eb9581d3659face3555","datavalue":{"value":"1179.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608427$28A9D5F3-18F9-44AE-8099-E46050A32BFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c6acda35b8ee058a83ae3edc1761c9710420308","datavalue":{"value":"10.1007/978-3-540-74915-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608427$E85CC880-E199-4BE8-AE7E-CE46E643E424","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608427$F876872E-FEE4-44EB-B74F-D918AB72F622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608427$19AA7817-3F05-4B77-B779-4980301B405F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608427$0C03CEE5-A06E-46BB-848E-C1720A307C1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608427$D52455CD-454E-479F-8F93-E6606A31A7B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608427$811814FC-4E87-46B4-A73B-C10345E01116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e53a8c32596a996843b9a0520bf6920826c4a4","datavalue":{"value":"5523408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608427$8B934C07-7ACB-471E-BFC2-93D9B3B5A124","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":"Q3608427$7676BCB8-27CA-4C2F-A5DA-C5334DD2417D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bda15ec04a1064be798345182d29d745dfef20b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608427$C046216D-BCED-4F3B-9026-A1113F0EE8ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2015e6ff16aefef697c48195f762fdbef2664f4","datavalue":{"value":"W1852594029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608427$95E113A8-37F5-4B35-9C19-BF60ADDE4CAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff4d7dfd5cdd76f2355e255380a55f6217f7cca","datavalue":{"value":{"amount":"+0.8161262273788452","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":"Q3608427$74F9C0F7-BD47-43F1-8AD7-9F4E48B2E1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaeae3d30e1ea51c387009d9460fa0f84319494","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1255ec4acf148c8d9572edc897c21b358f0283b","datavalue":{"value":{"amount":"+0.8085145354270935","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":"Q3608427$11F22857-90D9-4CEE-8A3C-386DFD5E3551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4bfbb76ebb9103acc4b60198da1f53dde5387d3","datavalue":{"value":{"entity-type":"item","numeric-id":5015210,"id":"Q5015210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b40d12142a81a6e36e73bc7c5e20a2bc9923691","datavalue":{"value":{"amount":"+0.8044793009757996","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":"Q3608427$3DF38BA7-CC27-40F3-B5C9-8931D5249DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5808c9581a6506d1b89f6df188b379496f1315c2","datavalue":{"value":{"amount":"+0.8016660213470459","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":"Q3608427$6943709E-6F64-49B6-8443-B184B423457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebea5fa6ccb4c5ec0e98d65c1f7f32ac6a0a1f1","datavalue":{"value":{"amount":"+0.796507716178894","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":"Q3608427$C89DAD04-EB8A-4721-AEC8-39F1CA5DE56C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608427"}}}}}