{"entities":{"Q965859":{"pageid":967707,"ns":120,"title":"Item:Q965859","lastrevid":42790034,"modified":"2025-07-11T12:33:33Z","type":"item","id":"Q965859","labels":{"en":{"language":"en","value":"Expressive power and incompleteness of propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5701559"}},"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":"Q965859$CB7C863E-D151-4364-BBD2-69C0DE89F4A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32680ed0d819e7d12d6cc033efb7b520612d0cf4","datavalue":{"value":{"text":"Expressive power and incompleteness of propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q965859$F780F690-1C2F-4C61-A9BC-28910CE16144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e7c6b975dbe44f003ba3a154270002c07110e11","datavalue":{"value":"1193.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$EBCC6461-E530-41F4-B5B7-3B3AA36966C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f8e1d8cf23ea7c6b4902776a589acb2bad15eda","datavalue":{"value":{"entity-type":"item","numeric-id":812103,"id":"Q812103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$22308446-B43E-42C1-8A7E-684BFBD80B35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$99B63580-2ED0-4BA0-B950-10B03CA03483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf11706925c44dddfc197e0393a2ad75b3d2238f","datavalue":{"value":{"time":"+2010-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q965859$00173D1A-049B-4E67-A2E0-F133FA213DCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$0D85062F-9F77-4664-9575-8719F3407ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$96E8C62A-380F-431C-8BFE-CB159B8F4345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$3067E4C1-DD3E-45B9-A114-B70DF695B0C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"969944f3b42d1cb31765937d03f1c38d4a8c80aa","datavalue":{"value":"5701559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$E3473414-2336-44A9-A5DF-09EB5C6F9D1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965859$A7B4B844-7B5C-4ABC-A29E-9BEF5777CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q965859$08BA5452-6793-4FC6-B4AF-D3839F3162F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q965859$4DDD9BBB-0C12-4023-809E-FFF908D3957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965859$239372B5-4975-4984-A6E9-8D7DE8A2DDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965859$948EB42A-79B7-4630-9856-1B07D8FE244D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fc1a21339bf57fcd3fb28f3310bd7c50400e6e1","datavalue":{"value":{"entity-type":"item","numeric-id":16752,"id":"Q16752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$6F09B6A3-1B7F-4379-A832-2075D13CEF97","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":"Q965859$9CDEDDC8-601F-491A-A253-414D22A5B4A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b176de8361260b702acbd2ef2dbe2d4ed1a6ed3b","datavalue":{"value":"https://doi.org/10.1007/s10992-009-9120-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q965859$523FCDAF-D1A9-4010-9739-360608F1912B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"112e31c5d80f9c4038f318214bd53c9e37e53bae","datavalue":{"value":"W1974165794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$E2C7399D-059A-45DC-8C7E-70CBECEEE73F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7b68671522342d2d7f4f5704e2607a107b4d13","datavalue":{"value":{"entity-type":"item","numeric-id":918524,"id":"Q918524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$419A3314-7975-4A39-8FE3-CA256ABB63F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$FA874548-8058-4A72-84E2-0B8948D0F1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$BCA05260-E0A7-4DBB-8EC9-098745863287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dadce80c9e5384cc71b908cfa6b6731cbb438be1","datavalue":{"value":{"entity-type":"item","numeric-id":5839916,"id":"Q5839916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$7922C9BC-1F97-4E6F-BD42-339D141A8825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$F2DA239F-DC13-4E56-B383-1E85910467F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$11426FE5-1C68-435E-A73F-85CFEDD25C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965859$1A9D0356-B273-411C-B0CD-D5C061650EBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"107073e41e27f60c5e5d298a1ffba99cfbf6b7fc","datavalue":{"value":"10.1007/S10992-009-9120-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965859$79EF57BA-DC17-4C6C-8511-09BCDDADBF8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266f795a9ef5ad750ffb8b9decde22c41234628","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac11d84a79099fca257464e681cf3472a7531b8","datavalue":{"value":{"amount":"+0.9258411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$CE9EC442-E047-45CA-AD44-8879B7F5B0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6be2716a73939a8ef5f5bd209f6b1fa11bcbaa2","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22208bf83457ed2863d90d7accdba2cc3e14f3b8","datavalue":{"value":{"amount":"+0.9189333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$2089CA26-BE9F-4822-90A6-FA97EF8B8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3453b38f771974d6c2f669a8a515fa2b53e5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3328520,"id":"Q3328520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb4baa6d4929f7231c0d0198dbb7fe7f30d910a","datavalue":{"value":{"amount":"+0.91336036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$C28ADE87-4231-479E-B074-1E73714C760B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b9c2692015afc0b787644f294d14c6074c5fdd","datavalue":{"value":{"entity-type":"item","numeric-id":2276946,"id":"Q2276946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b04bb1d6e667a9fd86339bc8deb0bf3c93070e","datavalue":{"value":{"amount":"+0.91241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$156CC0DC-3101-41CC-956E-6D54DDFA770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b7b63652b23e3553dcb805dc09feb2bdfaa837","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c5cffdc350b0269f3d8c3e3fba5685b8fc2519","datavalue":{"value":{"amount":"+0.9089922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$59B2BEC3-520C-4C6C-9234-AD2EBF0804BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37443a08d8870449ccb67f34cf91bbefc692e51","datavalue":{"value":{"entity-type":"item","numeric-id":4344697,"id":"Q4344697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d40111ae6ab7d929b1a22c91b6029662bdcae39","datavalue":{"value":{"amount":"+0.90813005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$13DBEC1E-5382-496D-9D14-FC632D39E5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ff8e8d9be79174a24407c05c2fa53f50dcdaa9","datavalue":{"value":{"entity-type":"item","numeric-id":2372412,"id":"Q2372412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814dc37726fc93d523493f2f51dcf8a64706ca03","datavalue":{"value":{"amount":"+0.9068564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$5DA9239A-4D11-41E0-BF37-6413E794235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a404614825300543eeb61f3162411d21ce194a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5221578,"id":"Q5221578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42cf020079fbe3d546a2b7c5ebabd4c2e8f6d42","datavalue":{"value":{"amount":"+0.906706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$6742FC83-5426-442C-8030-931623EDF68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f312afd6628f63e151df6dcd2b686bd7105c8ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4023306,"id":"Q4023306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255140a706c7111777c26b558c468f99f92c5cf7","datavalue":{"value":{"amount":"+0.90346277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$5BFFA29B-96CA-4AD8-93CC-45ADB8649587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a60d92e4c9a492bd42c53856e61ea6bc1f0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4924534,"id":"Q4924534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3daf8fc4ebbf7dbb774f23cab18386587a865d68","datavalue":{"value":{"amount":"+0.9032054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q965859$26B95F9E-EA0D-46DE-9B88-C3BFA55E080C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:965859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:965859"}}}}}