{"entities":{"Q750418":{"pageid":752267,"ns":120,"title":"Item:Q750418","lastrevid":64055289,"modified":"2026-04-11T17:20:28Z","type":"item","id":"Q750418","labels":{"en":{"language":"en","value":"Decidable and enumerable predicate logics of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174896"}},"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":"Q750418$5EA4290A-D692-4BA2-9935-571EF18E5847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2887fc1645a4d3a189c11a8fdacd3b36b76bf4b","datavalue":{"value":{"text":"Decidable and enumerable predicate logics of provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750418$5B5A3CA0-DEE8-4D18-B3F9-86DEB7DC8019","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f63d4dcc56071ea52b6c7f165df4c1d208ede103","datavalue":{"value":"0714.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750418$5BC749DA-6072-40A3-8A87-4DC540C0692A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60ba5b44fb236a366d2b2b22f3be0ab5f0504fb1","datavalue":{"value":"10.1007/BF00401550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750418$E8D0B0D8-F240-476F-A817-8E8196A3E790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23b2c746e186ea70830f10ed92eca798efb3f60","datavalue":{"value":{"entity-type":"item","numeric-id":685074,"id":"Q685074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750418$E6290C86-B604-46AC-B0E6-30D14DB9AED3","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":"Q750418$C9C4EA37-3182-4749-B44C-EB65E5E61CF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q750418$9BA6B09B-552B-4CDA-B048-FC5591892D5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97cc4c6fa25e8b4118f55a67f5cbec0e50a94fdb","datavalue":{"value":"The predicate modal logic with \\(\\square\\) interpreted as provability in some extension T of arithmetic is not recursively axiomatizable, and the set of true formulas is not arithmetic. The author finds enumerable fragments. A proof of decidability and completeness for formulas in one individual variable x is presented, where \\(\\forall x\\) is interpreted as an S5-modality with additional axiom \\(\\square \\forall A\\to \\forall \\square A\\). For provably \\(\\Pi_ 1\\)-complete theories T the predicate version of K is complete for the predicate modal formulas of depth 1, and the predicate version of K4 is complete for the formulas \\(\\square^ n\\perp \\to A\\) with arbitrary A. \\(\\Pi_ 1\\)-completeness is used to describe inside T the construction of a model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q750418$572BEA20-5E0E-491A-B785-D9007B5CC4A2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750418$BA4CF8C6-7850-4DF3-A589-F8BC8F61E0AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750418$1FE80997-97AD-4F35-AE73-ED3BCFE752EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750418$51F0426D-65AD-4417-952A-473561B7E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750418$06F52DC9-79F2-4E61-A11C-5D0B045F51F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a968e125df14c7c420072a24a68726838ced0d4","datavalue":{"value":"4174896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750418$5C090D1F-C297-4DB7-AE3D-769BDF47484B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q750418$D2A2061D-D2C1-4813-95FE-43391E7F4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q750418$82660918-CC3A-47C6-935F-EF54B495B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a92fa8567351b873b78db1c24ec506078e66ee09","datavalue":{"value":"enumerable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q750418$62FB7A2A-3A6F-47DC-99F5-D9417C618A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q750418$B9259BEF-9FEE-4B8C-8991-47D25BC5CF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q750418$A2ACC920-5DD0-442E-884D-F02B795D0462","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":"Q750418$43E4A21C-A891-421D-833A-7B1C76BB0D22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40eb9d8d6f4465e5fcf5922064a06c415bd34dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4375098,"id":"Q4375098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750418$DA9E5800-EB61-491B-9E77-D27D6CA71A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750418$BEED00B0-D16D-4EFD-96D6-AF58BC342DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750418$EEF2D9F8-C3B0-4DC5-AAEA-EEC13CFB529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750418$298ED3DA-9E6F-41F8-A8E8-A891748D0E2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63f77f4f157c885b0046e53c80aaad53369c218","datavalue":{"value":{"amount":"+0.8670567870140076","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":"Q750418$3CA4DDD4-A3BA-4E9E-861F-02EFC8FBFEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8057f298e10bda18616b82a0a5b56e1fa6db1cd5","datavalue":{"value":{"amount":"+0.8598580360412598","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":"Q750418$D7268D3E-CB04-4397-9B49-11A198379AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb4485928bf47261bb75396c1fde9ac070f5cf0","datavalue":{"value":{"amount":"+0.850178062915802","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":"Q750418$A610419F-9A5E-4FA9-A887-25632D8A1ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525532039f0cee2e1fab3d8ec9d8caf975ddfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4617d9a63219cc3e4d90bdee1b5528c148c7f57","datavalue":{"value":{"amount":"+0.8483362197875977","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":"Q750418$732F7775-B0AB-4908-8DBD-AEDC1E9F6E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fb2e0a4754bfa28e99b71c85293f5b590e8994","datavalue":{"value":{"amount":"+0.843413233757019","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":"Q750418$D88879BC-DB03-4329-90C6-BF63A7839897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable and enumerable predicate logics of provability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_and_enumerable_predicate_logics_of_provability"}}}}}