{"entities":{"Q832937":{"pageid":834785,"ns":120,"title":"Item:Q832937","lastrevid":54271841,"modified":"2026-01-26T13:59:13Z","type":"item","id":"Q832937","labels":{"en":{"language":"en","value":"Deciding \\(\\mathrm{FO}^2\\) alternation for automata over finite and infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498725"}},"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":"Q832937$804928FF-FED8-45E3-ACE5-E1B3E69F08B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8385b975e67eb2eb7fa44085a3a4740983d970f8","datavalue":{"value":{"text":"Deciding \\(\\mathrm{FO}^2\\) alternation for automata over finite and infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832937$2644883A-B852-4849-840A-A59D4FB988F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1df6436b65bd6c8a2de6c2d77712aa5795d0f65","datavalue":{"value":"10.1007/978-3-030-81508-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832937$78E65DB3-063D-4EC7-A0F2-16143BDF022F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d99cc2166f7e1fa1a736989599e4c9a4bd780873","datavalue":{"value":{"entity-type":"item","numeric-id":832936,"id":"Q832936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$A2E5F1D9-8BE5-47BA-BDA9-DDAD5C83A303","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":"Q832937$8B5C7E66-37A2-45CA-AE9B-D20E4762AB1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832937$AD946477-1F4D-4B3F-89D7-4B5B3FB651F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832937$AC88264F-F170-4E60-9CC3-576EC66C3C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8dae6975f3230b5c88e3573ebbdb3f33dbabb50","datavalue":{"value":"7498725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832937$1B3D9780-BD79-457D-AFA5-145EEE2DA523","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":"Q832937$478D012B-8A21-4E0F-BDBB-A5EB7C262A94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3392c087922985a7f183da25171962104f975088","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81508-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q832937$60170655-94B6-4A18-BA4C-BE99CE5EFDD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09604e0c4f04d497ef9a71039de235105ffbf5ca","datavalue":{"value":"W3196841993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832937$1A97C350-BE80-4069-891C-3B3929C7047A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$17459A08-2A61-4F07-89BF-43E276B89321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d90cc4fbc5f5010b872b4415e8fd3d87ac5522","datavalue":{"value":{"entity-type":"item","numeric-id":809608,"id":"Q809608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$C68786DF-900D-4DCF-96D3-03594CF04CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$FBE18E35-6301-45F6-BAE0-EC10F3BC4785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$23F4E818-5627-44BD-80F9-4C378A28C0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f36e99be0ec9dd960fd40b5711e9490c8dd97e","datavalue":{"value":{"entity-type":"item","numeric-id":537914,"id":"Q537914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$EB887CB4-3DB8-4EB4-ACF6-31FEA1E7D58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$402AF839-7F02-45C5-A76A-73568D71390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68efc7d0f8d9812443b06989e1cb3f89a874d66","datavalue":{"value":{"entity-type":"item","numeric-id":2411037,"id":"Q2411037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$99008CF3-8D8C-4694-A67B-2B74E477E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607525f1b5b9774e723959931b1260a1902e4c58","datavalue":{"value":{"entity-type":"item","numeric-id":2480745,"id":"Q2480745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$D65ECA19-5191-410D-9E69-42F23A02E6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b6c94bc0b94dad0cdf9ae615f7dac8f0e464e2","datavalue":{"value":{"entity-type":"item","numeric-id":3113701,"id":"Q3113701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$2C8B47A9-C66B-4CCD-A825-7871DABB1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da44e9acc738a21d8ec6bde205cf5496c7ee1e35","datavalue":{"value":{"entity-type":"item","numeric-id":4988163,"id":"Q4988163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$408477EB-0CC7-49CD-954E-300EC8D0F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd9b707988f204c6f4e4d5c4dad95551c90b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4608719,"id":"Q4608719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$E6590818-2404-4469-9CF2-E808925C6003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e764667c9eded29a2a49ba74b66279d26ce853","datavalue":{"value":{"entity-type":"item","numeric-id":1635804,"id":"Q1635804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$053BE18B-D179-4024-B27E-8AE3BDFBD9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad01bae7f630abd772792de8be0ba00901bf7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4649563,"id":"Q4649563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$1DC59DCC-70F4-4F55-9ECE-68BF0329D9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$2E595890-836D-4979-B420-01A3CEC45694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e3c19b5586211a0f189924c29ee1eda50d6216","datavalue":{"value":{"entity-type":"item","numeric-id":5299843,"id":"Q5299843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$3638F311-4EC8-4511-AD89-53E1A16ED7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a75e85707c1f24d3c13217ffc94cef40ecf304","datavalue":{"value":{"entity-type":"item","numeric-id":1244582,"id":"Q1244582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$60C650D4-0A85-4320-8E51-AABD1DC1C232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4594aac41c654bc480068d4442242f9ab4aeeb49","datavalue":{"value":{"entity-type":"item","numeric-id":1083210,"id":"Q1083210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$C2B623DC-C808-43AF-A5B6-B886D64E5C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858af5de7e93ef8dc1b75b5073ab869dd54013e3","datavalue":{"value":{"entity-type":"item","numeric-id":3740247,"id":"Q3740247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$D483D571-0F1B-4E02-86C2-30A9BE388FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4aca2a14a61510ee390d91d93405af1f8b4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2074217,"id":"Q2074217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$432BEB5C-8F6F-492B-A9DC-E1FB3D0F12F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b4aceb094ef820b31d63ffcc39dc6e58d4c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4542541,"id":"Q4542541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$6F0F5E65-3727-4862-94C4-6DBEB53D5CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fedaa1226af33f3e132239a703d6971d476d26","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832937$E67CB3D7-F79F-443E-89FC-D6F06E76B38A","rank":"normal"}],"P1643":[{"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":"b7b45a66ea41d10804bbc87fd6282ff4afa51def","datavalue":{"value":{"amount":"+0.8644677996635437","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":"Q832937$9E67157A-7871-4CBB-A845-B2EC42F0022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66130eb330cdf948f3c4a6a5a040acd8cae74389","datavalue":{"value":{"entity-type":"item","numeric-id":2411037,"id":"Q2411037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5176ef9684c9375e1a380e1a85801b179e260a51","datavalue":{"value":{"amount":"+0.841883659362793","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":"Q832937$D92CA8BE-47FB-4DBE-A4FC-10847EEED022","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":"424f211d05d5029148183bab57e9d98d819cdf8f","datavalue":{"value":{"amount":"+0.8401427865028381","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":"Q832937$C01E901A-13F1-489C-88D4-66096A17BE2A","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":"07d4adb6c15d6c2ec431edf326b3e4ce5d00e74f","datavalue":{"value":{"amount":"+0.8369874954223633","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":"Q832937$9EB4253C-A4E6-4B91-BE4C-0203F0B8F2F8","rank":"normal"},{"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":"b4a0dfeb5192f4b485852b6825f4ba296eaad2d1","datavalue":{"value":{"amount":"+0.8323553800582886","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":"Q832937$E5E1D5EF-B9EF-4437-B2CF-539FE45A791F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832937"}}}}}