{"entities":{"Q6102990":{"pageid":13237297,"ns":120,"title":"Item:Q6102990","lastrevid":41270337,"modified":"2025-04-27T06:24:48Z","type":"item","id":"Q6102990","labels":{"en":{"language":"en","value":"A proof of the focusing theorem via MALL proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691312"}},"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":"Q6102990$ACC79EAE-C508-4264-9430-C525A2C05562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"088b3c31a79e19e4fdd71a4f64e0fc808f259f04","datavalue":{"value":{"text":"A proof of the focusing theorem via MALL proof nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6102990$C56FDC3E-7407-4354-894A-8EE38846F9A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1bf7b770aad1852fa0e2d28efccfe3a2d33d1f7","datavalue":{"value":"10.1007/978-3-031-15298-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102990$D867E8A2-64BE-4BF2-A856-F1169B49511C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d657fdd2d9958dba10089337526015d3f6130c99","datavalue":{"value":{"entity-type":"item","numeric-id":1407587,"id":"Q1407587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$9F42D378-DC5B-40C3-AE77-958B3449CF2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$F6BE9F5E-071D-42F4-B746-CAD63F2628F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6102990$35C255A6-9C68-4D2A-9172-CDE21E68CF65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102990$A8F3B81C-4FA0-496D-8BE1-26905AB65382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"758afa7d3462a43307f85543ea8ba33757fd71ad","datavalue":{"value":"7691312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102990$4FFEE169-B27F-45AD-88FB-3F9A79AF37C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102990$E049BC0B-9CDC-4694-80E4-BD2E8B14F338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102990$EFBDEEFB-04DC-4D6B-85A8-E1B5BDD3DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7fe97b75bc3aee7034a8536c48def79de765be","datavalue":{"value":"focusing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102990$75CD8777-C436-4667-8E07-054FC8C52832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6102990$F79C2C20-276F-407F-A230-06C338494E5C","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":"Q6102990$9476FC1C-AC2A-4C25-8EF3-E3908BA5D848","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be7b343295f65e38ae9882c30b7f34ecedd89a45","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15298-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6102990$0F85F9C3-8C29-4D66-A9A0-93B02B06A79E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5673708b690f386ed266df6c185f26986ae33996","datavalue":{"value":"W4297809212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6102990$B1F687F5-E2B4-45E3-A166-0E545D409EA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$C25C2085-78A2-4C12-95C3-9D3A5548668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f9f099381e76397710af017d38231d9520d876","datavalue":{"value":{"entity-type":"item","numeric-id":4938434,"id":"Q4938434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$78CF997A-34DF-45DB-9C9E-F371BA91F896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$B976B7F0-3615-4E1C-B798-DA39B5C41846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$F06BFF37-926A-4BA2-A9AD-6A46E2795D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$92515673-75AD-4E66-918D-B209F3BD3EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$DADA9E80-1E79-4529-9DE1-0E1F21563282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756b10440f8ac561f6ca550e3fee0834d7a2bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3498480,"id":"Q3498480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6102990$4AD4A0BE-813F-4A5C-A5FE-7C597227B157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fe61e468be3403366a29633273f8ce3a0e36bb","datavalue":{"value":{"entity-type":"item","numeric-id":4938434,"id":"Q4938434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82775bf7371d425f6c8131ff2fe4445c1422e29b","datavalue":{"value":{"amount":"+0.90500635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$1B3FFF65-C5A0-4E8B-8926-A6419E95D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85076c70b4e18204bcee063ef0e4420ac7c9849","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f9901d08c25b70d4d7fcba9142ad8b3b98b32b","datavalue":{"value":{"amount":"+0.87530714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$22485447-10B1-471A-AD70-DA48DC9C6132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ba6d19053d2d5a1a4c519a0995a0629d3a84cf","datavalue":{"value":{"entity-type":"item","numeric-id":5747767,"id":"Q5747767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52534c2e3fc4267d9d415b2a77e0a38dbd4290d5","datavalue":{"value":{"amount":"+0.86625195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$1B5CA154-1DF2-4218-B8E0-D47D2BF3287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83fdd0b032c0f11ce8dd1423920c3a5c38233e4","datavalue":{"value":{"amount":"+0.8595802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$991E9EA0-7D4C-4F4B-984C-959902DE0ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9da7381ec3a27707b7f272c726702fbfd9b37","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0684e5ac77dc43879221ba9bfed066a11af094","datavalue":{"value":{"amount":"+0.85464716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$E4BA2B18-C7E8-471B-AABE-2CE3ABD4523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0eaf11882c1d4ea2b0935008e3ad64f6d80d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2303601,"id":"Q2303601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5e08b66b3cd5113bb41742f1e013b1b070a7ac","datavalue":{"value":{"amount":"+0.8543093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$31C2B3DB-153F-4BEA-BA9D-1384086FDC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c44e02d3ba1fb404b3e82a6a5ef631beffe17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b538402b24d779377d2ae1a57b5e5f30b965cf4","datavalue":{"value":{"amount":"+0.85054624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$FAF69150-7778-4230-BA67-7D3C0D2AB347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b942297fe91cfbe7f9ed0896f9808a5cdc50380","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84027d491204d6b10a1b5eb999f02f55a79b957a","datavalue":{"value":{"amount":"+0.8491981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$F94B009B-6BBC-4D55-A076-60061D8917D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e804744fb786ea3d41a8eb4585fc7729045353e8","datavalue":{"value":{"entity-type":"item","numeric-id":2888855,"id":"Q2888855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654085d270b4aa63c3812c42135567e963b82e81","datavalue":{"value":{"amount":"+0.84807813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$CE5426C9-C6D4-4CE8-8242-2926BFA3013B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8828cf1deba4fae97d421fc82dffef3aef588cec","datavalue":{"value":{"amount":"+0.84785545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6102990$BEB1D5B7-6124-4E1C-A5F3-DA0C1A4B4E91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6102990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6102990"}}}}}