{"entities":{"Q288247":{"pageid":290014,"ns":120,"title":"Item:Q288247","lastrevid":60722430,"modified":"2026-04-10T18:44:01Z","type":"item","id":"Q288247","labels":{"en":{"language":"en","value":"Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6584574"}},"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":"Q288247$4713FD00-149A-4600-9C60-AC97C05DC0B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28ff001b2edd99e247655c6d37bee07ee4db0d55","datavalue":{"value":{"text":"Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q288247$23D7E030-D1DF-4B6B-8C0E-833797631F98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd9d8e4f5e4de4a0a15054ec9782e05642215d2c","datavalue":{"value":"1392.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$A93F23CA-D846-4B46-82C7-3BE7F2116924","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$46DC399B-6516-4908-8829-F4CB7B41C643","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$A6C0274A-81E2-4B22-8C34-E548C6B14675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q288247$13EF95DB-AC6C-447F-B3C6-42811BADEB68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9162f1d30c3d0c8e176b100ea9fc30a5fb7583a0","datavalue":{"value":"https://arxiv.org/abs/1504.05995","type":"string"},"datatype":"url"},"type":"statement","id":"Q288247$FF572BC7-CFE3-4049-9C9F-5C0858BA0260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$1C45DE82-D3AE-46C6-BA6E-0FE76DDFBBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$C9EDEBD6-2F65-49B8-A13D-87DA108B1850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$D97008D0-60F1-4B42-8F1F-AF286579D535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$F5FE1BA9-E17B-4565-ACC4-5423B14D1337","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5046948dc3973af054a292640629013abb82e4e1","datavalue":{"value":"6584574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$CD544E55-C6BC-4D56-97BF-F982060C85E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q288247$E5FEEFB6-2EC9-4547-8D1B-7CFA7AC5B55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q288247$20833573-BEB2-4E8B-9C96-2296F32F4712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4534ce9989fe843863b1f200c40482fcf5e1e260","datavalue":{"value":"Sheffer stroke","type":"string"},"datatype":"string"},"type":"statement","id":"Q288247$C6A78E4B-30D3-42AF-BDE0-F8E446520FC9","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":"Q288247$87CBD8F9-6A7E-459A-B1D1-6B8DB2C8A110","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08c013f7cad23a52dea4d081ff9a5c274adb2e86","datavalue":{"value":"W3104357504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$4F91C02C-8E37-43D5-BE2C-DB125FF57C41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$50168553-C47B-48DD-90AE-E50A433B9449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$58BCC0D6-4163-40DF-A61F-878113DF6448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$5593E97F-7600-4186-8722-E9E71F1D8BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$AAF9B733-D6E6-4C1A-9204-3F9C2FD54739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$3F9E52FB-6872-4A22-91C8-919FB5CC00FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$092E5762-7338-4503-86B3-633B18582244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ed7574dea8508891356f13dbf822e65d9c4732","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$755411C3-34CF-4E3A-8CA0-A5578797DEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$376C9BFA-7AEC-4388-90D5-A28CF286C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2946f9210b56cf40c78bc7c781e28832ee6caf5f","datavalue":{"value":{"entity-type":"item","numeric-id":5541301,"id":"Q5541301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$62739EB5-1F37-48F4-8B7D-2E66AA817EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f35f7d212d5853ba1ffba2a20d0741151f988c","datavalue":{"value":{"entity-type":"item","numeric-id":5554943,"id":"Q5554943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$566D1C62-C547-4503-999E-DF304A438311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$E15C8F8E-40D0-477C-B1C0-526F2E4B3606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$7A498163-1F5B-4612-9C99-933D7BDAC482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$7E791BB6-3AA4-447F-9D84-280BA799F13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3393555e09c83cc82c0808031ceb398cbea5fe1","datavalue":{"value":{"entity-type":"item","numeric-id":3293391,"id":"Q3293391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$ACCD7B02-9044-4E36-B31E-7AB3F82B68A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f9a7101c4b1d182a3fd64de178bfe7cae0aa96","datavalue":{"value":{"entity-type":"item","numeric-id":3241190,"id":"Q3241190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$5B9296A2-F357-46AF-837C-EB65D6B41187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288247$BFF5D3B8-6BD9-4C80-B401-72DC4903262D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bc0d85dd4c0ff26231dc3724748bb3d3fd05597","datavalue":{"value":"10.1007/S10992-015-9370-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288247$AAEDFA1E-AC1F-43CA-9359-37258E6D175C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da58e6cf2515e43ce189a0c28694d37fe14ca6e","datavalue":{"value":{"entity-type":"item","numeric-id":5224496,"id":"Q5224496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c5546d622ce68ac51a17104d3ad575faed05b4","datavalue":{"value":{"amount":"+0.8012959361076355","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":"Q288247$BE18521A-74BE-449E-AFE3-18DFB9B5F1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6805362c0168bfedbbd64cbdc258f747d81e2d48","datavalue":{"value":{"entity-type":"item","numeric-id":3343958,"id":"Q3343958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b190c48b9e8d2b9689b60abfe6987cf32b14e405","datavalue":{"value":{"amount":"+0.7752074599266052","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":"Q288247$5ED00D7C-2DCD-4CC5-BFC4-764DC865F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fc1315f14c94f52dcd1eb05d2064a06c5d946b","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca2bd6a3d81828a5ec9a8ff926c18e1104e239e","datavalue":{"value":{"amount":"+0.7594909071922302","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":"Q288247$58BC69AE-9A09-4FF1-9A69-41AD50BAB91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28853bf0c732c6ee45d06bebba226da46f0d5ff4","datavalue":{"value":{"entity-type":"item","numeric-id":5250317,"id":"Q5250317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0e5041b1b2d29c9b60908f9258263a697b3ecc","datavalue":{"value":{"amount":"+0.7586958408355713","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":"Q288247$AF4AC0B5-3533-48F3-8AEB-ED56730A236D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c2f64a6b4a61cc51aab7c09e2f2edd5d67249a","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d0f8d79aac0ed25aa7da4deeace438704e63d7","datavalue":{"value":{"amount":"+0.7568898797035217","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":"Q288247$F13BDA44-AEBE-4AB2-A86D-09141B0E9A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_for_the_Sheffer_stroke_and_Peirce%27s_arrow_(and_any_other_truth-functional_connective)"}}}}}