{"entities":{"Q2446684":{"pageid":2457427,"ns":120,"title":"Item:Q2446684","lastrevid":51981278,"modified":"2026-01-20T16:41:21Z","type":"item","id":"Q2446684","labels":{"en":{"language":"en","value":"A sequent calculus for a logic of contingencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286748"}},"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":"Q2446684$E031CFC4-B515-48F1-BD52-64262E146776","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4daeff39a6ea3f81eb4590a217ab3b33c0b02f2","datavalue":{"value":{"text":"A sequent calculus for a logic of contingencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2446684$BDE19A9E-2C6E-4F0C-94B5-12710613092B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0db2c4d8277af5da4a545517bd7d98ccfce0829","datavalue":{"value":"1284.03256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446684$DCE63EB1-AB0B-4C18-BAC1-70123246C2B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$C0185FCA-06FB-444A-A3B9-9ACFCEE26905","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$3327D178-AF8D-498B-BD5A-551723B262A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"917fada71637274496414c0db1f1ea24808cf8dd","datavalue":{"value":{"time":"+2014-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2446684$5BCCEF03-9DC8-4469-88F7-353B906A60FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446684$E6590C36-5947-4660-A748-5552047A5EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446684$B849A20E-9053-4D6B-A4C0-C1C2E3602ABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8bba29a4ee8b74a22435b945c94e5edc989ac7d","datavalue":{"value":"6286748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446684$BB7C8AD9-A9C1-49DE-9A9A-5C7BD2B5FE6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9c172220d9f234e6e7acd82a759b25bfea6d19","datavalue":{"value":"contingency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446684$29D0C901-202D-4C5E-88AA-5243059BE929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be60c669880572a98c8d3a3e7598e463b184e6c","datavalue":{"value":"propositional contingent formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446684$97391FEC-DB74-4A58-8608-095CAF95B750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446684$101A556C-6CEC-4581-8771-998ED6C29CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3745f54a3339923feca2ac5349d25baebf1d45d","datavalue":{"value":"soundness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2446684$8C7D7F9F-47C9-4597-A347-ABC11BD1995E","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":"Q2446684$BC56E2C0-DD76-432E-92E4-B54DC59ADF5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af3c3e1e32d3f6074b2503bff566cd95ba2803f3","datavalue":{"value":"https://doi.org/10.1016/j.jal.2013.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2446684$5C50974E-EBDD-499A-9D71-0C61B4538620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46a3a52e8f4af253e5fe4ca153fa11d6fdffbb2e","datavalue":{"value":"W2037897039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446684$EA2EE446-07F4-4610-A4E9-FC8C7EAD4ED7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f4166d90edf0f436da993c4009e171f8ec373a","datavalue":{"value":{"entity-type":"item","numeric-id":1235130,"id":"Q1235130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$C0A3063A-70AD-4D50-9CA3-F8BC8F03D81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f08f1f8f0c88c3a8e859c15feb966e5cbd7122","datavalue":{"value":{"entity-type":"item","numeric-id":3848184,"id":"Q3848184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$E17063C0-DB3F-401E-B00B-92004A565EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72a6c13bf9e4f2fa76a8dd0fc6b874ebdebb308","datavalue":{"value":{"entity-type":"item","numeric-id":2540260,"id":"Q2540260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$AB903A05-BDB2-4877-A70C-F6E6A204BCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e960397100e2d646f82bc51dc81753f18d21cb9e","datavalue":{"value":{"entity-type":"item","numeric-id":2425353,"id":"Q2425353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$ACADA98E-86D1-4822-87E6-615842EFD69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d026c9a1e39e4a40e139b4d29b1a36b03e3846a","datavalue":{"value":{"entity-type":"item","numeric-id":3358704,"id":"Q3358704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2446684$9174532C-E825-431E-9D07-B03BB2779F09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e62583eff9f26a992e0674925529e22a21467122","datavalue":{"value":"10.1016/J.JAL.2013.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2446684$05841001-54BC-4AAC-988F-41A6E969CB55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3740ee6529ee6dac25ecae630356e0ee2a2b54bf","datavalue":{"value":{"entity-type":"item","numeric-id":2425353,"id":"Q2425353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8399f1c8aa81b162e499c28b8eb2a9825fee2911","datavalue":{"value":{"amount":"+0.8173917531967163","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":"Q2446684$7D86F8A8-9E95-487A-BCEF-BE83F1B9BB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520bb8a623dcf2b25b675cfa19bfda530a17910b","datavalue":{"value":{"entity-type":"item","numeric-id":1810258,"id":"Q1810258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afde4b3400c092a4dcb356fab8dfe52afce643e","datavalue":{"value":{"amount":"+0.8021349906921387","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":"Q2446684$777E3A24-026F-468B-A70D-9A774E07E8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2daf9ef107e5eecc065b351208abe144bea50e","datavalue":{"value":{"amount":"+0.7835711240768433","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":"Q2446684$BB40A925-9C5E-41D8-803F-AD78D09C954A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56ee141954bbf6c817bc640da91cfb1cbc2eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2571505,"id":"Q2571505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be38d0a59163816616c0bf4ec550dc69c769cbdc","datavalue":{"value":{"amount":"+0.7823148965835571","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":"Q2446684$3700AEED-9A75-4161-899C-D9A34D44EFC1","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":"fdd99b9a860f7e084a2381010ebf3083862bbff4","datavalue":{"value":{"amount":"+0.7719998955726624","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":"Q2446684$CD78A94A-C524-4626-A873-515466289506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2446684","badges":[]}}}}}