{"entities":{"Q3395099":{"pageid":3405802,"ns":120,"title":"Item:Q3395099","lastrevid":58169286,"modified":"2026-04-04T02:17:52Z","type":"item","id":"Q3395099","labels":{"en":{"language":"en","value":"Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597487"}},"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":"Q3395099$534B0BDD-FB42-41E6-A807-2188AD4B2DAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9239cabf1dc469e07155885547ee6be69029e0eb","datavalue":{"value":{"text":"Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395099$DE5B4171-F788-4B7F-A6EF-A7496549C474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bf9ad114f573e9826f07f672b48093dfe1b89ae","datavalue":{"value":"1168.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$38FBCFF2-1B81-4645-8EA6-458282C79C2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f57980c9a354ac3e06bdc300ee166e7c0611a427","datavalue":{"value":"10.2168/LMCS-5(3:4)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$0876C374-EF4F-48D5-BB71-2590A0249139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1201127676d57b5784e0060e95374c489726b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3395098,"id":"Q3395098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395099$7B896E13-C989-44F9-B646-F69BE3A8F0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395099$6021F0CD-A94A-433C-A805-F940C1005412","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395099$16FEB688-A747-4F98-A1A9-90BD3956C0FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395099$F2788E4D-1CE5-4259-A394-1589504EB0C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a99a21fae85cf23a78061a1551681cbc7573db5d","datavalue":{"value":"https://arxiv.org/abs/0907.0616","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395099$62B6BDE0-33AC-42EE-951E-606AA7093C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$940DF5F0-DBF4-4E7D-BB2B-1DA47FC51614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$68FC1058-4F24-4608-B145-1ECCFCBBB9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$4FF6F567-27C5-4E72-A017-6190A2BDDF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$92DCA232-6A28-4447-BACA-8E089C69245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$7C55AB3F-EADF-4C44-A23F-95FEB2057397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$F1B8E4F3-B9E4-4E1B-B17C-8E1C8AD31B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c14e2b41c294f6a2c98f400e1087bc410f9f7d0","datavalue":{"value":"5597487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395099$1C9AE0F2-CD3F-40CE-9B5D-F20C91ED6D1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395099$9872CDCE-F9DE-4188-9887-613E22738723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395099$C50A6128-995C-4E20-AC81-7DB03EA80869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395099$415A2FCD-FA7D-429E-9225-C56CBC92D3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395099$888DD4E0-307D-4231-9D5A-F93280F1918B","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":"Q3395099$B511D97F-3765-4050-88AD-3E8F86C0B75C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9cc68b5d48f81cb53cadcf6989f9231f671ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3608423,"id":"Q3608423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21ca957c2e2e979e9e3a611504569bdb445cd0d","datavalue":{"value":{"amount":"+0.9919257164001464","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":"Q3395099$12B901B4-FEAA-4425-A22F-D70EFAD86743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69028567cd6d7a6f8a20097071a1ba81bf86ac56","datavalue":{"value":{"entity-type":"item","numeric-id":2915709,"id":"Q2915709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e384b8e40d058599ec38dd4a6398ff2a1902a9e6","datavalue":{"value":{"amount":"+0.8738160729408264","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":"Q3395099$AF10AA1F-4523-4A13-85C5-37BB21D566DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed1ff33206813d17f95c87da088cf1a9ffff730","datavalue":{"value":{"entity-type":"item","numeric-id":2957893,"id":"Q2957893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c99190b4337175d151c96615a87caf8a7998b3b","datavalue":{"value":{"amount":"+0.8425781726837158","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":"Q3395099$226B6766-F089-4430-BE5A-0A08C68F387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e96f39b337bfe187a4eeb5cfcb2cd3eef2b03","datavalue":{"value":{"entity-type":"item","numeric-id":3182951,"id":"Q3182951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ee4ce777fb1fd11e32dca1175f1f89cb360ee1","datavalue":{"value":{"amount":"+0.8414583206176758","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":"Q3395099$B3D61890-B0D7-4380-B7E6-DA92EF2A354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488782acc25ac678b0149c20a5939eaf313de95","datavalue":{"value":{"entity-type":"item","numeric-id":4649563,"id":"Q4649563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394c8357dc0dafd436b4a96095e698bde9cdb57a","datavalue":{"value":{"amount":"+0.8388190865516663","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":"Q3395099$5830DC1D-3F06-4A60-BE3B-7CBC2614E22F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395099"}}}}}