{"entities":{"Q1612478":{"pageid":1623218,"ns":120,"title":"Item:Q1612478","lastrevid":47971441,"modified":"2026-01-03T05:44:39Z","type":"item","id":"Q1612478","labels":{"en":{"language":"en","value":"On second-order generalized quantifiers and finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1787751"}},"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":"Q1612478$1E22990D-5F29-47F0-BB40-3C8DC71DE7C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd74da40b53ef6cbde4ebb53e3655545a87bc21e","datavalue":{"value":{"text":"On second-order generalized quantifiers and finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1612478$2572ACF6-8396-4F0C-B16A-FB178F8415ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a255d896b24535dc722f51d5583d87d88fd3db1a","datavalue":{"value":"1011.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612478$47E57598-DE79-47D1-9A14-FD7B43EAAD31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c1762f4876baf985740bf15cdbc349c3cd01802","datavalue":{"value":"10.1016/S0168-0072(01)00082-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612478$754AA59C-39ED-4524-8700-9F16FFFFC435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df220a354881e1725ee8b65e48c9630d8fc8b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":519035,"id":"Q519035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$432C8741-3CDC-417E-B5C1-43A9260EFF36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$89C33756-7C14-4BBC-87E3-C289070A20C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85457954b4986af9d8102fe1df325031037075bd","datavalue":{"value":{"time":"+2002-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1612478$2B78A24F-00E7-4C55-9396-C3F695538834","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9e4fff4f1a97dff3763bd58e0da078e7486277e","datavalue":{"value":"To extend the expressive power of first-order logic, one often adds (first-order) generalized quantifiers. In the present paper the author considers second-order generalized quantifiers. Among other things, he shows that known hierarchy results for (first-order) generalized quantifiers do not generalize. In fact, every countable logic for finite structures (and binary vocabularies) is equivalent to a fragment of some extension of first-order logic by means of a monadic, unary, and simple quantifier.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612478$DBAF57C6-2A92-4BE3-A858-19C507CA14E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36d98e84fb7552252e4bbfb9bcdc38abae09e510","datavalue":{"value":{"entity-type":"item","numeric-id":227477,"id":"Q227477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$B7959D8A-B250-48C1-99DA-7CA88AA1064B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612478$9613832F-FACC-4620-842D-DEE6D4475794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612478$AB8AD8FD-805C-4EBF-9BFE-F8B164B38AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612478$C95AAF5C-9D7D-418A-9DC9-9520D960D7BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56ca84228328b41ba185400409b1573f599783e2","datavalue":{"value":"1787751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612478$8B1AF0DE-A8FD-40F7-8527-DE45C53824C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612478$F1D25D22-DC89-40B4-8527-C85EF0F92DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b3238d708fa27afe6aaff9336301f4526f8f6a3","datavalue":{"value":"second-order generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612478$F4638D87-4D34-4BC0-BC23-37ED6EDABA62","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":"Q1612478$AF28B661-8C56-4364-9003-A1A10E841C95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3aa82f2d23b53ed3f35f8e0c783a5bbaff5d6e","datavalue":{"value":{"entity-type":"item","numeric-id":6161862,"id":"Q6161862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$7F7F48C2-62F1-4C6F-8577-BD549D6894AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$383BEF8D-B28A-4E45-8DFC-4CDD1D7A415C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$DFCF3386-A52E-433D-B1DB-5777BC50E64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc53cbf0ac81fde0cd742d6e31091fd72cdf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$6C86350E-0875-4E1D-9E21-A3C973288474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba3e1652a6eaa58e29b32f36c0eef3d0ef93603","datavalue":{"value":{"entity-type":"item","numeric-id":5687317,"id":"Q5687317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$2D7CB92B-EB56-4645-B06E-99DA3EB2B0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03344fb3809ac2d00cb9b60c5a358c8728ef000","datavalue":{"value":{"entity-type":"item","numeric-id":3113046,"id":"Q3113046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$E4EF76B8-9670-4554-A3A6-364888F81625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612478$6D935B2B-E5D4-49AB-B03F-494796369583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aad33a778934753b89e2b7c0362948ddf48f4e","datavalue":{"value":{"entity-type":"item","numeric-id":5687317,"id":"Q5687317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d157887b00c8d50acfa6a392ca7c4d48fbb6a79","datavalue":{"value":{"amount":"+0.8491275310516357","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":"Q1612478$BC3B2EB9-41BA-439A-8DF1-29FBA3249173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3610914827c58d6343ac6778757b1ed316aa36f5","datavalue":{"value":{"entity-type":"item","numeric-id":4358054,"id":"Q4358054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50d6100a34a9bb2b67ae0b70f7b731fbeaba5c2","datavalue":{"value":{"amount":"+0.8458725214004517","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":"Q1612478$812CD65D-35C7-4B9C-9A69-83FDD8BF4F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfc73262ff06e28f762db6f5c2e565dc867c5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5477629,"id":"Q5477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19f3a7f4e55371ba94c5b2816a293e17bf108f3","datavalue":{"value":{"amount":"+0.8321018218994141","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":"Q1612478$95F84697-EEDC-490C-9D8D-132858DC99C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe20ce0c443125a2bcddb30f2b99b32ba01be45d","datavalue":{"value":{"entity-type":"item","numeric-id":3006117,"id":"Q3006117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c181b48700c49e910b4f7c99d486724543f0d4","datavalue":{"value":{"amount":"+0.8299130201339722","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":"Q1612478$664A46A3-3611-4C74-B811-ED2EDE830185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca51355f164d68af93dc59ee0b31a8f2a1977d3","datavalue":{"value":{"entity-type":"item","numeric-id":964457,"id":"Q964457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba4c62f8ead0ac83e4770a5337dfb9c8fe30dad","datavalue":{"value":{"amount":"+0.8240105509757996","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":"Q1612478$016A1343-1573-4365-9980-77F1ACB6A864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1612478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1612478"}}}}}