{"entities":{"Q2833438":{"pageid":2844168,"ns":120,"title":"Item:Q2833438","lastrevid":83702585,"modified":"2026-05-07T10:02:01Z","type":"item","id":"Q2833438","labels":{"en":{"language":"en","value":"On the absence of finite approximation relative to model completeness in propositional provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6654416"}},"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":"Q2833438$87F08C63-4503-4351-BC81-62180F06E4C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b455f7d1ee65760f0c6051432dab3e7ff5ca565","datavalue":{"value":"1351.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833438$9D9D3737-6B30-4105-9FB4-397AA7316E9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dac78b9bb71968e13ea8fc46c1617527ad28a13","datavalue":{"value":{"time":"+2016-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2833438$EBD7A783-5CB9-41F8-B0AB-6D1954CC22D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"388e128e1a41f2d92fa0848297f68475ba50718e","datavalue":{"value":"http://www.math.md/publications/basm/issues/y2015-n3/12125/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2833438$20CD6921-34E4-4D87-A60D-8EC2A3879B01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833438$42197D90-0B64-495C-AD7B-51298B424E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833438$A87B31A9-FD42-442A-B0A9-0BB06C66DC59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3126e3129f86d2854d78f70b16f7c954fd887446","datavalue":{"value":"6654416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833438$C56AA6BD-256E-485E-9893-779E70E7A9AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833438$3ABF5FC2-C56F-405B-A2BF-D6B4A35442C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833438$37BE0469-11AF-4474-8524-9577F451A619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16815169e2dfd6df28775bfe0d8e23673a07684e","datavalue":{"value":"provabilty logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833438$C870CE71-B35F-4964-9C12-236887499B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f3ada23287513a351f120d5da44eccc390eedf","datavalue":{"value":"diagonalizable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833438$14BED67F-0911-4859-9EEF-BBA644204CC8","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":"Q2833438$249CA0E2-2DD1-48B8-92BB-6CD5C3BD87DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9190cbdaf929cc937371f5bc5e84d237871f4fb","datavalue":{"value":{"entity-type":"item","numeric-id":6061464,"id":"Q6061464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833438$15DD2CFD-5BBA-4AAB-B5B9-AAB40D93B585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33651083d8369d6bb01120449648789938e48b5c","datavalue":{"value":{"entity-type":"item","numeric-id":6240139,"id":"Q6240139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833438$36E99134-EF57-4859-A790-0EE7B4BE4232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9f7d86ac2be0b488d953c1842215b771400df98","datavalue":{"value":{"text":"On the absence of finite approximation relative to model completeness in propositional provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2833438$C14651AD-59E7-43B3-B3C6-C99FE8759859","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"663ec791ae8ba6041bf10e1ffe80814cc36bd3e7","datavalue":{"value":{"entity-type":"item","numeric-id":6615582,"id":"Q6615582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833438$4F22F114-468F-407A-BE77-F3091EF4E031","rank":"normal"}],"P1643":[{"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":"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":"Q2833438$585B3D33-B885-4EDB-88C6-16453B9B0E70","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":"2e916d1e2a17c87b4fb4e2bd538d756b07862d72","datavalue":{"value":{"amount":"+0.8616382479667664","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":"Q2833438$50A9ECD6-E0F7-4AB1-A0CE-E4B9B67B1ACA","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":"2e916d1e2a17c87b4fb4e2bd538d756b07862d72","datavalue":{"value":{"amount":"+0.8616382479667664","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":"Q2833438$B61D2F84-9C80-4A93-AB61-8431CA3BE89F","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":"ce2a3e98f9f626512b7af9caa8de173084c51177","datavalue":{"value":{"amount":"+0.8074567914009094","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":"Q2833438$37F8ACBF-0274-4AAB-B44F-EAD25B32984E","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":"733546dced317fb931b9be857cd7060851af008f","datavalue":{"value":{"amount":"+0.7947276830673218","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":"Q2833438$7A855B35-194A-4C1F-BB2B-84B1AD5B58DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the absence of finite approximation relative to model completeness in propositional provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_absence_of_finite_approximation_relative_to_model_completeness_in_propositional_provability_logic"}}}}}