{"entities":{"Q4633554":{"pageid":6663135,"ns":120,"title":"Item:Q4633554","lastrevid":53415281,"modified":"2026-01-24T22:22:26Z","type":"item","id":"Q4633554","labels":{"en":{"language":"en","value":"Effectively propositional interpolants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050736"}},"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":"Q4633554$323F9F71-EF6D-4094-82B0-A26CB887E6E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c23e2eeaf154215055d9290b39d4ae380225f514","datavalue":{"value":{"text":"Effectively Propositional Interpolants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633554$9B4DDF2B-6CD5-451C-9281-77E96E861F1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa1c7d3bb9d58dec3abbf5c774267a3fe454a71b","datavalue":{"value":"1411.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$AD57AB4C-3CCD-4E85-BE07-4B4FA07C4292","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44aba385034a2cd047f1bd43ba8ba1bafd048821","datavalue":{"value":"10.1007/978-3-319-41540-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$5C2268C7-72B1-4FB1-8BF5-031C17C9926E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf2aae399d4abd5545f0fb096398a466c1cff56","datavalue":{"value":{"entity-type":"item","numeric-id":2151243,"id":"Q2151243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633554$18D7C0EA-583D-426E-8083-06CEDF1F1804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20057335d0b9f0f59892ecaeed2a523059119baa","datavalue":{"value":{"entity-type":"item","numeric-id":778537,"id":"Q778537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633554$5EB68DFB-67C9-4318-8189-DD3AEADDB4E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633554$03D8BBDD-6281-4012-9A97-BF4D5354A7C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633554$E8679F9B-C37F-4BF3-9384-E56F823AA9D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$2997BF8E-343C-434F-A014-3C9B6FAC982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$8E8CCE1A-90F3-4DB2-A38F-9C4511ED8D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$6C8B0676-8AF6-4B4F-A9D3-624FBC1B6B3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3bbd2435412b32daa3c7d9ce6c85b859f353e2","datavalue":{"value":"7050736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$2B1E7D24-2725-4CD4-80E8-788B0E843243","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":"Q4633554$EBA2A932-B6B6-4C8E-BFF6-C49C2F9A3452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f677610a45162a786b3e3522a4eb8d0ad1a620de","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41540-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633554$36856C4D-FBDB-4D56-91E0-50F4B776D1C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81be10a46a5995978f24bd565a510de44dd7676c","datavalue":{"value":"W2476153809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633554$ED091E88-EFCA-4CA9-8022-95BE323B3CEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b5d7a88a34ba7463fd26b4ab55d9721f4c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9893a020f639d4f200a746b2f3c926f88e01e1","datavalue":{"value":{"amount":"+0.7939310073852539","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":"Q4633554$F1441A2A-2549-4A73-A76A-2CA346AA1A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb70d8918767f0fd255668d0cd6853c3f42a8e67","datavalue":{"value":{"amount":"+0.777908980846405","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":"Q4633554$ECBD1E5C-B8FD-4079-9A08-081115C315A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358b75b9503b22f66a054621077141ec648e871b","datavalue":{"value":{"amount":"+0.7773642539978027","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":"Q4633554$4A279DC8-37C9-44A4-9436-BF0362E78151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ef10cacd59f07fa88cf40ed04dc382a80d340a","datavalue":{"value":{"amount":"+0.7662176489830017","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":"Q4633554$7635E7AB-3018-481C-8116-461AEAB8EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6082005cb838151ec2f536065030af8f23f991cc","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecf43fb60c43bea2657734e562809e3a313e23b","datavalue":{"value":{"amount":"+0.7640509605407715","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":"Q4633554$336F2E1C-135F-4011-A161-A9D168206C5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633554"}}}}}