{"entities":{"Q3454812":{"pageid":5234212,"ns":120,"title":"Item:Q3454812","lastrevid":52403510,"modified":"2026-01-22T13:56:33Z","type":"item","id":"Q3454812","labels":{"en":{"language":"en","value":"The countable Henkin principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514159"}},"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":"Q3454812$100857CD-08DE-453B-B891-13140C89CD34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e28b2049462e4f72dd9289e9907fd011642d59b7","datavalue":{"value":{"text":"The Countable Henkin Principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454812$F8F291DA-CD59-4B0E-A899-60B37D5C4D3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a57c6104c80dafceb2c8fbe5863cc91da4a793d2","datavalue":{"value":"1347.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$AF266776-10BF-41FF-B532-C3CEA180E5AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18cd872da1bb472755031618d056fde41b6ba03e","datavalue":{"value":"10.1007/978-3-319-09719-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$EFD80F64-62C1-410A-A76F-4D8E276A0C4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$22E8684D-2F50-4216-B8C4-7369888BD85A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$61E8203C-1765-480C-8D5E-079980BEC5BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2990f15fb72f6c326cb4769a65b2c5db00bdd289","datavalue":{"value":{"time":"+2015-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":"Q3454812$30336B4A-F2F5-4E52-A030-A4EA447B06DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$AAFF45B2-73CD-4753-A116-0858547F618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$E08478FB-0C0D-40AF-9317-B5874364C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$07352CBB-1F17-47A0-B66B-F04FA262C623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$167BC40C-1780-459F-81FD-18E27F31C85B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fca89411a57e9abf5cae139d9b14c274afe1ac9","datavalue":{"value":"6514159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$8164E7DF-BE94-4C29-BDF3-ED06DF52CC77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22239041b8a2a2b31a96e1dc61737317cb2bab","datavalue":{"value":"deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$4462F189-E04C-4E6D-A94F-FEBC25873B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$2654CA6F-170D-48FC-BB28-A03A9309CB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07961cc671fe05ded2e9e69330000a5346314231","datavalue":{"value":"finitely consistent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$C4974692-7443-4700-BF42-6D07AA6D4641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"058933fc624ed08bf209830fc557a07a1036a844","datavalue":{"value":"maximally consistent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$E8BAAC7E-232A-4279-ABBA-1122D227D6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0a52a0b22bacac0d299b3222def01114331635","datavalue":{"value":"countable Henkin principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$986574B1-7802-4FBD-B142-B43D7FAA6266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6daecd766cb01921eb96de86e5e3942297cf6bb","datavalue":{"value":"Lindenbaum's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$5D1949A1-D8E1-4842-8011-624BAB17A800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$96B6D9DD-8AFC-47E1-A1DA-D94281C8F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$B6B7CA7F-F497-4194-A231-D5542D6584EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b887a1b75f6163a4a88740741ff8f61b508842ae","datavalue":{"value":"probabilistic modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$9F948DC3-1742-44CF-AB99-00BDAD0E610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10367d8ceecdd0fc22b27286e020320cfe149e00","datavalue":{"value":"Archimedean inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$1485D690-0CC3-4EDE-9435-294073F176DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a27c79387e5f579963e5948fadcd616b8e525b","datavalue":{"value":"Baire category theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454812$76DCF4C0-AA53-4336-817D-4502C15A2D4D","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":"Q3454812$FBA0DB18-327E-4CA6-8C56-F19CF33FC7E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3533a28809ad12e5843e34be28f602fdd7c263","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09719-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454812$74557F1B-0825-41B9-AB00-EEC5B41F42C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4ca1c8394dd4c643ad0c83435d3a87156e7501c","datavalue":{"value":"W2145163492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454812$F6CEAB24-ACE1-449B-A9CC-21DFB541E046","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1302e7cd826566734c891bd338365d2f8b29d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1806327,"id":"Q1806327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$B58516D9-543F-4512-8BEC-8F6D734EF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$2BF19827-0628-4ED1-A728-99B53EF60D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d2469b2f2e881ba5ad3109d92d85f5af024e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$5BB7B85A-6C58-4674-8956-DB457AFF054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$206339A7-43A0-4847-AFAF-500A412B2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2155f21d18df075e1ffa7a73b2a177f53005d25","datavalue":{"value":{"entity-type":"item","numeric-id":3682479,"id":"Q3682479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$F39386AA-3284-4B80-8DB5-B79D659407BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$B8AF2CF3-412A-4381-982A-FB776F0D1BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568d2eb823b4c9e9e80096c7fca67b4b9501a726","datavalue":{"value":{"entity-type":"item","numeric-id":3056298,"id":"Q3056298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$224FA292-5175-403A-A350-ABE7D834FFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$38EDD2BE-E84F-4C1A-AD33-687CEFE35C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$D92A906B-F856-4F6F-B4A8-4561FF69943F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$E7AA572C-B4D0-4336-B697-91861D73105A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71747c2c7b726b83b3310dcd6411369d0b0ea5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5827959,"id":"Q5827959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$ECF31E81-3FF6-451E-B9B6-559E4980BEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d89d0eefe6197b52769533b6772abd89e8401e5","datavalue":{"value":{"entity-type":"item","numeric-id":3248967,"id":"Q3248967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$6131F01C-1D3A-4FDF-9310-B2006B976763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$F3FE7E55-5E16-4010-9389-CFF525F06D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f4eabfe1887bf5e30bfb056eafa326fc832af","datavalue":{"value":{"entity-type":"item","numeric-id":5271069,"id":"Q5271069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$F7D33FA4-B202-41DA-9438-97787A9DE0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87c1dd04c6e8aebfe34a96d9f463dd444f153e0","datavalue":{"value":{"entity-type":"item","numeric-id":3233195,"id":"Q3233195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$051A044A-CA9E-465C-811D-A0B2D3F35D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$6B13507E-99F7-4533-9E81-E1A98076BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$B17C9C83-AA66-4710-B520-9CA7E297CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c77ba712dbb0728555a9f8b6c69ff2f5aaf8517","datavalue":{"value":{"entity-type":"item","numeric-id":3656777,"id":"Q3656777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$5D16E567-A5C8-4293-8644-E7D166CE9E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c3001d0a723b17341d7364c04895681fb1dbdc","datavalue":{"value":{"entity-type":"item","numeric-id":3010405,"id":"Q3010405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454812$5C7E1E49-E013-4AAE-B05E-203E29BDA6DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd796c2f2b48244b5c0cec14e0d27ff135cd9ef","datavalue":{"value":{"entity-type":"item","numeric-id":1203774,"id":"Q1203774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d20986fb102d65eb0d73158b307000b71c9a72","datavalue":{"value":{"amount":"+0.750698447227478","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":"Q3454812$88AC35E7-EDD6-493A-8695-39B8596DF2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab66fa4452b185827448d18b127de03bccdd3","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e046cc33c647e33e78f993a099e02d8a22cd89e","datavalue":{"value":{"amount":"+0.7499926686286926","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":"Q3454812$839819ED-3A63-40CD-ADE7-00CDA31E7E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131d10c4225507427d5073947b959e46a90642f5","datavalue":{"value":{"entity-type":"item","numeric-id":1183715,"id":"Q1183715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae958a264f38653f436b85141ea307865bfe6cd","datavalue":{"value":{"amount":"+0.7371237277984619","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":"Q3454812$3834ACED-A299-40E1-ADDE-4B1C63F9770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b326950c0d2170347479f5eb72b0da66080e99","datavalue":{"value":{"entity-type":"item","numeric-id":5251374,"id":"Q5251374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e4dbd4542ac58274ccf4b66fd872b54eb1cf15","datavalue":{"value":{"amount":"+0.735221803188324","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":"Q3454812$3096576B-86BA-410F-A7F6-B6AE40552423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13e9cdd04d4b637dfae0354f41c3d4af456599e","datavalue":{"value":{"entity-type":"item","numeric-id":3454811,"id":"Q3454811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2bf5cd8cfd366a75066a3141fbea136bf38c92","datavalue":{"value":{"amount":"+0.7162825465202332","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":"Q3454812$708DB326-B056-491C-B31A-80E1AC59C0C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454812"}}}}}