{"entities":{"Q6612800":{"pageid":14223957,"ns":120,"title":"Item:Q6612800","lastrevid":95626430,"modified":"2026-06-05T09:26:27Z","type":"item","id":"Q6612800","labels":{"en":{"language":"en","value":"Lambek-Grishin calculus: focusing, display and full polarization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920697"}},"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":"Q6612800$4058D327-5B6C-4C40-943B-3FACD14207F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83fa48a67635629a1e3fbc3af90eea0163180e70","datavalue":{"value":{"text":"Lambek-Grishin calculus: focusing, display and full polarization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612800$4E260992-E4EC-4B6A-B7F7-9ADA71971D2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f1e9502c24e4568e702801bf609209c940e8f99","datavalue":{"value":"10.1007/978-3-031-24117-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612800$5B6BE0A3-9973-4498-8458-693BDA7A7C3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$BA728D91-B67F-4985-92C5-71A86828AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a27412a89b2cdddd320443e7a213163a609876dc","datavalue":{"value":{"entity-type":"item","numeric-id":843771,"id":"Q843771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$F3401E52-8747-4D1D-9F21-2DF603540F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57f59399fa7b3e567aca4253315501ad12ab8144","datavalue":{"value":{"entity-type":"item","numeric-id":6168466,"id":"Q6168466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$80468845-C665-47FB-81A3-71DF82C73585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4ea9ddfb2e8911c7e7aa8e3d9ae49b7851395f","datavalue":{"value":{"entity-type":"item","numeric-id":2035342,"id":"Q2035342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$1049C1C9-B56F-479F-9855-E200714013CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6612800$2EBA1A18-CC4E-492C-BA99-8DCEA7AB05E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612800$FB35E09B-AF29-409E-B76E-55BFBDCB6B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612800$5006CE3E-8169-4485-865D-8445ECBCE74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612800$B105A582-277C-4400-91FC-20B6BF3DCC6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3fc83c5469493c7a6190bab5f3c867ce85e12ba","datavalue":{"value":"7920697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612800$4B2B2A14-C629-404F-B5C8-0F6A56F2A176","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e7faeb948a9c9710b99a6af71a7fbf7254baff","datavalue":{"value":"Lambek-Grishin calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$36CF914A-E516-4500-BF91-7F1001CDFC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ccf203aff8a33bdbf6df8c7a1d122386a5ea3da","datavalue":{"value":"multi-type display calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$2AD82835-462E-45F9-9621-2FDC58FAD371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e791eb1b4f10b3d4e331671be564d56269662b3e","datavalue":{"value":"focused sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$A3FBF27F-2142-4723-9F9F-9F2B11ABDA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e80178e7e31d45b4148fbf95b0a5502b877fe14","datavalue":{"value":"polarized logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$F0AD248B-1946-4658-B139-4CEC23CB4A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fdfce6d20a9a0b1de8bdb31e92187177cb2ead0","datavalue":{"value":"heterogeneous algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$77594252-6B66-4937-BE57-D8674543D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4848fa5541547014d74efa350616b5ca65a522","datavalue":{"value":"weakening relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$370EB6B8-8A63-4D3F-93D1-43B4636C2380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284b76663a91b98251e130360fa617d9ecaf8ab5","datavalue":{"value":"semantics of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612800$31E093E5-5A96-45B9-8DB6-8E4A39879ECE","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":"Q6612800$B641615C-D881-42A7-A853-80AD30606B2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$0625C9AA-998F-4D7E-A14E-DE712FF24973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b678264d2d2d9e0f9750b5f2983826108b789e68","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$B614E936-426E-4234-9861-FD4361CA075F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$D5339C9D-F285-4021-87CF-428547CD39B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$A716D96F-A073-41C9-B697-0E57EBD735BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb048687b27eec804213f0043fb18dacaf8f64d","datavalue":{"value":{"entity-type":"item","numeric-id":3167297,"id":"Q3167297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$6527835F-29CA-45EB-B5BA-6B619B992B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$3D8C157E-9275-4617-A180-E0A40A5E46EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e808a9a92940ef6a722d0d1771f984a3e6a601","datavalue":{"value":{"entity-type":"item","numeric-id":3612652,"id":"Q3612652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$64DC0CDC-32EE-4852-96FD-E0A14D6E2AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca6fcc688ffae369efbcab9b3989dde5f92c2b8","datavalue":{"value":{"entity-type":"item","numeric-id":2856480,"id":"Q2856480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$02354BB1-2741-45C1-B06E-8ACECF2C2120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$F3F11CF8-A1CE-4DC3-ABF3-6395DF5A6DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e321f108ca3d56b508a42e33365cb2bed0c8ab61","datavalue":{"value":{"entity-type":"item","numeric-id":3416824,"id":"Q3416824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$04A6A684-9C22-4F7E-9BB7-6B32BB93222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fc848641fe3fbc4a43830028219e7078030a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$FCC42024-2923-470C-B016-56522CCB5AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7a6de9bae925e3b4144fbd7ac0494611a3e08d","datavalue":{"value":{"entity-type":"item","numeric-id":5098717,"id":"Q5098717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$A12DE2A8-88DC-4624-AF52-6D5F1F3BFB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842908e6c13ec392e360c75e594280d6b516707c","datavalue":{"value":{"entity-type":"item","numeric-id":776989,"id":"Q776989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$3B10B0FA-4C03-444E-863F-83C8EFEEE1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9104aa40a7f458fa857fb1b5349531e2916c4993","datavalue":{"value":{"entity-type":"item","numeric-id":4392660,"id":"Q4392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$850E86D4-996D-4501-AACE-F3A820F60356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e449f792aaa55f2b2ac29dac2a7211be77e4088d","datavalue":{"value":{"entity-type":"item","numeric-id":4612445,"id":"Q4612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$955521A5-B64A-4CA1-9EE7-C9E18707DC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510381d4d0a6f5c125839ffa25b2cccffc19fd","datavalue":{"value":{"entity-type":"item","numeric-id":866570,"id":"Q866570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$09ACA11E-8E15-480D-9253-C12C761D69FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9a68595a26f3f43fce2df1163b0493cdd80aae","datavalue":{"value":{"entity-type":"item","numeric-id":5190190,"id":"Q5190190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$2799B383-350A-4B9A-94ED-F4E8178F84D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dce28ab971e6370c235c238e62f5b4e7250ef19","datavalue":{"value":{"entity-type":"item","numeric-id":4265614,"id":"Q4265614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$8325D811-8B6C-43EE-B304-70CF2AB3DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$FA96D836-B640-4CD0-85D6-CFC4CD85C0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf627f9bea2670e555e81570d7d63865bb5c04cb","datavalue":{"value":{"entity-type":"item","numeric-id":3846669,"id":"Q3846669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$5F7F4405-575F-42D3-BC4C-6E0F259044A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b71a77385562e154fc0f421bcaa2b0bd75e97","datavalue":{"value":{"entity-type":"item","numeric-id":4650578,"id":"Q4650578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$319A3E99-F84D-4ABE-9B50-ED1C81947AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9033970d0f59462b39d7285bcd640c8e1775d511","datavalue":{"value":{"entity-type":"item","numeric-id":843772,"id":"Q843772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$7661B12F-B3A1-404E-AF38-ADD0DBA8EE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee4fa747b2653545611aea1932d882692f76279","datavalue":{"value":{"entity-type":"item","numeric-id":4501691,"id":"Q4501691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$2C995C92-F780-4C1B-9289-7E620FEC5824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612800$3814BA20-9A49-46AA-A762-C718C3DB8360","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambek-Grishin calculus: focusing, display and full polarization","badges":[]}}}}}