{"entities":{"Q5277787":{"pageid":7307362,"ns":120,"title":"Item:Q5277787","lastrevid":58523991,"modified":"2026-04-05T14:29:44Z","type":"item","id":"Q5277787","labels":{"en":{"language":"en","value":"A sequent calculus and a theorem prover for standard conditional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744030"}},"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":"Q5277787$8D821508-9A73-48FD-942E-4681BF9F809C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e4769901c7c88f14e28921bddc73fae7139266b","datavalue":{"value":{"text":"A sequent calculus and a theorem prover for standard conditional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277787$03D7C525-405E-4AE3-91C4-AC6EACC8D60E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b376faac8d04e10a78d1b080ccd1c8e451444a","datavalue":{"value":"1367.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$0B5BF984-7CC1-42F3-8894-5198BF0F62F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ed3f8ff5d06114f43791d14c4d30f0b84da14a0","datavalue":{"value":"10.1145/1276920.1276924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$3AD3092D-9711-44E3-9B63-6A04BDF63812","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":"Q5277787$A4EFFFE1-4F6F-4D4C-8C28-D71C56B30F38","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":"Q5277787$9BBC6650-20C3-4A24-A0ED-4FC00288B3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08aa0606712b57b04bb895cd11bde1d520e10b26","datavalue":{"value":{"entity-type":"item","numeric-id":1344884,"id":"Q1344884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277787$DC58AB97-E293-4597-A1FB-504988E3E609","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277787$CBA43F5C-6534-4D36-A1CB-160F6A1FFFA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277787$8141496A-B821-42E2-82BA-A69D301E91B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c323ab86729ecb6c31304297052805b2a62b76e","datavalue":{"value":"https://arxiv.org/abs/cs/0407064","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277787$341DA706-9178-4D01-A88C-AA62C30B1FDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$226BB9E3-DB50-4E73-ABAD-9C2714C20DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$4CCBB499-64F9-499E-9554-2C443C612104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$628FDC02-D58F-4B7C-8F34-4F2436646D35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74d905c3c3377b7f58e3f4117620716e1e2b8a1a","datavalue":{"value":"6744030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$D15A48BA-8DFF-4B02-AA43-648C540ABF71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45303718d0f0b9b07770b1d6a83993181d1973b0","datavalue":{"value":"analytic sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277787$9070D211-0B0A-443B-8204-8CE5E60E4241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277787$AA8B0D07-907F-4473-84E0-A957AC959C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a027cc6c69e14371ce3b0caa3d4ea616d122d747","datavalue":{"value":"conditional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277787$A4EBE897-3623-4BFD-8152-E05E072008B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b35df5f6ce45c83ffdb55fd8bfc2aeb4c50a00f","datavalue":{"value":"labeled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277787$AD72A93E-BFC0-4E40-AA2A-659D87459047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277787$4B3A6C82-BEDF-4C5E-97C0-88F1A5D61E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277787$B68C8898-B746-412E-81A3-174388CC1CF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0549c00eeb18d7ab7d692213433197d2b8b32d8e","datavalue":{"value":{"entity-type":"item","numeric-id":21963,"id":"Q21963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277787$7784132A-3A0D-4D08-AD27-F45D73F3DF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277787$6F779B97-36D6-485C-BF08-4988BC002FB4","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":"Q5277787$0F7C0EF8-6C98-4413-9C72-4DBD975AD8D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20635df3fdda32dbd560c71f27cd07c785f2b6ef","datavalue":{"value":"W2097313873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277787$0A42F95A-7916-4E13-84F1-63F816495F22","rank":"normal"}],"P1643":[{"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":"5fc68b3e530ab9c7bef8371e9ed17c42ebdc6c5e","datavalue":{"value":{"amount":"+0.8723572492599487","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":"Q5277787$19B1226B-5682-4634-BBB6-556BE07E9D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a61ee167d4bbab5bf2c097d2bc8feaa23820e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3643366,"id":"Q3643366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8243ad411282baad63ffa678fadd1736dd64f0","datavalue":{"value":{"amount":"+0.8605450987815857","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":"Q5277787$8178625E-A297-4EAA-B042-000C4F36FE0F","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":"278fb11e375340a2febf94795f2e877fb523c70c","datavalue":{"value":{"amount":"+0.8426098823547363","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":"Q5277787$8B599DE5-7BBB-43E0-829C-B96C1AF6E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5dcaa90a12624d93b41368191297c4a66a8ddf3","datavalue":{"value":{"entity-type":"item","numeric-id":2915082,"id":"Q2915082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34cfb2c552f73c3967d26d30976771bd3f950f8","datavalue":{"value":{"amount":"+0.8235535025596619","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":"Q5277787$3FECFAC4-2F67-48FA-B59A-11126DBD1674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ce516e0d2ea876f51a8898f4386de12bf62661","datavalue":{"value":{"entity-type":"item","numeric-id":3192215,"id":"Q3192215"},"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":"Q5277787$257C3D58-0EBE-4891-A529-74AAB395B44D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277787"}}}}}