{"entities":{"Q4994942":{"pageid":7024519,"ns":120,"title":"Item:Q4994942","lastrevid":91810058,"modified":"2026-06-05T00:07:47Z","type":"item","id":"Q4994942","labels":{"en":{"language":"en","value":"Simplifying nondeterministic finite cover automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361962"}},"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":"Q4994942$9232B776-932E-443F-857E-6706DD1E15F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db860dd0df3c93136c4e951e1ea7e7016b684cab","datavalue":{"value":"1464.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994942$578AC47B-624E-481B-B72E-C2BB217D9C89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994942$8725D0D6-4D95-4311-9D6D-F0D9BEA6BD3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f045def8ad1be6e3636f41f2d259badc6727f98","datavalue":{"value":"https://arxiv.org/abs/1405.5601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994942$E70DB92B-2DB7-4A22-9F51-31547948B401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c59eb282ec8c4155519e45ee5b42bd81ca6d387","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?AFL2014.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994942$F9669667-5F75-4E84-8DD6-E5816E94BEA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994942$497381FA-6412-4A38-B38F-38BAD263A548","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03884f355a4151621c1334e0ba7b668f7be82ca9","datavalue":{"value":"7361962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994942$D75E4602-22BF-462C-B258-E2EF00154A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff705975a6cf1fdb9993e8539e3c80d17f10dc90","datavalue":{"value":{"entity-type":"item","numeric-id":960455,"id":"Q960455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994942$9A987ECB-5325-494C-A8E9-65C2007F7FE1","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":"Q4994942$25AB3BCC-85AF-4267-A5FA-A9AD534C5BD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23dd17b4396964168726b7d2077b3f5c038270d0","datavalue":{"value":{"entity-type":"item","numeric-id":2947414,"id":"Q2947414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1901e21673b434a1db9b669bc2b2da47a028539","datavalue":{"value":{"amount":"+0.8114503026008606","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":"Q4994942$4DAA34C3-7072-4A40-AE07-9CFB66140089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57944e674f1e19237a3695cb29555d4f16e17de","datavalue":{"value":{"entity-type":"item","numeric-id":2357103,"id":"Q2357103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fade29f1fff095a285de4a4d8937952af66ca97","datavalue":{"value":{"amount":"+0.8034468293190002","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":"Q4994942$4C923F1C-9B6C-4626-BBAF-59850AC836A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb89bcbadd86eec033ff43acddc46f8266dc170","datavalue":{"value":{"entity-type":"item","numeric-id":860858,"id":"Q860858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf187136e785c15c7df8b5398c6f8822e7fa123d","datavalue":{"value":{"amount":"+0.800196647644043","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":"Q4994942$9684BE4F-251C-4CDD-91AE-0B6433C3058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a273b0ae90a8a15a0dff67a66f006da47b74f5","datavalue":{"value":{"entity-type":"item","numeric-id":3021940,"id":"Q3021940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb1bcd369463dcc0a85bacf963bfa23c6c6a5f4","datavalue":{"value":{"amount":"+0.7889658808708191","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":"Q4994942$AEFC96E4-4302-4690-93C0-324973F1842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a74120165a56fde463c7feb2f6659923caaa50","datavalue":{"value":{"entity-type":"item","numeric-id":5897668,"id":"Q5897668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a285b857817d55192b15564de07bc0a2f3529cf2","datavalue":{"value":{"amount":"+0.7885295748710632","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":"Q4994942$D87F7249-3B3A-4BAD-9969-A73F3757E661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplifying nondeterministic finite cover automata","badges":[]}}}}}