{"entities":{"Q3510440":{"pageid":5540344,"ns":120,"title":"Item:Q3510440","lastrevid":50399387,"modified":"2026-01-13T23:31:44Z","type":"item","id":"Q3510440","labels":{"en":{"language":"en","value":"Normal form theorem for systems of sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5296691"}},"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":"Q3510440$59FDCC9C-1E02-4778-AEE1-9772FE619C7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4fac9b74052c9a013f245bd788379937ef3f91","datavalue":{"value":{"text":"Normal form theorem for systems of sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510440$AFC4936A-CC3D-4008-A0CD-43992918D4E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"061ec0437589029e006ec4e70114d1c99e2566e1","datavalue":{"value":"1164.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510440$121409C0-6E52-439C-A139-2CFFCFB15905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1b17a468a9aa39b4424b729291b29df79aca608","datavalue":{"value":"10.2298/PIM0796037B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510440$EF9C6028-154D-45CD-B8F9-2CDDCB58BF18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510440$408B27DD-E99E-4B2D-9AAF-6DF7516A5C5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00034c34431941ef173c32ddaed6c9a7c9ade616","datavalue":{"value":{"entity-type":"item","numeric-id":2815240,"id":"Q2815240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510440$253FA0F7-2EC9-43A6-9A80-12CE19AA9208","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03dc85bcb852416a69558ff26ee872119ad863d0","datavalue":{"value":{"time":"+2008-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510440$BBE8BA90-7E8D-44AB-BDDF-F6ADE83282DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf1d13895ba4e7052b32c9c35e72cd3f4450e8b2","datavalue":{"value":"https://eudml.org/doc/130043","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510440$4D44E191-9906-4814-B9BD-06EED174176A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510440$76E2621C-6297-4A5E-A3AE-B6C5782355E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ba628f75871c5a823e8f16ccf3e60e1181e6a0c","datavalue":{"value":"5296691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510440$3853BFB7-F1DC-4E31-B1CE-1691E1D3A2A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510440$798EE824-A474-4775-92E2-A02FA1B3FBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510440$B6E8A78F-3287-4329-82C7-67B81007C844","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":"Q3510440$358C335A-B023-4F57-B2BD-0D65DBF073ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd303a655c1f1475c32d7c64cada7e36996ffe0d","datavalue":{"value":"W2083936411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510440$C37BAE33-B97A-4191-A9F7-1C88D5A35D58","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"0e9b3ed5f97e81f46d7fb80eae68e398e1625c7b","datavalue":{"value":"bafkreig5kcm6tt2326fnps6sdfipywgftxfk6f2gu5ck75dfd4u6snrnka","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510440$0F0E145F-B5D1-46DD-9F92-3B8B4B36A53D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ec02c7d07ea4068b497ad4a87518a0249b32b7","datavalue":{"value":{"entity-type":"item","numeric-id":1029828,"id":"Q1029828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed84f64a7901f47d1c5509f561b85fabda9411b","datavalue":{"value":{"amount":"+0.8650020956993103","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":"Q3510440$B509891B-BB5C-4761-85FB-A2D210794A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb01259cb7c23725068d1206659a84001510162","datavalue":{"value":{"entity-type":"item","numeric-id":4899876,"id":"Q4899876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89e2b479f19ab04192463ceda08bc7c3c37ae7e","datavalue":{"value":{"amount":"+0.8598359227180481","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":"Q3510440$BDCD3BC4-2485-42A3-B9DB-0ACE5CE5BCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45d1a7e8f6bdf0d27abc13d3246965484b71dd4","datavalue":{"value":{"entity-type":"item","numeric-id":818516,"id":"Q818516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a885a8ca65f56dd39d4f2109db5c0373641fd6","datavalue":{"value":{"amount":"+0.8269266486167908","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":"Q3510440$5FDCAA96-E27D-4C25-B325-4448E368DE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa83d117b6a397d4bbb80610c3146bbb5cf7a20","datavalue":{"value":{"entity-type":"item","numeric-id":5714811,"id":"Q5714811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8289383ee9a69c71b5f3d485e14e87dd153e970","datavalue":{"value":{"amount":"+0.8248062133789062","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":"Q3510440$AD546C1C-9E83-435C-B3A8-F42640E63AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46837bc29d87c3d7145f5a48f5ff17d766dc2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4806e5431d83f174efa7de8339403836a1e403a","datavalue":{"value":{"amount":"+0.8235862255096436","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":"Q3510440$06F32D1B-E7E2-4E8C-8578-E03E5C4EB008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510440"}}}}}