{"entities":{"Q3460084":{"pageid":5239484,"ns":120,"title":"Item:Q3460084","lastrevid":52431488,"modified":"2026-01-22T15:28:50Z","type":"item","id":"Q3460084","labels":{"en":{"language":"en","value":"Proof search in nested sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528807"}},"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":"Q3460084$C60DE167-F1F1-4FFE-B613-88F4860DA1F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66e00201ff893edf0ea88278ab8362234382a923","datavalue":{"value":{"text":"Proof Search in Nested Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460084$3BF79D00-9795-435F-9DCD-6683597F247D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d731519b6fdca22d60cad38e7f058d103381446e","datavalue":{"value":"1471.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$6257F3D3-520A-4A8B-9547-A5F0A976B4AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"164442a2d6111fd75869445269f96adac8659c64","datavalue":{"value":"10.1007/978-3-662-48899-7_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$5891B74A-9AC6-4A18-9A12-7A16919EF1B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"900b948a3c89cfd527e771da7f94f9ede8bdc85c","datavalue":{"value":{"entity-type":"item","numeric-id":344800,"id":"Q344800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460084$4D2B3C72-6816-4EA1-A019-BD3BCDDE775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460084$E5FE3047-B23C-46FE-BB3D-BEFF11B95F97","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":"Q3460084$165B752B-8F4E-4999-8EA4-F391A31B9567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460084$744BA274-B0DB-429E-A207-853A53331B00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$330057DC-87EE-4886-AF9C-C52FB76B5FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$AC495F27-82C1-4873-89EA-5CE67A23FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$8B144C1E-8AF1-48F5-8638-BD8F6C7F28CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f9f747e8045174f7fb05539b30424c032a36e8d","datavalue":{"value":"6528807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$AAFD9AA8-2D35-4A59-B27B-1F5CD42993B2","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":"Q3460084$FBDC7BC4-F72B-4408-BAE9-25B2845B480B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"deb74b591d5ee1964b5a732130708798cda9b0b9","datavalue":{"value":"Q57850726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$947225A0-6AA3-42C8-96F8-AE307697086D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fd56e139bc4564cbeb570a928f5f9b246247a5a","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460084$9987C163-7DD3-4182-A90E-A40EDD682AE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"591a722c97e6b5bce1722dff9aa419460422eb42","datavalue":{"value":"W2286252794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460084$65766BEF-2683-42AA-82F6-58A0CAE276C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2576c18a9e4b5008104411dc21f38fb1c1d8a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80c864ab510ce419bd7ff3a6ff696fa44209ee5","datavalue":{"value":{"amount":"+0.8729001879692078","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":"Q3460084$899577B3-B3E8-4AF5-B823-0EC143D58D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b608f8e48cae9e3be95e4b25037189a4718ef8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b712e54f8c981c66e4e0815b9cd846daea255ca8","datavalue":{"value":{"amount":"+0.851235568523407","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":"Q3460084$3A2CF8C7-45EC-4809-82B8-0DB44B99EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc7dad513c6e967aad039980dbc35e1b6f5414b","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100e306aef49e59b4494a85ff3656f19cb8e8ab6","datavalue":{"value":{"amount":"+0.8314850330352783","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":"Q3460084$D48F01EA-EB28-4A6D-9B24-F621E80D1EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16ad418b8b98a9de95cfe3f9f18097a42592087","datavalue":{"value":{"entity-type":"item","numeric-id":2180514,"id":"Q2180514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3f5e7e6ceed19abafca8b09e096efcd7ac01d8","datavalue":{"value":{"amount":"+0.8177089691162109","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":"Q3460084$C91BA220-7DD3-4652-8243-06665A6386F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2fdaf8a4e85bb7438c5a335fe9c7b04acca96c","datavalue":{"value":{"entity-type":"item","numeric-id":2804318,"id":"Q2804318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafbc50631333574d0ec62a3f8d64699cbc1da6e","datavalue":{"value":{"amount":"+0.8005273342132568","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":"Q3460084$207C17AC-5DBB-46A0-8D17-3457A36468F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460084"}}}}}