{"entities":{"Q4636035":{"pageid":6665616,"ns":120,"title":"Item:Q4636035","lastrevid":53071214,"modified":"2026-01-24T04:11:32Z","type":"item","id":"Q4636035","labels":{"en":{"language":"en","value":"Embedding formalisms: hypersequents and two-level systems of rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863645"}},"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":"Q4636035$6B9C24B3-7243-49E9-8E24-0ADB267071C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b6d28544e96d230c5cf903d5f775a49326962a2","datavalue":{"value":"1400.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636035$7F90C88F-E5AD-4920-AB48-62C3668FCA44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636035$C3D22B46-5667-4B0B-900F-868B0C9D6FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bee7817e5a0e44e265abb433bc2f33ece0a2be","datavalue":{"value":{"entity-type":"item","numeric-id":1989343,"id":"Q1989343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636035$71616AF6-4705-46C9-80D6-BBD0F9FE7175","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636035$6FFA07DF-D0D8-4804-A6EF-2DE1852F60C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636035$D098670D-ADBA-46FA-9915-F8CC54C4B1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636035$673A8E61-7787-42C5-87DD-DC8A857CC075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636035$7F5D8F1A-EDA9-4FEA-8DF3-D9DA18276194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e49c6c4619c8bc543a95d50972dbfdfb87574b79","datavalue":{"value":"6863645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636035$E2DCBD5E-84F9-4E17-8FE3-ED3874364507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636035$4C7BFCE6-6A81-4FFA-9065-E8344D633E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636035$26505699-4A5B-4943-89C2-EE3BAB6A7770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b88b89367deb792d7b50c57f13a794f863725a","datavalue":{"value":"systems of rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636035$249293F6-E4D1-45E5-A068-C3BA990039C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636035$DEB4E9DD-338B-450D-B98C-4444740453B7","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":"Q4636035$B6816A07-ABB4-40A6-B533-BA86945E8739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c519bef2132e51d8f59e67a71f7e4cd360762ff","datavalue":{"value":{"entity-type":"item","numeric-id":4579958,"id":"Q4579958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d455baac4eaf3337229fdb7db8bd5f595f331eb","datavalue":{"value":{"amount":"+0.8949408531188965","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":"Q4636035$207CE28E-923E-4711-BCE7-F20B9133713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e776ff48e52afdc855d34be81bb53f23a2b91326","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6d221c4f788f6956db4075304460576c625d9f","datavalue":{"value":{"amount":"+0.7986192107200623","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":"Q4636035$4ED33599-BDA6-4A37-BA54-B2D30A515DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c52b4e6fdf340f53adedfb3c1c81ff8c5d5055","datavalue":{"value":{"entity-type":"item","numeric-id":5262490,"id":"Q5262490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad6ee3650dc03d787204940a1b2df490f5c071c","datavalue":{"value":{"amount":"+0.7748802304267883","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":"Q4636035$39E20646-151F-4611-98A7-7E65B6F4CA55","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":"9625ef6cdab095c1ad30c62f774456138ed6866e","datavalue":{"value":{"amount":"+0.7653458118438721","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":"Q4636035$B7D996F6-6F76-4E4A-99FB-FB0F997F72F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516992fd13d1d592839f04e183d2a6a3f5ce23e3","datavalue":{"value":{"entity-type":"item","numeric-id":344801,"id":"Q344801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5194e7c9e079ecd66d8018d2cc0c790724f02b70","datavalue":{"value":{"amount":"+0.7349929213523865","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":"Q4636035$7B1E90CA-4902-4B71-945B-81225DF02D40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636035"}}}}}