{"entities":{"Q3454814":{"pageid":5234214,"ns":120,"title":"Item:Q3454814","lastrevid":46508226,"modified":"2025-12-24T22:39:39Z","type":"item","id":"Q3454814","labels":{"en":{"language":"en","value":"Reflections on a Theorem of Henkin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514160"}},"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":"Q3454814$C92362B1-1E7A-4AD4-89C7-0F1220469DA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"129d265024067b8349836884412f03ed70d5b5ba","datavalue":{"value":{"text":"Reflections on a Theorem of Henkin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454814$F491F4EC-B113-4A3A-9C17-2DD517337611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68491f4c224259e340de0031c541e85dfb3d61b2","datavalue":{"value":"1330.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454814$E30F9ED6-609E-4074-96C6-D8E9FA95C8E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9a0eab78e8ec65c4d90234f7bb321b321d26eb6","datavalue":{"value":"10.1007/978-3-319-09719-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454814$F84724DC-A79D-4B8B-9364-B6E20CDAF698","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7f7086b943fe83014b9364ba33e9db64ec38c47","datavalue":{"value":{"entity-type":"item","numeric-id":3454813,"id":"Q3454813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$53F8D5A4-10A7-4B6B-9B91-D9A3537FC9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$D1247187-75F9-4308-9BEF-0299D6620B71","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":"Q3454814$FC858661-1082-45EC-987D-6D1918F2D202","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":"Q3454814$FA2FF6E1-FBBD-4D7F-84FE-C9F80CCD657B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454814$794876DD-0413-4C19-92F0-6406DEB6AB3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f55a11fca474c4edcdf9aace30025a488361b7df","datavalue":{"value":"6514160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454814$3BE05835-218B-4FD2-A849-46E7D2E421E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$2C0029B6-14C1-4B6F-95A8-436BC3F76005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93402be87db76dd6097265a7473cf6f33489f19","datavalue":{"value":"lambda-delta calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$832BB8A2-90D4-44D9-B66E-66C8DA401B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$43C10C91-9C1B-41DB-9FA8-F487AA703FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$DEA97D7E-37A2-469B-A841-AEAFCCBFBA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$58DE7B6F-47DC-45FC-9B1D-44380A954B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$9C9BB121-A227-4B1C-8C6E-777DA41C3FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca2e343aa9bebf9d6d103f14a2c7c6b8bd27376e","datavalue":{"value":"classical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$3D82205D-597F-4A83-B930-58DD727764FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$83499918-FEA4-4F07-9E1B-EF1C395820F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$F6B96849-5B77-400D-902C-FDABFF30E7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c40e720b0ccfb0502f4dabb2b176031bba6c1c0","datavalue":{"value":"typed lambda calculus semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$BEB90D87-DA66-4C29-90C2-FCD0BB12C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9f6d4a28f8e85cb7051914b947392d826275af","datavalue":{"value":"delta discriminator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$3083407E-2CC6-4A8B-BBC5-B01ABA99C694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fdf963476103b8cb696277f009311eeae8694d9","datavalue":{"value":"description operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454814$CA348124-D6A7-4256-A562-31CB9890205E","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":"Q3454814$9C32E0EA-6772-45B9-8C89-74E59F085768","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1edc7bbe35bec96dff0c6691b622a7cc0b296246","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09719-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454814$7D988E5E-4499-4AD8-820A-E6822456049C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd04942b14b82a34e69352166fd0ce121946c04e","datavalue":{"value":"W115354277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454814$C5B7A7C6-2312-4920-A180-2B35358CA467","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9a23733869cdf6d59b70b142e18db86efa96d6","datavalue":{"value":{"entity-type":"item","numeric-id":5680122,"id":"Q5680122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$7A436AEC-E37A-462F-88D6-7500BC905860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$FA23A93D-CB3E-480D-BAF2-C3B9E00F6228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$46E7C565-F155-47DD-9BE2-139B84C42F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$4D40E546-F83C-4185-A86F-5705AE4CA938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c695a3b816b96f41e6a3232481aeb2e538f57d","datavalue":{"value":{"entity-type":"item","numeric-id":2767026,"id":"Q2767026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$3357C776-AFEE-44AC-B789-2C7C0F3938D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be3140aee2c14de18e929e0d34bc5fa03e30ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5948369,"id":"Q5948369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454814$743730D4-12F7-4C72-9F8B-5A34B0C13E5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb05b669d2dc59f9ca736440fb0d34ea39e5ccea","datavalue":{"value":{"entity-type":"item","numeric-id":2181503,"id":"Q2181503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebe5b57c88e31cdc1db5f933b9535442c48d6c4","datavalue":{"value":{"amount":"+0.8963503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$46DD0504-F0E2-42DC-9746-394E28B15E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9657f02a211f1d490d236d6f6081d91c996f9de0","datavalue":{"value":{"entity-type":"item","numeric-id":2680349,"id":"Q2680349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd8a74097d6a00f5163e2730c6a289b54ae15d4","datavalue":{"value":{"amount":"+0.89317095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$AF746EF9-98D0-4E2D-A17D-40CA1AB1226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3db0b5cf0234df79133fdefd438e2261a5ba46","datavalue":{"value":{"entity-type":"item","numeric-id":789066,"id":"Q789066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fc4523e7fda9dd5bf9b694881082f318b9c152","datavalue":{"value":{"amount":"+0.88582194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$6E310020-D6D9-4CB0-90B3-CCC72848FAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d49426cda5b6bc891800bcc20050531835cc73","datavalue":{"value":{"entity-type":"item","numeric-id":4460670,"id":"Q4460670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6700d2438176de62b9ff79bd357a7f370a91a249","datavalue":{"value":{"amount":"+0.88509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$B1CA4D9C-F96B-4AC2-8C6C-8D9D5FDD71ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea2b3b9706c88bb6ec8c840dde4fc30fb7c993e","datavalue":{"value":{"entity-type":"item","numeric-id":5220152,"id":"Q5220152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eed8feb5cece746a0cbea62485967bf48f64ce9","datavalue":{"value":{"amount":"+0.88271195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$CC54A673-1127-4C43-AD20-427D0360DA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f2dd5cdb4965345c0064141cf8553dacc7bf21","datavalue":{"value":{"entity-type":"item","numeric-id":422011,"id":"Q422011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1b2a5bea081dbcef20b2e63724434d299baaca","datavalue":{"value":{"amount":"+0.8815718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$FC0321B2-A8C0-4FC5-8C8D-BC5F970EDB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b09763d04f452bd794fc276491978550c188a2e","datavalue":{"value":{"entity-type":"item","numeric-id":3738325,"id":"Q3738325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60af484376be5627f5c66620e287d8dbcc0f6b67","datavalue":{"value":{"amount":"+0.88142747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$9D1166E3-D10D-4897-AAC6-E37EA0840CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ead9f33abbc25fa1a032f73a1e1c3ee7b6e670","datavalue":{"value":{"entity-type":"item","numeric-id":4866225,"id":"Q4866225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0da680db6297f38aea4a6ca11033bec6401755","datavalue":{"value":{"amount":"+0.87938774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$71BD3671-AE48-42A4-8EEB-BCE173DC1264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444228a648956ec2c59cb149fecb9fbc258b5c76","datavalue":{"value":{"entity-type":"item","numeric-id":3979716,"id":"Q3979716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f075840fcbde4659fa9998b93d9931aeba0453aa","datavalue":{"value":{"amount":"+0.8786738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454814$DB43D356-8875-4103-AF06-FABDED9F0023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454814"}}}}}