{"entities":{"Q344801":{"pageid":346568,"ns":120,"title":"Item:Q344801","lastrevid":61125228,"modified":"2026-04-10T21:20:22Z","type":"item","id":"Q344801","labels":{"en":{"language":"en","value":"Hypersequent rules with restricted contexts for propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6655885"}},"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":"Q344801$8A6CB944-7FED-4D35-9303-6154852A3111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1832593789e53db43fd48c6bf61418b3d151f479","datavalue":{"value":{"text":"Hypersequent rules with restricted contexts for propositional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q344801$52ED39F2-D3D6-4FB1-9A2A-09596471836B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b602f8a236e95710b5f5c9a5d705eb322b0757e1","datavalue":{"value":"1402.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$D7A5D7FB-B822-49ED-8C71-8EE19DC8B807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"900b948a3c89cfd527e771da7f94f9ede8bdc85c","datavalue":{"value":{"entity-type":"item","numeric-id":344800,"id":"Q344800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$12148755-17C9-4B60-8575-B446155B7714","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$D9317E82-5BAF-48E5-BD66-CD3548DA5AB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6459ccfdc17c418caf693d4fa3ff617fd06c807a","datavalue":{"value":{"time":"+2016-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q344801$C9E93198-EFA8-44AB-BAAE-A040F4BABEE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$0E1C932D-C13E-4291-B6B4-DF3A111C1D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$4D5C8EC2-5E89-438C-A087-3B6D0C293AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$EA8FC951-2D12-446F-9193-B27E17787388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"879771cb6cc708c99a1cf81690f064be350e44bb","datavalue":{"value":"6655885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$35060465-D44B-4928-B40F-E8BB85851AC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q344801$00E755C0-AFA3-471C-9EF5-98CB8D5AA76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q344801$F8D9F7F8-3345-4EE4-8280-128152AFAF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q344801$0B85E152-C529-466D-8BDC-B64C8EC5F4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe643dfaf07ed66ac845ed3cec36f82d60c92f2","datavalue":{"value":"Hilbert axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q344801$83F95B41-0446-4151-A5AE-4950E08BBCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q344801$F557078B-BE33-4E75-BF43-9FD69FDAE99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q344801$9D36973B-8CE3-475A-97CD-C633860A3E33","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":"Q344801$0AB30431-42EA-4FF4-854D-C2D59305439E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c564a2813c38d7c74d1962cfcb3b3e081bd8b8c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q344801$525025AE-D672-4FAA-BB88-5AA1E7DDC830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"179866fdf20e0eb9f86c7f128607dc725f5d6384","datavalue":{"value":"W2535990237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$3E7DCFD9-2970-44AE-8203-1755E29449A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee242edfc0ce2685f2a03ec3be9ee5cb8a12c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$E4B3828D-AA69-468D-B1CC-EA35CFE838EA","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":"Q344801$0DB1C33A-2B53-4870-9D3B-75823774714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$955F5CE4-7625-4ADB-A93B-BD94ED77DA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$2C0DE531-2ADA-4FA9-85DC-4D16952972A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$E399C88B-81FB-43BF-AB76-DF42E26F06BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$E479AC68-D0C6-4E82-87E2-BF8377EF9B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cbc0d3926879a649ead69195ca220293b2bad0","datavalue":{"value":{"entity-type":"item","numeric-id":2851932,"id":"Q2851932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$B14DF84F-9779-464A-ABCF-87B257CA30E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20ba918920b521d4b1553abba84f5773ed76a19","datavalue":{"value":{"entity-type":"item","numeric-id":741087,"id":"Q741087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$5999BA44-95C3-4A77-8534-30CAC6F1D508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2cdfb759dd464477a9b8d4d355ef9f87f05afca","datavalue":{"value":{"entity-type":"item","numeric-id":4636285,"id":"Q4636285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$5991C343-0EA2-439A-A3E2-8E06185C7086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$CA7B91B1-2B51-4A67-B36C-1DD0C5B00D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$7EBEBAB9-CD11-40BF-9DCD-9D531063A420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$9A2CE8C8-C8A3-4CA9-9716-47105216CC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1deaf640b23ae3a53894ab56d6e520103b44dba4","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$3AA52701-1A5C-474A-A5C0-36262FE3DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$36FDC14D-357D-4F0D-9593-6A2AECDDBA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$B5FE8B36-C793-49B4-8AB9-58B5C8348105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0628ace52c2813f4692920416947b3f551898b13","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$609658E3-2E5D-4174-B54D-D7FFF61313F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c4131dd50431b114bb5048fafc00920d0289b","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$50A0D381-694E-4263-A765-C1244BFC61E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1d2b184db23631f35a7de90ca0357cff037d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2270235,"id":"Q2270235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$A88F3931-B8B7-45A4-A5B1-BADF218CD601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341c911b152199855404ce5379115445e91229d4","datavalue":{"value":{"entity-type":"item","numeric-id":2849424,"id":"Q2849424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$BEF027F0-BD19-4E04-81A6-C759099F9941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$A5719839-A2E0-4504-BBA1-59DE771134FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa190d3d8ac417994969335d39b5ad3f09712b9","datavalue":{"value":{"entity-type":"item","numeric-id":368486,"id":"Q368486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$0C3F5A2A-7DF1-4143-9FE2-E83FE704013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ad6e1f7379b37f01b0314ada1886b3d6385160","datavalue":{"value":{"entity-type":"item","numeric-id":2721196,"id":"Q2721196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$0391D9C5-F1CC-4597-8815-AECDE28EE36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$6F8656C6-A00B-4559-AEA9-B409486D2C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$D1D29116-B796-43D4-AF5B-9697B159D6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$A72645AE-8019-4D96-9068-6963159F6228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$9067767D-204E-4AE3-9A46-66ADC8ED9F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$EC53D5C0-ED98-4E19-B2B3-3FDA02F7DD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$69ACB8DA-30A3-4BBE-8445-13AC31B16E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f995501f3b2c4fbc92b29fa48435a1a179936de0","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$92FDB9D8-3BCB-4C02-9F53-D8571224961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$53DDBBC9-9DFF-4ADD-9C60-31892BFD4D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$90B8F659-1AE3-40AD-847C-0FCC42655D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$1F005A62-671B-41F3-A782-86A5047BA8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$A7217A89-C44C-46EF-B410-E9F267B7F69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$444FFD58-079F-4436-A988-E770FF8A47A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ea1b24971b7e19fa147a07b9c4ceaaf4537472","datavalue":{"value":{"entity-type":"item","numeric-id":3192201,"id":"Q3192201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$912B7DF9-F120-43D0-9307-07135399EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d39017abd03e5db7f6b8f5174e282acbc48901","datavalue":{"value":{"entity-type":"item","numeric-id":2936238,"id":"Q2936238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$E3CC886C-B627-41DC-8195-6B7543928D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1018d9d4e5011a73359baaaf383c844679745d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2851947,"id":"Q2851947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$6045302A-A19C-4BF3-A52A-2DAB20A7401D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e79d1a59ed08da9d465d9da91f6b462b7a679f1","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$C15D9A11-2567-4D14-983A-86FBA65DF8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$629565A3-D206-44C2-ACE2-17C534624FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$D3CC039C-7BA1-4C31-B4AB-EC5AEC43357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$66E297CF-6E34-461D-AE1D-591417EA0CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$457DC06A-B3EC-432D-8AD7-BA4B81618629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4308be7b20db56efb01c78f562265300da316a7c","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$BC464BE6-8BD6-4944-848F-D0331CEA1DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$10599C02-E2CB-4BA3-BD91-017F3C673520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$6BA9E724-D8BA-4C6D-98BE-7D413E4389F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$EA2AA450-9D9C-40B4-9E1F-0B596BCCF8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a375ed79bbc76408de18d931c97521e19e371a","datavalue":{"value":{"entity-type":"item","numeric-id":3167601,"id":"Q3167601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$16C922D2-3992-4389-BB8E-2BCC1FD9D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$4BAB7E19-4E65-4DD0-9030-29BE17091945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$12E7543A-57B8-4C4C-9AEA-D05838B9B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344801$4FBD4045-357A-4C50-99CD-803A1C055C3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f51de5cdbd9942bdf8f6f62def455cd82e0c391","datavalue":{"value":"10.1016/J.TCS.2016.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344801$39A63F73-A346-408A-9841-52C81BAD7B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563d2a4d459f953b687c16f498361b72d62cdffc","datavalue":{"value":{"entity-type":"item","numeric-id":3192201,"id":"Q3192201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98ec23fc2708e743125c7ffb9615f257d3e6f2d","datavalue":{"value":{"amount":"+0.8770219683647156","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":"Q344801$203D64BF-AE4C-47C8-A0FC-E924CB25C000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7cefa9f5aa5132423cb68dac31388bee1f70fe","datavalue":{"value":{"amount":"+0.8474318385124207","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":"Q344801$A59BA45E-C198-4F4B-BF19-FF0D68AF601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68e8c7fce1511dd882a1df18b4dfc5008db2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552b9e9a5c8ee5ce70993ad3a599589c3ccadecd","datavalue":{"value":{"amount":"+0.8114931583404541","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":"Q344801$298BCB6E-D019-430E-95A0-DCB7A513EA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b04f000790e94488e9d510adc263898620c299","datavalue":{"value":{"amount":"+0.8039087057113647","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":"Q344801$766FA056-75DA-4897-B559-73628FC64AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973ae4afdcea85b59ccbc5b56f540e5e254d8541","datavalue":{"value":{"amount":"+0.7954472899436951","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":"Q344801$059D7BE6-A412-4762-97D0-A4B45AB92B80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypersequent rules with restricted contexts for propositional modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypersequent_rules_with_restricted_contexts_for_propositional_modal_logics"}}}}}