{"entities":{"Q5917372":{"pageid":8034366,"ns":120,"title":"Item:Q5917372","lastrevid":93560957,"modified":"2026-06-05T04:36:42Z","type":"item","id":"Q5917372","labels":{"en":{"language":"en","value":"Counterfactuals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3443611"}},"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":"Q5917372$ED708376-40F7-41EE-B809-F12E7352E03A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37b81321888bec8665d95c4ee6e22ce18073b8d6","datavalue":{"value":{"text":"Counterfactuals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5917372$B392FF1C-CAB5-49B3-B88A-11009510B9D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ed77a06eb4a74f8a9260844fd33b356cb4014fc","datavalue":{"value":"0283.02007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917372$8A4BA599-9273-407D-8E0D-A4F5D6371835","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917372$B3A256C0-2183-4BB5-8A74-A848DEA6E600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5917372$F0AFDE01-95B2-4678-80F9-AE7CA90EDD79","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fe5734da1b8d8cade244a485e908e47b0ee3a23","datavalue":{"value":"The inclusion of the formulae \\((A > B) \\vee (A> -B)\\) and \\((A \\& B) \\supset(A> B)\\) as theorems of conditional sentential calculi is criticised and reasons are offered for including \\(\\square(A\\supset B)\\supset . (B> C) \\supset . \\diamond (A \\& C) \\supset .(A> C)\\) as a theorem in such calculi. Two new calculi are developed which incorporate these suggestions, and proof sketches of the decidability of both are presented using algebraic methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917372$94213D5C-508C-4352-91BA-2E21ED4B4638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917372$C804D8F4-2E43-409C-B41C-11B735BEDA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917372$D8CCCD61-4FD8-4627-8231-FF3508FD49A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a80ea02f764fc381eb5b5dfbcfef110c773d68b1","datavalue":{"value":"3443611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917372$F8038678-B978-40D7-9E04-377C807851F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0436a5b54f6f0e2d4b91c10c0158b973d56dd3","datavalue":{"value":{"entity-type":"item","numeric-id":1257477,"id":"Q1257477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917372$207C9960-B0EA-4025-BC3C-AF0B356E10B8","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":"Q5917372$3A8F75A3-A4DD-4905-9D44-A582F9380F5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecc8aff06bd3cb55376180b8e8bb0f9334a7f4fc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5917372$96B8B076-0A11-4A01-A480-BB828A844E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06f0e010d700b0239d515421d41dee1f7c5caba8","datavalue":{"value":"W4230379418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917372$7CB97B2B-EE39-43E8-9B08-9332D8CED8CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8599a748356962a7716f6b85d112cf5142739cd2","datavalue":{"value":"10.1305/NDJFL/1093891882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917372$F1BB79C0-D0F2-4EB5-9C32-BDC64DB7B93D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d35f763eda42a108ab8671b2b342c0ca3fa4217","datavalue":{"value":{"entity-type":"item","numeric-id":332082,"id":"Q332082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0598bb12552cfe7e8299bbacd94c8f4cad1008b","datavalue":{"value":{"amount":"+0.7600914239883423","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":"Q5917372$45CBC561-80CB-4A32-AC34-DDC7CFA0445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ce1eb60eb6287149ec9f5e7d112a0eee4c9fb1","datavalue":{"value":{"entity-type":"item","numeric-id":5903759,"id":"Q5903759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73da173399f619718ee68f1b6f07cf42ee203f3","datavalue":{"value":{"amount":"+0.7493184804916382","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":"Q5917372$579A9488-3804-4ACF-81FE-A08B26465C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4dac8844eaae9ff8695f76bffba3e68dd662e3","datavalue":{"value":{"entity-type":"item","numeric-id":3400309,"id":"Q3400309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db232e76379d7cb7ce22b3ca9da6bc5d341cc092","datavalue":{"value":{"amount":"+0.7415243983268738","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":"Q5917372$B62E979C-1AB1-4A65-8918-845CB53A6170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8543772f220427af1be4ebfaddef6b53ecf68ae","datavalue":{"value":{"entity-type":"item","numeric-id":1908790,"id":"Q1908790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c24804470eaf7a2a519b195988e59a19ba8dcb","datavalue":{"value":{"amount":"+0.7270147800445557","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":"Q5917372$67794777-5E44-4A5A-AB48-2C301535EFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1641f843794a20b406390307a1588e85778a1ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2835877,"id":"Q2835877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beef90d32250cf6793161e281c1430b5cc80a9df","datavalue":{"value":{"amount":"+0.7256882190704346","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":"Q5917372$7C7C4521-FF08-4CBE-A227-88B7240FA6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterfactuals (scientific article; zbMATH DE number 3443611)","badges":[]}}}}}