{"entities":{"Q4711191":{"pageid":6740768,"ns":120,"title":"Item:Q4711191","lastrevid":90662243,"modified":"2026-06-04T20:58:38Z","type":"item","id":"Q4711191","labels":{"en":{"language":"en","value":"The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1499"}},"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":"Q4711191$F7A945AA-E1AC-45B6-8B8A-81FCE4B146A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a41c07d3d33f22eaba4d7e3ea966cfee225f447e","datavalue":{"value":{"text":"The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4711191$9C6DF832-BF0B-4150-93F1-9777C8725AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a582bfcdd93d228ebbd099c9d41750df0691ec8","datavalue":{"value":"0724.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711191$B4085251-2F9A-4357-A093-936C1034A687","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4711191$F4B000A9-792A-40C0-A77A-625415492309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q4711191$3E92CCF9-7F4A-4564-9228-97E4D2F0D9AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711191$A3FC91ED-D0A1-49B1-8AF4-3A48DAF9DF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711191$5BCD2781-BBA2-4F33-964B-8A7E31AA1546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5805455f17f4ec30da31e2f3675b1589c4e77891","datavalue":{"value":"1499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711191$F7F0C88F-82DF-496C-96D4-39432251F5E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$667FF088-9CE7-414A-8845-D81E25E849B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$644D6EA3-2584-4D8A-9319-5AB8D23CEBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e81e6b3a50f393abd6b33ee595ca7756964af4","datavalue":{"value":"fragments of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$4EC22B54-92AE-4983-8598-DEF5E5709B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$12964F97-C8C8-4385-80B9-EA0B81DD1851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a7d6886946bb83e27f69b6c84f6e8e49d6cf8c","datavalue":{"value":"downwards linear frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$7DAA4573-C1C0-4544-B329-2ECB3347A0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483d6ce6c5be20c7ee111350425a56243d3490a0","datavalue":{"value":"elimination of conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$C780BE9D-206C-4C3F-BD27-07C9DD53D4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f18d2a8d77161bb25b7c01981af1f27175a4b0b2","datavalue":{"value":"non-eliminability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711191$27C717BA-726C-4E9C-8374-3B95278AE346","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b427a374f5a21d1a904d2606dc3f2813824c389","datavalue":{"value":{"entity-type":"item","numeric-id":803266,"id":"Q803266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4711191$C07CCE88-C799-4620-A7F9-7B1D1D8A406A","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":"Q4711191$C51AD89B-8504-41A4-B590-BF7C4E1B37BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddbd28033e7f55b7de697e5641864bb0a9775400","datavalue":{"value":"https://doi.org/10.1002/malq.19910372303","type":"string"},"datatype":"url"},"type":"statement","id":"Q4711191$A9BBF53A-153D-44AD-9BA8-9455A25BAAAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c6e44f125d86699c25220b897b5eb836d44c2b4","datavalue":{"value":"W2163005048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711191$E5118BFC-B2BD-4720-9473-36A32762FB82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70e4d83ce39d3aeea7090c2cb504f5a95da6b9ea","datavalue":{"value":"10.1002/MALQ.19910372303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711191$9F13592F-1975-4EAA-A092-39305AF15E67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406ae853a568748fd2915613e4cb326f18137a11","datavalue":{"value":{"entity-type":"item","numeric-id":2904065,"id":"Q2904065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27905b9ddd3774d7c62be2b0d600f10db93a7542","datavalue":{"value":{"amount":"+0.8020447492599487","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":"Q4711191$3C885700-9188-4205-8A91-B660FED59D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe194b076115a80e9776a4afbd2357b70ba91d","datavalue":{"value":{"entity-type":"item","numeric-id":1577172,"id":"Q1577172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833e4149e257b9ed1d3d4a032504f869812360a8","datavalue":{"value":{"amount":"+0.7886598706245422","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":"Q4711191$7966BB0F-3F11-4DCD-BA75-C16EC8FC725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ecda62b5887d9a58d2cf2b09d1626332b6c208","datavalue":{"value":{"amount":"+0.788587749004364","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":"Q4711191$D19E8EAD-44D2-42D6-903E-4EF73618DC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b1dfd4c2eb078bf9e5f08f63dab87a3eb46496","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb055295e8712bc90f9e7882bb6b983712929a6","datavalue":{"value":{"amount":"+0.7553620338439941","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":"Q4711191$48111E37-5617-4E71-AF41-FC9A6F9A12FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09681ff5806eb943dd0e27394059b17b9ceebc74","datavalue":{"value":{"entity-type":"item","numeric-id":1289105,"id":"Q1289105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2369c19af9d332f9c29a828424bc1256cb57d120","datavalue":{"value":{"amount":"+0.7491928339004517","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":"Q4711191$8DBD5100-1A21-497D-925A-77F86FA50251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Expressive_Force_of_Some_Fragments_of_Intuitionistic_Propositional_Logic_with_Regard_to_Kripke_Frames"}}}}}