{"entities":{"Q3542154":{"pageid":5572058,"ns":120,"title":"Item:Q3542154","lastrevid":50512259,"modified":"2026-01-14T06:17:37Z","type":"item","id":"Q3542154","labels":{"en":{"language":"en","value":"On non-tabular \\(m\\)-pre-complete classes of formulas in the propositional provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5375018"}},"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":"Q3542154$E57FE2C3-A6E0-40DD-803E-B666538899AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"570b4c0017935cfd0c54c2887e7cd3472f1436d2","datavalue":{"value":"1164.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542154$6753D4DD-E0B8-4B1A-96E5-7160EB4C7F36","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":"Q3542154$D80CAA60-1956-4E8F-A9BA-4FE0E7A07B33","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":"Q3542154$8AF9D878-F261-49A1-88D9-AB1E603EB5FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b557b3028b9a204bb45f5553633b5e6aff1adf6","datavalue":{"value":{"time":"+2008-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3542154$CFA72163-7879-41E5-A4EA-B0E258BBF105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"658b0bf3a11d04559716b7ceb08d4e1325c49ef9","datavalue":{"value":"https://eudml.org/doc/130044","type":"string"},"datatype":"url"},"type":"statement","id":"Q3542154$71E89169-18D3-4E14-A51D-0B367D05610A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542154$809C179F-D3B0-4D79-AD6C-69A12A2BB5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542154$97CE5382-C172-40D1-A2AC-894C894E608A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b79b2fa1bad82e641dd776ab6d53865a7fdfee94","datavalue":{"value":"5375018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542154$3E2E5C8A-4209-4893-88CD-EB7879B02BA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a142e2b816f9e81f01df931c9927a832cac3f207","datavalue":{"value":"functional expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542154$8BE43C13-2268-403F-B115-A4FB74148AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d2a6a9c0efb42d195469b0c2d1c9a71b058ac8","datavalue":{"value":"\\(m\\)-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542154$1F8021FC-95E7-4FAA-84C1-E7606CC6C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542154$D00EAEC6-07E7-4DF2-A42E-7110AB1A0AEC","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":"Q3542154$FD9CA951-5D9F-4ADD-A721-D8CAFE7EF09D","rank":"normal"}],"P1643":[{"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":"1a0c9f30f52f9f0f956421d55762637dc3d4cb1c","datavalue":{"value":{"amount":"+0.8430292010307312","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":"Q3542154$6035ED5B-008E-47B9-9B64-4ACD8F65543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6b70678d9db7d9417b19ce12b7154f819ead9a","datavalue":{"value":{"entity-type":"item","numeric-id":5426798,"id":"Q5426798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b2e73270fcc2c9c1f2409db7870690bc307a54","datavalue":{"value":{"amount":"+0.8098878264427185","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":"Q3542154$E7C0227D-AEF4-4C5F-B330-144C944BA4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77e85c2bd3577a7ac614002906e1cc473d614c7","datavalue":{"value":{"entity-type":"item","numeric-id":4870286,"id":"Q4870286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be6c5f279e45cff18c0a7f1bf022f8a8472cb3c","datavalue":{"value":{"amount":"+0.7831337451934814","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":"Q3542154$85F33400-8D8F-4180-AA47-6F53AC001F0A","rank":"normal"},{"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":"6b0e662fb15333f601380756ee8ea5f71a82c47e","datavalue":{"value":{"amount":"+0.770799994468689","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":"Q3542154$265743FE-C3BC-4337-A279-5171A3C24BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4526e692b5890e59fc68d6137504a3be53a2984e","datavalue":{"value":{"entity-type":"item","numeric-id":3464769,"id":"Q3464769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4faae0988498b1c3639b0c1e2f6a05906a43977","datavalue":{"value":{"amount":"+0.7698073387145996","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":"Q3542154$AF28A62F-8718-4B82-BE4A-C310BBDE2083","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3542154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3542154"}}}}}