{"entities":{"Q1346924":{"pageid":1357663,"ns":120,"title":"Item:Q1346924","lastrevid":67669977,"modified":"2026-04-12T19:15:28Z","type":"item","id":"Q1346924","labels":{"en":{"language":"en","value":"Least fixed points in the G\u00f6del-L\u00f6b logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738970"}},"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":"Q1346924$E58CE0F0-0A93-4B4A-BBAA-C0ADC48B0074","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1531ab36ee1505f5d02c8509989bd8e8cb8d2405","datavalue":{"value":{"text":"Least fixed points in the G\u00f6del-L\u00f6b logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346924$BCE244B6-85E5-4942-AF8F-0265C17401EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03ac2ce662e3d23632c57ed63dc1c6e4e2148936","datavalue":{"value":"0815.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346924$66D4347F-5688-4AE7-BD48-A32CD634FEF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"369ef106fab4e5b85e092cb754ff788cfe833ffa","datavalue":{"value":"10.1007/BF02263055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346924$648EEEE3-DF71-4875-AEAB-B2E7CEF70EBB","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":"Q1346924$7129FCA7-6FB8-4897-8375-3848CE76A701","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":"Q1346924$D7A9C1FA-D641-4D8A-81AA-C810F8EBB154","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":"Q1346924$3E4824BF-37FC-4497-81E9-5C7E1E96E7AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f46cc98246e5a91b62244dd8ef243f6ca3c70ed","datavalue":{"value":"We prove a fixed-point theorem for positive schemes in the G\u00f6del-L\u00f6b modal propositional logic GL which is similar to those proved in the author's paper reviewed above for intuitionistic and Grzegorczyk's logics. It is known that a theorem on the existence and uniqueness of a fixed point is valid in the logic GL for formulas in which all occurrences of the distinguished variable are within the scope of modalities. Here we consider a somewhat different family of formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346924$1A1C6B86-4AEF-4D2D-8E16-03B028A8001F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346924$051CB751-C222-4ACF-8FBD-2A804EC23FEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e55c4075e1ef105902d0a4ffb7b2a6e824c327c","datavalue":{"value":"738970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346924$652D6B8B-799D-4024-BF2A-86A173EA72ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07c3c2f02bd8b1bc56efdb24ab5110a5c3b0f3b","datavalue":{"value":"fixed-point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346924$D9E15FE1-9273-4F40-9E1C-4D0DD220CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d663186a70fca653bb70f35cde3f6627762c26d4","datavalue":{"value":"positive schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346924$8184F67F-1D8E-4394-A66C-5A7F5170D561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1a3ffbc6c0f0dd3c16f00c4ebd6c64d6ba1fe5","datavalue":{"value":"G\u00f6del-L\u00f6b modal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346924$F9EA5050-8E74-4738-9B8F-9DC2E7C91DFB","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":"Q1346924$534F81A9-57E6-42F4-A9EE-36F49C7909BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bc54f61185d9d36b5d1b5971b8caa0632aef7","datavalue":{"value":{"entity-type":"item","numeric-id":1346913,"id":"Q1346913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346924$2BAA6A87-A561-47EF-8151-BAE01D02628A","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":"Q1346924$C67B1DB9-51CF-4E48-91E1-1431978C4665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d296e944af842d0e7d762b91f3e3e06e38e7ad1b","datavalue":{"value":"https://doi.org/10.1007/bf02263055","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346924$C7B2F008-2282-4FA3-80B1-90F02A22B931","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf452243cbdd3bb8147b7133f8b02615d08b1da9","datavalue":{"value":"W2072389780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346924$5C3CAA24-702F-4C64-B76D-F9B12C892CEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe2f2d264561f3d35a6d0748932fc2d4fccbaba","datavalue":{"value":{"entity-type":"item","numeric-id":1346913,"id":"Q1346913"},"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":"Q1346924$1736EB3A-A01F-4687-9D3C-88795BEC6CE1","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":"f58e6f359c19bbcd39343824ab241a6e0ad206d8","datavalue":{"value":{"amount":"+0.8237510323524475","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":"Q1346924$EFDA143C-BE9C-4F94-9EB6-8E6BB67CEDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4309255726ddccaf230b70a2cfc4ba84e5a6495a","datavalue":{"value":{"entity-type":"item","numeric-id":2499296,"id":"Q2499296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816ff42874a80275d47af6c0d956b824d66bce83","datavalue":{"value":{"amount":"+0.804107129573822","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":"Q1346924$821C7021-D0A3-4C35-9A28-C06DF6F3B723","rank":"normal"},{"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":"8c73bb9b776787974a79a6b07cc97805ba0b0038","datavalue":{"value":{"amount":"+0.800767719745636","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":"Q1346924$CB51EE24-EE41-454D-B9F5-877E645832B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf3a81b4f5fc9f7fa214c2b3e796e777df5daed","datavalue":{"value":{"entity-type":"item","numeric-id":4437809,"id":"Q4437809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c73bb9b776787974a79a6b07cc97805ba0b0038","datavalue":{"value":{"amount":"+0.800767719745636","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":"Q1346924$9D15E3CA-CE85-40FE-85F3-E7E95E1F1373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Least fixed points in the G\u00f6del-L\u00f6b logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Least_fixed_points_in_the_G%C3%B6del-L%C3%B6b_logic"}}}}}