{"entities":{"Q1346913":{"pageid":1357652,"ns":120,"title":"Item:Q1346913","lastrevid":67669878,"modified":"2026-04-12T19:15:26Z","type":"item","id":"Q1346913","labels":{"en":{"language":"en","value":"Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738961"}},"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":"Q1346913$180041B5-A2CF-4427-ACB3-0BEAB85A144D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1afea18ef50f419e0f337880a3e5ceeb01af0dcb","datavalue":{"value":{"text":"Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346913$16764923-ECFF-415A-8371-7C0FB35FB3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1431f5b131aa928af2a315d523d5b505338c936","datavalue":{"value":"0815.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346913$17BBB0D7-B53E-469F-8D6C-62DEA7A009CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d7efb5a54f1319958a8f54dfff73ea83121d42f","datavalue":{"value":"10.1007/BF02261708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346913$13003926-E85F-4B19-B64B-EB8C799CE295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c5cd2b89322a88ecf881cd144c8d620caf9a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1069925,"id":"Q1069925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346913$7045E49B-08A6-449D-B3A1-9E3B9FF82543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346913$5F9DF346-50C9-474A-BDC4-9B927780D180","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346913$60D4D557-70EB-4362-A2E3-BDC18A033DEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6112431d0360771ddddb42a2aa66d80211bdcac8","datavalue":{"value":"We study the definability of least fixed points for propositional positive schemes and \\(\\Pi\\)-schemes in Kripke models. In an earlier paper [the author, Algebra Logika 31, No. 5, 493-498 (1992; Zbl 0795.03038)], it was shown that for \\(\\Sigma\\)-schemes, the definability is a consequence of convergence in a finite number of steps. An example given there demonstrates, however, that \\(\\Pi\\)-schemes may fail to meet this requirement, from which it follows that some other methods must be used to prove the definability for these schemes. Theorems for logics are obtained as corollaries.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$BF113184-5362-438F-837E-30B78D082441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346913$D3589312-7712-4B2B-816E-3436E2A35042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346913$BE9B64DB-64B3-461B-97BF-1A041C7E90B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26740c26bc2fe4e50a1b6bcb007cbff2dd063afe","datavalue":{"value":"738961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346913$3C1AECAC-9AEB-4C6A-BA55-7132065B6429","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$F63FD7D9-631B-427B-ACAC-A4933646DF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$D2EB9091-E1BE-4F2F-8DC4-589566A33287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4dad990f373053ef6a33775a562eda48d27a305","datavalue":{"value":"least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$3BE6D7B6-239B-4908-A0C4-7BACF558B8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ece0507f2ffb9c2fc30d434526d644255c4a01","datavalue":{"value":"propositional positive schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$2DCD097B-5AAD-4E44-8B4A-460147BDDA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ff3d7620809ba00424cb87e73224b31fdfb4b4","datavalue":{"value":"\\(\\Pi\\)-schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$F828C83E-AA2C-4158-AA06-09A7647D8A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346913$84F6D47F-A25A-495D-B3BD-533C24D3402D","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":"Q1346913$8AA93793-AAC4-427D-A56A-C2F3630B8934","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50df0ac6abc180f62853e09bc5df46eb5d65a509","datavalue":{"value":{"entity-type":"item","numeric-id":1317626,"id":"Q1317626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346913$E8FBAA11-29C9-414F-9420-7D944EAA8395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346913$63C8DE67-8F60-48A5-84C6-260B35EA5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ed8f74187efbeddbef4176953a37b82f704205","datavalue":{"value":{"entity-type":"item","numeric-id":3724305,"id":"Q3724305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346913$7477EE31-E8CA-41BC-A08A-B8098039D018","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d759d7ed999a0d0b54e0d6f3a92571bc1156fdee","datavalue":{"value":{"entity-type":"item","numeric-id":1317626,"id":"Q1317626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60608971b420f5673fbc58030e01f820b9897ef4","datavalue":{"value":{"amount":"+0.8339406251907349","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":"Q1346913$6153EDDD-FF3E-446B-A24A-E97A10788DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76387bbc50fc0fa7e60b5f8361a7b638cbe8abe9","datavalue":{"value":{"entity-type":"item","numeric-id":3647275,"id":"Q3647275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60608971b420f5673fbc58030e01f820b9897ef4","datavalue":{"value":{"amount":"+0.8339406251907349","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":"Q1346913$984352BD-682B-4202-89F6-726FA9B592ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e707c12fcbb87f94769167fa7baf7550858bd7b9","datavalue":{"value":{"entity-type":"item","numeric-id":1346924,"id":"Q1346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226c4cc06b3352a51d5469bc3744a3853d431b13","datavalue":{"value":{"amount":"+0.8252685070037842","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":"Q1346913$A6DD812C-C53B-46D0-8476-190E68C85811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47976d5937eae512ad890a7d08a436f77dd56593","datavalue":{"value":{"entity-type":"item","numeric-id":4706821,"id":"Q4706821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8959e72cd19ca8d87e29ef1ab54bbc28679caf","datavalue":{"value":{"amount":"+0.798547625541687","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":"Q1346913$65E83D28-384F-4209-AD1E-C22EA60DAF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34006bee21dbc3257df58ffa4a9792c5eaedeac5","datavalue":{"value":{"entity-type":"item","numeric-id":4936675,"id":"Q4936675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7402281df971ed59cdb81ae7de7a932d0083f9","datavalue":{"value":{"amount":"+0.7918893694877625","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":"Q1346913$2A3AACE6-0A0A-47D5-A725-89C9328735AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Least_fixed_points_in_Grzegorczyk%27s_logic_and_in_the_intuitionistic_propositional_logic"}}}}}