{"entities":{"Q2987759":{"pageid":2998483,"ns":120,"title":"Item:Q2987759","lastrevid":52809281,"modified":"2026-01-23T13:31:13Z","type":"item","id":"Q2987759","labels":{"en":{"language":"en","value":"Simple cut elimination proof for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720052"}},"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":"Q2987759$124C1680-A328-42A3-B8D1-6315E8D57E59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d8e3d228b233f4a7ff16bb32da4a7f9ed21d796","datavalue":{"value":{"text":"Simple cut elimination proof for hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987759$D96CD217-7C7F-463B-9105-A843DE10338C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d4911a3eae6ee0754d1da30a001cd33a575a0e8","datavalue":{"value":"1377.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987759$0B35416B-FCD9-49F0-9E6E-69763F8E296F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48594230a30ec4d3668ab73d35bf75d14bacf67e","datavalue":{"value":"10.12775/LLP.2016.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987759$8905B884-4F12-4069-AFFD-838D676A3CE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$0C21DFEC-4D3D-4701-819D-FC0840982987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$5B033E31-67F4-4711-95CD-A6065C0E1761","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987759$A5AEE293-725E-4B9F-AF9F-208E76843305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987759$DE604F2D-3511-41DE-8289-FB8B5BFBFC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987759$CFF12F77-302F-4BA7-BE4A-AC0BB1BC0F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a8f07ad09a8e71d5438d220cfb09d35511fc16","datavalue":{"value":"6720052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987759$E9B6D395-71B1-4683-B956-B59B726A619D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987759$71DA145F-3591-474B-AA74-68F930374812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b2394774747f377a5ba84345f9ee50cd643f3f","datavalue":{"value":"cut elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987759$D05103A3-E4EB-4462-9BB1-23EFBBE5BCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987759$2AE1981C-1219-494D-97FC-A1E402ADC1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987759$E7B04D84-0A7E-46E1-B20A-051EBB45E80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c22733c38e702d57d46702593ae22b86116d2ec","datavalue":{"value":"geometric conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987759$3050F501-2524-4DD3-AE91-F4B5DA84D198","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":"Q2987759$87913927-96F6-4015-B369-45CDBF7A57B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27171c45081d17a491640c9d376b6b836e297fe","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$FD1AA7E7-1899-4FEF-96C4-2204FF305F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$056D8C5E-2956-40A0-902C-645AEEF70D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7cec9b821e2e4c8ea02adb846615582ed2171","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$6A1D2E5D-5964-43F6-86AD-F69CB0DA0DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b696b21e9499f989300a49908e9fc7a459a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$58411F2E-08E2-4535-A7C6-8526C20E7BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78303e74f6644342b1c5006e755b01fa9eb8376d","datavalue":{"value":{"entity-type":"item","numeric-id":5172130,"id":"Q5172130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$988E80A8-EAFD-4F12-BCCB-D1FF447FF8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$4FD0C28E-F65F-4494-A5D5-E07571068398","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":"Q2987759$4FDD0880-3AD9-4521-9ED5-799AFFC8DE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$E80CAAC9-70F1-46ED-A1EB-B83153BD8A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981daa2834ec1e951cf0e7b5fb4fb984156a553c","datavalue":{"value":{"entity-type":"item","numeric-id":4263012,"id":"Q4263012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$B0130EDB-DCD8-49F7-BCCC-BFE270B56199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19770963acf5b41161d30a1ddebe17f92a3da28f","datavalue":{"value":{"entity-type":"item","numeric-id":4263013,"id":"Q4263013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$173E33CD-4B71-4713-A968-96C725D64EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$896335B8-820B-44FB-9E9A-245EE15B198C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2118a6ce593f8b8efa4f795a66781008f0039f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4518420,"id":"Q4518420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$094902C0-A687-4349-9AA9-F327B6E65E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770e1b5ffd5abf6c345ab23622cdd76cfd3f0c91","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$083D8FF6-7395-4AE2-A6A1-71354B894B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$536A4022-6DD3-41F7-A299-3E3930106F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e55e2ae55849477a8a82fb6f315e007c307131","datavalue":{"value":{"entity-type":"item","numeric-id":4982329,"id":"Q4982329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$A2D7BFE7-9232-47B4-8B9C-CCEA93D97231","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":"Q2987759$48D0BB23-A1E2-49FF-9A29-685D471E22B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$8A207FF4-7F4D-4312-8DF5-B67D26941D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d509c8c5854a3cec0f25f692d7266ee625cce0","datavalue":{"value":{"entity-type":"item","numeric-id":2772880,"id":"Q2772880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987759$214ED693-DF7B-42D5-BC76-D8AFCA319E56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"428fa77d73f96a5f6e4b5e6b5a474f176696f9c2","datavalue":{"value":"https://doi.org/10.12775/llp.2016.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987759$D60F6E1C-F9CB-4885-BB60-511B0160ACC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"253bf49318f801dfee1b276092396f5923a2db00","datavalue":{"value":"W2313748468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987759$788771D3-2BB9-4CA9-A579-B6F778D229B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe3c839e47ac30eb17be5e2e55cc5649fcfd459","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a028f6246897ba2f45a0aa9bbbdbbdecab0da46","datavalue":{"value":{"amount":"+0.7784691452980042","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":"Q2987759$FBBAFDE0-9D6F-4B55-A37B-ECD1E1A35349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b994e8d0c268ef50f80de07a97940db98d609a","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6163421504084929f68853697929433439987d","datavalue":{"value":{"amount":"+0.7719744443893433","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":"Q2987759$8B1982C8-D4CA-4D61-8489-F3C46EF5AE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44e0985c0eafe9bc20e40d69ffdae5b0c45b315","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90578f802e78f265dcf7deebb18b1e6486dd0d0e","datavalue":{"value":{"amount":"+0.771260678768158","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":"Q2987759$C16FFCCC-0D5E-4446-B599-9E9A70355560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be58dc669d7e2d6c07d70fffcb8dd0c03670eb7","datavalue":{"value":{"amount":"+0.7703141570091248","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":"Q2987759$DD84DB63-BC6C-4999-96BE-172B3CBEE379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0891f45889d6e6c669d53d9b1231735f9a3d21f","datavalue":{"value":{"entity-type":"item","numeric-id":5693112,"id":"Q5693112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c06079a810ff8fbbf7e2001b61d9207c3174960","datavalue":{"value":{"amount":"+0.7628061175346375","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":"Q2987759$9B67A277-97A4-4AF0-9FAA-76100844DA41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2987759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2987759"}}}}}