{"entities":{"Q2965499":{"pageid":2976224,"ns":120,"title":"Item:Q2965499","lastrevid":85429817,"modified":"2026-06-03T08:12:51Z","type":"item","id":"Q2965499","labels":{"en":{"language":"en","value":"Ehrenfeucht-Fra\u00efss\u00e9 games on omega-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691417"}},"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":"Q2965499$71165021-8746-4A8A-891E-78DD51D4338E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a554d88b7b46fa3ef8b59bc155eb8b0cec561fe5","datavalue":{"value":"1359.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$A4340E88-3B66-4F4C-8897-615B91E2DFA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ac8a242d4a526076e8118cbdefc8d9655bf9df","datavalue":{"value":{"entity-type":"item","numeric-id":1702519,"id":"Q1702519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965499$6E0D36D2-D188-4012-A42B-8D146243EDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965499$14AE9509-5FB9-4720-B75B-0B5A6D54252B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2965499$13437C8F-1F58-40A3-97B3-618F8F1C6ECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27386a623ac6f577a8c946abd2ef8f0bd018d8fc","datavalue":{"value":"https://arxiv.org/abs/1310.3195","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965499$3B0F4CE6-9621-41EE-957F-4A4F3033304C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$29037A40-09D1-4BF4-AA8D-A327A302FB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$E3F2618E-CDE1-41A2-BD11-D581A1302322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$B0AB00FC-4A68-499B-BCA3-86D93D0F3846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$9314F8AA-B525-43B9-BCF2-ECB25DC6B238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ac8cc3006d7ce3ff2661aaa5c462ded8099aff4","datavalue":{"value":"6691417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$1AD6AD98-A0F5-4CEB-88EA-8B37146A5077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965499$B9305266-017F-4173-B1C7-3A39BBF07742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965499$36FA966B-FBB5-4A4C-A6B9-805528C19DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013ea0ae18b29892b5726356388c7d5d42063956","datavalue":{"value":"finite monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965499$E83EB761-CD85-43E4-BA1A-980E4990FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965499$7369D613-3812-42E2-9691-562D4598CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a61fd9619cd73a31f4be0b132cba001fe229de0","datavalue":{"value":"pseudoidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965499$93FA2CC2-4CA1-46DC-80D3-19D527C2A542","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":"Q2965499$82231FDD-28D5-4521-B4D6-92710866DB53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef829b633bc096f17cf879070ad759cfd6886656","datavalue":{"value":"W2963375941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$5AE51CE0-2592-410F-827F-A5D25EB744B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b4a2fbc60074a085d0a35452c2562323624658","datavalue":{"value":{"text":"Ehrenfeucht-Fra\u00efss\u00e9 games on omega-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965499$84004D57-8D9C-4862-9680-8399C8DEE341","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"324520ea072e7398beecbdc026a0660c6e0e7e13","datavalue":{"value":"10.4230/LIPICS.STACS.2014.374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965499$7E82C5E6-E745-4280-88B9-7ECA7D672BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9744f14dace30910cc69859cd7b8a9c21053e28f","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc27e43ba306bbf1c6f09244f0073fa2994a1b85","datavalue":{"value":{"amount":"+0.7581955194473267","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":"Q2965499$6409E6DE-98C3-4AAA-9853-C6A91B0B8257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035a131370e2878ca1ca20803d88c7e3d3d1603c","datavalue":{"value":{"entity-type":"item","numeric-id":636279,"id":"Q636279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6b05c4e3471e6ce630842df70f4161241540ae","datavalue":{"value":{"amount":"+0.7445574998855591","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":"Q2965499$575BC200-756F-4CA4-A64C-07BC770A9329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341b0326baff20e036722d0f78cc3e70535a50d6","datavalue":{"value":{"entity-type":"item","numeric-id":5740189,"id":"Q5740189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab37be5530912a1d4381895f65fed4e837018987","datavalue":{"value":{"amount":"+0.7410932183265686","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":"Q2965499$3AD1A807-BE0F-4D04-A029-76BD5BAE6185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434edee8c84d4945591b00c8cb2a9d41aeee39bb","datavalue":{"value":{"entity-type":"item","numeric-id":5434515,"id":"Q5434515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c01804dc88dc7db8aa9ce27c3e63f6d79216f07","datavalue":{"value":{"amount":"+0.7385790944099426","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":"Q2965499$A242E56E-0483-4CE8-B592-9A8463D4A80D","rank":"normal"},{"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":"24400ca09b9f1f01e8e1fcccc34d4a552fdd98d2","datavalue":{"value":{"amount":"+0.7384334802627563","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":"Q2965499$ECFB2CBE-1440-46D2-B154-099159F1EC63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ehrenfeucht-Fra\u00efss\u00e9 games on omega-terms","badges":[]}}}}}