{"entities":{"Q556824":{"pageid":558591,"ns":120,"title":"Item:Q556824","lastrevid":62723988,"modified":"2026-04-11T08:01:36Z","type":"item","id":"Q556824","labels":{"en":{"language":"en","value":"Polarized and focalized linear and classical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2181953"}},"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":"Q556824$28718430-7F17-4F57-BF47-3ED014B04005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba911d8ec0dc2e26623377afea45b4ae696891c","datavalue":{"value":{"text":"Polarized and focalized linear and classical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556824$1A286043-6A13-4267-8514-944FA3D37A5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41c1e5c5ba75dbbc1dd3b6105ef857c81c04a541","datavalue":{"value":"1064.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$6F9CD9D1-C288-4CAA-B404-0409B67C8474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$8DCAB512-30BB-446B-9B31-9B89E2B89CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef6258a24d49f3138933724f3b30422abc339ab","datavalue":{"value":{"entity-type":"item","numeric-id":408340,"id":"Q408340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$A28A009D-3770-46E3-8B38-BEEC1848AC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$45726A7E-1A7A-43E6-AFC8-84F036D30D47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$13F919C7-16A1-4578-AE5B-81005CEC4744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"248c1efd530ae2f9901b8ca831703cab8c4ba528","datavalue":{"value":{"time":"+2005-06-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":"Q556824$90C03E31-692E-441D-9F05-A117D61E824D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$1E92B44A-FF86-4031-AA28-FE8354C0A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$225987FB-E639-47E5-AA93-CF351656DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$057F7F80-88BF-4214-BB64-49D338E647BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4a36bbf2577db8d7e406b491fa096e7bcc17e29","datavalue":{"value":"2181953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$68E95C71-0C34-482A-B788-F6E2B15F68FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02af479b7dfb5556c1ec9f36f2983c1e328492c8","datavalue":{"value":"Classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$4779B17F-44CF-4C9D-BFD1-8A2527DCE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$A52D4FC9-0636-4E1B-A7D3-FA7374DF6898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b7325a481d47b9bf1e65791375c606e4f01c10","datavalue":{"value":"Cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$AD289E7E-C272-4BCE-A34C-CDB70076C3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352166304907b9d3ad172e15443f4d4299319fcd","datavalue":{"value":"Proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$8A9A72AC-C92E-4619-8BC6-D121191F5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9db8868b1fc14b46844832778d836062e97f588","datavalue":{"value":"Denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$CB7B0DBC-7F0B-439C-9723-76034A7BE380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459b532ca20adbc0bb0b7651dc983865bbc727b8","datavalue":{"value":"Polarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$4A20F2E2-B047-4745-B456-82326974B8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f21a881008696019cb417a0094592e0d514e42f","datavalue":{"value":"Focalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$C691B32E-1BF2-4E3D-B388-DE90DD0143A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5649744fbccf0ede13e22b0fd8094ab6261d36d7","datavalue":{"value":"Reversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q556824$7DABD9DF-1233-459B-B799-FC94210F583B","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":"Q556824$8990DF64-4A1B-4FE4-9420-D4845DFC1802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dccc44a2b737355e0c8213f8721d9f2752fbab60","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q556824$D03CC36B-8AF0-4C7F-B34C-3E0CBC3B217C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8f2512f38c150b77c200f4afa1d726a2e37966e","datavalue":{"value":"W2092580587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$AD4CDADE-3228-40E1-A65F-2283BFB6FA92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa3f7e97d228d907b8c697808a7482aef33deb","datavalue":{"value":{"entity-type":"item","numeric-id":3357521,"id":"Q3357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$81A5D105-18E7-40DB-8527-5C89314544FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$8A4727F8-E53A-4F30-8310-996D7A20CE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$0EFF2396-1A08-4BED-9284-EEB58235EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7606c89e67e33919121c3137764f8d839cb3601","datavalue":{"value":{"entity-type":"item","numeric-id":1398471,"id":"Q1398471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$5B7EBC40-549B-444A-9EE3-9996F0BDE36C","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":"Q556824$F2F98354-8620-4C7B-90DD-D6CF6DAB0953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$8036964D-5AE4-4CD8-BEC9-8FF97BAE0C70","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":"Q556824$F4F54AF8-472C-4347-B0A9-4DFF2FEF18B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$FDAB9F36-E5CB-421A-9550-04F6A4C9F5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391b860018065192768c8f5e2fdfb2770bebc366","datavalue":{"value":{"entity-type":"item","numeric-id":4532608,"id":"Q4532608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$1C22129E-7C42-4942-A6B4-8E64DB62FE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23e4484dbe90c851fe3b3eecd6556006a3445e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$1AFE0069-EA12-4541-9774-0A7B3FF91585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$2B3DCDF0-74C8-416F-B10B-FAB927F4B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb5be6306cf75bedc164f0c0f1f29b86599eff4","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$946F73AE-3CBC-442E-9306-9E70D1A14E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$B21D0FCD-2CB9-40CB-9820-4D3E70FD96F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$458DC310-BB46-47BA-9128-80B3DA5B0CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dcb939f3c6931f5ee1394d950a6f3aa77a0678c","datavalue":{"value":{"entity-type":"item","numeric-id":1908817,"id":"Q1908817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$5C68EAE5-E502-4FA5-A40D-E9A35A7D1E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af047ffb50fc6a2b4ea9b8f905f959b0fc9bd081","datavalue":{"value":{"entity-type":"item","numeric-id":4896474,"id":"Q4896474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$5EB96D69-C7C1-4C1B-BBD9-1649ACA2F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133adf06351206633b4fb21a1b45ee609b9b3628","datavalue":{"value":{"entity-type":"item","numeric-id":4364522,"id":"Q4364522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$F07AB541-AE3A-44B4-BB4C-A2A4DFD523EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011cf84c3c30d491c786f660fdc3c21d23243ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1398477,"id":"Q1398477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$BE773480-80B2-4712-959B-DB9745CE2F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6042d9ef8dee677914aa7ff5904eefb398329f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1861326,"id":"Q1861326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556824$7B9FE8CD-3E95-43EA-8B7C-D89CEDBF4474","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"118ee2831cc4062d1f4acba6d33fa47f546368ff","datavalue":{"value":"10.1016/J.APAL.2004.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556824$1954E778-189A-4523-8669-E317A1767014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4459a670fc9de0c839f1a1636303e8bebb2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624b9743b129512f3c615a5da4d288624604c4b2","datavalue":{"value":{"amount":"+0.8445912003517151","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":"Q556824$4F116585-923E-4641-8247-8D79CAF35EEA","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":"553d480b0001bc44ccfe996f3d72c0d61b82281c","datavalue":{"value":{"amount":"+0.8245124816894531","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":"Q556824$2326E17A-0037-4883-A23C-050583EAFDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea7d0e08e224be0069ffc40ec3ba8374c83949d","datavalue":{"value":{"entity-type":"item","numeric-id":4896474,"id":"Q4896474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51e671e277d54ca14a3e15f2b4027a05c72db09","datavalue":{"value":{"amount":"+0.8234504461288452","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":"Q556824$F8DB1644-C4C9-4644-89DC-9645B84B9F0C","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":"2418b3b94584a61b02085301cb7b979b363732c4","datavalue":{"value":{"amount":"+0.7899012565612793","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":"Q556824$A4FA15FB-0FD6-4495-A4EB-5D355435BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43428870c4ae3d8c2d093b32e798d8bae7540a66","datavalue":{"value":{"entity-type":"item","numeric-id":3178251,"id":"Q3178251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf475c82e8fdda2423cb08bd493b327bf6cb55a6","datavalue":{"value":{"amount":"+0.7818793058395386","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":"Q556824$FC31FAFB-9DBB-488B-9E03-A0665C00CEAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polarized and focalized linear and classical proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polarized_and_focalized_linear_and_classical_proofs"}}}}}