{"entities":{"Q920076":{"pageid":921924,"ns":120,"title":"Item:Q920076","lastrevid":65388402,"modified":"2026-04-12T02:14:39Z","type":"item","id":"Q920076","labels":{"en":{"language":"en","value":"Verificaton, falsification, and cancellation in KT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4162856"}},"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":"Q920076$C5477456-E213-4EB1-8FBC-F3E61D63166F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56bc1d2fc0db71a526867dccdb5a8b9859d8621b","datavalue":{"value":{"text":"Verificaton, falsification, and cancellation in KT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920076$6F93F626-56FB-40E2-8F21-6F678515985F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ccfef23d1c3b077de3a945c4b3e7ab5cbf54584","datavalue":{"value":"0708.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920076$E8E82F92-ADBE-4661-9749-7F0FA53EDF7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a210cca4b8c5b98a2c874a880d1665a0d297772a","datavalue":{"value":{"entity-type":"item","numeric-id":190261,"id":"Q190261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920076$FC59CF4A-9E93-471C-89EA-E46E255397AC","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":"Q920076$B3A2ADED-C044-48F6-976A-E3AACF21376C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q920076$CF35BD60-D1DE-4346-BCEE-346A24D5FECC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e5cce0eeb2142ab8973f61bdb6087951806e6d6","datavalue":{"value":"The author proves that the modal logic T \\((=K+Lp\\to p)\\) has the property that if LA\\(\\leftrightarrow LB\\) and MA\\(\\leftrightarrow MB\\) are both theses then so is \\(A\\leftrightarrow B\\). The author calls this property the double cancellation property, in contrast to the single cancellation property, which is that if LA\\(\\leftrightarrow LB\\) is a thesis then so is \\(A\\leftrightarrow B\\). T does not have the single cancellation property. If L is read as a verifiability operator then the single cancellation property says that if A and B have the same verifiability conditions then they have the same truth conditions. The double cancellation property says that if they have the same verifiability and falsifiability conditions then they have the same truth conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$B94747B6-10A0-43E5-9B74-BF50CDD70ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920076$A0F1222B-91CA-4058-993B-4F7186E5080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920076$2448583F-32CD-4B32-9180-AA60D29E4421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cd0cacb11ba17bb1a190418fc4234e5a0018b6a","datavalue":{"value":"4162856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920076$5B2D5041-84F6-462B-BCFA-D34B28FBB374","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d89d148b92189ad8e2842382dc37c4c29e240e8","datavalue":{"value":"modal logic T","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$2C03ED0A-963D-4966-82D1-73ADC5964452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e85cac59a5082c4c5892e7e55f7764f5ab46593","datavalue":{"value":"double cancellation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$5D4D66FB-884A-4F33-9365-D70EF453C57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246d2463049db91a2495838fe48cd905be673056","datavalue":{"value":"single cancellation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$F93ED636-B5E3-4FEB-96A1-7174EE75941E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fe4e40b419247b1e66bdd47f67b8d41afeaaaf","datavalue":{"value":"verifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$EBF446D6-8646-4E82-AC0D-BB9BD424897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e29cc33c7c4fde19d0fb958d3da4331c6fcf1a","datavalue":{"value":"falsifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$B0A4C90C-28B1-465B-986A-670EBE282E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"915d772b137f8aa295b9ee9c0fc5427984af830e","datavalue":{"value":"truth conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q920076$B77504B9-1EC3-4CB4-B536-BE0EFA9C41D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed4c52c97ede8269ca417792eb0c307e0c83ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920076$E72C906D-977B-4AF4-9FEE-D19FC05B1C8C","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":"Q920076$48771F1F-9ED1-4422-8B9C-656F72DB5FE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29b6eb23a6711a93c96056fdc1d2c091b0a75f24","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635422","type":"string"},"datatype":"url"},"type":"statement","id":"Q920076$064469A9-3B89-46B1-AEBF-98EF020B8D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"392e16bfb6f8a31da323aad1afa81892fbbac64d","datavalue":{"value":"W2038917502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920076$569F59BF-FC2B-4DDD-8C29-233B867B945D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e42e55eb65e05166a525bd91e568eea3dcffb54","datavalue":{"value":"10.1305/NDJFL/1093635422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920076$58B894CA-78C6-4457-BEFC-259D84761128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdce5d984e872430f9c6659f5905068eaf146b1","datavalue":{"value":{"entity-type":"item","numeric-id":3457780,"id":"Q3457780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca033f6d5aa9156a61b936505edfd666cded23c","datavalue":{"value":{"amount":"+0.81108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$8548972B-3413-403E-8306-7449D411EA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabdc386463340791c1fdd07b1cc6e5e45bae9d0","datavalue":{"value":{"entity-type":"item","numeric-id":6104802,"id":"Q6104802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539a6dc71871284d89147db0e3ea8522c2c9ed36","datavalue":{"value":{"amount":"+0.8097283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$3B1123AD-54F0-4323-9E4C-91FF9CE66D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d3aa304c9c094bcfe972edf73f12aea0b2228f8","datavalue":{"value":{"entity-type":"item","numeric-id":3363640,"id":"Q3363640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481277756fc237bece805d9ab0e5519b32258fa8","datavalue":{"value":{"amount":"+0.8095331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$40BAF03B-21D2-4D04-9BD0-5FF736667456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bd30c8a817260b155bb921c322778455f5e143","datavalue":{"value":{"entity-type":"item","numeric-id":1179886,"id":"Q1179886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481277756fc237bece805d9ab0e5519b32258fa8","datavalue":{"value":{"amount":"+0.8095331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$5C84277D-8D02-4B60-8D8F-38E014FA93C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f349e3e491db4b1bb4272bd41aaa11cfab1cc7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3305426,"id":"Q3305426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a928d84473a01f3df5b34dde060b995b3aede","datavalue":{"value":{"amount":"+0.8079369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$61C453FF-54DC-4B85-B49D-773D7666F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681e1d80c78dab960c3a69da6989509687c45aec","datavalue":{"value":{"entity-type":"item","numeric-id":4636023,"id":"Q4636023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49928f4b9a7ee8ce4328522a2e6303c2ff8d700","datavalue":{"value":{"amount":"+0.8079155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$FBA2C21C-71EF-447B-BBB3-912DDABA751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38568cf69538cdbd1d8af26549921d49055e6a53","datavalue":{"value":{"entity-type":"item","numeric-id":5753921,"id":"Q5753921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d6253bd59535dbd354ae7ca4a509e12dacc46f","datavalue":{"value":{"amount":"+0.80769604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$552F2982-499C-4C7F-8461-A56C38D4F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee20e2bb242aa01dafe5708a38feb9589c7da3b4","datavalue":{"value":{"amount":"+0.80575013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$93DFE1CD-1397-4C6C-9679-EB654E7FD827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db5713e07271e3f3da77043b6abf48903f202c0","datavalue":{"value":{"entity-type":"item","numeric-id":3449544,"id":"Q3449544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a2d9093ecb6f69f66c2c797969059ab2851a89","datavalue":{"value":{"amount":"+0.8057379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$23801160-F689-4F82-9174-5E002F00A526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d5d85e8a86e494044875dc0fcd2d948a95c99e","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e2948f1b69ac2d1833706b1a2d76acaf42173c","datavalue":{"value":{"amount":"+0.80268764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920076$10B27128-0B10-4E36-A649-B26E51A0C2D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verificaton, falsification, and cancellation in KT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verificaton,_falsification,_and_cancellation_in_KT"}}}}}