{"entities":{"Q694247":{"pageid":696096,"ns":120,"title":"Item:Q694247","lastrevid":63569700,"modified":"2026-04-11T14:03:23Z","type":"item","id":"Q694247","labels":{"en":{"language":"en","value":"Interpolation and the projective Beth property in well-composed logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115032"}},"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":"Q694247$9D4FC7E3-0750-4FB2-8B0C-9590B8E9D5D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1491e832f46902cbbd782367b92410c51950bf51","datavalue":{"value":{"text":"Interpolation and the projective Beth property in well-composed logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q694247$80139B39-814E-4361-BEA1-2097FDBC8323","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d1b76ebd735570ae7fef5bb36025ca8e2cdc7c4","datavalue":{"value":"1285.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694247$EBA7B9AF-1079-4BB3-A8EB-ACF4244E4B59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$0858C81D-01B5-47B9-9126-8358634D9E5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaff6a94ac821c6dcde7cb7d6a059bb2e8edd01d","datavalue":{"value":{"time":"+2012-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q694247$CFE4760D-40B4-4677-A6D2-61A99DB91710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694247$45A62B3A-4DAC-4F05-BFA0-9574B71DC056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694247$76BA6723-B49E-451A-A9F8-782F472145B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a5b4ba34f0a5c9031c3f2c3799c2626ece8fb38","datavalue":{"value":"6115032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694247$FE48981A-76D8-4F25-9237-8F5891D36911","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d3d129a6d9daca3d47d804ec75a9ff22860f61","datavalue":{"value":"well-composed J-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q694247$72D0BF21-DC83-4AF8-8BC6-E9A7C495FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q694247$BCF1D786-A58D-4ADB-A499-8CCA80EF5279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q694247$4BCBB842-E6B3-43F3-9E58-B24378496170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$E511A4A2-6382-4395-B5FA-C8EBEEC27AD7","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":"Q694247$596B88A9-CC30-4366-AAB8-68009F53D310","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"458d887428df3d880dee81de63eed0128aa805c5","datavalue":{"value":"https://doi.org/10.1007/s10469-012-9180-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q694247$0F72DFEA-D37F-43AB-933D-FA143D93935C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"187aabfe0bac73859f1f8722b1109fd49110543a","datavalue":{"value":"W2156051183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694247$6584B738-D77E-42A3-B24B-A5462362C45F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$2073DADA-6584-4C01-BA51-537A92ACE163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$4E675659-07A4-4580-BAF9-5485FC3B9E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$21E7724A-714B-4625-86A1-EB08B12646AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$B4837123-B65F-44C1-8AD8-DFBCA3424DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992f3801d3cae773733c4d91154660a944ed992","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$6BB180BF-DB1B-46C3-AE94-C62540110106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$6FB64D71-7172-437A-8837-64C5CC0199EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$42F569EC-0F71-4544-ADCD-AE899428BF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$9B149D49-43E0-4CB7-9CCF-DBB21109CD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22882db29752b4575c345d3c696c4ab856acb443","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$E38C6C61-491F-4054-A4FC-31A5DE9BB0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe448008da013d2f8dec3493a15a9c63b8876ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4532125,"id":"Q4532125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$9554FBA1-730D-4F9E-AAD5-EFBEF52B775D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfc35f925f6d5c884b1d0d79906d162784c29f","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$BE5BDACF-6CF2-4317-868B-EA6BBB741E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2904d16fc361d48cd313a368dfc01d2eab5ac93","datavalue":{"value":{"entity-type":"item","numeric-id":3577906,"id":"Q3577906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$035C9D63-A083-478B-9B85-12AC84FCF1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bafa61800651144f61c6d933f54969754128b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3446517,"id":"Q3446517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$EE519788-A7CF-433E-8C86-CAB4AE7C592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8098fb4d00cd350f77f5906966fbf818f3c3a64c","datavalue":{"value":{"entity-type":"item","numeric-id":695764,"id":"Q695764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$7E29013F-D5EA-4E80-8625-F771CD1F8E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0d01ce93f797e2c0689cc428671a2da4e0346d","datavalue":{"value":{"entity-type":"item","numeric-id":3012532,"id":"Q3012532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$46C70A0A-15D0-414B-8762-113F156F1B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352594fc316d8c2c44f85363ae162f7e8114b482","datavalue":{"value":{"entity-type":"item","numeric-id":606053,"id":"Q606053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$C613D477-083A-45BC-B4AB-B0E81B8D9A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e0eef98c90ad305d54fea157c1976ef3c37c77","datavalue":{"value":{"entity-type":"item","numeric-id":647415,"id":"Q647415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$0C95A788-6590-4B9E-B9F7-937CC1435127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986360752d3038d54763536872f028118126b5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$C32717A3-CEF3-4FEC-844E-EF22D1B645BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611f8accee3aa180316a67b5d0efa9358fe790fd","datavalue":{"value":{"entity-type":"item","numeric-id":4936636,"id":"Q4936636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$B1C9EA0A-0CE9-4A8B-A879-1E2CF3246E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0362777c178853d7e80e500731313475ff05600","datavalue":{"value":{"entity-type":"item","numeric-id":5465446,"id":"Q5465446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$AC4CCE84-B0BE-412E-8F73-1040973EE941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d486ac68af681f8a85b54847acb6484d81487ef1","datavalue":{"value":{"entity-type":"item","numeric-id":5599784,"id":"Q5599784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$6F057B9F-7489-4E9F-AA24-5827AA72E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ba7e5b02ac3c4672d6468085926cc0c361b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4803974,"id":"Q4803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$D84CB4AE-F738-4042-AA2F-D8C32A0CA957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95829e434423f74358ea4da5f3bca73c0c147e34","datavalue":{"value":{"entity-type":"item","numeric-id":3546111,"id":"Q3546111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$8F3F757E-CD81-412F-818B-3C9E3BA5FA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694247$CB6E9DC5-E4D0-4B1F-9677-DE4B654AE09C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74cd6f46822f7ad09c5f341e29fea334c4878d00","datavalue":{"value":"10.1007/S10469-012-9180-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694247$6C4416EE-1657-486F-A288-A055C731289A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ab5cb9fe0c3a2e170dd0cd41f09fe96f3f5c69","datavalue":{"value":{"entity-type":"item","numeric-id":384403,"id":"Q384403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff0ca23d70f6afc9a5d71ba8235d6406763f5a9","datavalue":{"value":{"amount":"+0.9645463824272156","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":"Q694247$DC889EA5-3D23-4952-B60F-B81B64706F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4167a811cb83dbdc683fc72d9fe40b45b5b4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5419894,"id":"Q5419894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1626f129d4ef30691dd5de1d6c69047aa782c3c3","datavalue":{"value":{"amount":"+0.9107561707496644","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":"Q694247$5502DEA8-CD26-4565-AFA2-CDBA206AB3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6ab1b8b6d462b77a96b11cc7f93a92f87a1351","datavalue":{"value":{"entity-type":"item","numeric-id":3446517,"id":"Q3446517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1625fa60c85c715def8243eeb88550c8717ba324","datavalue":{"value":{"amount":"+0.8549785017967224","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":"Q694247$414920AE-EF82-43C4-91DF-C0E43BE155D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3472f1e09bd8c31034159a0465942be268146f3a","datavalue":{"value":{"amount":"+0.8498665690422058","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":"Q694247$EBC522E3-B77E-4F28-A65F-3461001915C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ed9f4dbf145c210336a5d88e7fc72e7047bbf5","datavalue":{"value":{"entity-type":"item","numeric-id":1937748,"id":"Q1937748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a3d0d6c463655dcd24fe3000effe5848734f0c","datavalue":{"value":{"amount":"+0.843776524066925","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":"Q694247$809F760A-E8B2-4AAA-9C3E-9FF586B3CF8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation and the projective Beth property in well-composed logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_and_the_projective_Beth_property_in_well-composed_logics"}}}}}