{"entities":{"Q4617970":{"pageid":6647553,"ns":120,"title":"Item:Q4617970","lastrevid":58308021,"modified":"2026-04-04T16:04:41Z","type":"item","id":"Q4617970","labels":{"en":{"language":"en","value":"Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7014559"}},"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":"Q4617970$ABEC9C55-A6E4-4E8B-98DD-8322F9978228","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35afcf218268c062e7ae06786f5b7c47a5c99128","datavalue":{"value":{"text":"Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4617970$9636E77E-6034-422E-AB71-E2099FC0F919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84748a9f923dfaf2f180b0f8b111b61bef04be29","datavalue":{"value":"1407.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$40023E0D-3A79-4F54-AEF6-0CB139197F68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51ef9812f5efe883cea1a2d6af65e9ba1f852e8a","datavalue":{"value":"10.1145/3234694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$D0B771A3-0162-41E3-99EE-D72F1C756574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fd10e0677a47c7fc103d0a61f6c004fc8766f5","datavalue":{"value":{"entity-type":"item","numeric-id":705529,"id":"Q705529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617970$D48CD9E7-0146-4691-8A01-C6351A737057","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617970$E1CBFD6D-8477-46C3-93EA-DCED254BA75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1e8b10b8228a853731f31266f45b016182aec93","datavalue":{"value":{"time":"+2019-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4617970$35D3FCA3-6B14-4796-B1E7-8C648FCAFEEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"095b50c23d54562758c052c64707755ef217d9b8","datavalue":{"value":"https://arxiv.org/abs/1503.08925","type":"string"},"datatype":"url"},"type":"statement","id":"Q4617970$DE63CE77-EACF-44A4-B111-EFB0AED8FC09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$411E234C-E2B7-4A7B-97DE-A80BDFDCC94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$2B5AFC7D-55A2-4DC7-B8A0-9EC7B03927B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$1769706F-BF33-46CF-A74C-1D826EA43F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$C1791094-DC57-4818-B313-67B53D82A025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a38357e4fc69a49243d04dd4dd98749d1ac21b8f","datavalue":{"value":"7014559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$4BA45FD5-3F15-4FFD-9608-CB4E3AA7C6A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5fd52bc3eef52391263fd5756eabe46690b3bc4","datavalue":{"value":"\\(\\ast\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$F10ECC92-2ADA-4415-BBC4-ED23EDE55783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea944ab2bd1225ca9057c030bf9dfb47f3729044","datavalue":{"value":"Boolean polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$E9887B65-0399-49EC-A987-03BB4917BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$A08C44A3-C50B-4252-89CB-8A0EB63CBFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b65a6e0530cc8cb6cb6c54a98867221ac66c92","datavalue":{"value":"change of coefficient ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$8E6E1969-3518-442D-9256-E1F11A4FBC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$8E670F73-6A37-40AF-AE99-F8E285ECD44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4bee0dc279fa5019ab6a86b62e7eb3e163208a1","datavalue":{"value":"execution formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$2B9C505C-2DF8-43CA-ABA9-F92EE19C5957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccd45f8358392c3ec5433cc328747270355d7a87","datavalue":{"value":"multiplicative additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$881251C2-50B9-43BF-ABD3-59F12E51A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$C2AEEEB6-8B41-47C6-B7FF-A5FD7F364FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9353e30ba57662f688208c3b1ad4ae1d33809822","datavalue":{"value":"semiring of formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617970$170D1DD0-1661-488C-B774-C29CBDF16329","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":"Q4617970$9D7DCE87-9124-4164-B5EA-95128A6036D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7440215030713f971e1a19735520c8a0b083119c","datavalue":{"value":"W2964244682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617970$2525492B-1B82-4B7A-A58B-7460155C1943","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6674457dd895dad11de51e5999419633eea081","datavalue":{"value":{"entity-type":"item","numeric-id":5006458,"id":"Q5006458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff15f293c842e5ade56824bc56ccf3b68bb357ed","datavalue":{"value":{"amount":"+0.829679548740387","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":"Q4617970$589B6CBF-12B4-4607-A65A-E0CBB3D15825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd568f7079952588af9b327317de6ba336000d22","datavalue":{"value":{"entity-type":"item","numeric-id":892169,"id":"Q892169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e60425892bd62efa592d5b4d172c532cc213331","datavalue":{"value":{"amount":"+0.8284066915512085","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":"Q4617970$049AC0B8-8B6A-4D7B-8CF7-2520C766D0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5de19293ed034cfaabb57cd71c489a36d490c8","datavalue":{"value":{"entity-type":"item","numeric-id":714715,"id":"Q714715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3296f352e10d1df18846db3d0cc050b43e82683d","datavalue":{"value":{"amount":"+0.783024251461029","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":"Q4617970$B798B9F9-0956-494F-B326-AA12961CF373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc07f04b83305505ce68fb2e28a30592f6b333a","datavalue":{"value":{"entity-type":"item","numeric-id":3564345,"id":"Q3564345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc842ff3964bdb40f4fd6b0bdbaf4b2face69291","datavalue":{"value":{"amount":"+0.7706140875816345","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":"Q4617970$67B495BF-5329-4452-A30A-39CDE90B2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5da4659ce3a7b636838e5cff468e499137903","datavalue":{"value":{"entity-type":"item","numeric-id":4961719,"id":"Q4961719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1245287d2d0ec8976dd68d506bfe373e2288bbdf","datavalue":{"value":{"amount":"+0.7677197456359863","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":"Q4617970$92688BFC-EE98-4488-BFB5-1E9163A75703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4617970","badges":[]}}}}}