{"entities":{"Q3168197":{"pageid":3178907,"ns":120,"title":"Item:Q3168197","lastrevid":80186441,"modified":"2026-05-06T15:37:31Z","type":"item","id":"Q3168197","labels":{"en":{"language":"en","value":"An improved construction of deterministic omega-automaton using derivatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6100202"}},"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":"Q3168197$C69D9323-0B51-4B5D-BE96-D0DD5626670D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"486300839e85e0b4c42ecfdf653eabe38177d7fa","datavalue":{"value":{"text":"An Improved Construction of Deterministic Omega-automaton Using Derivatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3168197$D13890FF-DABF-4E61-946A-C7B1AB139711","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"776cff5aee9ffc9a5dd4f1fb8b3dc4f37c83e9b2","datavalue":{"value":"1279.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168197$1AA4262E-98B5-4415-8D41-AB55786AD56C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"772f41d8ca9e9596912b0e6153fb512e148eb2ec","datavalue":{"value":"10.3233/FI-2012-744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168197$576FD89E-B8B1-42A7-AC12-76D83CC9FEE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a817e2576174494e80a4b61a10017239a494e0f3","datavalue":{"value":{"entity-type":"item","numeric-id":1082086,"id":"Q1082086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3168197$A9663F58-4788-4791-8570-6B533C0681D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3168197$67AF8160-FE47-44A1-A5D9-D134D2B9D200","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78850d0f93143245d71b956be1f4431496cab06d","datavalue":{"value":{"time":"+2012-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3168197$7FE7D0C6-389B-4A06-948E-2773022C4710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168197$A424F3AC-67DB-40FA-81D4-CB75984ED9EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d0a99e58165621c92168450180159cb451f8f3","datavalue":{"value":"6100202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168197$4CC355CE-4B19-452F-9DC4-6F1AC347FA9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de46cfbca92ad52762898f3d0f1b596bfebf0e2","datavalue":{"value":"deterministic Omega-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168197$69ABD087-3368-458D-A3CA-95E488899CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869804c54fc67421013d4b873822c9383db054ad","datavalue":{"value":"derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168197$53C63725-6620-4173-9510-CE86EB498526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a614542bc59b8fde249f84909e9fb4bb3c3c006","datavalue":{"value":"\\(\\omega\\)-regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168197$8B2E786C-0830-4D78-A095-29C89E1FE217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c873c88fe67327d161a38e6de775ebbde159ad","datavalue":{"value":"Safra's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168197$22742E5F-F7EC-4DFC-B949-CC46F9A56C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168197$3E70C436-C98D-451A-8CA8-8B44A039B6AC","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":"Q3168197$7070D73A-4746-467D-8B88-B090D94B8615","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"193bf7f57bc4a32edc51f43a53bcce82b2f84241","datavalue":{"value":"https://doi.org/10.3233/fi-2012-744","type":"string"},"datatype":"url"},"type":"statement","id":"Q3168197$68786FC1-4881-4B51-B0A0-B99EAD799976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72aa3afa5953a96f6c99df863b696e00b0906c6d","datavalue":{"value":"W1599236338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168197$DBF7ABFA-3919-48BB-9971-84B0A5992048","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4016b47e615578f71b078970015a62d86d03fba7","datavalue":{"value":{"entity-type":"item","numeric-id":4265535,"id":"Q4265535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb8d3fb9bac5e4a54544b9b52c9a3b77c19744f","datavalue":{"value":{"amount":"+0.93067467212677","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":"Q3168197$E0CAC72F-395C-4BE5-A9F0-B0DB170BD973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0556532043a1bb2fe1cb5feb3d35770940b4a13","datavalue":{"value":{"entity-type":"item","numeric-id":2799180,"id":"Q2799180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5144017f39b37d1069bd5c1ad443c410d7d0d237","datavalue":{"value":{"amount":"+0.7995139956474304","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":"Q3168197$0BB86D03-4DCA-4E2C-9EAA-C1B5B8F36762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a02a26b10b7a15d340c8330c520397781616f59","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0885fba55fd13ce004078be96d1575c8d713a198","datavalue":{"value":{"amount":"+0.7610315084457397","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":"Q3168197$1AC9B334-1393-498E-A325-70DEDBF84E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb2364d47e0cbf1352d3f0287ea706052a44f10","datavalue":{"value":{"amount":"+0.7610313892364502","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":"Q3168197$1780076F-B246-4308-A294-0DFC4DBEFD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dada2f96ceffa04880c3b79aaf32935d8bd2896","datavalue":{"value":{"entity-type":"item","numeric-id":3095043,"id":"Q3095043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9d4ca6d2408fdbf6211a29221085641bc20791","datavalue":{"value":{"amount":"+0.7422985434532166","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":"Q3168197$F7E652A0-3205-4351-A78E-76F3C2593319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved construction of deterministic omega-automaton using derivatives","badges":[]}}}}}