{"entities":{"Q1233865":{"pageid":1244615,"ns":120,"title":"Item:Q1233865","lastrevid":69952026,"modified":"2026-04-13T11:26:31Z","type":"item","id":"Q1233865","labels":{"en":{"language":"en","value":"Some applications of Henkin quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3540777"}},"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":"Q1233865$59DAD5D0-2008-486D-80FD-FD939B5DCF22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3982a5af68a5b142d7c103dff1792ab13824018e","datavalue":{"value":{"text":"Some applications of Henkin quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1233865$1EDDD3F9-A68C-4C4C-BB73-FBC79D4416EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"075279bdd3305ec39d62ca01db3a484b91bc6b73","datavalue":{"value":"0347.02007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$AC8152DA-91BF-4CFC-8E61-A13FAD5978BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcf3daa55d1ee2423fbda43d93e7382e282d1607","datavalue":{"value":"10.1007/BF02756560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$7D7C295F-A8A1-4DAA-899E-853E96984C41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48df1de5dcfcd296c388549b360f3903e6842b17","datavalue":{"value":{"entity-type":"item","numeric-id":1181861,"id":"Q1181861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$C3EE6BBC-7210-48FC-A382-0B6F0E2AA33C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$B4AC89B6-B9A6-452F-963F-55B805556CF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1233865$6AB8D3BF-6206-4289-9D8C-C44D17236B8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$AD66967F-328E-4E9D-8864-FE21B4DACD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$983E50FE-014B-4B49-8A3E-4EAF4C6B42E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$E1C54C11-F379-4714-B36A-BEA37AADDC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$FFD30B9E-7086-4DF1-A032-C2592CE48F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$26EAE38B-CF4D-4664-A7B6-FFFAC98A1AA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb73f91dba7a28156efe6073548e0ff3ab0d6fe","datavalue":{"value":"3540777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1233865$819D2211-36D0-415C-A914-543A1A8CCB94","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":"Q1233865$F838A51F-D93D-4276-B8C6-396A5B0B5DC4","rank":"normal"}],"P223":[{"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":"Q1233865$F870DC66-E96B-49C2-939D-1E535F1D4D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b993db1642610f3e3c5ed5bcbf30fa76bde9296","datavalue":{"value":{"entity-type":"item","numeric-id":4175540,"id":"Q4175540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$CEA89294-D485-4554-96BF-9DE81AC98C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$1F1702A6-8614-4B44-962B-6C613EB60624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$5AC31447-6CA1-4157-902F-7D0A52CA4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0ce8cd92014f467744c70b1d470a4f6a6ad59c","datavalue":{"value":{"entity-type":"item","numeric-id":5585457,"id":"Q5585457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$98087AA7-C754-463A-A4CF-2345325DCD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f1f0914b6bced5c2be97375f1a4b5c663751c5","datavalue":{"value":{"entity-type":"item","numeric-id":3265704,"id":"Q3265704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$484FECCD-8DF0-4B46-A85C-F3AF4B8A77C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9615295749feb0aa6141d1930df323c9874eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":5540459,"id":"Q5540459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$E457E70F-105C-4408-94D5-894F11B350EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f765274f8123ceeea374a7be99846530f348cebb","datavalue":{"value":{"entity-type":"item","numeric-id":5519152,"id":"Q5519152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$984387E3-ACCB-4626-BF13-58D39E1F8B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91445531e38627bc5ff539b12b28e2ea9323a119","datavalue":{"value":{"entity-type":"item","numeric-id":5813180,"id":"Q5813180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$718B55F7-CE5C-4EDF-818B-39BF23280484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b0a4e834f0accf6c744b665dd96d8c2f04da626","datavalue":{"value":{"entity-type":"item","numeric-id":5575538,"id":"Q5575538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$226E9436-428C-495A-93B2-0FC651B614C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d8df2be3656b2fa9928f7007b269a0d6864e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4152533,"id":"Q4152533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$2FEBA9D5-A933-472F-ACF3-A2D152CCD5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1233865$21ED237F-6C54-4B96-9658-50FA2AACD226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some applications of Henkin quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_applications_of_Henkin_quantifiers"}}}}}