{"entities":{"Q436610":{"pageid":438377,"ns":120,"title":"Item:Q436610","lastrevid":51517829,"modified":"2026-01-18T14:42:50Z","type":"item","id":"Q436610","labels":{"en":{"language":"en","value":"Efficient inclusion testing for simple classes of unambiguous \\(\\omega \\)-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059712"}},"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":"Q436610$B8AF4147-F9F6-4CDD-980E-F2F0F7880286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43a609b39b2dd6c54f4f2cef8484cc7751458c51","datavalue":{"value":{"text":"Efficient inclusion testing for simple classes of unambiguous \\(\\omega \\)-automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436610$F54EFE3F-8F5C-40EF-8D68-196F53703B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5558f96f0dfc0c67323517594b04c06d24d6e25d","datavalue":{"value":"1243.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436610$F234391E-8016-473C-94E0-740DD4738EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ef74cfe2f5b12465950e22c84ee4707e530b8f","datavalue":{"value":{"entity-type":"item","numeric-id":436608,"id":"Q436608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$52C756B2-87BA-414E-9D69-1DF82C74C197","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":"Q436610$36C02554-B9AD-4608-8DC6-DF993DC4DFC1","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":"Q436610$7A202784-7A34-43FD-A7ED-94198A675601","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f54f5f40958cf95300fdefc35ba5b640104be76a","datavalue":{"value":{"time":"+2012-07-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":"Q436610$870764C3-996C-4A45-8B58-572F8D606DC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436610$53159783-8C5F-4181-9F8D-39DC66A467B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a823b863eac0d72cd4efd59f482c65fb183afa83","datavalue":{"value":"6059712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436610$5032CF35-137A-4E18-9EC8-CAD14DABF833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q436610$57F604DF-2BC1-48E4-B413-7A915991574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q436610$2B4EDF8D-8398-4035-A34E-582D50DBC53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d3fa8191b4d428a0e4371fcdc8fa42cdbc03e7","datavalue":{"value":"\\(\\omega \\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q436610$5A96D302-15B4-46DF-A5B7-7F00EA595F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa02d71c42148524a62adfd0d3c4d6107741d09","datavalue":{"value":"unambiguous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q436610$20A93987-E088-43D7-80E3-3DC0CD98E8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afbee5ed4d335f4b5bf59e0403717f9ce724883","datavalue":{"value":"inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q436610$7E5A555C-68A3-405F-9477-072881F236F5","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":"Q436610$AAFB813B-F822-4341-874A-9E919D3E5E57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"208e409e420e0d54fd9b64440db86356476e1ffe","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2012.04.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q436610$D432F201-195C-488C-AAE2-62999F1EB0EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2732386ad271be76257d940bc5b1c5031092a2e","datavalue":{"value":"W1969561112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436610$594DDCC2-9904-408B-850E-1F13F11031E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a7cfeece8562a9ac87120b107e2b528967937","datavalue":{"value":{"entity-type":"item","numeric-id":4773298,"id":"Q4773298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$C364AA6A-B5CA-4293-9375-C57950B8ABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc5de059245f854355989fa9ec6aaf669bbdc0","datavalue":{"value":{"entity-type":"item","numeric-id":1056553,"id":"Q1056553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$F932EE1F-771C-4723-B206-DD342B066A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61567bec04b92f85e8877d33fd2b3d2f797b95","datavalue":{"value":{"entity-type":"item","numeric-id":3564854,"id":"Q3564854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$C28AC613-1442-44E4-88DB-4861C14DDE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$3F090512-8C27-42DC-9CC6-32AE9641ED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$E0C44F5A-416C-446E-9730-331ED2D45B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53026eff20cf878e72e195ddde23952c6fed9319","datavalue":{"value":{"entity-type":"item","numeric-id":882435,"id":"Q882435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$0BC60B32-6D60-4392-902B-13708693BE6C","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":"Q436610$A0A4800D-457D-4C12-9D63-228CD5975A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$3E47263D-9605-4434-9F4C-C82E55D306AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa22c2a09da29028b32fbdec6997075843df5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436610$79D70340-721E-4277-B7D0-6B009A8ACD3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b612ad5258dbb257f98eaddb638c58302a8608f6","datavalue":{"value":"10.1016/J.IPL.2012.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436610$CEBF1166-C242-469A-A70A-2A97A79DA789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24c93222bfe20c865410ce3d30e5152a6aa9941","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501381c2b40866abaf2a12bb14e6481545c8033a","datavalue":{"value":{"amount":"+0.7871984839439392","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":"Q436610$DFB71560-2CE9-434F-9D3A-45CDDF917C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3fd0948ae81b076e72932616dbee598bbf94cc","datavalue":{"value":{"entity-type":"item","numeric-id":4508396,"id":"Q4508396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35f4adca15695d81859940f77df5e417d046548","datavalue":{"value":{"amount":"+0.7802594304084778","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":"Q436610$0D2F8983-FF60-412B-93F3-2CB93CFBBE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ecfa6596d2981b370fdded3e0be4129ad378d36","datavalue":{"value":{"entity-type":"item","numeric-id":3564854,"id":"Q3564854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d0d5346224453ecb18ca1b204a65c95726dfd3","datavalue":{"value":{"amount":"+0.7787811756134033","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":"Q436610$551FE77D-C16E-4007-876E-91C082D1B1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4a7fc3b6f62dd5109962ad5de15349c912107","datavalue":{"value":{"entity-type":"item","numeric-id":3540108,"id":"Q3540108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363fb02c82039776a8bd2e229703dc581662f77f","datavalue":{"value":{"amount":"+0.7682339549064636","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":"Q436610$BF9A34C9-BBA7-4D93-A5CD-329C43C3829B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d47e3c3dd13adfd57f8a7aa9da3a7b6dc25514a","datavalue":{"value":{"amount":"+0.7614524364471436","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":"Q436610$85395070-9F63-4656-BD32-BC6D0D5C3AF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:436610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:436610"}}}}}