{"entities":{"Q752702":{"pageid":754551,"ns":120,"title":"Item:Q752702","lastrevid":49445824,"modified":"2026-01-07T04:19:54Z","type":"item","id":"Q752702","labels":{"en":{"language":"en","value":"A representation theorem for languages with generalized quantifiers through back-and-forth methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179360"}},"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":"Q752702$88961E5D-7E35-41BD-864D-3378EA589205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8cfdae6722ad23dac023cd489844b3ffba49c8","datavalue":{"value":{"text":"A representation theorem for languages with generalized quantifiers through back-and-forth methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752702$EBD2F6AE-F6C5-42B9-B5A2-8A2826F2A95C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5550813cbb107811f1bf9efced644fa56972ba7e","datavalue":{"value":"0716.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$AE9FFEA3-58E4-416E-8D66-B11B723D22FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f42b633b8b13662f142418388c44d4772ffef5c4","datavalue":{"value":"10.1007/BF00671569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$29BCE1DB-2E16-4E32-B4B4-A00D0A18F6A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda30a746207e2720720cbf8f4f81d299ef80142","datavalue":{"value":{"entity-type":"item","numeric-id":752700,"id":"Q752700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$AB44E3EF-D177-4272-89DB-34D396AE06BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02e2d7bda28f02e5f35bc547ab280c3b24f618c","datavalue":{"value":{"entity-type":"item","numeric-id":752701,"id":"Q752701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$976AB40B-B627-4E33-AFEE-4A4AD2CEF58E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$DBB97FD7-0C3D-45A0-B63B-CE8F248FB690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q752702$15DA012B-883E-40AF-8337-B5467F0A5D6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e157f2e13af8a307eb25b08346cd2610a5384575","datavalue":{"value":"The logic L(Q) generalising the ordinary logic \\(L_{\\omega \\omega}\\) by a system Q of Mostowski quantifiers is considered. For the language L(Q) some version of Fraiss\u00e9-Ehrenfeucht-Taimanov game on structures is given. It is proved that formulas of L(Q) have representations by functors between categories of structures and partial isomorphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752702$E385F875-1277-484C-81F7-703D71D38256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$31B31D32-03C7-4885-B579-EFDC036185D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$55FDC941-AE1B-4657-AF60-AB692B9E82DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$96697B80-4B51-4A5D-B90F-D0CBB2049523","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4b22e964d917dc1a6e9f5626163bfd1b1c74b94","datavalue":{"value":"4179360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$6B76E379-1FC5-4FBA-9A7E-0741A3B755BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7430f8eb9a90f34c8904d0e70c24005494ebd887","datavalue":{"value":"representation of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q752702$74AB2C71-6DB9-4441-A024-822CEE03DD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374afecfb8d87dbfb9656e262f8a3ace150268c0","datavalue":{"value":"Mostowski quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q752702$6A460D50-333C-419E-BDCE-9A4C9C38FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a7a798219f2ae3884171622727030a17667ee7","datavalue":{"value":"Fraiss\u00e9-Ehrenfeucht- Taimanov game","type":"string"},"datatype":"string"},"type":"statement","id":"Q752702$DE79E4BA-6E89-4D65-8B96-2F7E2979B2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f104d484a602f0e3d9118e28ec9afcbb469850","datavalue":{"value":"functors between categories of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q752702$CEC1230D-0F18-40AE-85D7-7EED3249FEC5","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":"Q752702$165C7840-CDDF-4173-AF01-069E077709F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a63e67ce546019bfb86ea571599e856d6a05509e","datavalue":{"value":{"entity-type":"item","numeric-id":3872438,"id":"Q3872438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$FCF4AC81-B253-4229-A5A9-5E5DA43ADF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$A4FBCA29-09DE-49C8-857F-9199F14B8F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ffe176b152615914373e85aa0c5447ebcae84d","datavalue":{"value":{"entity-type":"item","numeric-id":773898,"id":"Q773898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$2D43B5AB-EB1C-4362-975D-A949AC2502E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139dd479efe8a153be4c267a3fd810be7d15b4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4174676,"id":"Q4174676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$372CB986-F88D-4899-8929-586668BF2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81f299807b0e286f72b9833c5815338fa90b69c","datavalue":{"value":{"entity-type":"item","numeric-id":1393890,"id":"Q1393890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752702$EC59C326-41BC-43B7-806F-8C582A3EC61F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71a5d42c1afc1dad789d2310eaccb354f68506ec","datavalue":{"value":"https://doi.org/10.1007/bf00671569","type":"string"},"datatype":"url"},"type":"statement","id":"Q752702$8B80CC50-E06B-4ECC-910F-56E1D37B74E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e662bd52fa9d72f53d592340d6cc6ce9e2aa96b","datavalue":{"value":"W2052008745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752702$356E99ED-D465-40D3-9E01-A8D60D438E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce42f5025ea890f9d95a1e023fa65b4397ad5ce","datavalue":{"value":{"entity-type":"item","numeric-id":4395574,"id":"Q4395574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0314c65915e67cffe42814b15becef3c27f4a2","datavalue":{"value":{"amount":"+0.7418133616447449","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":"Q752702$F637F357-5C48-4318-BB7B-0D32934E4175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ca845eab521e433c6d4afe342d73488fb06500","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf93d71c141c697aed4f4ef2b300f01c430a14cb","datavalue":{"value":{"amount":"+0.7362649440765381","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":"Q752702$6C40CE06-6A94-4642-BC81-F1F57ED1E442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b9672ccf58b245cf95069cc7b5db1d861f1ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d6d89867f84f7fa2e58ef3861e3b4f5f48d699","datavalue":{"value":{"amount":"+0.7355863451957703","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":"Q752702$3A99EA8D-F693-46D3-B4C3-5B3E10AA8B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba946d8b41cce6eeca9597338979682934a96fa","datavalue":{"value":{"entity-type":"item","numeric-id":2947176,"id":"Q2947176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b57b76e3da73241f63f943a6c32774b3ace97ed","datavalue":{"value":{"amount":"+0.7325040698051453","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":"Q752702$7A616893-28B3-42DC-A133-DDC428FB67E3","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":"44c7d570908ec4820191a72ba92014e85ce9d2c6","datavalue":{"value":{"amount":"+0.7304257154464722","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":"Q752702$176A001A-1E23-44B1-B55B-CC864CE7C129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:752702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:752702"}}}}}