{"entities":{"Q2946716":{"pageid":2957436,"ns":120,"title":"Item:Q2946716","lastrevid":52347440,"modified":"2026-01-22T10:12:19Z","type":"item","id":"Q2946716","labels":{"en":{"language":"en","value":"A unified semantic framework for fully structural propositional sequent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483215"}},"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":"Q2946716$C4B5C704-EA35-4B85-9356-14897C91EB91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65edd14c23142dde4dedffab8809e64a814bf641","datavalue":{"value":{"text":"A unified semantic framework for fully structural propositional sequent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946716$D27209F6-B9B5-42AD-8F08-E177AE6FADC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d422d99892cce910b15b91483f71c5feebdd9f5d","datavalue":{"value":"1354.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946716$6D1EA38E-3D82-44D2-88C7-860928F215A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45d7ad5d4430908c14ac57cefdf9fbfbe82e3426","datavalue":{"value":"10.1145/2528930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946716$B1AB6D33-B130-4662-940F-3226B50BAF5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946716$9406E5E1-8076-40A0-859C-9D50384CF5A6","rank":"normal"},{"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":"Q2946716$015CCCC9-EE26-4B70-B8B0-0EB6E44DA63A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946716$8F8B503D-1569-4975-83F0-E45FF5AFCD16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946716$EA58F7EB-2D35-4B46-B0D9-B5963F9074B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946716$796A1686-79B3-48A1-884A-E8F98976B723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f161b35b214dc8bf2102f28375db7e7ece618a4","datavalue":{"value":"6483215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946716$3056EE37-D3FA-42DB-9A99-2480E34267DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75ab3b1d0b161be33e4d2ec6fa01a5a7c7f224","datavalue":{"value":"analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$799AE9FB-565A-413B-98F7-C1C0BA427742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$24B8AF47-A05F-4502-A60E-AC0A77188647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab740a1d5f3edd9c8a371aee428b74489c854dfa","datavalue":{"value":"axiom expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$D9DE088F-1F2E-49F0-926B-EE38BB67F1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$3AD5319A-0AE5-4F09-B7C6-98E3A73B8600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5457baa26552f25d57d3abd6dcc0d62befb3b0ee","datavalue":{"value":"nondeterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$69F56460-E29D-4ACC-8D07-5CA9F4745AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$A475420C-8962-4365-8CBE-A30122A09B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5f128661442cdb96d86c9bcbf80a200623906d","datavalue":{"value":"semantic characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$ACA4F33F-0E63-4E84-B3E4-DB8CACBCE508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946716$3E4F14D0-B01A-45E1-994D-46563B63E0F0","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":"Q2946716$5BAAB5C8-2EA4-45C2-ACE2-6689535067F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"858110c48d313c735f1bad87e6e160579c40e41d","datavalue":{"value":"https://doi.org/10.1145/2528930","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946716$0B6501CF-A1B5-4595-8281-FDE8D7EC62E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d1d00dcbe41f4436fe2949d97cc43a3e1075894","datavalue":{"value":"W1990123412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946716$77097CEE-89EA-4FCB-B5A1-9F0A868D6BF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ea3629aa057b35f0f85e2e3fcd31991cced0be","datavalue":{"value":{"entity-type":"item","numeric-id":3010359,"id":"Q3010359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c91908bfaa8179bfa6afa38607ca73b3406377","datavalue":{"value":{"amount":"+0.876936674118042","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":"Q2946716$005CB7C0-5F30-4A64-8228-454B38D64314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad43eac6b3f97d9d81309d3d9c6712e34da4234","datavalue":{"value":{"amount":"+0.749357283115387","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":"Q2946716$831A8C73-1DDA-42BE-9A6B-598F432DB8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fff598bb064d1eabe8c391eb10b8649febf20d","datavalue":{"value":{"amount":"+0.7468146085739136","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":"Q2946716$CA804610-BFFA-456D-8BE1-CF8DBFCF53D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c5985acd06e923f6a50ba7d2c0a409f11df455","datavalue":{"value":{"entity-type":"item","numeric-id":2804332,"id":"Q2804332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2867edd821abd721188d4fad34017da84aa7f495","datavalue":{"value":{"amount":"+0.7435745596885681","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":"Q2946716$D506CFC7-4FB2-4E91-851E-C4C5720F5595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a8947d7fde4a07abf53a3757bbdfb4c30c9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1931305,"id":"Q1931305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c6239f3c295720e2a9d58d2d9bfebe57628dbe","datavalue":{"value":{"amount":"+0.741511344909668","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":"Q2946716$B745DBAD-D6CF-4C28-9839-757A83D8F539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946716"}}}}}