{"entities":{"Q3617728":{"pageid":5647634,"ns":120,"title":"Item:Q3617728","lastrevid":50618858,"modified":"2026-01-14T14:24:08Z","type":"item","id":"Q3617728","labels":{"en":{"language":"en","value":"Tighter Bounds for the Determinisation of B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535593"}},"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":"Q3617728$5DC82C7E-AF51-48BC-9E2A-6BB74F87043C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d6908ea7fe9aa893bba59a1a5c234cab7b75ee","datavalue":{"value":{"text":"Tighter Bounds for the Determinisation of B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617728$EE0C3968-DF6B-4FA4-A205-FD1BDBEC06DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f09df9ac196b87c19cc6b30e2f047fe382d458b","datavalue":{"value":"1234.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617728$B152E2DF-9C81-4BA6-9DBE-4D9B6CDB9023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86de3e553959991763b1d99c7b7f3e3b6fe04fd1","datavalue":{"value":"10.1007/978-3-642-00596-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617728$280441BC-5932-49BC-B841-5BE4E058AFC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$0701DE27-687B-4A9A-A0F1-636E759075B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$407B25C8-3C80-46D1-A132-7638AA595472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617728$145B0639-C804-4844-A16F-D1FB3F8A7586","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617728$FC414534-18DB-48E9-B16F-03DFEF97F0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617728$DB609E9E-21F8-41FD-BBEA-BA6A853C41A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"356373122c39ea393826b9d1d0956ec921016fa5","datavalue":{"value":"5535593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617728$01E23A08-5219-4B6B-9BAE-17D0F3310170","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":"Q3617728$836B6954-D7BF-4D9A-BBB1-371CFECDB649","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"321d62864abfe8a717746c7d39674ee54cb5fe8b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617728$48146C7F-745D-4836-9274-E191714C740B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67dc0fd2045a83ae11955db6587a6be71ac68fa2","datavalue":{"value":"W1528149868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617728$595BDE38-D779-4015-8EC2-803CCF20A790","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$2163D7F0-C7BA-4720-BC71-EC14367616B7","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":"Q3617728$90C82868-FEE9-4A45-88EC-C4743CE99EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$F8FB83EF-DF1B-4074-9F0A-CC9F62A6E966","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":"Q3617728$7BEEFF3C-0F13-4566-BC12-0BE5D8F11C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4653c4bce41e453d944c01560a098b2b498c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3518271,"id":"Q3518271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$41D7FEE9-39E3-4C6C-B2C0-217606AD54C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$55146F89-103B-446F-8DE5-DDC6BA020F91","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":"Q3617728$6464D5E1-4329-4F7F-937B-002D0BC6299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$AE22F760-BBE1-49AE-889F-0A7D90A89FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5d1a78a8dd9095d53b8a39c1445c835e906c59","datavalue":{"value":{"entity-type":"item","numeric-id":5609381,"id":"Q5609381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$A94D098F-092E-4AB0-AC5D-97A309DCD446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$06D42CE7-3FBD-4BD2-8EE5-676DEB4DDB91","rank":"normal"},{"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":"Q3617728$E9A4FB2B-9000-4D37-951B-EAD63E62773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814e401298d90eaa4e3c5f6c754e58784824de4","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$8BA543A3-683A-4653-A27E-11461203FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162c3b69b67cd9223f8e7b8527ad7574d868f35d","datavalue":{"value":{"entity-type":"item","numeric-id":989532,"id":"Q989532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$79F01854-DC31-4EA6-B9EB-5774C580AA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed0669ba523042b9186148d3c7b90c4747070a","datavalue":{"value":{"entity-type":"item","numeric-id":3136703,"id":"Q3136703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$92BE5BEA-6E4F-4234-92E2-03E62A40DAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f9c53c6f494471f72e1c0519150de6221c5ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617728$9B529037-4C59-419F-B8AB-53C42A852BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd585b1b2e5df1e5064eeb50b59f17275db54163","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de11bab1e5aa579392173d484b133d78e82e6379","datavalue":{"value":{"amount":"+0.8662459850311279","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":"Q3617728$C3CE1116-86AB-4F18-9803-C0A25CE26BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942c381afa7b827065ff879595611113ac99cd86","datavalue":{"value":{"entity-type":"item","numeric-id":989532,"id":"Q989532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873e2793bc56fcb00844d259fe94cb64aa0d6ddc","datavalue":{"value":{"amount":"+0.8339451551437378","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":"Q3617728$A91CB041-11E0-4FBF-8104-B1F72DFE29ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030d31e4263102d66cfbf4eb76a2b46229cea5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3638092,"id":"Q3638092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966315f944b14609015c64acb2b621fff301cc79","datavalue":{"value":{"amount":"+0.8317440748214722","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":"Q3617728$0328C540-3DC6-4CD0-9EEF-BE1B3BF948D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eb2512629bf8d278d1db29ab433bd49a61d0df","datavalue":{"value":{"entity-type":"item","numeric-id":4649286,"id":"Q4649286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0482bab468a750c5e2eedd0fcf4a0a7146f1e0a9","datavalue":{"value":{"amount":"+0.8179193735122681","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":"Q3617728$D7AEA167-84A6-4EC2-BF8C-743D63B5DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bca08890b0b29422a5b045ce9665b73c21a77cc","datavalue":{"value":{"entity-type":"item","numeric-id":897653,"id":"Q897653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5544574b1c44545f5f59a7c11606ff00c92290a4","datavalue":{"value":{"amount":"+0.817362904548645","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":"Q3617728$E482450A-0BE9-4751-AD04-0F80DF3CA3FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617728"}}}}}