{"entities":{"Q1847374":{"pageid":1858116,"ns":120,"title":"Item:Q1847374","lastrevid":69108426,"modified":"2026-04-13T04:50:21Z","type":"item","id":"Q1847374","labels":{"en":{"language":"en","value":"A characterization of B\u00fcchi tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1835248"}},"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":"Q1847374$62264AC5-B517-4264-9729-342B81CD14D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdfa93cfede37db7e387eb464147bb7e5bcaf59e","datavalue":{"value":{"text":"A characterization of B\u00fcchi tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1847374$6801123F-60FE-4FDE-801A-0F8245B587D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f7bcbaaacccd3f482e4e9a3cc82a2a8087e4daa","datavalue":{"value":"1046.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847374$C40F5EF1-85B3-4804-9E9E-EBD7882668E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f3f3e291edac6d075ba0adcd9400a633cbbba98","datavalue":{"value":"10.1016/S0020-0190(01)00190-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847374$17CC8112-7C2A-4CDD-98FE-7AB596FD45A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a211b7abfa3ae0ac86190994f2564f8bb86af8e","datavalue":{"value":{"entity-type":"item","numeric-id":1210305,"id":"Q1210305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$44891F0C-CED0-4BAE-A3F8-CD0800EE14B4","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":"Q1847374$FF2D8AAB-0D69-4CFA-AB77-792AF541F501","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8296cd667bfc66a2ed234dfa9a0d8644d49347aa","datavalue":{"value":{"time":"+2003-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1847374$781B7345-9078-4602-91E0-C771DAD992AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847374$EAE9E5FD-BA7A-4F95-A669-4E7EAE1C363D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e55629168a1ac476a8143547e20ad380ac3edc81","datavalue":{"value":"1835248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847374$91C07977-3478-41B0-B42E-0AC28F8D4C33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a91ec91388214a50c6194181281536b1709e02","datavalue":{"value":"infinite binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847374$E97A6561-6B32-4AB0-99E6-11F70CAEA1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847374$646DA188-B9AF-4270-8CF3-93AF355803D0","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":"Q1847374$C1866A8D-3215-4369-8804-FBFAC49E684D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$AEC46E99-8491-45B2-9483-0FB3684CA080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e91b5620ccdab4c5ab8d750555ef82a946254c7","datavalue":{"value":{"entity-type":"item","numeric-id":4941910,"id":"Q4941910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$87346806-C0B3-48D5-9860-8593CF5B4F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d028b6a349c7cdcf4b1ea9354cfd36ff1252","datavalue":{"value":{"entity-type":"item","numeric-id":2762525,"id":"Q2762525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$4A8C6468-2FC2-48BE-A68F-43612CD85DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba21cd1ac825900e65f895a19d540fb809eec121","datavalue":{"value":{"entity-type":"item","numeric-id":3922660,"id":"Q3922660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$C225CC51-A464-42AF-B5E1-0EAC9F3AD36A","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":"Q1847374$41E5D4A9-16EB-4B74-B6C9-21D73FEE4761","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":"Q1847374$007DBA6E-A1A8-46D5-B0F0-90B791C73680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$67802BCA-8E1B-4BAD-8C51-5126D3BD5E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847374$3F8373A0-8F81-4588-927B-E64D3E6A1BA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02d0d3e98f6d9d9731fac0056ad0241e1153d252","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(01)00190-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1847374$61106A7F-0F33-4BD0-8E81-4E9FF566F169","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eb4ba7fbabf3f3c5632ec036fa7ac6bc2bf66ca","datavalue":{"value":"W2035844623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847374$C33D7206-E9CA-46AD-AFB2-D1E76C2F3948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0c37ecfe13a18c9481a77b07f61350bfb82e17","datavalue":{"value":{"entity-type":"item","numeric-id":2762525,"id":"Q2762525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a33182ca29e14535020028f64d0c6735827411","datavalue":{"value":{"amount":"+0.8902167677879333","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":"Q1847374$ABAB6C9D-26C9-46CF-9D84-C85154D25480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea7bcbc4d377dea91703b5637d9b120b5655f67","datavalue":{"value":{"entity-type":"item","numeric-id":3356287,"id":"Q3356287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f65a87e0163e41d84ba637da0db4acbdf4b96ae","datavalue":{"value":{"amount":"+0.8105483651161194","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":"Q1847374$39E80972-DE2C-406E-9D18-A0A5863BCCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad58f07a3c677921e28e8b64e5519dc72ba459f","datavalue":{"value":{"entity-type":"item","numeric-id":2958524,"id":"Q2958524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd27b87dc058b137a3b4f2fda7ae9d139964f03b","datavalue":{"value":{"amount":"+0.8021190762519836","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":"Q1847374$2DF8FA08-4C45-4F1D-B7D1-B0D99AE2D2E9","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":"a72acc90ab374f7e304b28fe8d8c8fecdf90ccab","datavalue":{"value":{"amount":"+0.7986453771591187","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":"Q1847374$79240223-7B03-495C-8B69-5BC99EDEE76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02359dd02b01a399e99c714b80ebe744eb86eebe","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2380fde529d7a103343be3d5e0d70efc997ac479","datavalue":{"value":{"amount":"+0.7964273691177368","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":"Q1847374$6FA6B2C0-D8B9-4276-9BB7-C0CB077118C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of B\u00fcchi tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_B%C3%BCchi_tree_automata"}}}}}