{"entities":{"Q2785670":{"pageid":2796408,"ns":120,"title":"Item:Q2785670","lastrevid":47422363,"modified":"2026-01-01T17:09:08Z","type":"item","id":"Q2785670","labels":{"en":{"language":"en","value":"On winning strategies with unary quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 981816"}},"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":"Q2785670$F5CADDD3-0F57-4F23-AF7C-D80E10DF3142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8b9de48aea67869b30e3756238e852c9ac5b14e","datavalue":{"value":{"text":"On winning strategies with unary quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2785670$4FB962DF-E082-45C6-802E-9F1216FC1754","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c85c74c5d89f1a8c13597fe0546c2ee96a15bf93","datavalue":{"value":"0869.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$D013FA95-1F5A-4250-B928-1C7230E694E2","rank":"normal"}],"P16":[{"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":"Q2785670$7C3B077F-E659-4BD6-BE1C-F5B72C81A9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"969b097b704dd3f2a213d901e804a3f90e3b7c8f","datavalue":{"value":{"time":"+1997-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2785670$2A59F77B-4B59-4920-A72F-D5D92DB01072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bcf99b7c43b7f0134f0efe728684711a9d894de","datavalue":{"value":"https://semanticscholar.org/paper/18d1dc904351b11f90a0748c84916b08ebc4d4fb","type":"string"},"datatype":"url"},"type":"statement","id":"Q2785670$969D178D-4C43-4DE8-80F1-6752EC7CBFC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$FE8BAF55-7CAB-4AB6-AE3B-79AF1BBB9AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$97E170BF-3F8A-4424-AE95-1F052946A6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$A67A034B-2DCD-43C1-83A9-1169BD870DE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d747a8b862233e5a2b61976db9429e0efb27e49c","datavalue":{"value":"981816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$B492D16D-3227-46C3-8B93-FA1DB6B49E79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8e39a083b431036fe2bffc1c5a99ce6d83e0762","datavalue":{"value":"classes of graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$133D17E3-5A68-4730-BBD3-E370F8CF793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$DC9B2795-49FD-4C50-A988-1D92425B5F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba61a8abead030333429495c832d733d94064bd","datavalue":{"value":"connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$DA91CB4A-9FE6-4145-86FF-E2C87A5FC9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d729c402ba86b0653b3a28e225fa5726cab5467","datavalue":{"value":"finite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$E4A1986D-8DD8-4209-9757-7E3157D1A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b862a0de549e498057173e0b566a33e600e04dcb","datavalue":{"value":"monadic existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$6770741B-79B5-48ED-AA53-AEE0F8392061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324c2372580eab2497b58113c4716b6fd64f5412","datavalue":{"value":"unary generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$EE2816E1-0EC1-4FC3-A951-78B6D40761FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3fbcd2fbeee3c6f42b3f113e61eb7027729f6ae","datavalue":{"value":"trivial graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$8BF3F4B1-2DEB-491F-9D08-5AD92F97EB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$9DF44BD8-3DB4-41D6-9DD9-0B2508FE4C9A","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":"Q2785670$4546CF77-FDC2-404F-B718-A8521C52175A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7296f98a99e227a6d7dd68e4910d62dfda01fd07","datavalue":{"value":"W2051012354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$812C5CB1-214A-476C-B8EF-C2A0AAD77638","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad7491007582875b99c68c9544b55db47810c581","datavalue":{"value":"10.1093/LOGCOM/6.6.779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785670$79C205CF-309E-414B-87B3-12CE809DCA47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785670$9DF59556-3786-4068-ADCC-E5B00820CC2F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e288385e4a653d7dcb517a57f4859b1b42846089","datavalue":{"value":"The author shows that connectivity of finite graphs cannot be expressed in monadic existential second-order logic with any set of unary generalized quantifiers. Moreover, he introduces the notion of a trivial graph and shows that for a finite set of non-trivial graphs \\(\\mathcal H\\) the class \\({\\mathcal C}_{\\mathcal H}\\) of graphs having no graph in \\(\\mathcal H\\) as a minor is not definable in first-order logic augmented with unary generalized quantifiers. On the other hand, if all graphs in \\(\\mathcal H\\) are trivial then \\({\\mathcal C}_{\\mathcal H}\\) is first-order definable. The proofs use a combination of various extensions of the Ehrenfeucht-Fra\u00efss\u00e9 method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785670$900E58E9-878A-4721-8C51-7A05EF2FDAB9","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":"Q2785670$0A30EB92-2C3B-4007-9D90-310DDEC1B28C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f548edb0523068dbd41cde2e04ca8da29d031","datavalue":{"value":{"entity-type":"item","numeric-id":4395567,"id":"Q4395567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7cab373d6b73acac049693bd459a0371e2b5ee","datavalue":{"value":{"amount":"+0.8357070684432983","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":"Q2785670$85C764A2-23E6-4C79-8FFC-8AADEDE1BAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"730d3c9cba06679f8bbb1c63dc74152a3e5a3f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1919539,"id":"Q1919539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15da27b6b5b75c4591ecf52d51660290f7da0d09","datavalue":{"value":{"amount":"+0.8112226724624634","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":"Q2785670$B7DFB3FF-989A-4DD4-B484-BF07002B650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffb829b9e17ee7e0bc1131c73e1e5a0fc9019d6","datavalue":{"value":{"entity-type":"item","numeric-id":4645196,"id":"Q4645196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c7ab6843ef483fbda2466829a2f9e417eae79e","datavalue":{"value":{"amount":"+0.7705324292182922","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":"Q2785670$D4016645-03AE-45EE-A00B-E9875DD6C1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb878a501ead749b1751c0da86f6d71cb2ff210e","datavalue":{"value":{"entity-type":"item","numeric-id":791548,"id":"Q791548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e130ce68523232c6a7fd9f9cb026451d1de1372b","datavalue":{"value":{"amount":"+0.7644950747489929","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":"Q2785670$5FC47698-32EF-43DB-A81E-3FB0AA962C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab85d3333ec4237d61698d75e9b5f331c682723","datavalue":{"value":{"entity-type":"item","numeric-id":1269907,"id":"Q1269907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d472c0f2e7bbe2159df79cf47be09d8cfdf214","datavalue":{"value":{"amount":"+0.7610801458358765","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":"Q2785670$0D9D22FF-F555-40A3-B828-3DC90BE3EFEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2785670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2785670"}}}}}