{"entities":{"Q3454800":{"pageid":5234200,"ns":120,"title":"Item:Q3454800","lastrevid":80581514,"modified":"2026-05-06T16:31:48Z","type":"item","id":"Q3454800","labels":{"en":{"language":"en","value":"Tracing back ``logic in wonderland'' to my work with Leon Henkin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514149"}},"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":"Q3454800$564DFFC2-D3F6-4401-B16C-F6EBE22BC91B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eee92added19d231f0ef31553041af1a97d2ae3","datavalue":{"value":{"text":"Tracing Back \u201cLogic in Wonderland\u201d to My Work with Leon Henkin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454800$BDFBFC0D-72C9-40C1-9561-2D035897FBA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"680cf18fe2af4a4c17ec9c8b791460fc9acbc0bc","datavalue":{"value":"1330.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454800$C6D3BCA7-F7B1-4BD7-AE5B-A08EB2048EC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ce5fadd2a595dbb8f883fcd2e12f16ca4612a7e","datavalue":{"value":"10.1007/978-3-319-09719-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454800$0EA976B4-36FA-4ADF-AF31-284D14B8440A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1474b77e1ebefacf8b320700f5046cb0b4b5e623","datavalue":{"value":{"entity-type":"item","numeric-id":3454799,"id":"Q3454799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454800$CF633FC6-7B4C-44E1-880F-4220712714CE","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":"Q3454800$4BB5A332-BDEC-4DD8-A616-C2779D649256","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":"Q3454800$B6A43878-6AD0-43F6-9E07-10DE280F3263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454800$77ED0BBA-ED8D-42D1-8EF9-24B6EE9FD58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454800$073D54D9-F486-4867-9A45-BF9522A8DE40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f75a475ffd94f09deb7981539f81d4f7caf31b3","datavalue":{"value":"6514149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454800$58F76537-9913-4E35-9212-4D00019E3AD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"545ff29ebabedcd8935e23fa7ef2a298d681fd6c","datavalue":{"value":"Leon Henkin","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454800$FA39F668-432C-4990-893A-2E2F1F89B5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a68033757fb5ad1392b589ffc2d3135852b039","datavalue":{"value":"thesis advisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454800$6270E206-F596-4908-98A6-18A931FDAB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aaeaaff1cefeaf50ba0b432f637ea68b754c91d","datavalue":{"value":"mathematical humor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454800$2B501EEC-FBAD-469B-82D7-D404151EF11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684ac1f3b80433acf9b12b76e43ae1447772e508","datavalue":{"value":"logic in wonderland","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454800$6DC06C94-87FE-4395-8701-4FD0C5478FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c0cfe415d3d3d5defc4c6a69fc6e12e052ad7","datavalue":{"value":"teaching and learning of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454800$3F27082B-08A8-4BD8-A671-53665C9EA25A","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":"Q3454800$AA19DDF3-FA6F-4E0B-9C18-6DFDB66D356F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cea1b44ebea14ace94c042249473b917caacebc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09719-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454800$49FD11E7-5FC7-4C44-A016-F9E3757F3B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c574c473b443abf11cab5fe43165377bc997c5e6","datavalue":{"value":"W58121465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454800$DCAB3EAD-250B-4863-8D6C-844761DC0AAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5949e103a8d2c7631f0cf8de2bb7227c684165f8","datavalue":{"value":{"entity-type":"item","numeric-id":3454802,"id":"Q3454802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ca4a767e5234b4e0ffac67bd0400e87c223267","datavalue":{"value":{"amount":"+0.7417169213294983","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":"Q3454800$67A61715-06C5-4190-9EF4-8E83E3D93EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a7706f8a6c8e988898d246c76bba9ffca47775","datavalue":{"value":{"entity-type":"item","numeric-id":5141783,"id":"Q5141783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88f8f2f931dbd13706b2676d78e5cf1debd39f6","datavalue":{"value":{"amount":"+0.7059974074363708","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":"Q3454800$605271F1-DC61-4993-909C-A7B5A18B00ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ed6bc0e2414ffc6ac1509496d4395ac4cea8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3454798,"id":"Q3454798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba86af46fd6cd65992acdacf322e3192985d104","datavalue":{"value":{"amount":"+0.6970340013504028","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":"Q3454800$8D01913A-4544-4778-8B92-03F3FB1A5042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7acc0e00baa4800a6161c7668a257824481d6272","datavalue":{"value":{"entity-type":"item","numeric-id":3454809,"id":"Q3454809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d03c915292425a700d04dbe4efd3da8c52e2636","datavalue":{"value":{"amount":"+0.6947994828224182","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":"Q3454800$1AF4B86C-30BD-4438-888D-D55ED94FF590","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":"841fe57cf45453896aca9dda4459d7bde7f782cc","datavalue":{"value":{"amount":"+0.6900885105133057","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":"Q3454800$23CECA29-F1A3-4B5C-A95B-ED6F64A9723F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tracing back ``logic in wonderland'' to my work with Leon Henkin","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tracing_back_%60%60logic_in_wonderland%27%27_to_my_work_with_Leon_Henkin"}}}}}