{"entities":{"Q1193871":{"pageid":1204620,"ns":120,"title":"Item:Q1193871","lastrevid":66825174,"modified":"2026-04-12T13:06:43Z","type":"item","id":"Q1193871","labels":{"en":{"language":"en","value":"Alternating automata, the weak monadic theory of trees and its complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65309"}},"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":"Q1193871$C90100C2-8ED7-4A7A-9F60-1D915B9E4045","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5f778a5b6ee130f20af86729d8c068b61a015bc","datavalue":{"value":{"text":"Alternating automata, the weak monadic theory of trees and its complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193871$6D0D2C40-8B72-4C43-81F5-C377A7DC12C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e00e4f6004dfda8986ed3aa2d3df3b5d2cc9ba7c","datavalue":{"value":"0776.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$1E13ADEF-04B2-4B66-A208-F9680E7E7DDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4204c273c9bdfb52c838d8e68d1c1c79e7a558f2","datavalue":{"value":"10.1016/0304-3975(92)90076-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$F0A2DEC2-5EB8-4F51-A008-B9FE92AB40A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"698bc4fe65f79b85d517df655a1aca4a01c66cfe","datavalue":{"value":{"entity-type":"item","numeric-id":444387,"id":"Q444387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$9C582F6B-1913-4524-B0E4-24682012F6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d8423f1327302bd91c424093d3752a15cfe97d","datavalue":{"value":{"entity-type":"item","numeric-id":673777,"id":"Q673777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$EE5A813F-9779-4E81-A002-570A5DF2E04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15744af71e21635dc7da119af963401e48a386e5","datavalue":{"value":{"entity-type":"item","numeric-id":2102735,"id":"Q2102735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$078D5713-3682-4334-AC6F-8DB6C011FBDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$1A474921-B963-43C2-8801-9E5A6FA4F273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193871$8B3B4A30-6839-4208-A771-D380246C3FDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7667c32ffffa38765607eb5dbee3c14ed2abbdc","datavalue":{"value":"Full version of the authors' paper in Lect. Notes Comput. Sci. 226, 275- 283 (1986; Zbl 0617.03020).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193871$BF0F6F4F-C447-4D37-8814-AAAE351C7727","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$FD68038B-2B4A-4973-B1C9-76552AD7FBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$99F0CC39-AB45-4178-B091-BFEBE7AF3539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$A878E350-0EFC-43C4-BB9A-E9E2384D25EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$6C5B63AE-0822-4B90-9E68-1C1E58AD9ABD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ed0bdcc589b26175d25f985eac15c3a7d3a1500","datavalue":{"value":"65309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$B48820D6-A51B-4245-8B99-7AE480D39A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fa260c5e3669747340bc507aa2bf686583847b","datavalue":{"value":"automata on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193871$E0B8DB3C-839E-4BE5-A117-7E49BE4D54B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193871$950F3B47-6850-45F6-A171-F6BA8A8FECFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c3ccfdb05396bd119fa95eb4ac3fb58bab3f11","datavalue":{"value":"weak monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193871$ADAC6BF9-6B82-48C9-9397-242848EAF0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"936a8ae9ac386002778e7b3c411f75c9f9f764d7","datavalue":{"value":"alternations of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193871$D3C86DCC-1487-45EA-A193-10F50C2F3642","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":"Q1193871$77C50440-CEDD-49D0-BCF1-A68D686755DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$5CBF3859-C866-45E4-9EB3-A83761D5456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$793A9BEC-859F-4C4A-A0FB-E7D0C4E87E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534913bd52f8bff798206f4217803778d1e40622","datavalue":{"value":{"entity-type":"item","numeric-id":1088417,"id":"Q1088417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$5A9653AD-B0EA-48FA-8470-959953C09228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fb26a4a583966fa9c4a9866625c3e9dd812a52","datavalue":{"value":{"entity-type":"item","numeric-id":1109572,"id":"Q1109572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$0D5122F2-94C5-4349-8CF3-8ED0B41BB570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$04036E88-BBA4-4737-B276-52FDDFC0E013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$007DD59C-6059-45E1-9378-4686BE25F955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$E83C4CD5-14B8-4789-B73E-A2026A125BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$BADCEA57-218C-4B53-A129-144E97BDB979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$F4A7860F-F62D-4058-B267-83B92D3D6BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$60590E43-4897-4D13-9E15-81E2B9AC9091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9514a16855598dd4702afb3968f95cf10303f8","datavalue":{"value":{"entity-type":"item","numeric-id":4134970,"id":"Q4134970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193871$5C46B05B-5A3F-49FC-8DE6-E39A5CFF5FBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb66533012094cdda3d6957604eacb7bc614e3f7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90076-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193871$2AFCAF01-F67F-4819-A778-287BD58459F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82b700d4c10b96c67a08ecf43a32c925339a9f24","datavalue":{"value":"W2087756506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193871$3E7B4D05-A162-49EB-AC1B-4DC664FBC53F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating automata, the weak monadic theory of trees and its complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternating_automata,_the_weak_monadic_theory_of_trees_and_its_complexity"}}}}}