{"entities":{"Q5144625":{"pageid":7174196,"ns":120,"title":"Item:Q5144625","lastrevid":100344314,"modified":"2026-06-05T21:54:30Z","type":"item","id":"Q5144625","labels":{"en":{"language":"en","value":"Regular separability of one counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297827"}},"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":"Q5144625$D2EE8D28-0F0D-49E5-BDE2-7445088C3FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36412be4e15a895f82783d854401b23bff9df512","datavalue":{"value":"1457.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144625$4A9603BB-9D9E-4937-8066-5A06C64530EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144625$45C1BA3F-784A-4957-B5BE-F549ECF161F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144625$B21AC9B2-239C-41FD-B42D-0813622777F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144625$1C75A829-B803-467C-A54D-809A960310BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17f56b3caf555666eac171f2cc03d9f1dfa18e32","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144625$8BE972C4-DE30-4C26-9513-516350C93720","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144625$C292A8CD-F5FA-4739-91DD-7AC80DA52F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0419dcd863ad7a852e3558924cfb479a275a071a","datavalue":{"value":"7297827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144625$3514B2AB-F2E8-4976-9CF4-C222A4EDEBE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0376caf85aa1a227286aefd8a6a03d3ee7a698","datavalue":{"value":"one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144625$AC83F3C9-7ABC-4F87-B524-A682976A26C3","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":"Q5144625$FD941DC8-4EA7-4D83-9EB6-498E9EDA22B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c03db4d254975337bb91c5a2100ca1552efc47","datavalue":{"value":{"entity-type":"item","numeric-id":4968382,"id":"Q4968382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287363fce7fe9bded3f238717e4d3d5c4b8251d0","datavalue":{"value":{"amount":"+1.0000025033950806","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":"Q5144625$2EA01B20-3A26-4D66-BCAB-8768A31F049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8557a054f56f8bd13f90bc7f7116d9ff36a5bbce","datavalue":{"value":{"entity-type":"item","numeric-id":5111449,"id":"Q5111449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da617444ddc3d7d646f142eea49bcde9d440748c","datavalue":{"value":{"amount":"+0.8478435277938843","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":"Q5144625$1511862A-D90B-4702-82B2-BBC6FBA4256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b7d950ff5b2ba17116f0c989f69e6b7be08bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4635660,"id":"Q4635660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b8e59bfdc7793e98e1f749f7b7bd839efe6d16","datavalue":{"value":{"amount":"+0.783380389213562","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":"Q5144625$4C447BE7-0692-4D8F-BE73-1FE72CFFCE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baffd812f51999b440e29740ce463831d215fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab3c6b30ef091168ba323f81272fede47cec280","datavalue":{"value":{"amount":"+0.7779427766799927","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":"Q5144625$B4A56CBE-60BC-4258-A0AE-793876D898F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb8c22d33ed68512b067e527d8228771d4bfad4c","datavalue":{"value":{"entity-type":"item","numeric-id":2637644,"id":"Q2637644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ba53df26c020305ec40e926ab6a13d4c14ac00","datavalue":{"value":{"amount":"+0.771403431892395","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":"Q5144625$B705E963-981E-44C9-958D-62BA01B0CF7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular separability of one counter automata (scientific article; zbMATH DE number 7297827)","badges":[]}}}}}