{"entities":{"Q1108048":{"pageid":1118797,"ns":120,"title":"Item:Q1108048","lastrevid":69660312,"modified":"2026-04-13T08:31:54Z","type":"item","id":"Q1108048","labels":{"en":{"language":"en","value":"Uniform inevitability is tree automaton ineffable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066373"}},"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":"Q1108048$12068BFF-64C7-43EE-BAF6-3D5B8D2797BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7dee05e107c01b758863a0a2ea69ec68e743530","datavalue":{"value":{"text":"Uniform inevitability is tree automaton ineffable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108048$5DA7C750-9E51-4FBC-B995-D7F879030D0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3337bb04c919f9403a9b13753c182b6842dc1c","datavalue":{"value":"0653.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$F23C85AF-4E26-49B0-BFF1-A753360CC2FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a522514a741ba135346242561a49178e750e6d4","datavalue":{"value":"10.1016/0020-0190(87)90097-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$DEB3301A-CCAE-4877-A65D-37F1AC16D878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$167C82B6-BF5A-4C75-A86D-1206878D8460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$4D85393D-85BA-4540-97A1-768DBEEE60A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1108048$DF8B8FBD-96D7-4DD0-A6B3-67B963AE297D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$E76E00F0-2E50-4194-8FA9-1CD48E51F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$80837736-5E82-4C4E-AB43-A438D47005B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$D4D894DA-BD51-483F-81C1-4BC0C76DD3F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8db926a9709846ee48a07348ef32f5090380f6e2","datavalue":{"value":"4066373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$C799EA4C-C96B-4CE6-9636-B54DAB2E5833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a4a344bc741b4eb9c9224c7c9b0d0a879d400d","datavalue":{"value":"Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$075C8E0E-895E-4333-9247-4E4158A2687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54977181bd1c0b67b7f193cfd39857a6d87f87d9","datavalue":{"value":"correctness of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$1B4D52BA-D9E2-44F9-976E-EB90583EBF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$3262393D-C401-44E4-9038-375B0534F91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$F20E3A60-5B6E-4016-B84C-3568BE462740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$A621581F-5771-469E-A697-6A2DE1CF9468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97d4cfe9eaf6873d049b879c5714292ac3fb74d","datavalue":{"value":"finite automata on infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$C76680F5-15DB-419B-84DD-C2F84D52617E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95126ca9ef032e8e364bd07bc24b79a1f6e5e34","datavalue":{"value":"uniform inevitability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108048$6B6227FC-AFA2-4190-BC00-C6D12EE09295","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":"Q1108048$6DE3356F-015C-4D1E-8955-C47CA842D048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f000e4ce5ab8ed3c63432940d35de2f19fc1592","datavalue":{"value":"https://doi.org/10.1016/0020-0190(87)90097-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1108048$452D2A94-9886-4D66-97C8-A4FE766314A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0445ad5617b2ae13e0b912d504d73b43a2c21dca","datavalue":{"value":"W2061141623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108048$FA6B38FD-46D6-4D3B-8158-F76411292591","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$D7F54A50-8D43-40C5-A64D-44D745093C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$F5D703D0-ACCC-42FF-8206-4C24C65391AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$7A27F22C-F17F-406D-97D6-67EED16F3513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$515C968C-456D-4883-8529-9AEBA502AD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$BFEFA6EF-46A1-4668-9B34-50160343B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$E781266A-F33B-4EFB-BE0D-5606037805F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$D963A6B7-3C03-4B6F-8CA7-78BE9B6F25B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108048$A2766053-0808-4C81-8C25-C878B0D45CE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8110f59ecbaf66a0b85041dbacf5b38a00c7046","datavalue":{"value":{"entity-type":"item","numeric-id":2958515,"id":"Q2958515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735c67d4bc316601b27b859ed30ea38de8d18bd0","datavalue":{"value":{"amount":"+0.7380340695381165","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":"Q1108048$DD303285-7C86-4B7B-8EBD-362351C347B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eda6c78962043f244ba2daf061117aab3597e13","datavalue":{"value":{"entity-type":"item","numeric-id":3746905,"id":"Q3746905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386b78c7d3041f8b71cdb4ce0216de6b289f1767","datavalue":{"value":{"amount":"+0.7359471321105957","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":"Q1108048$8669F93A-1C52-485A-930F-E15C2BACC093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b156086851bdfc47649f0913d208a07d0f9d8b7","datavalue":{"value":{"entity-type":"item","numeric-id":5271416,"id":"Q5271416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180ad1c837d52e5e8476327e2a5230e74439c336","datavalue":{"value":{"amount":"+0.7309930920600891","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":"Q1108048$DD5452FB-3D26-4623-BDB3-579DA4093D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407f316690c2d47ace80e98820d02c63a63e56ab","datavalue":{"value":{"entity-type":"item","numeric-id":1092675,"id":"Q1092675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded89143af82b414962d446b18c9b310e13d880e","datavalue":{"value":{"amount":"+0.7268537878990173","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":"Q1108048$3BB8BF8B-762B-49F3-B966-25FAFB3EEF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0846e04194f368a896bd4b652d2436431e165c44","datavalue":{"value":{"entity-type":"item","numeric-id":1847374,"id":"Q1847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cb6908ea57887193a93d40abec274d588cfd00","datavalue":{"value":{"amount":"+0.7210306525230408","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":"Q1108048$A7B3701B-F4BF-437C-A7B0-AF28FD9DA1E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform inevitability is tree automaton ineffable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_inevitability_is_tree_automaton_ineffable"}}}}}