{"entities":{"Q1354077":{"pageid":1364816,"ns":120,"title":"Item:Q1354077","lastrevid":68535096,"modified":"2026-04-13T00:23:09Z","type":"item","id":"Q1354077","labels":{"en":{"language":"en","value":"Hypersequents, logical consequence and intermediate logics for concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005860"}},"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":"Q1354077$320F1359-CD07-4A8F-AE75-FF7B75385C10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58ce702ebae7cf36bd9c70860f1ee2639785d592","datavalue":{"value":{"text":"Hypersequents, logical consequence and intermediate logics for concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354077$98390485-9311-4597-8851-79F4CFEB59E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b249aaa37a26b871c199726f42fc3ae7b1f0188","datavalue":{"value":"0865.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354077$32C72EAD-9DA3-4190-9F1F-8F14B65F135B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e815db65b6e86458b1ce460fb297f8b8d6ceffa","datavalue":{"value":"10.1007/BF01531058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354077$F19A0EB9-7F49-4DF9-8C48-E3245D80392C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$3D72F2ED-3CFD-47D9-8D50-ED6765D8698A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$8E3B210A-4F9B-473C-80EF-89B111555C60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354077$6CD6D304-1E49-485E-82AB-EA2D54908F16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354077$6A037847-388D-4CBB-A3C4-64F97D1586CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354077$E12D1766-52DB-4770-B6A1-287AA6255012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354077$DD0F6F92-72D5-4C1E-ACB7-618B2C85D831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e741ecfbe7dac4744c828f3b31deb645b627dab","datavalue":{"value":"1005860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354077$FDAFA182-067D-4C4A-AD8D-015ADACA2B99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$C2B42496-A9FC-4DAF-91B8-32B48E4B14CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b6b8c6c93069a7d96a8f897bb93c1aa9ff5aec","datavalue":{"value":"Gentzen-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$E2EFAA98-2062-4896-8AEE-D620D3A45FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d3e8c67d4aa6e350eb5e7ce8dac7d7ab277c09","datavalue":{"value":"cut-free systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$581CAE51-27B7-49AB-9438-DAD7856F4ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$3A710ED6-E7AF-4856-81D5-813EDA1806FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a557ab98134e3631f7a7d3dd9f864f56d2c81a0a","datavalue":{"value":"Dummett's LC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$EF8B3FCE-0B46-4F45-821B-0FDD45C7471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$BB8A98EF-5E6B-46A9-90B1-E0E3C0330DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$8C261241-DF06-4FA9-AA8A-04D1BF1EC446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354077$A0EC239F-37F6-49DF-AEC8-36ABD6A7F319","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$E76A48C0-5627-4345-8F48-3AAA528883C1","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":"Q1354077$7C35A5C2-6C7D-495E-8D0C-08F6D9EE0CA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$5B990E82-16E9-4488-BDB5-396045B2DB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$6209CBF6-418F-4A47-AFAB-EB5DD0DB282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$94163345-121C-40D7-BDD3-608EC0C36021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$1F310732-BDDF-49AC-82B0-F90C7EB01EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a394c809c6f332dec417e66a5e917d4c8c28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1088648,"id":"Q1088648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$9A4D3121-3E8C-4467-A1AC-1B4624191342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$093C939C-DDA9-434A-B1BC-D36395EC4883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$8893C96F-BF82-4C91-A0F6-FA0BFA9F3A4F","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":"Q1354077$DE61E994-A1EE-4766-8106-AB961706C74B","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":"Q1354077$77439A2C-99B9-4BF1-B594-1CFA06199A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$2E6CDD85-BE71-4E8E-B113-CCC1C4C440F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$772FFB28-6C4C-49B0-AAF8-B72BEFB038A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354077$58022E43-EB92-4377-AA0B-9F153012A82C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3747d077ad43df9b1df8bd5855b4df3a6cb3d4","datavalue":{"value":{"entity-type":"item","numeric-id":1989344,"id":"Q1989344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cde0ca1ae30118a26743f9a01037152a1a0397","datavalue":{"value":{"amount":"+0.8367220163345337","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":"Q1354077$A3DF5057-5784-4BD2-8694-2E3F09D0C8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65525b1775d9b2be46e0133139ec2d7e3bd51e7","datavalue":{"value":{"entity-type":"item","numeric-id":2720315,"id":"Q2720315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be51384cd36d7d8f33ac6c37488c86348a39283b","datavalue":{"value":{"amount":"+0.8122361302375793","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":"Q1354077$017E3648-8785-4867-B474-E80F92BDFD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc6216207f2eb67389a854c1d29a5515242c051","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16961298f2829775426bdd505d485a0d33cbcd2e","datavalue":{"value":{"amount":"+0.8083035945892334","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":"Q1354077$39E457A7-BADB-437A-99A8-E34ABF59E651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6791f2098bdc88259cf1f0c00716db75a4feb057","datavalue":{"value":{"entity-type":"item","numeric-id":2422309,"id":"Q2422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8cc0e4919dcdba5807f83dcbcd278f04b6cf73","datavalue":{"value":{"amount":"+0.8061619997024536","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":"Q1354077$01E2DB4A-5978-424F-BE7D-C4F6488AB154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2a40a8ea5ffad56f16cbd491bed848ba81c0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5187859,"id":"Q5187859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b75fcc768cf2f40a0c8bbae69075e46ef414f8","datavalue":{"value":{"amount":"+0.7873688340187073","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":"Q1354077$F8516AC9-B458-4D24-BFEE-6027DCC3245A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypersequents, logical consequence and intermediate logics for concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypersequents,_logical_consequence_and_intermediate_logics_for_concurrency"}}}}}