{"entities":{"Q5387838":{"pageid":7417412,"ns":120,"title":"Item:Q5387838","lastrevid":50366351,"modified":"2026-01-13T21:58:28Z","type":"item","id":"Q5387838","labels":{"en":{"language":"en","value":"Strong Normalization of the Dual Classical Sequent Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279523"}},"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":"Q5387838$133FA77E-AF62-4094-9260-C6933AB673EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e722a1e9e04593cc329523eade702e5ba53872a","datavalue":{"value":{"text":"Strong Normalization of the Dual Classical Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387838$025A7455-9D35-4034-A838-D97487169D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2939f439a03b4b7a5288069cae19555a3a411fbb","datavalue":{"value":"1143.03360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$6C608197-4A6B-4396-9D39-0D36229818B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e4c235cef18bfc622f2390c07bd9df23f20724a","datavalue":{"value":"10.1007/11591191_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$A137DFBF-293C-46AD-9901-F6B3DF25E69F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387838$DF8E8ABD-7708-4690-A866-E2A5586BB505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387838$E7B8A5E1-0BB8-4609-B4BF-363FB5F20D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387838$6C20308D-995D-47AF-B588-D288DDBF7B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387838$023D98CF-602C-4BB6-9AB4-7D2B808C7092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387838$FB4B1E79-7EDA-4561-9935-7DB464FC642F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387838$C19064A8-A4C0-4DDD-ABC3-656D71E9E97F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"797ac09a319d51ac2c9536bd031f04f00451b45b","datavalue":{"value":"http://hdl.handle.net/2318/28867","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387838$91D7560C-66AE-4ADE-A3D5-59B19B52CDA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$A375DEAE-E7ED-4A94-91DC-1106CE5C018E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$D33CA002-7A65-409D-B5B8-AD1EF4501A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$0E8EEE79-2885-4826-AAEA-B515C62CAF44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"debb7de223bbec4bcb8b8a3b41eda8e77ba026ca","datavalue":{"value":"5279523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$64FC2A9F-DE40-40C3-88C3-1AD11036FC09","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":"Q5387838$3D87198D-4211-49F2-BA35-560CD8E833B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fe610e56f88d093e2627a42a514f0e7a8bc09e0","datavalue":{"value":"W1839771719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387838$D9F0020C-D994-4786-8C93-673C56914E43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc0da498c499be1392c41073cbe5f1d9ccf85a1","datavalue":{"value":{"entity-type":"item","numeric-id":2503329,"id":"Q2503329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305b14163d98eaee4bc6ff7c9c6fb210218e1601","datavalue":{"value":{"amount":"+0.8254674673080444","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":"Q5387838$7E2BFAA2-7CC8-4984-B587-D58EBED777EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45c7dff42ba9946e9a8acd3e138332c15ef18e2","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0024c6542fe4b26a50f67e7a66f274f20f363e12","datavalue":{"value":{"amount":"+0.8094484806060791","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":"Q5387838$8360C71F-3E7B-4FC5-AB0A-71766E86E98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e163fa61be7d1aa25a486cb5b5a35782e6feda","datavalue":{"value":{"amount":"+0.8076862692832947","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":"Q5387838$24AA2A53-D856-4BA0-BD89-1A2AF06E09B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca778c428dc4ce509329be52806bfd27714bc11","datavalue":{"value":{"amount":"+0.8074955940246582","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":"Q5387838$99BA171A-00BF-40A6-82CE-CC9C7F864582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25dc47e963623a702852fa84502d712375c2c97f","datavalue":{"value":{"amount":"+0.8061089515686035","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":"Q5387838$933E8131-EDF2-47D8-84C0-C42BC3411F52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387838"}}}}}