{"entities":{"Q4219045":{"pageid":6248646,"ns":120,"title":"Item:Q4219045","lastrevid":46700496,"modified":"2025-12-25T10:31:26Z","type":"item","id":"Q4219045","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223729"}},"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":"Q4219045$DE1A2532-018F-47B4-AA24-5DC9263A46E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00f16f9831666b9539ba74e10db6e76e1d9bf208","datavalue":{"value":"0909.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219045$67294A4E-C970-4329-9B37-58E942F9012E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219045$0937880F-131F-4A92-8F7D-5CD533104E9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393efb923ef82c131d1c3b46af0d2fb041de6ddd","datavalue":{"value":{"time":"+1999-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":"Q4219045$DF4C68BF-66F5-4EE9-8364-AB801F5C7DD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219045$B582D02E-1981-4092-828E-35C91657C169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219045$EF55CCFE-D9A7-4CB5-A33E-4C1FA62ED575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219045$8396F337-BC9B-4854-BC2F-3AAF33B5A1E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f0571da8a4fdf5d0693d0363163b1dd8ab8dd9a","datavalue":{"value":"1223729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219045$EBB02CD3-1178-429D-80C6-C86447E367F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$D8282D17-23FA-4E6F-8635-30CD5E7B181F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$94E926CB-A77B-4CFE-8C88-8678B3E44B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$A5F542B3-2C17-4AA7-911E-8B15804571F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91aa1a30ebd6239094a9b274a9092fccedd1e546","datavalue":{"value":"one-way nondeterministic tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$E7BEDCD7-AAA0-43D4-A809-1F1BC0269B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bc10b42bb3d5f1b5644a1af9459dff460393cd7","datavalue":{"value":"tree-model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$4A91977A-A07C-4316-A0B8-1D2CA44276D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$B055DB55-D096-402E-96D1-A01BFE7FD031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8467b9a4e4939f4e162a608c109a114d789c40a","datavalue":{"value":"emptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219045$BDC459AF-4249-4221-8B3F-71F84F3DD167","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":"Q4219045$BBD937AE-A4C7-4D50-9AD1-66E732106CD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c68786f4ddcddef4e359671f7334d407d254c8","datavalue":{"value":{"entity-type":"item","numeric-id":4737212,"id":"Q4737212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b10bdeab076e2967920e3f78f0f974ac2cd843","datavalue":{"value":{"amount":"+0.8323366641998291","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":"Q4219045$9EEB1E83-BBE3-4A3B-A71B-A4BB5ECEFF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a885c02966a4d13a0476bf42724e27759cff3475","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0990908fd1fb51c598595715aaf51ebfaf39c025","datavalue":{"value":{"amount":"+0.8099737763404846","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":"Q4219045$87601F69-BFF7-4D1C-ACA9-FE499FB344D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22de7d73d188ff20e36b3fdd19f3fef880dc4d6","datavalue":{"value":{"amount":"+0.8095639944076538","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":"Q4219045$1895A00D-5241-4432-BDD1-437A1B32B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9943959bcc101e53173a8038a303da86b77d7643","datavalue":{"value":{"amount":"+0.8054373860359192","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":"Q4219045$285127D7-4BBA-4861-9E12-376C9A415707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1990bcd9d5aabd531305be39c8d07738991a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec564c7bf2eb345b2ff2f63c924ef578fdf1a19","datavalue":{"value":{"amount":"+0.7996849417686462","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":"Q4219045$D01AC4CE-F51E-4958-9EA5-C5EBC30CC866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4219045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4219045"}}}}}