{"entities":{"Q1970644":{"pageid":1981386,"ns":120,"title":"Item:Q1970644","lastrevid":82117946,"modified":"2026-05-06T20:08:42Z","type":"item","id":"Q1970644","labels":{"en":{"language":"en","value":"The finite model property for the implicational fragment of IPC without exchange and contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420292"}},"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":"Q1970644$E3556658-D9DD-4E36-B052-98CB326649B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4798e8f184ce228f76e236b87a06e722a8589f0b","datavalue":{"value":{"text":"The finite model property for the implicational fragment of IPC without exchange and contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970644$4FFBB087-6302-4F5F-8CE6-7A8691CF1A39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd454fefc78c93acc76e01c482021d67e89e547e","datavalue":{"value":"0945.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970644$DC7489BD-16A4-41A6-943E-AFC189CAB918","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fde40eb2294f9d26f5d841746e776f5b50d39e5","datavalue":{"value":"10.1023/A:1005262630549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970644$D1B3A11E-7523-4EB2-9B90-ED4306534BF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970644$AE9305F3-A346-4512-9A79-07A87F48E8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970644$B26A03AE-9FA5-4EDC-B92D-AED5E3669DB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970644$2E8242E3-3872-4642-BCD7-0EC2B470E772","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970644$C483F4B9-8B9E-49C0-8E46-5275834CAE3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970644$B753FC00-12F3-49C4-96D9-15CE1023084D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970644$32C9C6BF-62DD-49EC-AE3F-EC0CC2EF4A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970644$2CD17612-44AA-4F06-AA35-DBFA687D5967","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b8f010e2e9eb52f7d03f823881574eaa71c5d52","datavalue":{"value":"1420292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970644$070D67BA-FD89-4408-AD59-3AB21565C0B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$93EE293C-F6E2-473F-BCEF-313D108A53D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a50ffa2df8f58dc0e19f5247e3e58137dec3e6","datavalue":{"value":"algebraization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$C3A68021-7607-4727-B366-AA822CA468B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$0CA5F9B1-C638-4E95-94F7-1512DA183920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a923ea1f19a48fa7c587d0d5d3770914bf9e90","datavalue":{"value":"implicational fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$B918B2DD-3EA4-49BF-86A3-87129ACF257D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$3DBC1964-879A-4B7E-981C-6C8689F57C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e031d3e9bec722b589ed9a130a9817caa6a0d01c","datavalue":{"value":"left residuation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$93563D30-6FE0-4893-933D-77F63928EFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970644$3730647A-E616-418D-AE69-F5B1FE0E897B","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":"Q1970644$45D318C0-9D95-4D04-AB57-DA52FA9BB6B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30661bbb8e31c76d87c976ace7e053451cada278","datavalue":{"value":{"amount":"+0.8976388","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":"Q1970644$CB55086E-344D-4611-A444-AE5E807530D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a59fd53ee518cf6fa23036990f6d6b67b8eadb","datavalue":{"value":{"entity-type":"item","numeric-id":4704648,"id":"Q4704648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7318117fd71dee16b7f16fcd3e82dbabf411995","datavalue":{"value":{"amount":"+0.8913718","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":"Q1970644$FC5F443C-1769-43EB-929C-6E38895154A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03061b874bb76e89a1179183de5290dff9153ff","datavalue":{"value":{"entity-type":"item","numeric-id":4443185,"id":"Q4443185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7107d8870acb5a3eaf87e7c0e332712ae8256604","datavalue":{"value":{"amount":"+0.8888991","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":"Q1970644$A31BF590-DAB3-4060-9530-E26513FCEC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e2540c8959fbcc144ae741183ab03e6d66208a","datavalue":{"value":{"entity-type":"item","numeric-id":1428978,"id":"Q1428978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ef1dfd4fe803532d832ecbbbc51d4a56b55f37","datavalue":{"value":{"amount":"+0.887263","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":"Q1970644$AAEB1CFC-95A5-4083-8CA7-65968F01A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8c1d777027037aad3bb21b9b58fa021cd03f02","datavalue":{"value":{"amount":"+0.88137877","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":"Q1970644$791FFCB4-956E-41AE-9C02-6A338EA27786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ede143a1bdb9804aba2199aefaf1d44cc77ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":4304150,"id":"Q4304150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452cf234ff4696a366f12a843e07e94df54ea2f7","datavalue":{"value":{"amount":"+0.8780592","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":"Q1970644$F7EF557B-57A2-4DFD-AE1B-8F9F4D7701DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ae2aaca300b2304ecb21877c998d07d6268fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4645216,"id":"Q4645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5521377a0f9df9a403fcf6547752d18eb56d75","datavalue":{"value":{"amount":"+0.864328","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":"Q1970644$C521DAD6-51B1-4679-9D4B-094C5BCDDBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76ac7db977a0f114c374235caf1c454888fbfb7","datavalue":{"value":{"amount":"+0.86181045","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":"Q1970644$6A3CED09-2B7E-42C5-AF53-0D65A735D013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1601b8c796d8b20e76b5fba486f8da6ae71efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7bc5d78d072fd758fce00cf9e330f57ca48a01","datavalue":{"value":{"amount":"+0.8571609","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":"Q1970644$0067E15E-2CB2-4A6C-AD2F-CAEA8DCB6E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3874009dfb7ce6a389bb002c2c0e9705c971a19e","datavalue":{"value":{"entity-type":"item","numeric-id":1708103,"id":"Q1708103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aab2a5e615cfa6c4e0936b43f2ac0e12d34cd45","datavalue":{"value":{"amount":"+0.8557723","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":"Q1970644$AE00EE28-E7F0-453A-AF1E-556D7BC881FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite model property for the implicational fragment of IPC without exchange and contraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_model_property_for_the_implicational_fragment_of_IPC_without_exchange_and_contraction"}}}}}