{"entities":{"Q3454810":{"pageid":5234210,"ns":120,"title":"Item:Q3454810","lastrevid":80581604,"modified":"2026-05-06T16:31:49Z","type":"item","id":"Q3454810","labels":{"en":{"language":"en","value":"Henkin's theorem in textbooks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514157"}},"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":"Q3454810$353A756D-209B-43A1-B151-304EBEE4FBCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2abf0ca9b1e5eb503557fb54d6cd7ed7aa8f564","datavalue":{"value":{"text":"Henkin\u2019s Theorem in Textbooks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454810$2F0D01BE-3F03-4184-9F86-6841F1D8315F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b0297b5c7f8a5f19f416d95494ba25108ccab85","datavalue":{"value":"1330.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$F9F6DE16-8C99-41B2-B2FA-D29372C9FA30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5651323b1555b65b329e8c22f5c4d1fa726cb35c","datavalue":{"value":"10.1007/978-3-319-09719-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$4B62A8B4-9520-4BA9-A04F-9F4695E5EB46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3daa0c349ef2075840743170914355219155925a","datavalue":{"value":{"entity-type":"item","numeric-id":514559,"id":"Q514559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$83B37493-14B8-4522-8314-E4817E1C73C2","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":"Q3454810$E81AB4B4-7D96-4494-A888-008D1FDA440A","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":"Q3454810$DD00049B-E71B-411A-917A-A6DE0320F6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$8169F212-7A4F-4157-AF32-945AC4D69ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$BAA0E7DF-1881-402A-B518-A53062B88B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cebdb0e1604e1162f6ce137bcdc783fa53247d9","datavalue":{"value":"01A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$16712A04-FA4F-4F8B-AFCB-D120B1E45B54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2274a03031fe12d9b390f147f58b5ef8309aa275","datavalue":{"value":"6514157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$655E60FB-C13E-4E1F-B949-9AD2C19CF2F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e210da223900cc1080f745f3ed6098e81d76fd78","datavalue":{"value":"history of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454810$B3415802-81D3-4743-A78A-A83DA13211D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e962fc4b85bb6194c6f889ed953a386a8cb5f0","datavalue":{"value":"case studies in history of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454810$6EC6CCEC-6E10-4970-A9B1-936FB67837F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ecc93d87b6dc1a87a5f8375199e5bc8f0a6639","datavalue":{"value":"completeness in elementary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454810$40354890-F71C-450C-9D70-41B36200CDEF","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":"Q3454810$A1E14076-6ACB-41BF-AE31-AD5AB6948D58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd0d6f3de23d2a7c2d425d85a69a9e7b9742f30a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09719-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454810$E0783F6B-8B54-4A42-9590-CB602501C286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3afb23082ff0cb645afe35f84d03debc1464c4a","datavalue":{"value":"W76993829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454810$3C85D223-52DE-484D-B397-EE227FC8403D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$0F5F7789-652C-409B-B0F8-311D1BFC35B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9b9dbb41f0eba33325d63c1eb3630eeb4374a","datavalue":{"value":{"entity-type":"item","numeric-id":5806806,"id":"Q5806806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$EE6F0B3B-160B-45F8-A196-542D32BD1C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$9FA3CA5B-70FE-4828-926E-E2606F5BFA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$923DABB1-D0E3-4B5C-A3EB-314B9971C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$284EDDD9-4462-4150-9236-AAA737499FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$6E04AC71-E5B2-4034-B48B-9DFC1E55CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a06a16a7e7bb8317363067e7c534646acc271b3","datavalue":{"value":{"entity-type":"item","numeric-id":5604433,"id":"Q5604433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$646B6264-7955-44E9-A499-025D04A10451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45279a81234b37ea8bba5ac5b0ac963d5ad80439","datavalue":{"value":{"entity-type":"item","numeric-id":5819443,"id":"Q5819443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$B1CAEDB9-0ACE-4DEF-A492-08C97BC92689","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":"Q3454810$D34DB477-ACBC-4232-B1AB-BB6AFDDEE9FE","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":"Q3454810$94245EA0-82A6-4568-809B-FAD36BE9129B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76578b4dfa557ea0fc7d74b3ea4a8a7e7983e576","datavalue":{"value":{"entity-type":"item","numeric-id":2556390,"id":"Q2556390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$EEE705DB-3C5C-46D3-BB90-AAF52F07119B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492dacf017bc8c443efd94eb6362baf8d702d298","datavalue":{"value":{"entity-type":"item","numeric-id":5799431,"id":"Q5799431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$5740E242-9E45-4488-A514-F21EF6D4D046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$37AAFC2F-BE51-4D61-9F37-367D43696F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4db58eac15b5b8865eea8c9b5a55a362f351c6","datavalue":{"value":{"entity-type":"item","numeric-id":3228603,"id":"Q3228603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$AA7177D5-E472-481D-A8C0-8DA3E511CF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f8a6531390fb9a4c25d6bf25b237d2003fe316","datavalue":{"value":{"entity-type":"item","numeric-id":4770375,"id":"Q4770375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$07DE4D71-3A2C-40B8-982B-2A82BB7F73DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$CAF0B1F1-24FD-422E-B8AD-779A43200A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee47ad134da393d001802ea1898a9fb67f69ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5536236,"id":"Q5536236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$6B347071-91FF-4F4D-8E5C-A9F0B37D02D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a13b7ace3909765e8f24655249e7c09e017a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5523668,"id":"Q5523668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$822E603E-A473-4D04-B7FC-5974E1A87828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$7AAF871B-F4CD-4BB5-8BB0-DD93AE79BA28","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":"Q3454810$80AD0D3F-5D56-428B-A4BC-23C0B2CA5BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae6a3a2ec305a8538054881e197d34f1921ef90","datavalue":{"value":{"entity-type":"item","numeric-id":5810544,"id":"Q5810544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$4148C892-3D40-4278-B5C0-A6273E20352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f76ebead7dafb172c6ec05c7848750b5cf7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5656739,"id":"Q5656739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$EC127660-603A-4B84-ABF1-A8F93BBD8314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$D6DBB93C-2CFB-4A45-8E52-50B807584A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f9a7101c4b1d182a3fd64de178bfe7cae0aa96","datavalue":{"value":{"entity-type":"item","numeric-id":3241190,"id":"Q3241190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$E3980EE9-368E-437B-92DA-61F7B0DBDD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d322c0810b1e6df167c3a55404deee204e1247c3","datavalue":{"value":{"entity-type":"item","numeric-id":5616117,"id":"Q5616117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$086A4B66-4650-4595-9C68-CC4980E4CD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454810$287B3F0E-351A-4611-9E4E-63B559811A43","rank":"normal"}],"P1643":[{"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":"a6d3c49193bd4b9a2bb44f753ae9873a8d7913c2","datavalue":{"value":{"amount":"+0.8116345405578613","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":"Q3454810$01F5C4D5-25F9-48AA-AAD3-9B435B6E681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2caf54df8ff3107cc0392f11b464b2b53a891ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d87e266a715fc4655f5c8b95b993c63cc4c81de","datavalue":{"value":{"amount":"+0.7679910659790039","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":"Q3454810$A9AFC865-423E-43C2-9C45-A60A6CC80C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d157dbabd4997af3757c3ae2a0b15087f5cee929","datavalue":{"value":{"entity-type":"item","numeric-id":3594444,"id":"Q3594444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0006989911a24d4d91b9b581813eae78722166","datavalue":{"value":{"amount":"+0.7679906487464905","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":"Q3454810$BAD0914F-F926-492A-BFCA-DA67448927E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c8f157faeca2e34e72a00d07a81bf43d4f84bb","datavalue":{"value":{"entity-type":"item","numeric-id":514560,"id":"Q514560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23af77894131d76ae1cd064f3ccf66af0867b060","datavalue":{"value":{"amount":"+0.7635914087295532","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":"Q3454810$CF629836-12F9-4629-9AAD-4EFF62F0E2BA","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":"6bd45333f807c32586a6f320d56287127a84f490","datavalue":{"value":{"amount":"+0.7567660808563232","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":"Q3454810$D8B6E201-E016-40A0-8FE5-82382CD94C8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Henkin's theorem in textbooks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Henkin%27s_theorem_in_textbooks"}}}}}