{"entities":{"Q5224889":{"pageid":7254458,"ns":120,"title":"Item:Q5224889","lastrevid":53486816,"modified":"2026-01-25T01:07:03Z","type":"item","id":"Q5224889","labels":{"en":{"language":"en","value":"Double-line harmony in a sequent setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085126"}},"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":"Q5224889$897AC74C-B0D4-4182-BFFD-90D9CD6688EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4482a8a5e990ef7a3ff04eab998782c4cad4f57","datavalue":{"value":"1418.03168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224889$ABDB998B-837A-4F96-ACAF-394A7413C410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"919c61ad1744ea5a8d2415f4f917b715c26a4371","datavalue":{"value":{"entity-type":"item","numeric-id":253122,"id":"Q253122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224889$712A3A7F-22E6-4C42-AC72-15472C8BB25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224889$3E0CBD77-522D-4F34-B173-156CDD3F6C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224889$31BF657D-D253-44CC-B80E-9F4A8EB096A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224889$84222E63-327A-4DDD-B2F7-454CF0015ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224889$A632CD56-4D48-4CFC-B1C9-6F030A10CBFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f33020c81c5a6f48b4c51a0b7994d21772dba622","datavalue":{"value":"7085126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224889$A0C3A4FD-F1FF-4456-9685-D8FFF6FCCCC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224889$083260F2-01D1-4084-87BD-4ED6021F423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224889$B8C27847-003B-404D-8499-3E18264A483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224889$5EC4DFC8-728C-45C1-849B-F1355684AC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99bda26d1331a3b5276c705cdc7901c540782275","datavalue":{"value":"double-line rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224889$E83170C5-9DE3-4C1E-8480-3D7DDFE0E8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06abd77704a2a4cf160ef6bdfe9e8ffa3c8afd20","datavalue":{"value":"inversion principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224889$BE473A8F-56C9-495B-A919-75AFD4457207","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":"Q5224889$758E7926-5AF8-4828-8D1E-02A19CB1553A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98c25ace942c14b26adafc0fd7b4668ac3d56cf","datavalue":{"value":{"entity-type":"item","numeric-id":4648454,"id":"Q4648454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b9e685d386ea073a2c4ad8b4d5e7b89c7f1e30","datavalue":{"value":{"amount":"+0.7693257927894592","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":"Q5224889$46848FDE-EEAC-4A1F-A7F9-81E13EB37D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f468dfdde7cce063a26dcbeac0eb6c84ac35b23","datavalue":{"value":{"entity-type":"item","numeric-id":4648457,"id":"Q4648457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8519824f9b7c1ab5cd8e7d9bfe69d92da62bfe","datavalue":{"value":{"amount":"+0.7644902467727661","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":"Q5224889$AE6963FE-29BD-4A34-986B-53EA024BBD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b6bb69a1aeac85dc04eb58581e1fdbd2a3ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":452347,"id":"Q452347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1f1cb4bbb89e58fd770956ac075ab6d3cb4bac","datavalue":{"value":{"amount":"+0.7207831740379333","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":"Q5224889$66DD6A71-9BEC-49D9-8F5F-8E0639D99EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e5396d30c1478d8f331c68a34a9e916fa1a907","datavalue":{"value":{"entity-type":"item","numeric-id":3195584,"id":"Q3195584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc623f5992971ca432fdb9ad5484305ce6a2d5a","datavalue":{"value":{"amount":"+0.7166718244552612","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":"Q5224889$BCED7EA3-DE23-438B-BF6E-7456E5FD6642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2e502126e894bb6bd849610f27bf9efff92e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2254564,"id":"Q2254564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed1c6e9a42f7f583b3aaedfd56b00270e3a34a2","datavalue":{"value":{"amount":"+0.6868392825126648","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":"Q5224889$3DF47CF7-8D40-4B60-9830-CBE3B8660443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224889"}}}}}