{"entities":{"Q4916202":{"pageid":6945783,"ns":120,"title":"Item:Q4916202","lastrevid":51698408,"modified":"2026-01-19T13:20:24Z","type":"item","id":"Q4916202","labels":{"en":{"language":"en","value":"Deciding low levels of tree-automata hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156010"}},"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":"Q4916202$6340ABFA-1830-4C12-A5BB-81031231C491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c1de7364f1db8674119883944ebe234108daa26","datavalue":{"value":{"text":"Deciding low levels of tree-automata hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916202$0C36A0F0-D524-4BAA-9FA2-559D94CE4431","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c9d3b6c95cff04874accd5f2c004f798ec988fb","datavalue":{"value":"1261.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916202$6688D68D-FAEE-4F53-8C0E-A41B02A45C4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba26fada095093d5270af3da6d64890628772772","datavalue":{"value":"10.1016/S1571-0661(04)80541-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916202$007A8E60-45F3-4C15-A140-A91B97C2FED7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$65C401F0-DA04-431F-9EEC-A0B1253855AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$31752757-51E5-40AC-8CF6-E2E59085B3D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916202$ACE2BD61-63FC-4688-B0B7-1B0452C40ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916202$265A17BF-FA5A-4A5F-80DB-99AFF1CBF4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916202$66C568E2-09A2-4CFB-B483-FBD27EB30B0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86c770701095bb2959a3beeb3d9dc8880d751cd1","datavalue":{"value":"6156010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916202$B36F7E35-F646-4512-A2FB-C476C69CCE26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916202$0941E518-C0B4-4357-B46B-5E3EF06B7180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc78b557f08f3a18412b61d456368bebb686467","datavalue":{"value":"quantifier hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916202$D21F67B9-BD07-4CAC-B81A-C43936D65AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916202$A7688824-536C-4E75-9DEF-9046E306B7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916202$BC7A195D-EE95-438C-A54E-E07AB4F43DAC","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":"Q4916202$428B61EE-D6C8-470D-80A7-69D9D48F311F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8cb182758fb38507da200e061d13e9bc8ccafa","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$F07124FB-67F8-4570-A7B7-8D70E6B70B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8caa258152596951f3aed3546536f53bb4ec18","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$0A74684D-79E5-42F8-A2C5-A5397A4468CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$230F60A8-815C-4E70-A0D5-40F150284641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$86D6FB39-551A-4066-9040-1492EEDDC855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14ca4bd4280b253262c53bf2707644111b6884","datavalue":{"value":{"entity-type":"item","numeric-id":4943547,"id":"Q4943547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$EC487994-9740-4FA5-BDFF-DD2EEE34F6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75550fcce7aa602c6ed6ccf39eb165a4d7b34a2b","datavalue":{"value":{"entity-type":"item","numeric-id":4953338,"id":"Q4953338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$0F6B8318-D02A-493F-98A6-02DA3B14D965","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":"Q4916202$3C0E94E3-B750-4365-A0BA-AC00CBFDD2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$3932BCEF-2B0A-4505-8497-57ACB89144D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fc2a80a4b787f58f89834fc161f3ce3f506713","datavalue":{"value":{"entity-type":"item","numeric-id":4251069,"id":"Q4251069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$BB84E879-62FE-4CAB-AA08-5BF86E2AAC1D","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":"Q4916202$73BF6646-8207-4861-A8A1-5D7182CEA934","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":"Q4916202$E258FC61-A7AD-42F9-BE2B-3434EC3666E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$F9D35D3D-CB64-4332-A623-251592DC8E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a66982317f943528a01ca680cec7be690c105","datavalue":{"value":{"entity-type":"item","numeric-id":4158997,"id":"Q4158997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$D9F21708-0B8A-45E0-A06C-F2E666B61FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6978b91d26a5999c58ac8fead7a21146de911fa","datavalue":{"value":{"entity-type":"item","numeric-id":675222,"id":"Q675222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916202$D888170C-29BD-4096-8440-ACF593E76D7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ee692620609131ec98e84d656ea45a681df322","datavalue":{"value":{"entity-type":"item","numeric-id":5271087,"id":"Q5271087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99022d9f23accaa3c546d4290a6d7319f76a6d98","datavalue":{"value":{"amount":"+0.7793719172477722","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":"Q4916202$F3E4378E-4717-404E-A488-EB418850A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94703cd0d0d4fab6807f19db1d49b466b5d2c716","datavalue":{"value":{"entity-type":"item","numeric-id":5278187,"id":"Q5278187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac41bc80059d1462880a18952bee4eeb90aca9ac","datavalue":{"value":{"amount":"+0.7781862616539001","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":"Q4916202$6DCCC0AC-B3D0-44A8-937D-0C8D3EC8B086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee7b5fafb2759d1a39001fe74a4351c5f1ae8eb","datavalue":{"value":{"entity-type":"item","numeric-id":5232909,"id":"Q5232909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbcace21b541841c2c735332571f3f2169b2db5","datavalue":{"value":{"amount":"+0.7766368985176086","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":"Q4916202$8E9B43F3-3BB0-44D0-9616-682A84A9E76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcda1b0f9750d41e5143f4d4029a7de362e34087","datavalue":{"value":{"entity-type":"item","numeric-id":5394593,"id":"Q5394593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05522803f6e4692728d89c1762cb4926b3a46566","datavalue":{"value":{"amount":"+0.7751880884170532","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":"Q4916202$512DE86B-05F7-47C4-A270-45DFBE58C83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f995146a9272129c155b2c9c0f3a99d95792b74","datavalue":{"value":{"entity-type":"item","numeric-id":805253,"id":"Q805253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c71ced772bb83af62fa0cab05aff6cbccec6e3a","datavalue":{"value":{"amount":"+0.7726877927780151","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":"Q4916202$42DF1BCA-9689-4DC7-9AFC-90077AED5BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916202"}}}}}