{"entities":{"Q1568709":{"pageid":1579449,"ns":120,"title":"Item:Q1568709","lastrevid":67890870,"modified":"2026-04-12T20:01:48Z","type":"item","id":"Q1568709","labels":{"en":{"language":"en","value":"Vectorization hierarchies of some graph quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463219"}},"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":"Q1568709$B5EC4980-6BD9-4852-9925-D1BBAA075538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5669d05f0a182809cce7fd4ca411bfc6c9751325","datavalue":{"value":{"text":"Vectorization hierarchies of some graph quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1568709$50B8F6E8-0160-4C07-971E-78F933C505D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebe48b0a8baf459103c904238dd25dc919565d0f","datavalue":{"value":"0956.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568709$79DCAFD6-BFF0-4CB7-922F-BDB0C4E96866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568709$7B256721-753C-4631-8506-9EE9A7725BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8378cabd8aa351b2159e43c5e9f355d2fdfdd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1568708,"id":"Q1568708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568709$9918AAAF-48AF-4A05-A215-8B637C188B00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568709$57AA396E-444C-43BE-AE2D-64BA84A4ABDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a83eb078ad3b44c2d6f2eb9384f0176fa8f9eb19","datavalue":{"value":{"time":"+2001-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1568709$E5D70E6A-3729-4578-8C16-B5356768A40D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2dd9a286ba910a023f96fdd8f6df6aeba3de61e","datavalue":{"value":"If \\(Q\\) is a generalized quantifier and \\(k\\geq 1\\), denote by \\(Q^k\\) the \\(k\\)th vectorization of \\(Q\\). The vectorization hierarchy of \\(Q\\) is unbounded if there are arbitrarily large natural numbers \\(k\\) such that \\(Q^k\\) is not expressible in the extension \\(\\text{FO} (\\{Q^l|l<k\\})\\) of first-order logic FO. Conditions on \\(Q\\) are presented that guarantee that the vectorization hierarchy is unbounded. Applications to concrete quantifiers are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568709$525E27D2-8E2D-43C5-81EB-66490BAD0637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568709$FFD4EA97-555F-4D6B-AE79-C79738FF4C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568709$0DEC815B-2EFA-4B54-8971-4870264D91BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"181914e4fde6a6d9cda733875f9f5b388b48aed3","datavalue":{"value":"1463219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568709$A013E83A-CAEF-4E19-A592-7856FBCD3BAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa35c933ce8add28342512e62275ff6630f950f","datavalue":{"value":"Ehrenfeucht-Fraiss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568709$F4969974-4D25-40EE-9C87-B4819BC8E1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4f96ac462fef113c172f0400054717905f3a1fb","datavalue":{"value":"finite model-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568709$C30845BF-9181-4680-868B-C755C0AA1E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568709$8B1559BB-D1B1-4B49-B1C7-47D3813328CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff03e616331539d24636883ca13f411144bc6039","datavalue":{"value":"vectorization hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568709$D76E0403-6701-4AB5-B682-4CDD9201C233","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568709$CE085EC8-60C7-4E5B-AB6B-0AE12D2777CB","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":"Q1568709$2BD7BD15-6068-4581-90A4-2930E12586E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49cd93f0f659e7192e1ad1d897de27d188c0e023","datavalue":{"value":"https://doi.org/10.1007/s001530050141","type":"string"},"datatype":"url"},"type":"statement","id":"Q1568709$C77DEF88-BAAF-4E55-8802-6CDB0E7C9A99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a95cc928cd454233205f0ace137d2dfb6589728","datavalue":{"value":"W2044253312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568709$C7040854-B5E9-4B31-9E42-9E3EBF886235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc8b2c3f91c6d3b82342caf524cdfcd7dff6388c","datavalue":{"value":"10.1007/S001530050141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568709$953F0EE0-BB91-41AD-A2AA-79E064051E06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c45a42550243f5359d40d94bf721212fe243d1","datavalue":{"value":{"entity-type":"item","numeric-id":1175424,"id":"Q1175424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bca259079e12d8596783518d6c37477f96414f2","datavalue":{"value":{"amount":"+0.8695102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$F29C245D-F792-4775-9DF6-1A20446BF9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e697ae5c132596a82a6d3e5f4504b7836fe9da1","datavalue":{"value":{"entity-type":"item","numeric-id":412063,"id":"Q412063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa74407616a697527b98fbfafaa9c447fff15e93","datavalue":{"value":{"amount":"+0.8652338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$94DFAEAC-A3C1-4C31-8A79-E2E50D1BA28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a7ddba08e2aaba742b800dba431e7aef648bec","datavalue":{"value":{"entity-type":"item","numeric-id":584287,"id":"Q584287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849eb0f051dd951f5e2a2057603adb778fd4f85b","datavalue":{"value":{"amount":"+0.86478496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$7F18A335-1FE4-435F-93AA-1670F491EFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d60f9a87da37899a0a5533a7b8c8265c8cf654f","datavalue":{"value":{"entity-type":"item","numeric-id":3983485,"id":"Q3983485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51368089aaf3e57e1b569ac65ad4e7a8425acb18","datavalue":{"value":{"amount":"+0.86105275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$507CBA50-D449-45A5-9637-46E6DF9C3AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288dd3454136b263deab33ee4b4539379f2aba2","datavalue":{"value":{"entity-type":"item","numeric-id":6064156,"id":"Q6064156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb62e7a7838accc44e96aad4b74e99c95b289d4a","datavalue":{"value":{"amount":"+0.85744417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$48AB9E21-460A-43DF-B1C5-D11C29FB4D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dbcfa63edf2a706a5461bcd70093fcf1ee6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":5126099,"id":"Q5126099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ef01b2f1269af091d1d8cb32c6633e7e5ec486","datavalue":{"value":{"amount":"+0.85504866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$D0F33A04-A05E-4D7B-B090-5A0DCE6B5EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cc7ce70d6f06b54c7b592c2db7b5d84d0418bd","datavalue":{"value":{"entity-type":"item","numeric-id":5091117,"id":"Q5091117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7423b555c74ca380f6e64a3db4201ebedda5bcbd","datavalue":{"value":{"amount":"+0.8539429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$E41066A8-F2C4-4F42-BBDD-8E5CB666B97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937b90689b2fe56536fd8ef9a2ed642326dd8ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2035472,"id":"Q2035472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7423b555c74ca380f6e64a3db4201ebedda5bcbd","datavalue":{"value":{"amount":"+0.8539429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$86AE2426-B06D-47A8-9BC7-CA3BAC525BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a2fc4aef0c59ab788dd4a099a6a5621bcd2c94","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94cc7d131339d0004f8f89ba0a67fa162593c04d","datavalue":{"value":{"amount":"+0.8527282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1568709$4F3A2E47-B5B8-4D86-A97D-BD5F2C72D324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vectorization hierarchies of some graph quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vectorization_hierarchies_of_some_graph_quantifiers"}}}}}