{"entities":{"Q3192215":{"pageid":3202923,"ns":120,"title":"Item:Q3192215","lastrevid":52096676,"modified":"2026-01-20T22:35:09Z","type":"item","id":"Q3192215","labels":{"en":{"language":"en","value":"NESCOND: an implementation of nested sequent calculi for conditional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348261"}},"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":"Q3192215$00E7C8A0-5B70-4656-A483-8121613483E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ee478758ad31fbb67eef5a684d81d684f623380","datavalue":{"value":{"text":"NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192215$9F88FD78-50AB-4793-BF58-7F380C5439E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b76607e1ce169a072a7a0b7f55e2140406d99ee9","datavalue":{"value":"1425.68378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$BA6677C1-5BA6-49D8-A8BA-7F0950BBF331","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90506422f46b16441db31f9ec48ff4eb6854983c","datavalue":{"value":"10.1007/978-3-319-08587-6_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$7F75B7C9-3C8E-4F77-B449-85460F96D886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192215$6909F64A-05BA-40CC-82CB-98954541A8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192215$20B1A637-1512-4264-B98E-B45AB69341BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192215$51B63F4B-6A2E-4A9F-B0D1-17CF0A28336D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192215$E8C5F9B9-A14C-4F91-843F-245AA1ED642F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d85dd9170155e9a18b64ba55ba06bcc8a5b73bb2","datavalue":{"value":"http://hdl.handle.net/2318/152376","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192215$F5F0B70D-36BC-4663-A0E1-BF1FADF7DD42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$B95973EC-2AB0-4D66-9D44-61E206520A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$4D03C5DF-BBBC-4769-AD08-F434F3638B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$EA4A1EA1-A0DA-46A7-A50A-1606393BB71B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a22f1629a13cd3a02510726331ca7da3b5a5c8a7","datavalue":{"value":"6348261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$45083459-4BDB-4605-B247-4DEC54BEACCA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef67e13db42d612cd6629f6e2cbcf0f0d68e6118","datavalue":{"value":{"entity-type":"item","numeric-id":22010,"id":"Q22010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192215$8D1117A3-3F0A-48FF-BCC3-238B7A7E7749","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":"Q3192215$AFDDF7FE-494E-4B24-A421-281F1B07E050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b0f21f6be27a2a1674db10859aa03498c6482f6","datavalue":{"value":"W596652995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192215$461635E5-E765-4FFC-96D7-7B9D31B98567","rank":"normal"}],"P1643":[{"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":"292da3669cf071c7ee6294552e91e8534638c417","datavalue":{"value":{"amount":"+0.8297162055969238","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":"Q3192215$07D62D9C-C32C-48D2-8C15-D5F99483B70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77363608aba1bdf19f0ba434a1dd2532164d45cf","datavalue":{"value":{"entity-type":"item","numeric-id":5187875,"id":"Q5187875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a638021e32f17d7ca012a4428284a3489c943a79","datavalue":{"value":{"amount":"+0.8252906799316406","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":"Q3192215$44F3378A-B6D3-4D19-A4AC-806EEDB7EEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5e1e2f9fff3e69c780ffc84220f5007fef660f","datavalue":{"value":{"entity-type":"item","numeric-id":2915054,"id":"Q2915054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50391f252efbbe6f98162d9c6384b3754b20c79","datavalue":{"value":{"amount":"+0.8230445384979248","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":"Q3192215$5F648FCB-E65A-413B-8929-58A856C89ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f7b6d181ca588b90f058a509ee2012677de188","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5112679e3fc86448c6382819a6160f77730526","datavalue":{"value":{"amount":"+0.8130621910095215","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":"Q3192215$BC2CE362-81A7-428D-AA96-23D22258840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b967632f55df3243a4972526bc3e538dd21ea1b","datavalue":{"value":{"entity-type":"item","numeric-id":5479291,"id":"Q5479291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab36f00333acb95aa6980af223f73610d2353181","datavalue":{"value":{"amount":"+0.8097693920135498","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":"Q3192215$2FC7C642-A409-46A8-BBC2-C5A947E37FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192215"}}}}}