{"entities":{"Q2958524":{"pageid":2969243,"ns":120,"title":"Item:Q2958524","lastrevid":79804817,"modified":"2026-05-06T14:44:48Z","type":"item","id":"Q2958524","labels":{"en":{"language":"en","value":"Deciding the weak definability of B\u00fcchi definable tree languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680138"}},"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":"Q2958524$8C1DE73F-05DA-472B-80DC-E89BF63F7179","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cb691ccf3483199ae139867c080de6daf7ab731","datavalue":{"value":"1356.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958524$DB5EC392-DC92-46E8-8393-27A9309BE48A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958524$C6253D5D-6835-4C49-8B82-B10C7C90330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958524$1240549C-7B20-42CF-AE90-945B469CB3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958524$691A8477-8488-45D4-838B-8C9892D9D4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16c811cb9ecfa8c76252a584ba1589af7f86a94","datavalue":{"value":{"entity-type":"item","numeric-id":2911612,"id":"Q2911612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958524$DFCFF7DA-7353-4471-BFAF-941204E45D2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958524$66203373-D758-4D4C-BB56-95ECBDAD8F01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958524$37932504-54E8-4379-B8A9-AA8616DE268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958524$75142492-FB51-461B-AACF-3F9AEE07D370","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28560e887ce52789e0689f0ec033b7c4e58727a2","datavalue":{"value":"6680138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958524$E35C2F7F-AA63-43FC-B584-24A8E10ED871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958524$BA385CE2-A6FC-4849-81A1-F13DEF273539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a7a3d56d43319815792de6b86bee03fb577d093","datavalue":{"value":"weak definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958524$65EEE05F-4F49-4BE8-BD50-708A39AD2ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958524$0817E599-C63A-4AA3-8564-F3F0061C91E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8e453c06c40882feafec2aba2007be3a1c6dd6","datavalue":{"value":"cost automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958524$F0F55DF7-D13B-4798-9BFB-DBB5F6D7FDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958524$783CE288-1EC8-407D-9100-23A463065BCE","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":"Q2958524$AD188705-CEA4-423F-8401-1B82610EC0CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6efa67bdc887810b649e5c8ab97e86a6761c21c","datavalue":{"value":"10.4230/LIPICS.CSL.2013.215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958524$3D67DAA1-72BA-4D44-8344-6B89828913FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028c014fe2c5bc0a7480bdd075bbc049ad9524d2","datavalue":{"value":{"entity-type":"item","numeric-id":2911638,"id":"Q2911638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bd24ce5cb4c07e41cbdb04ed0fe4ed68a33515","datavalue":{"value":{"amount":"+0.8154680728912354","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":"Q2958524$CFCDD3A8-D311-443B-9D37-B92E6F645079","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":"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":"Q2958524$87C39B4E-637E-4700-9EC7-36BB213D719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c66e93af945020ac63c9c5a14fa8e77c11897","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0609fcfad9002cf435d71dcf7aad69f6a6cc331c","datavalue":{"value":{"amount":"+0.7980790138244629","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":"Q2958524$D15604DE-E3B1-47C8-B87C-877C11C7F382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2c31932d4cfa5f9d92e284e0a786ca1a91ad74","datavalue":{"value":{"entity-type":"item","numeric-id":2911613,"id":"Q2911613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7c934ad5b813947fb1e4fb08afe39cbfdc38bd","datavalue":{"value":{"amount":"+0.7969976663589478","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":"Q2958524$1E051933-E73D-4E60-9C6D-4ACC373D2AC2","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":"7a5ce344371a4b9fa9f1212889127c27be742655","datavalue":{"value":{"amount":"+0.7931371331214905","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":"Q2958524$CA6EAD8D-26DC-4369-8615-A816DEA42E8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding the weak definability of B\u00fcchi definable tree languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_the_weak_definability_of_B%C3%BCchi_definable_tree_languages"}}}}}