{"entities":{"Q1072540":{"pageid":1083292,"ns":120,"title":"Item:Q1072540","lastrevid":69571932,"modified":"2026-04-13T07:55:21Z","type":"item","id":"Q1072540","labels":{"en":{"language":"en","value":"DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941498"}},"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":"Q1072540$C133A201-45E0-4277-B642-65C20309CA77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a88a96dc7ebde38efacd2e498ea32fc85fd2ee35","datavalue":{"value":{"text":"DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1072540$3A59C89D-E07C-4C9A-87D2-50F6EE04EB47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"775653d77d1024e0dfd5e135933be028ea0d0ee1","datavalue":{"value":"0587.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$9E2EDA42-AC5F-4F6C-BBA0-C26634262A99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"834322d318be20b7c59714751f7963e79f073f1a","datavalue":{"value":"10.1007/BF00370509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$2C674D08-71BE-4CC7-821D-73AF6B75BA47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c3405505d0d73c01e55d1efec5c7e96955a14f","datavalue":{"value":{"entity-type":"item","numeric-id":1066887,"id":"Q1066887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$91332AF6-D339-4954-A642-99A52C2206C9","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":"Q1072540$F2982CC0-1B9D-44B7-B031-4A516F8FAC15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1072540$D0A4A61E-6293-4ACD-9A13-E5B96877B072","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"224edddea3bd2c1d0c503538af1487e64f98df5e","datavalue":{"value":"We use here the notions and results from algebraic theory of programs in order to give a new proof of the decidability theorem for Suszko logic SCI. We generalize the method used in the proof of that theorem in order to prove the more general fact that any propositional logic which admits a cut-free Gentzen type formalization is decidable. We establish also the relationship between the Suszko Logic SCI, one-to-one Gentzen type formalizations and deterministic and algorithmic regular languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$DE7C8B8D-5629-42D1-98BB-17B6669394BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$302CD1CE-5D50-4A02-9671-54BD5F2857D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$052588DD-7992-426B-85FB-2FA8D24ABAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$0C493064-99B8-4D7A-924C-BE1A25C65F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$21350CD8-4FE9-4274-926C-F0E67DA4E021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$A23BD9EA-AD9A-456D-AD33-3EC5B899DAC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5beccb7f723e3123e768148e5552887b643db87d","datavalue":{"value":"3941498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072540$4967BA28-069E-47BF-98C6-B9D6E76ED6A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f14da1587c1995b900327820bfa2f1801e946e8","datavalue":{"value":"finite-control deterministic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$82B85646-8576-4F12-8FB4-7C43E1BF6471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562e9e31181b38c71a360f00d5dbaef561d53502","datavalue":{"value":"regular grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$C58141EE-DD23-4C04-B60E-2BA5B3278CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5dfac67466d9aa6385fc0b8f1bf8e4f9fa52e48","datavalue":{"value":"algebraic theory of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$DD713758-1633-4FA0-B533-C64024FFD329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3e2be45b576977ea35e07d7c3b584b4a6de8a7","datavalue":{"value":"SCI","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$808AF77E-8D63-436F-9933-78028AD7CFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f1370d69db45b6ed1eacbda6a672ee896f2af4","datavalue":{"value":"cut-free Gentzen type formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$B2572220-8A9D-41EF-8598-758EA27FCDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1665e667cdb806612f013135ec59a448f64f06","datavalue":{"value":"deterministic and algorithmic regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072540$E67364B0-52F4-4F4F-8D0C-D0BABA0104C9","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":"Q1072540$261B1C1E-CC3B-4C0A-949B-BDA90DD96196","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c37b8489b13514d9efb077e609095f00eb46ab","datavalue":{"value":{"entity-type":"item","numeric-id":4130967,"id":"Q4130967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$AB6B21F5-926E-4852-8E84-732CD7114CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31219231018d6eb10ee76f7bcd2167a7e375025e","datavalue":{"value":{"entity-type":"item","numeric-id":4072828,"id":"Q4072828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$2FECD79D-B31B-4E87-8BED-74120B993654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a6707802bda2a8a7fdbc53ecf5b33a2cf2440d","datavalue":{"value":{"entity-type":"item","numeric-id":4082988,"id":"Q4082988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$350BB615-0C60-406D-A3B8-BB3CF4A2004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3615029c73fb300b362b4cd88cbbed284f744e","datavalue":{"value":{"entity-type":"item","numeric-id":3890103,"id":"Q3890103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$40DCFCF7-0278-4236-8658-23ED5C0C7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941817c38f85c1a34eaeb3d527bb065d15bc6149","datavalue":{"value":{"entity-type":"item","numeric-id":5674989,"id":"Q5674989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$85EB9A95-A896-4B0C-A1B6-36D02E6F92AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c0ed8aad586b712cab7c1c683b4fee3fab10f8","datavalue":{"value":{"entity-type":"item","numeric-id":1236430,"id":"Q1236430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$75F2472B-EB20-4B08-A4E7-D3EF840551F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30272c58a0e5dfc68a9e934943bb0f6d044da78c","datavalue":{"value":{"entity-type":"item","numeric-id":1233432,"id":"Q1233432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$9B92AB93-76AF-4B20-A5FA-3F3A5B1DFBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c5fefbd58d1744d943c51a06b5e4cf5b5d3c55","datavalue":{"value":{"entity-type":"item","numeric-id":3924173,"id":"Q3924173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072540$ABBFADE0-4759-4231-B98A-E761383B6FAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a39b1bc0a0c9f60d8a3fdad77ea6a359d9f4fe","datavalue":{"value":{"entity-type":"item","numeric-id":3737416,"id":"Q3737416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c604a4343cf83d099e2be29e89a18d44a747675d","datavalue":{"value":{"amount":"+0.7843335866928101","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":"Q1072540$86E319C4-EF70-4B32-B06C-667D41C9306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c0fb6db999f0a9aa4568524d500139d39faed5","datavalue":{"value":{"amount":"+0.7429198622703552","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":"Q1072540$7CFB3DA8-911B-4E5E-9768-16F6169A4C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21600ebf93e0786bbeca6c785e3c9bff573c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f105f2e1d23de6dd0328f947bb011c79c3fcbf","datavalue":{"value":{"amount":"+0.7325984835624695","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":"Q1072540$F9D770A7-C0D0-44CC-B01B-E93EBF1D0826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426d7d74a1d08dcf3b359608c7a2a93864e8b686","datavalue":{"value":{"entity-type":"item","numeric-id":5039833,"id":"Q5039833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8e5243dc4aa0568a6b14e172ba61b0e38a4126","datavalue":{"value":{"amount":"+0.7280862927436829","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":"Q1072540$FF690D30-96EE-4FFE-A24A-8446C72B8082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9f6248ca0679fb0d16d2c698e8fd0f64dee694","datavalue":{"value":{"entity-type":"item","numeric-id":688720,"id":"Q688720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee15b027153db8a67123444d79f059c3085a7b6c","datavalue":{"value":{"amount":"+0.7271007895469666","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":"Q1072540$0390458E-630D-4E12-B046-50CC9025E900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations","badges":[]}}}}}