{"entities":{"Q3464769":{"pageid":5244170,"ns":120,"title":"Item:Q3464769","lastrevid":80532842,"modified":"2026-05-06T16:24:52Z","type":"item","id":"Q3464769","labels":{"en":{"language":"en","value":"On absence of finite approximation relative to model completeness in the propositional provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6536403"}},"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":"Q3464769$699691C0-2EB4-46BD-820F-641C3FD0066E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb1c0903d9f77e24872e4b51f8bcd09455506548","datavalue":{"value":"1329.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464769$431053F4-3A16-470C-A891-06EA1F18B60F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c459cf493e68a9347afe52142bdb621985137e06","datavalue":{"value":{"entity-type":"item","numeric-id":3464768,"id":"Q3464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3464769$54FB75B1-3800-4F42-8E47-A2CC602C2255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c86af1ced2e2740e5d17387be596614a746714","datavalue":{"value":{"entity-type":"item","numeric-id":2926295,"id":"Q2926295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3464769$A8480131-5E0C-4A45-BBD1-560176ABB1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48235b8b0a8728608b52fa9d4f7899bb0f20a26b","datavalue":{"value":{"time":"+2016-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3464769$992BCB1E-A90E-4282-89A2-28FC2DBA768C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464769$118CCAAA-B682-4CE5-B8D3-F58A40A8BAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464769$27919A14-0951-45BB-8707-487EADF89F94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65a69cf7000c3e46c47b707557b63cf25b8064c3","datavalue":{"value":"6536403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464769$EF0290A5-A737-41A1-AC17-4AE27D07A97A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff73e159e48d1e5a6a6488e8b5744270ccfe7e1","datavalue":{"value":"expressibility of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464769$F835CE5F-8D2D-4643-98AF-5CD379BE3028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464769$A55C2C8C-ECC1-4BC8-9D56-3B19978315E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16815169e2dfd6df28775bfe0d8e23673a07684e","datavalue":{"value":"provabilty logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464769$37FC7D54-B8F7-4FBB-880E-4A6F1912B10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f3ada23287513a351f120d5da44eccc390eedf","datavalue":{"value":"diagonalizable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464769$A554984E-355B-4E6B-8AC8-D322E4FE3E68","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":"Q3464769$EB6372D1-79C4-4E4F-964C-31E31E479FDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c9fed15f98f46504e97836f45d09f95b6bb87b","datavalue":{"value":{"entity-type":"item","numeric-id":2833438,"id":"Q2833438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439f9e46e242c0a62cbae726282176c7581f8251","datavalue":{"value":{"amount":"+0.9951997995376588","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":"Q3464769$79E369AF-4F6A-4D61-BFAE-D482DBB93223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea850db7d3e0a0f97e90f53f5322bb610b65053","datavalue":{"value":{"entity-type":"item","numeric-id":4386747,"id":"Q4386747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae4e838a427e207292a5ad1046e0e71176b7dce","datavalue":{"value":{"amount":"+0.8706252574920654","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":"Q3464769$0DECAD50-8B4B-445E-AE09-83D4DC00E198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d063d20ab7b79dc1022e3a70a0d5ca6d036a686","datavalue":{"value":{"entity-type":"item","numeric-id":798649,"id":"Q798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae4e838a427e207292a5ad1046e0e71176b7dce","datavalue":{"value":{"amount":"+0.8706252574920654","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":"Q3464769$7CDB3310-3F7A-4CC0-8F60-34EB2112B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923100b568e81f72ddcc62fa10f5fe850cf4e417","datavalue":{"value":{"entity-type":"item","numeric-id":4809503,"id":"Q4809503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79f2293c0897ce6bd03c1e3153eaea48faa52b7","datavalue":{"value":{"amount":"+0.8104388117790222","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":"Q3464769$F083B9D8-C20C-4E98-94B0-82CB21EC499B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b66d347261d365385aa081336997732aa3ead02","datavalue":{"value":{"entity-type":"item","numeric-id":2941273,"id":"Q2941273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7de73548082bd19c7fa4ed4a688ada34c98dc7","datavalue":{"value":{"amount":"+0.7962506413459778","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":"Q3464769$6CA9CD75-2513-47A5-B4ED-AFF9D6D4CF96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On absence of finite approximation relative to model completeness in the propositional provability logic","badges":[]}}}}}