{"entities":{"Q860867":{"pageid":862715,"ns":120,"title":"Item:Q860867","lastrevid":64899906,"modified":"2026-04-11T22:58:31Z","type":"item","id":"Q860867","labels":{"en":{"language":"en","value":"Observations on determinization of B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083511"}},"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":"Q860867$60681949-9801-4C54-84F9-1C9931CC6C73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9ebb9177da4bdcbab3c0732a3ef0d083ab56b20","datavalue":{"value":{"text":"Observations on determinization of B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860867$2E5916A6-C100-439D-8E4C-BB65FA5FF3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535d4e815536ea990791c52c560bb6c1fa4ba03f","datavalue":{"value":"1153.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860867$9409E9AE-2539-43A5-82E6-5FA3CC002859","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7b50354c8a2e228f5fd154e04fd918d6e2973b7","datavalue":{"value":{"entity-type":"item","numeric-id":860865,"id":"Q860865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$C8702ACE-59A2-4758-8898-2CDDF46EDF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$A96863B3-A43A-4F0E-AE01-E1A86B1AA0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31f08b85916cdf7870988d9e67ebe54566bb24e0","datavalue":{"value":{"entity-type":"item","numeric-id":860866,"id":"Q860866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$D0324FEA-5ADC-46EF-9B61-96B0E0ECE22B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$C77474CA-5574-46EB-8399-FF4B3F4DF491","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860867$A54739AE-BFFA-4098-8BE8-197FF8C0E7BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860867$F7A93523-2019-4E7A-AC0B-437ED13714F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860867$C649EFF5-308D-4A98-A727-93F4CC00E624","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"872e16106725e80149f7a1aaa3206d12c7b67b74","datavalue":{"value":"5083511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860867$B759CC39-B7D8-4363-870C-4C76AE009282","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q860867$DEE27095-48E2-4417-8F4C-42F9F7E25046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8391673bdc123e3fe23f1efb3ce15d4a057d5bd","datavalue":{"value":"Rabin","type":"string"},"datatype":"string"},"type":"statement","id":"Q860867$D3BF14DE-313F-4B2D-9F9C-30AC7CFAA143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f77781e66f581568d265c2bc2f7bcbcce2807c7","datavalue":{"value":"Muller-Schupp","type":"string"},"datatype":"string"},"type":"statement","id":"Q860867$023AF223-98D8-4855-B03D-539ACBC5D11C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$18477AD2-DF61-4973-B1D1-4DB14E488D5F","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":"Q860867$9743D057-20FE-4D53-95CB-939023308591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4c9906e283b8ccf1a465a7c0b6bf8be411cee3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q860867$D4A72CC9-DC61-4FFC-8409-CF6713F74261","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acde070251a1e55ddf69f5c4260e5519a76674a3","datavalue":{"value":"W2161218627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860867$81582957-A5A8-4B9D-A03E-4483DFD20CAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dc06005109d2fd12fa28c8abe27376ad494b20","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$2843C1E8-D172-4801-86AD-1EF91010EE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17edde322a1e872b1d9c534aed707fc3c7e946d8","datavalue":{"value":{"entity-type":"item","numeric-id":4535058,"id":"Q4535058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$32469354-586B-4BDC-A299-63421CF80D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f58bcf161688af4b2b7aef57761ae80a64fa5e4","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$85488B47-6AF4-49A8-8251-20907295D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f5e32092beda518f93689f71b709ce71d34c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4501665,"id":"Q4501665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$1C27C2F7-7ECE-43CB-8299-DF3D17BC20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$381556A7-8F8E-4760-B66D-4DCE95DCDB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$1F314B5F-71EB-4189-B705-B11DF1D2D6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$66A0EEAF-07FC-479F-950A-DC56EF5EC350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860867$A49115A5-EE79-4550-9B44-3091393828A7","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":"Q860867$76A3FE32-E6BF-4D55-A26A-9FB201DDE013","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"941785abd0dfeb4502fadda5b7c780aca311cf65","datavalue":{"value":"10.1016/J.TCS.2006.07.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860867$5C96CFAF-A960-45CE-83EA-180ACE7C441F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observations on determinization of B\u00fcchi automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observations_on_determinization_of_B%C3%BCchi_automata"}}}}}