{"entities":{"Q3947649":{"pageid":5977554,"ns":120,"title":"Item:Q3947649","lastrevid":55071529,"modified":"2026-02-03T09:40:00Z","type":"item","id":"Q3947649","labels":{"en":{"language":"en","value":"On generalized quantifiers in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765765"}},"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":"Q3947649$3712C2DC-CE2A-4E77-8482-AE51CA7DABC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bb2c3c67b7fdd5d5a4d2b7b0c4e03a36b6fd0c9","datavalue":{"value":{"text":"On generalized quantifiers in arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3947649$BB99EEC0-E07F-41D9-B1A0-46EEDB5D2B17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed12c2364c1853c622454076451678b404a9c1b","datavalue":{"value":"0487.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947649$84580EC4-21B9-44ED-99D2-6E35E6D4F1F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cddec1e4bf62d88ce92e7a7ed99cfe6783de53a","datavalue":{"value":"10.2307/2273392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947649$4868A298-EC40-4E2A-87C8-1759D8660A73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17c20bbc2d860ef983d3023083bc43186c50bf2f","datavalue":{"value":{"entity-type":"item","numeric-id":3858260,"id":"Q3858260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947649$4D7BB282-0507-49A8-B9E7-30F4BCD70697","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":"Q3947649$AE3CF1F2-D113-41A9-927D-61546FB9F0DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3947649$E59DC070-E360-4FB7-AEDF-1E2AD874C6F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947649$A6938641-1AC6-4E31-96B1-6D068BC74923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04cc63f15f5dcadf9188f1045f449a8e7df4a935","datavalue":{"value":"3765765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947649$E9274FDB-2D38-4A72-A687-94DBAE78516D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6619da3d7d42702d5d1cf005e7f16e799f81749d","datavalue":{"value":"Magidor-Malitz axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947649$0704B407-B773-402D-AFC7-FE0731F8F3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89f881b3b64558d604ff52ddb69df9921be6c1ee","datavalue":{"value":"Goedel numbers of general recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947649$4442A64E-277B-4903-B283-C99DDCFD4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ce62511c37cf55e42e934d378f2875684479b","datavalue":{"value":"characteristic functions of well-founded trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947649$95550151-3784-4B6F-88E8-294E0E9A660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178ab92e8d461940e8aa5cb03c59c9e08db7b239","datavalue":{"value":"Suslin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947649$7C37A403-A25F-4AB6-A4C1-7858743A4AB5","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":"Q3947649$4A569236-7657-42BC-8991-412971ADBD04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91caca0fdc186d40427c5efa562a3c62168a3bc8","datavalue":{"value":"https://doi.org/10.2307/2273392","type":"string"},"datatype":"url"},"type":"statement","id":"Q3947649$110A91B4-BAC1-4077-B406-C8B70C1785C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fbd20a9c65937907e628b8061ffa0c66ba6c9c8","datavalue":{"value":"W2044107340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947649$19510EC4-98B5-46D9-81FA-005DDFA6D814","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947649$1DAA9B4C-49F8-4B85-B918-45D8B8E013CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947649$A39B7030-97AD-464C-B401-42220AF092E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53049bc2c5e709c5bdaebbb2dfcdc24aa07e420e","datavalue":{"value":{"entity-type":"item","numeric-id":4128785,"id":"Q4128785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947649$E331EEB8-F0C5-4278-85A7-E6464B2D7472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5185c8315c6026acba5306889b8114bf5505bd","datavalue":{"value":{"entity-type":"item","numeric-id":2651884,"id":"Q2651884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947649$E35F2850-8910-4CD1-B775-1A88F75F65F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947649"}}}}}