{"entities":{"Q384403":{"pageid":386170,"ns":120,"title":"Item:Q384403","lastrevid":61435257,"modified":"2026-04-10T23:21:37Z","type":"item","id":"Q384403","labels":{"en":{"language":"en","value":"The projective Beth property in well-composed logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234002"}},"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":"Q384403$989874C7-5A03-400B-95AE-749261743DE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0acc744623b4a680bf735b45bce0e0cc838d81c6","datavalue":{"value":{"text":"The projective Beth property in well-composed logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q384403$D3C26D4B-039F-43E1-8AFD-108B6D38CB27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62b128b3422d6c6a060d81f3827883c2f22439bf","datavalue":{"value":"1315.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$A53EC2A1-A6EC-4535-A9FF-C2B469BDF400","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":"Q384403$32696C51-702D-4BDA-9951-FFE4CE4D344A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6682260777f975a14500f5d72e041f682df3900","datavalue":{"value":{"time":"+2013-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q384403$4172F737-A3E5-45A4-BACC-98E507652842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$4ACB7D50-8E6F-423D-A594-839BC9A3D556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$2387F2B2-115F-4ABE-9333-6C77190DE8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$128BC58C-2A1F-42E4-BAF0-91AA0075E7FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8dad3b3e356389c312550f944c8d0e48c8803d4","datavalue":{"value":"6234002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$AE23B59B-AC8A-4F58-8CE5-ED222EB13BFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a51a3cfbc42ba2eb6d7c429efad6ac654607a78","datavalue":{"value":"projective Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q384403$8DD3FD76-B4C3-4D56-B181-3368BF603605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q384403$EC3FD717-B321-47D8-B25F-C3E0A114F7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a0ae9073bbe2bf2d3d47b0d1e73fd909ac52c8","datavalue":{"value":"well-composed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q384403$C2985DE7-00F2-4640-B0A2-5D2B47BD0006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q384403$A2A5A626-EEA9-426F-BD8C-38CF57338457","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":"Q384403$10224CF1-FEAE-40B2-A7AF-534E874E9DB4","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":"Q384403$0A164ED8-7839-49C7-A375-DE91C763704D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"715448ef159af56c029551fe7a0dc398027e0855","datavalue":{"value":"https://doi.org/10.1007/s10469-013-9227-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q384403$098690A8-CA02-4C6C-BC82-E1CEE4B8E616","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d15700ff2959fd78ca2d45528d6458259da59e83","datavalue":{"value":"W2006585261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$C3AB6363-A25D-45B8-AEC3-7461999EC2B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1ecffd0ee57330d62a68e358b27ee52a78bcc0","datavalue":{"value":{"entity-type":"item","numeric-id":694247,"id":"Q694247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384403$6978619B-B83F-46C0-ADE5-BEEBB1FC4E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384403$C480FF1F-F477-453F-92C3-DCE18FB173E2","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":"Q384403$30F8E5AA-3385-4021-A185-A5BF73C3AAEF","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":"Q384403$239F58EF-50A1-408D-B8B5-56349DB0E93F","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":"Q384403$CBF70DE0-8446-4AB6-B274-B531700B9153","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":"Q384403$D661D965-6CA1-4195-AE50-52EE7DA082A4","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":"Q384403$8C4E463A-384A-41E6-B194-90FB409C0DC0","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":"Q384403$084387EE-8DD5-42FA-82F8-FBFD5BC45B87","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":"Q384403$6267C636-D526-411D-A064-8A9E8A59C847","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":"Q384403$3D9BF724-48C7-448C-BAE3-4693FCB697F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bad9cb0a93361a0b6b20f19bb003422156ee8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1937748,"id":"Q1937748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384403$560795F6-7079-4F2F-AD9A-9BEF868BCFD8","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":"Q384403$AF932C18-CE45-485C-AFD9-33EEEE862D13","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":"Q384403$427C751E-E82C-4E1A-9685-DCF06059A94A","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":"Q384403$AD6FAF9B-FF43-4F28-8451-2FE84C0EBD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbb19b823dd70c34f20350c0d7916e904810360","datavalue":{"value":{"entity-type":"item","numeric-id":5628181,"id":"Q5628181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384403$0F5A76A0-1858-4884-B4C6-93BBB01FC222","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":"Q384403$351C7833-8BA6-4A7E-AC08-8E7AFF32A1D6","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":"Q384403$D68D9F7F-CC25-410A-8EEC-37F91C1EEAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384403$BA5E5F01-A221-42CC-AC9E-7C930C5E03CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384403$FD534A3A-2872-43FF-9DC0-D7DFBE993A8D","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":"Q384403$ADC96894-9CCD-4199-9180-774BA969D312","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":"Q384403$9E9B46C9-040F-403F-9E4D-BD77455C82E7","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":"Q384403$B4D69248-EE74-4362-9E9D-F05FFA0E27DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27f4d30b9a656f392162f8daf793547d37c74c01","datavalue":{"value":"10.1007/S10469-013-9227-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384403$32D30BA4-60B9-4FFB-9EC9-75D151BDD1F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619ed7cf5e91dbb42654577453bbdffc054f73f1","datavalue":{"value":{"entity-type":"item","numeric-id":694247,"id":"Q694247"},"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":"Q384403$168049DA-73EC-4592-959F-E80C2C12C67F","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":"8c66661ce67af2c13cd42e06b8b08bd20d2cfe12","datavalue":{"value":{"amount":"+0.9143622517585754","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":"Q384403$9E119F73-0725-4CAD-A00C-A27D0348578F","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":"124ec37635e76873f2f1ca7210bf211449c76aa6","datavalue":{"value":{"amount":"+0.8512157201766968","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":"Q384403$2CA09C43-1AE1-4900-86BE-FA8D2132FE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1fe78c2c6baba12108cf18fa92cfbf9929cfba","datavalue":{"value":{"entity-type":"item","numeric-id":647415,"id":"Q647415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc1efa01acad3aa3f190f1151e4e239e6e726c7","datavalue":{"value":{"amount":"+0.842743456363678","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":"Q384403$BA4E5BE6-B6E0-46A8-9129-BFE9ACE81FEB","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":"897f17440125418d6f8623fbbe8315b964d3d4dd","datavalue":{"value":{"amount":"+0.8410137295722961","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":"Q384403$DC4285F3-AA5C-4810-97E3-3400D04465E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The projective Beth property in well-composed logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_projective_Beth_property_in_well-composed_logics"}}}}}