{"entities":{"Q2708316":{"pageid":2719055,"ns":120,"title":"Item:Q2708316","lastrevid":82800098,"modified":"2026-05-06T22:06:47Z","type":"item","id":"Q2708316","labels":{"en":{"language":"en","value":"Elementary complexity and geometry of interaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588174"}},"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":"Q2708316$64F63F54-8C16-4881-918F-C6FB16EF6EA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffe2d007163337a9a3ef902042011d993566950e","datavalue":{"value":"0973.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708316$AD5D1C1C-DA32-49E8-821E-14F1BCE3D08A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708316$A80E197B-C2C1-483D-8C93-553B05C7C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5039260c6da03a46c13548e25e70c7abbe033884","datavalue":{"value":{"entity-type":"item","numeric-id":331550,"id":"Q331550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708316$26128217-B9BA-466C-8781-3FAAB47C9D79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fba7b4effb84a88b7fdd3dc13d46ebf2f476ceee","datavalue":{"value":{"time":"+2001-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2708316$AB1C5A1C-4BA3-473C-91CD-84DB7C64E327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708316$D7B4079A-82F8-4A13-A694-5D6C3E1DADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708316$CE2525A8-77CD-4D1A-8B4B-4EC96AB7B3E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7769976d3832afa81cef1cc0397b3f3f42287157","datavalue":{"value":"1588174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708316$3A188018-6507-4DFB-A90F-9C1858F08B5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946cc5bfb2854e7b4a827b1e352d6fb2debc4fdf","datavalue":{"value":"elementary linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$F2FB6D41-3E57-4275-BC95-18FC0DF273B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$17D063F4-7B31-4751-A6C1-8C81AC0AABDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$2A77D1D2-058E-4CD2-866B-D4C83A40D5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$AD78EF8D-43B1-43AA-AC2C-E99993FCE0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$EC7A94F9-0F28-4DFC-8FDA-07ADFAF09F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b9893943bd6e17e15d1b1f89d174e2b67abb06","datavalue":{"value":"elementarily bounded computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$D86BA50F-7226-4693-AFDB-C091ABE0C86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82fc3fc2d30342f2f5dc8c3053ac7e34d6838f6d","datavalue":{"value":"algebra of clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$C2214250-81CA-422E-A172-B6966B52845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$2D9412DF-699A-41DA-865B-BB3F3B66F1A2","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":"Q2708316$5C9C782F-AA44-49CA-BDAA-AD53F070C250","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723210faae92311ee48806307dbf53c656bf794b","datavalue":{"value":{"entity-type":"item","numeric-id":4263859,"id":"Q4263859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a310170cf8a34b270b2bed6a013f444e5090faf9","datavalue":{"value":{"amount":"+0.76205343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$A6986421-A29C-45E5-9F04-8BC2A2CE54CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a8524c4fe28afdc261acf1e7d44211fd10cc7","datavalue":{"value":{"entity-type":"item","numeric-id":4222846,"id":"Q4222846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9616bfd7181669ecb449abf5952a191483ddec","datavalue":{"value":{"amount":"+0.7554512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$9E043CEE-9CEB-4DA4-8F83-BC0D8B0ED08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832f37a57c71af8255afa7e05d8e671fe395c007","datavalue":{"value":{"amount":"+0.7551069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$B3BC0D06-D01F-46E0-A780-BFF180C8D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc045e411f50a079e21df074acb0f14bb8f351d","datavalue":{"value":{"entity-type":"item","numeric-id":534712,"id":"Q534712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9901c6034df949eab20e79fd9f66339cc53d0449","datavalue":{"value":{"amount":"+0.740397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$D5FA7B10-FAD9-44E7-9BB4-F951598F61FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3f35ea59237d1fa968a514d62ab6fd9d3703a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681363,"id":"Q4681363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458c518a47d4378163accb7441936287b18908a7","datavalue":{"value":{"amount":"+0.740269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$234C3F45-D1FD-46BB-A182-9455A234FD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e331e7636c8648fd1c371b70d78f20a86032157","datavalue":{"value":{"entity-type":"item","numeric-id":4893137,"id":"Q4893137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd98450f28cb79a58a368a74830a4826b0f55369","datavalue":{"value":{"amount":"+0.73709947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$050009A7-5014-4A94-8F90-125C734EDB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e51e5c22b06bcf4e5ed5c563c5b0783ccde0aa","datavalue":{"value":{"entity-type":"item","numeric-id":4945240,"id":"Q4945240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec581f1c0c0229ba8386acd420db105431b3186d","datavalue":{"value":{"amount":"+0.7359793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$B3F7029C-3810-4C57-B6C6-F333233DB8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ccf66a5c76ceab84aadb738f4b81ff6114c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e086815d91be1fee6a055d69871f09c9feae793f","datavalue":{"value":{"amount":"+0.735011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$6935D8B1-DD03-455F-AE64-715798CDA511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf898fcd85aa2a37555a4d59abfad3eac2a5c21","datavalue":{"value":{"entity-type":"item","numeric-id":1107510,"id":"Q1107510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873f39f5009b4eaf931518e2511654b42c29b7c7","datavalue":{"value":{"amount":"+0.73474544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2708316$5D9F14DC-5056-415F-8E3C-D940513DE8A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"730126f21d10becf72ff3abf61981aacdeca3bb1","datavalue":{"value":{"text":"Elementary complexity and geometry of interaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2708316$32CDFC8B-62E7-4AC6-9EE2-34C8BFF09583","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708316$DDEB296E-F80E-4424-B9C2-F05B52161D03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72d2961d5fccab943d3b8ebfd3228a2f19252ce5","datavalue":{"value":"The aim of the paper is to define a setting as large, and simple, as possible for elementarily bounded computations. An algebra of clauses is presented along the lines of \\textit{J.-Y. Girard}'s paper [in: J.-Y. Girard et al. (eds.), Advances in linear logic. Lond. Math. Soc. Lect. Note Ser. 222, 329-389 (1995; Zbl 0828.03027)] with a kind of depth-preservation property analogous to that of Elementary Linear Logic (ELL). Execution is defined through resolution and the operators are certain sets of clauses. In addition to usual execution formulas weak execution is defined which amounts to giving up the computation of certain products of execution. Weak execution coincides with usual execution for operators coming from proof-nets. NEWLINENEWLINENEWLINESize and depth are defined for general operators. The main result being that weak execution always terminates and that when the depth is fixed, the number of steps of the computation is bounded by a function of the size of the program which is elementary, that is, a bound can be computed in advance, provided that size and depth are known. Therefore the intrinsic elementary bound obtained in ELL by logical means has been extended to a semantic setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708316$0C85C604-184B-4ACF-A640-2506C20C7104","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708316$4731AF25-2C1B-493A-9C0A-27907A27383E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary complexity and geometry of interaction","badges":[]}}}}}