{"entities":{"Q3208639":{"pageid":3219347,"ns":120,"title":"Item:Q3208639","lastrevid":45681190,"modified":"2025-12-16T07:40:01Z","type":"item","id":"Q3208639","labels":{"en":{"language":"en","value":"On the semantics of the Henkin quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3650539"}},"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":"Q3208639$0F474E6A-F8C7-464E-8F48-0E00D0B900EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e444064dd8a153dec76021097c55bc6d79e51e7","datavalue":{"value":{"text":"On the semantics of the Henkin quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3208639$AE22F679-8A4B-4ADA-A4C5-8F59C28CF7A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d413e8adf2c29eb131afee3c957269379c0532e","datavalue":{"value":"0418.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$A46B9744-2F92-4708-AC68-CFB624A25181","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f42a8d59eb6eb9a3e6a0acadce216368e96ba436","datavalue":{"value":"10.2307/2273726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$D09A8CC1-F26A-494A-B9AB-42B7A6F8B4FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc857a19d58ce9ccd1384d2bb127538d9046a071","datavalue":{"value":{"entity-type":"item","numeric-id":549715,"id":"Q549715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$C3893B4C-78F0-469F-BB50-73D2500FA8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6f663afe99643fc0b06a4f80802aca12f5eca1","datavalue":{"value":{"entity-type":"item","numeric-id":1182486,"id":"Q1182486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$076F71E2-0714-4E96-92D0-D0FA3D62EC50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$CC3B3CCB-06D3-4255-81E1-52BAE1B8BF9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3208639$4A593293-A1E1-4649-A3CB-D9775B98E134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$B3DC8454-9A50-48B2-A094-79315E6E97F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$818D6CB7-622E-493F-91D2-5EFDC5D07B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$996CD8B5-0813-4201-A87A-C4AF389707C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"211f97f5716153e48d07ce85e565f22099039187","datavalue":{"value":"3650539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$386568A2-C8A6-4EF4-99A5-B408BC24CBD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$9875CD3E-1C39-4FD6-9A3A-4A34EBAF9008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$BE45E8F9-91A4-487F-BC83-CFD29B636C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101a6d30d7d701a0a5a68dbb2c50165d0cf7e326","datavalue":{"value":"partially ordered quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$C69EF8A6-E559-445E-AC61-C339EB188F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d897d0bef157e80dbbc9a023809b07314e3cebc","datavalue":{"value":"languages with additional quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$F9A63B14-98D1-4115-81BC-82B41888EDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffccfa1103d1beca3bbaf9f9fbb4392c046d43df","datavalue":{"value":"second order quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$071BA54F-2467-4367-989A-8CA6C1DCFE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d83e5eaebc36179c8f445b543e6c4bf086f08c9","datavalue":{"value":"H\u00e4rtig quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$B56E4470-57D8-40AB-9AFC-409F3A0A9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1d97ce29018b3f3fb708d3233fa7a6e349693f","datavalue":{"value":"theory of unary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$66F4FFEC-23C6-478A-AC51-781A23E57359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524886ecb06d184aa932c6a95e0a134dfcf1da23","datavalue":{"value":"theory of addition of the natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$62A4A95D-0856-4F10-8D61-C9AFB2237176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$1C8E7B65-DD6D-40F1-8783-0AC0C02CB0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$778E92EE-A666-4189-B66E-25D7D2E7CB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a00169ad87e48f3f7db1fc30c6ee8bcf3ba6aab","datavalue":{"value":"definability of the power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208639$A0A3FD69-84C0-4DB1-8228-750CE0B01F3C","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":"Q3208639$807CFE0E-2831-48B9-ABA2-9B4AF87CAB88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4025492f577fa47586ccd095c823661393df9244","datavalue":{"value":"https://doi.org/10.2307/2273726","type":"string"},"datatype":"url"},"type":"statement","id":"Q3208639$FC1FB460-5E3B-43A5-B577-BE03191FAF58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"710125d74badddc63564dafc2adb8c96068ea8f6","datavalue":{"value":"W2139010686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208639$61ABB22E-3C15-4D34-8E0E-C33BC42BB17E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$B8871F3D-1EE2-4216-B06D-49E2AD3CD38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$31CAECBA-25F0-455D-807C-13649E7CB25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$44CEF57D-032C-40C8-9481-38503C2CDADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8932a259e973ab438f8db2d3daa5ec557fb401","datavalue":{"value":{"entity-type":"item","numeric-id":5581597,"id":"Q5581597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208639$54A58C2A-A409-452E-9EFA-96AF2A363794","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3208639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3208639"}}}}}