{"entities":{"Q6649495":{"pageid":14260652,"ns":120,"title":"Item:Q6649495","lastrevid":40613232,"modified":"2025-03-12T13:40:18Z","type":"item","id":"Q6649495","labels":{"en":{"language":"en","value":"The regular languages of first-order logic with one alternation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954873"}},"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":"Q6649495$F6025117-4D3E-4E4F-8EE1-C26D2ABB1DEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d268fa6ff90734944d1b19a898a546724722d8cd","datavalue":{"value":{"text":"The regular languages of first-order logic with one alternation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649495$4DF8F6CA-4FEA-4C88-A992-D293F2F30B05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6b5048fcea4ea93049a49fb2077fb6373191a5c","datavalue":{"value":"10.1145/3531130.3533371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649495$FD6D6644-2897-4E4B-9AE8-4AE2BB880975","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f6c337de017c92941f9db3613891ee9c3a9e62","datavalue":{"value":{"entity-type":"item","numeric-id":2105452,"id":"Q2105452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$E8D7C7F7-733C-4797-9EC7-B3EEAEB6FAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c83066b5ab1342e25bd18fdd8684b8d98d4296","datavalue":{"value":{"entity-type":"item","numeric-id":722217,"id":"Q722217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$C63CB3E2-6DBD-4B3E-8240-7CC014EA3AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42c0b11a787070bfea41095356fb7d1ef272bb3","datavalue":{"value":{"entity-type":"item","numeric-id":1784948,"id":"Q1784948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$75291792-7C53-49D0-8AC4-A774EF5C9187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f50344d6d2402c082431ec7cf80747ef3aecdea4","datavalue":{"value":{"entity-type":"item","numeric-id":509760,"id":"Q509760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$052EF6D7-FBF4-4115-A5FE-986E3BABD782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649495$508189C8-23CB-4869-B3C3-A17DE278C732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649495$B145D08D-C3E6-49A1-B7AC-679CE4FC227F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bf563d110cce41a317abe030ea1ec2c16d41efc","datavalue":{"value":"7954873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649495$C3172E27-1A9F-45DD-8741-CDED7113268A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649495$9399B9CD-8EE5-43AD-AD76-6C4E598568A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649495$E1BD8E2D-41FF-4AFD-A227-51E5D841C173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649495$08612273-46D5-4A0B-B838-D87B19E441E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649495$8DFEA29F-6EFB-41D5-B0C0-796359EDDF76","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":"Q6649495$04EF1C48-0FB8-41DD-92F2-96E63CE23450","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed496352c040c4152891195e3251999037c6cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4892455,"id":"Q4892455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$AF7A60AD-BE4B-418B-8867-2419A344627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$DECE291F-1844-4329-A4CC-C05C75498BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288f37d8a837249ff4cf0b134db1dbee259d89ad","datavalue":{"value":{"entity-type":"item","numeric-id":1191027,"id":"Q1191027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$3F392C45-0BE6-4D9D-A86B-E91A5D8D2C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0438f00c2f12b7832f3d7d9364cd6e084d701707","datavalue":{"value":{"entity-type":"item","numeric-id":1776372,"id":"Q1776372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$F5FEB3B7-5677-4C2A-AC55-4348594ACEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a500206698011a9fd73535b39e18690c6e06e392","datavalue":{"value":{"entity-type":"item","numeric-id":3820014,"id":"Q3820014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$C99553E7-33B9-4040-A453-52EB4188A238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c51b20bdef3a6f42c46d54eda38643c92eb5638","datavalue":{"value":{"entity-type":"item","numeric-id":3637210,"id":"Q3637210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$4A8C486D-228B-4CC5-8DB1-2B205622C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8682f5314ce860f6806c7ec5973b59e690e2c46c","datavalue":{"value":{"entity-type":"item","numeric-id":2170278,"id":"Q2170278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$10181843-59FC-4582-B5B7-01F6A20742D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2740fbf6c2f81daf2853dfb9ce5ce4799de75fff","datavalue":{"value":{"entity-type":"item","numeric-id":4388876,"id":"Q4388876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$C29314B3-C197-4662-B98F-6BF41A8FF09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3aa9e4ac10217a867db6a498689897bd019fae","datavalue":{"value":{"entity-type":"item","numeric-id":4645675,"id":"Q4645675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$4E084C1C-DE8B-4DF1-8E3D-3A5612832CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$EB99BF02-DDC0-47DB-A29E-595A104A5CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8766d2f9ea1718c773cf784c334cb0ae7594b22","datavalue":{"value":{"entity-type":"item","numeric-id":4418661,"id":"Q4418661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$5AACCFF5-1B2F-4BCA-B4DD-C8605B194796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f0e567d61883de383b634e32099d195bb177d","datavalue":{"value":{"entity-type":"item","numeric-id":5111216,"id":"Q5111216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$283367B3-A7D0-45AA-99AD-15E814DE62CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258e9e9056926a06af9cec351759111a55665eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2366275,"id":"Q2366275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$F05AAA3E-2719-4DEE-836C-48D09D24D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596375c15e8ef30b4e9a656384a80701909964d7","datavalue":{"value":{"entity-type":"item","numeric-id":1904663,"id":"Q1904663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$F1F8CD07-A8BD-4DEB-8FED-9C6C949A76DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67550bc127d7312ff4e271174d3c8f19a0441aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3061152,"id":"Q3061152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$A0F8AFA9-6AEA-4725-99E5-1109AFF88415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e945cdcbe1012e864d3061766c1396a8900711c3","datavalue":{"value":{"entity-type":"item","numeric-id":5895106,"id":"Q5895106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$FE3637B3-8D41-4CA1-8E98-875804E4FE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025be4b8b24753d6aa390a00127bb351263a2c17","datavalue":{"value":{"entity-type":"item","numeric-id":3581426,"id":"Q3581426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$2C26831D-9B2B-4459-BD56-66EDA0CAD419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$9590E11F-D9A9-46DF-A0B2-74F1BAED9FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18f0346c535d001da3e2354ac3ce413ddb99d12","datavalue":{"value":{"entity-type":"item","numeric-id":1575738,"id":"Q1575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$CB0EB265-A3F0-4B22-B402-51208DED88BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e4d1aab23edc846fb3dbac3e3dbe2ebf816800","datavalue":{"value":{"entity-type":"item","numeric-id":4683189,"id":"Q4683189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$F9CA2B96-3D66-4D92-A409-155655253D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$82B6EA86-AB33-4E5B-9938-F4E9C0A6769F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad42d8064ec731ec530543d596421f49a7b7d73","datavalue":{"value":{"entity-type":"item","numeric-id":4558789,"id":"Q4558789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$8BD18B8C-3B09-41B2-B51D-418B630F245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5aeac93696d6715c7bc784542dbf7e958d9f31","datavalue":{"value":{"entity-type":"item","numeric-id":5244385,"id":"Q5244385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$51FA7557-84BE-464C-954F-55DEEEFB3A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7177bb5614970a134bbebfeb1f06c272d3a0e565","datavalue":{"value":{"entity-type":"item","numeric-id":3709896,"id":"Q3709896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$6D71B0E1-50B9-4F4D-84D8-1A21EE4992C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$2DF6E3AD-5D7C-4E7C-817B-872CCDB033EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aab8a219d2c63fceedf1ddaf5823f03d020cc7","datavalue":{"value":{"entity-type":"item","numeric-id":5750404,"id":"Q5750404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$BC86BDE3-F237-4238-A587-3E1BA4A020B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$26E4B6F3-B4B7-4002-923E-AE3C29FA48EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3bc6ef13b63ae9c3e96a29ec874b17fabbb73c","datavalue":{"value":{"entity-type":"item","numeric-id":1854424,"id":"Q1854424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$FB2F0161-63BB-4EA3-88C4-E3CA14E561BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90547ab459d04526197ba4b48a1667f62a622ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5246511,"id":"Q5246511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$F702DF22-D31A-46CE-8E84-3A1C9B026423","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":"Q6649495$86BEC388-AEC6-4E81-886D-5FF59E83A993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649495$60A8F9EF-FC3D-496F-811E-7FA52D1EF7A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6649495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6649495"}}}}}