{"entities":{"Q2915680":{"pageid":2926400,"ns":120,"title":"Item:Q2915680","lastrevid":85104185,"modified":"2026-06-03T05:53:50Z","type":"item","id":"Q2915680","labels":{"en":{"language":"en","value":"The focused calculus of structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083537"}},"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":"Q2915680$1C73676F-DFBA-4211-8D82-C5DA984B8338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"407a62fc00391ac10e99985c11dc8833e1ad570c","datavalue":{"value":"1247.03117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915680$B44F3CC1-44B8-4C13-8A55-74FEA48D678C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915680$E7F3E685-D5F3-4361-B524-952EC1491D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9bee5c1672027541373794fd16d90e809b7e77","datavalue":{"value":{"entity-type":"item","numeric-id":2883079,"id":"Q2883079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915680$976ECDC0-8F66-4CD7-A67C-8661BEF0C049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915680$4A194923-E6BD-4744-9D36-1DA83AA4C411","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915680$C0955792-DC5C-4BB0-98A9-B783C685C17F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd88ccfc024c1af0b4985557b4126acf6cc52b8f","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_57fa.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915680$2EDCC7F3-2A62-4620-911E-F055D837F216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915680$52C0E6F2-14EE-4933-84E7-BF9F52E45842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915680$84EF4637-826E-4367-85F1-687D63C6A8BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a17f139ef0a49d880f7c30ed692269ed2c9eca1","datavalue":{"value":"6083537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915680$3D8A79F1-EC15-4E4E-9826-8B298879F383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915680$11CB5D06-3AAC-4C4D-844E-FB2F8D64126D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc7ed5f11fd02b4ebbdd5eb4c8b5c2fae98e5ca","datavalue":{"value":"polarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915680$006D8AC5-7A40-4775-A15B-B5FC372B8C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915680$37227896-5CAC-4939-A36E-C5FCC5783940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915680$BA26BC2F-B3D2-4DEE-88DA-648959781C35","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":"Q2915680$81A4EE65-DAC5-4825-928C-0D7D463576D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d67b9681557f69c77801156ea9f0acf8e89ca8ad","datavalue":{"value":"10.4230/LIPICS.CSL.2011.159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915680$21C13AD7-2336-4C1A-A25E-FFC611E81BB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aea606103e7ca37dab19735ffee0049bc6767e98","datavalue":{"value":{"text":"The focused calculus of structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915680$C29F19BC-8C84-4610-BD3A-DA50EBDC3032","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":"2b51b2f2e6cb50b12a1a00606a5ee506010b4936","datavalue":{"value":{"amount":"+0.8600261807441711","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":"Q2915680$38C9A0B0-A84B-4C47-8808-5DCC4306F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a7ad3822057c63fd97893fb1ae3fd5abb0f02e","datavalue":{"value":{"entity-type":"item","numeric-id":3187008,"id":"Q3187008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5196d36c1edf5fdc416e2c48e3df2785c389dc0","datavalue":{"value":{"amount":"+0.8592592477798462","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":"Q2915680$93E0C290-EB4B-472C-AB13-36E006F70C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2576c18a9e4b5008104411dc21f38fb1c1d8a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2462b149957b2cf735afec774d2b0a866a8fea4b","datavalue":{"value":{"amount":"+0.8275027275085449","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":"Q2915680$49C49FFB-20DA-45DE-A130-BF45A03B49CC","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":"0d8a5d33b71ed81ecb98c82a022c59b1607dc56f","datavalue":{"value":{"amount":"+0.822548508644104","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":"Q2915680$141B43AD-FF2D-4040-85CD-B8804997A95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c463be3f7074a6b48e8b7e07582e0d17dada16e9","datavalue":{"value":{"amount":"+0.8122066855430603","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":"Q2915680$AACF2637-CDC5-45D0-BE33-0D28815342FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The focused calculus of structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_focused_calculus_of_structures"}}}}}