{"entities":{"Q2947176":{"pageid":2957896,"ns":120,"title":"Item:Q2947176","lastrevid":58070601,"modified":"2026-04-03T16:46:44Z","type":"item","id":"Q2947176","labels":{"en":{"language":"en","value":"An extension of the Ehrenfeucht-Fra\u00efss\u00e9 game for first order logics augmented with Lindstr\u00f6m quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484075"}},"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":"Q2947176$4E0149FA-D147-4DF7-AEDE-D50882960F67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ab1de3d86e2490a78a995b25bda5507a38114bd","datavalue":{"value":{"text":"An Extension of the Ehrenfeucht-Fra\u00efss\u00e9 Game for First Order Logics Augmented with Lindstr\u00f6m Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947176$B894A11E-4662-4CAC-8404-4C7CA1EBD781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a59a6316256794d4b6d6a7e9c1b816a16339c6ce","datavalue":{"value":"1465.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$655A8762-ED5C-4073-8F12-1F46C4E77333","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4783a6bdefc8b7cc08111f90c9ee1f38bb2ca2f","datavalue":{"value":"10.1007/978-3-319-23534-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$E82A035B-1A9F-4C79-A825-8E7828AB1857","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d19bd03316d1e740be4f887a4ac11ce5c7d86f9","datavalue":{"value":{"entity-type":"item","numeric-id":547870,"id":"Q547870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$77305685-5A72-428A-B392-60067264FA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$492B51D5-7829-4B08-88D9-0AAE655824E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3366f92168444b14da4920bd33764fe42d1105ab","datavalue":{"value":{"entity-type":"item","numeric-id":2947162,"id":"Q2947162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$CD496AA6-D426-46C4-84CF-D3C1BAA2C0D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28857d5b8ce74b0fd649738f47e9ad422078bca3","datavalue":{"value":{"time":"+2015-09-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":"Q2947176$01D651D8-9EFF-4B74-BA9A-12D90A51EE2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"353dd2ad07c3ba61ddc0087ae1a6883d342697c3","datavalue":{"value":"https://arxiv.org/abs/1510.06581","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947176$2856D609-779E-468F-8B1C-E2C1EE02754A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$6252CBE9-1FC6-4CB3-A537-798F135E5B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$81EAF72A-E73B-4A4C-8F7C-FFB40F4D80BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$36B50FA2-45E6-462D-B39E-492D9A504DF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88b3aaa60e64f16b2794ede8b1bcad451471dae8","datavalue":{"value":"6484075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$871BAE36-FCB8-454C-9BDF-FDB44325552A","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":"Q2947176$65B2F22A-9AE1-4EE0-A217-4C30BFD42769","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e539293061f6332bca0f3f21706bdeef00d7042","datavalue":{"value":"W1795770718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947176$B0650C03-4CD9-47D9-85A5-413DA97DB524","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$4B8E47ED-7BED-4BB1-82DD-58FC76B42D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ef38e96faaf7f9c54a71abbb80fd0c75780eda","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$A7905976-0803-4CA3-B2DC-DE99B413DB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$DA8AFCE9-E6B2-4973-A779-056745CB5537","rank":"normal"},{"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":"Q2947176$851FF740-758D-41AF-A74F-FFB6C27F35C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaacce59fa1f221109265c34b720287e0cba028e","datavalue":{"value":{"entity-type":"item","numeric-id":5708365,"id":"Q5708365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$06D3AEF8-18FE-4971-94B1-80490085F70F","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":"Q2947176$6898EDFE-FDC6-4B6A-AD99-C1917E79AA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0921016a86919802fc5c0b3927fe915724c58096","datavalue":{"value":{"entity-type":"item","numeric-id":5799960,"id":"Q5799960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$77050133-ED9A-4BB6-8640-924214C37C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$43A40A02-4799-4F7E-9553-F1C8E08985CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$631253A8-CA2C-48B6-A041-878F968075C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92fa251a9028512ca3077887c6a4b6f77d124d0","datavalue":{"value":{"entity-type":"item","numeric-id":4247261,"id":"Q4247261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$8E6EBE50-62F5-4052-88BB-0C7222F5F320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e172b6c4797917c0c7ab35b6d560ba28d2c6c64","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$66500F53-AE9E-4D8B-9FA2-9157CE9EA76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7814bc40a03cb54aa8a7ec30bf12798887a28f","datavalue":{"value":{"entity-type":"item","numeric-id":4105652,"id":"Q4105652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$19133BB8-47EE-42A9-90D5-1E95BDF99C53","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":"Q2947176$C68B3162-0958-4C76-ABD7-E8F814A4DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a1bfe85ed4eb2cc422c256cea338291be7fec1","datavalue":{"value":{"entity-type":"item","numeric-id":3113044,"id":"Q3113044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$56AD7FA0-00A9-46CB-ACAC-DCB4436F216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698890d01adfad715b9ce83552bf221a44d370f8","datavalue":{"value":{"entity-type":"item","numeric-id":3113045,"id":"Q3113045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$09466EB2-BCE1-4E9C-87DA-6216543EDBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$362854C2-5C9A-4F8B-9C8B-2F0EE949B23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a650084c2b01883133d78255ff6ff7f2916617","datavalue":{"value":{"entity-type":"item","numeric-id":4744254,"id":"Q4744254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$BF6D5BAC-E7F7-4894-ADF9-4D1D799A2738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e82e606bfd8aff6f64cd01a1d551d7bb02a5b5","datavalue":{"value":{"entity-type":"item","numeric-id":4145685,"id":"Q4145685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947176$DB26FE55-DA11-4778-9EBB-9149520E2431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e1006e9bb51b2737b022013d4dd176ead1129d","datavalue":{"value":{"entity-type":"item","numeric-id":2856638,"id":"Q2856638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c03df539f6a4d9f842d214731b3d81e5361326","datavalue":{"value":{"amount":"+0.8154412508010864","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":"Q2947176$FD204E5D-8E92-4A55-ACA1-0324A8FA2125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c1b8e36cc8e0e0bb1e104cabbcd5c617a460d3","datavalue":{"value":{"entity-type":"item","numeric-id":4459599,"id":"Q4459599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290b84147bfee949f506f58ff81ae08e58042163","datavalue":{"value":{"amount":"+0.8044752478599548","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":"Q2947176$2FC53F83-329C-48FB-B62E-98DCB9C6E1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f65dd7b1959592e58ca3e9fd6cee94fecab14dd","datavalue":{"value":{"entity-type":"item","numeric-id":5044763,"id":"Q5044763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50e2e9f4ea6c012785f4327152e46e06b457122","datavalue":{"value":{"amount":"+0.7926226258277893","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":"Q2947176$0D8D7C56-8167-45D0-AAD5-010BB1CFA67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e176e7ad63932a254b5a19cfa1c5a74c68028d","datavalue":{"value":{"entity-type":"item","numeric-id":5213562,"id":"Q5213562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d57ac5ca495b7014664cd9941b72b3faad2a1e1","datavalue":{"value":{"amount":"+0.7915615439414978","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":"Q2947176$25EF49B0-FC2C-4DE1-BEDC-D8DF53DCDC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063470da879cd356ac1d191604fcda747cc3e800","datavalue":{"value":{"entity-type":"item","numeric-id":5436997,"id":"Q5436997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e92a60fd6e7f44f0681dacf304374caa5a5387","datavalue":{"value":{"amount":"+0.7663911581039429","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":"Q2947176$EF11D122-39A9-4138-A774-CBC84EE7CD4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947176"}}}}}