{"entities":{"Q1208115":{"pageid":1218864,"ns":120,"title":"Item:Q1208115","lastrevid":66349824,"modified":"2026-04-12T09:30:42Z","type":"item","id":"Q1208115","labels":{"en":{"language":"en","value":"The simple substitution property of the intermediate propositional logics on finite slices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165912"}},"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":"Q1208115$FB1A2C17-A31D-4CB7-A39F-B167EECB06DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a302b60384040551d30dd9ea7870583ef12d016","datavalue":{"value":{"text":"The simple substitution property of the intermediate propositional logics on finite slices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208115$5C6E9583-ADC3-48B8-9B4F-DF0D00FC0D21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"087d041b81b226f15fbf2414eb5822703663a716","datavalue":{"value":"0771.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208115$492EB006-1886-459B-8769-02C24B403125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5785210124dca3b86e55ed6d721db67780cc3af6","datavalue":{"value":"10.1007/BF01053063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208115$23DC38D1-253F-44B6-9591-383996C70CC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d676b080028b49a3114d69f7352481b869673136","datavalue":{"value":{"entity-type":"item","numeric-id":1208114,"id":"Q1208114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$3976F56D-254D-41B7-A229-49963310AFDC","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":"Q1208115$A95E0A4D-D42A-4F31-87DE-15E626827E31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208115$764F8EFC-0918-47D7-9C64-2424C28902A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c09cd5407bf0fdf2c42696369d1a5d71f75f844b","datavalue":{"value":"The simple substitution property (SSP) was introduced by the reviewer [Stud. Logica 45, 3-8 (1986; Zbl 0615.03009)], but he did not give it a name. The author of the paper, a student of the reviewer, provided the name SSP by an advice of the reviewer. If a logic has SSP, then we can have a systematic and easy method for proving or disproving a formula in it by an axiomatic way. The paper proves for logics on finite slices that they have SSP if and only if they have finite characteristic models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208115$36965E9C-BE82-49D2-AADC-97180897207D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208115$E6B43D65-E3C1-4711-B8FB-ED513C8F85DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"808ec084be88c9d006b58779c56707f6a198685b","datavalue":{"value":"165912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208115$4937CC30-C1D0-4C7D-A7C7-7A6851FCB368","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679cf2a480022e955834e3b71187e2a6092211a7","datavalue":{"value":"simple substitution property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208115$7EF4B8BD-A068-4648-8081-AC33CA2730B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a00bd4f3da886c3659d1c4b348652cac729691","datavalue":{"value":"logics on finite slices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208115$C505FF5E-A36A-4574-9A94-C12BC77395F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b97487d18a24a777201283124cdeff7eac8dc1","datavalue":{"value":"finite characteristic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208115$15F7EC1E-E6EC-4BA5-87CE-12F3ECB0927E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$6BAC2BF7-F304-4305-8D34-4CE738802E25","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":"Q1208115$F8FA1A32-76FC-4892-A899-319736764092","rank":"normal"}],"P223":[{"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":"Q1208115$4A2220E0-859E-46F6-B951-DCC6E6E7DB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d293242a8f187bce90fbd6c92a1dc13219769521","datavalue":{"value":{"entity-type":"item","numeric-id":5545944,"id":"Q5545944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$67398B1E-5285-42DE-9435-8AC2D4032B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$D5A2CED3-BD08-4A76-9C73-4517797BC426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f260e96a3fb34f7e080b8746000bd4777946861","datavalue":{"value":{"entity-type":"item","numeric-id":1820766,"id":"Q1820766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$508860C5-429D-426B-8AA9-8A164A8E8E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85f7f611b37f20c7565b10c29ddbe6bb415b68e","datavalue":{"value":{"entity-type":"item","numeric-id":3491524,"id":"Q3491524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$ECAE5D73-E1AC-4A57-9351-5067224F029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47577d0ca63c3c2aa0871ec82c200be4ccc0279f","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208115$24CEBE50-BC72-40C5-A0DD-DB7FD46C9F9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4d2c009cd587e1acd9e443cf14c7d3489d7ef5","datavalue":{"value":{"entity-type":"item","numeric-id":3491524,"id":"Q3491524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605fd5a85f764ea2ee99cef0739e0493a8e60919","datavalue":{"value":{"amount":"+0.8358383774757385","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":"Q1208115$735B26B7-EB20-458B-BAE4-9E75D884D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bc0d37caa81caac51790599bc85f9ea85c4a77","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad7b71ed48a7dc41edc99ade4d417c2d6569dc0","datavalue":{"value":{"amount":"+0.8314887881278992","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":"Q1208115$6D81ACFC-129A-4651-A7DD-56D55EF9A88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea1977649752a6a1b5eb0bf8190a9b1f08eb9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1814180,"id":"Q1814180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210fee3e27b6bf6162f5136eb8a58409040ae21f","datavalue":{"value":{"amount":"+0.8112847208976746","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":"Q1208115$B028B193-91B4-4E11-8933-4DDB70D057AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7078ae97fd63da8e52c3f1cbb0b49fbe72dd2f86","datavalue":{"value":{"entity-type":"item","numeric-id":1208111,"id":"Q1208111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65188d39b3391fc1dc02b7bd4889d8223fb5984","datavalue":{"value":{"amount":"+0.8102162480354309","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":"Q1208115$2DD6E8BF-6C41-45A8-91C6-EA4E01421B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecbb3fd523f3c1e592499baaa191f4baf518faf","datavalue":{"value":{"entity-type":"item","numeric-id":4326748,"id":"Q4326748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3260b3fae9cf63e8bf470114a80a93f78be9f83","datavalue":{"value":{"amount":"+0.8077490329742432","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":"Q1208115$3EE2E78E-6A17-44F5-8EC3-B1CF814EC9FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The simple substitution property of the intermediate propositional logics on finite slices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_simple_substitution_property_of_the_intermediate_propositional_logics_on_finite_slices"}}}}}