{"entities":{"Q1397803":{"pageid":1408543,"ns":120,"title":"Item:Q1397803","lastrevid":68617656,"modified":"2026-04-13T00:57:53Z","type":"item","id":"Q1397803","labels":{"en":{"language":"en","value":"On the geometry of intuitionistic S4 proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1959266"}},"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":"Q1397803$DF246E6E-5E15-4A13-9D9B-1A7DE3D23519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cab7719aa76e5e0ef95ef3339f7fa72c75104b1e","datavalue":{"value":{"text":"On the geometry of intuitionistic S4 proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1397803$EE45D095-B67A-40D5-B1F4-21C14E21D873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbaae08bec879b83df044992f32f122a228b6c86","datavalue":{"value":"1022.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$8FDE192B-6F91-4BCC-B3A1-6A4652CC1210","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397803$7B9349EE-B911-4CAA-BF43-0E721FDE7EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397803$F40D8AE4-183E-4C8F-83C9-85E46D1397A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397803$A4E639AA-FD3D-469F-B662-8A029A4B9700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f37244814e4fbe2fab0838dfe21d7174c9a47265","datavalue":{"value":{"time":"+2003-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1397803$598EFBFA-EA50-4CB4-B236-96D003CAC316","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72b481389e960efa2ea65ba2c83f1f567f1dd721","datavalue":{"value":"https://eudml.org/doc/50340","type":"string"},"datatype":"url"},"type":"statement","id":"Q1397803$57522FEF-004A-4216-AC6E-A604ABD9093C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d3fff677bfaefc5f90170edb7e6c7a6572e8714","datavalue":{"value":"http://www.emis.de/journals/HHA/volumes/2003/volume5-2.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1397803$C11DBA18-B9FE-4F55-815F-4474EC8C9599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$AE2347F4-956C-4714-B527-AA83DA498F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$C5871E6D-B1A1-4E3F-BC1E-3F4580B0CE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$FE068561-6A6D-49C3-8447-68108E2A5ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$FC430F4D-A27F-41C1-8829-916DEE57203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$6F2E822A-204E-45D1-A346-778F84FB97B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$E7979EAE-6655-42EF-B9DB-F2E36C2D6B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$72A1D0DE-8EE4-4858-B66D-23742DC3C523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$B1A4F995-642A-47CF-90B9-BD57BE24CFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$0B935EB2-B864-4CB8-9806-7AC0BF525CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$F813BC5B-81F8-4B8E-B5B6-BF9FFCD02E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$4FC0D797-6BE5-44A8-8C6A-E0B4F211E222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171e076e84db4a47b166d8b2b4e0a9136b64bff3","datavalue":{"value":"1959266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$42098B94-76FC-4562-9A10-08300FF1EF0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$AA93A7F6-05D2-4682-ACF2-2BF659E05C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$021E7EAF-5969-42AE-88BB-96AF20DBD15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69e6b17ddbd0c828786087e9172f10226968a06","datavalue":{"value":"resolution functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$9496AAC7-D3CB-4634-91B6-3329F90C2C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bae4da4287c52c0508281f327918fe4528dec69","datavalue":{"value":"proofs-as-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$543561FF-0F1F-439C-8B3D-F09FCC2E9223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$8828AA1F-2B12-4E78-B379-E3D4ED95DDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd47dfea3c852bf6f5d28a819ea6994da7063b4","datavalue":{"value":"intuitionistic modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$962AC407-07FE-457A-BFF7-8D50D0C885F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9fff37bdc361f4ce58849ba17c5a0483ff6b8d","datavalue":{"value":"monoidal comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$FE7C807B-BE94-4B50-9B4A-82CBA6EF4C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133420bd8ecb43ae9c8a8a6ecaa5316069870b2","datavalue":{"value":"simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$E22BF353-791E-4826-9D7C-34BCF25F9D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$E360FD9C-E9BB-4749-A26A-32FCA594E4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3f45e5329a3c522794cba5583ebcc252c5ec60","datavalue":{"value":"spaces of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$0E740672-09F5-4098-9389-D67495845027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04a53fe50d7fac9dd45e9c058204988b530b057e","datavalue":{"value":"subcone categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397803$C20B5A34-9B5F-434F-998C-499A4C6E2D4F","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":"Q1397803$0F71A638-2B7F-43AE-967C-27067F101EB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5653037ff45ce88f34369ddb6f70117e7dc60a3","datavalue":{"value":"10.4310/HHA.2003.V5.N2.A6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397803$AA116F44-9FC8-450C-8E53-A502117D0E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cc8a48c38cbddbc299ce2722ea8512d0ddab33","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8580eefb33dbdb8e77892fe94a009f140a7f1b","datavalue":{"value":{"amount":"+0.7937996983528137","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":"Q1397803$895D9E88-F61E-4163-B727-09CB26138F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2511f0caf416e074fde5c9cd622c027b44e53606","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a047bc0bd6718462388b816ae8ca2a8864bdf5f","datavalue":{"value":{"amount":"+0.782259464263916","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":"Q1397803$A9BF0B00-53DF-4542-90B1-838C5B2854FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22306f86ecbe244c29702ba1468c094f1d60f493","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64063460d6249949bf668edcbd73cf6e18805568","datavalue":{"value":{"amount":"+0.7616223692893982","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":"Q1397803$D16B961C-AC1D-40DD-931A-178C87DB33DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ea86ffc61316ca43e87cd26e310126220d364d","datavalue":{"value":{"entity-type":"item","numeric-id":5688803,"id":"Q5688803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694bb0248d7f5d4766f5eb9c849bee7099c9a8d2","datavalue":{"value":{"amount":"+0.7430671453475952","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":"Q1397803$D5554477-91F4-412B-BF2A-681088A811D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e43a8e52d9764867b80193aa5f9de7685229905","datavalue":{"value":{"entity-type":"item","numeric-id":2721197,"id":"Q2721197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e613fe41ecd074533befdcd71e27d09531b9527b","datavalue":{"value":{"amount":"+0.7413506507873535","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":"Q1397803$7EE4D00B-F23A-4A35-A1B4-ED59E58F4014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the geometry of intuitionistic S4 proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_geometry_of_intuitionistic_S4_proofs"}}}}}