{"entities":{"Q2913984":{"pageid":2924704,"ns":120,"title":"Item:Q2913984","lastrevid":42492382,"modified":"2025-06-30T09:49:01Z","type":"item","id":"Q2913984","labels":{"en":{"language":"en","value":"Craig interpolation theorem for classical propositional logic with some probability operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085309"}},"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":"Q2913984$3D1B4C2A-D100-41FA-9F58-9EC16FF0C7C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62df5844749a2d40ccb6004890fc7ca1a3d49359","datavalue":{"value":"1265.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2913984$BD2A01E8-D91C-44A7-840E-13EB16799FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2913984$4365B7C8-AA5E-4AF4-BD0A-CE72F0134C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2913984$87F6A47B-EB32-4DA6-9074-0F26A07C0292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2913984$09B6D085-82AC-4553-BC5C-DBB07DA13097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5893e6e6b1fc2c52863ecf353707ef0fae62ded","datavalue":{"value":"6085309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2913984$6A4C4A6C-FAE9-4564-B2A1-C1B12C6309B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec72df57f4748a8a95a6166cc534521dcb3f2ac","datavalue":{"value":{"entity-type":"item","numeric-id":465579,"id":"Q465579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2913984$F30A8D0B-510E-4E63-9183-071BEF95C069","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":"Q2913984$C719E3AB-1028-4BF8-BB1E-D91D8581F0DE","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b2ed9fd0423e4a5c28b4186ad83bd586d1ced28e","datavalue":{"value":"bafkreievmgfzsyeuj2cbuq6g377wwkjofdvchqz5cctmnr7odugnhp7oaa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2913984$E271DD8E-4EB7-485D-927E-11F795FEC759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194c981196218ac8eaecf19d7b9a148909eaec0","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb063e9dc79e7c97ef530633ecce2ca97dd4b31","datavalue":{"value":{"amount":"+0.9273892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$84313574-5B65-43C7-B1C2-805E9ED8CC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea25c9da1fb8125b5d35c531b775eaad3876e673","datavalue":{"value":{"entity-type":"item","numeric-id":1406371,"id":"Q1406371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80952a8ae91f78c15eaaaeace8fdd5868fbd6c1","datavalue":{"value":{"amount":"+0.9177355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$8104877E-12A1-49A2-89A3-71EE0AC0C870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4779fd604c40d45eef5273e45051a61eb67b989","datavalue":{"value":{"entity-type":"item","numeric-id":4501162,"id":"Q4501162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0026e9754e927beee75552b4b0a47263173986","datavalue":{"value":{"amount":"+0.91327494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$62CFCD02-4184-4BAB-8DCD-2DE83FFE3E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da5f1fd13f348bd0f86d07357389257bde5cde8","datavalue":{"value":{"entity-type":"item","numeric-id":1275992,"id":"Q1275992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae7b005cd56152af3abed365c716f63767c3387","datavalue":{"value":{"amount":"+0.9105028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$19FCE856-9881-464E-8BA5-426215A17418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18b93d4240363490331dd34fc872b42fc7bb72b","datavalue":{"value":{"entity-type":"item","numeric-id":3710513,"id":"Q3710513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428f7a0a9c64d2e7b7be53ab4581b49a40ba4c3c","datavalue":{"value":{"amount":"+0.90666175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$74943FED-66C2-45FB-95FC-A44061B2A9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d06c8db1e40f7eaea9591f257fd20af960d9d1","datavalue":{"value":{"entity-type":"item","numeric-id":3784046,"id":"Q3784046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3867fe0d7b9713ac8388fefa6a32a947df63533","datavalue":{"value":{"amount":"+0.9055771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$86BF7830-F32A-49D1-B079-8D36CF0DC6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b780e21543863309d54ea3fcd5cf25a03443c715","datavalue":{"value":{"entity-type":"item","numeric-id":5283779,"id":"Q5283779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd63090663a3f35f23cc87c7241d63f87138b6cc","datavalue":{"value":{"amount":"+0.9028153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$59507B34-265C-40A4-ABE2-203DD8DBC2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd63cfa22485697f0fb56020a7a44da097e6610","datavalue":{"value":{"entity-type":"item","numeric-id":4870568,"id":"Q4870568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a496f74ce4532ed364724b7d43f582b73232d14b","datavalue":{"value":{"amount":"+0.8974149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$F726EA98-F938-4931-9058-23605B28024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a6b14ab1159b444ea978c7a98c35c67f10bb86","datavalue":{"value":{"entity-type":"item","numeric-id":3312201,"id":"Q3312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1efd1ebec352f4a31af10fdeafd5e428cef227","datavalue":{"value":{"amount":"+0.89073527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$317BF7CD-63C0-4B9D-9D51-886CBCB486D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee5995a8d18938cd4f7f91e17c063036b95f598","datavalue":{"value":{"entity-type":"item","numeric-id":1821770,"id":"Q1821770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc23564c5c24827405241dcd60dca0612eb44bc8","datavalue":{"value":{"amount":"+0.8884988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2913984$B076F9C5-EFDA-4CD7-BB67-FBB2B4DED55B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad61338031bcd6662d65f2d8e347978fc2882fb8","datavalue":{"value":{"text":"Craig interpolation theorem for classical propositional logic with some probability operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2913984$643AE243-2826-4A4A-B264-CA268A67984C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cee17a61fcff18bb7d8c3ada51d813b2f79bcdf3","datavalue":{"value":{"entity-type":"item","numeric-id":6486666,"id":"Q6486666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2913984$C58D4FFA-F13C-454A-8609-95A2C1D42FC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9545b9c6413ac9031e09f374c3eef326f9fe31c3","datavalue":{"value":"The reviewer introduced a conservative extension of classical propositional logic with some probability operators and proved the corresponding completeness and decidability theorems [Publ. Inst. Math., Nouv. S\u00e9r. 53(67), 1--3 (1993; Zbl 0799.03018)]. The author proves Robinson consistency and Craig interpolation for this logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2913984$91510FCB-89EB-429B-9903-005F1155F5ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2913984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2913984"}}}}}