{"entities":{"Q4968382":{"pageid":6997961,"ns":120,"title":"Item:Q4968382","lastrevid":58378215,"modified":"2026-04-04T23:15:28Z","type":"item","id":"Q4968382","labels":{"en":{"language":"en","value":"Regular separability of one counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080196"}},"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":"Q4968382$F020295B-8064-4475-A333-72A04A47453B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"169073943a504cd0225e3ec649039cb7f1b276c6","datavalue":{"value":"1440.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968382$E5C14722-32C9-415B-8CA5-D0BBEB1E5680","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":"Q4968382$BA931AFF-45C1-4134-A34E-179C3FC191E1","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":"Q4968382$4531A327-50CB-465D-9359-5D0878E8F3A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0eaf95e77ca1b4130000107923cf17e957ee1827","datavalue":{"value":{"time":"+2019-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4968382$A1B6F2DA-8627-4B62-9431-AFA6117D41D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c3d0694c9412a6719585de686219396025e5487","datavalue":{"value":"https://arxiv.org/abs/1701.02808","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968382$B2E47932-2F01-44AD-AE4D-553983747712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968382$957F844C-7FAE-4EE6-BAB7-0818338E7E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968382$397F2203-4109-45C7-BB4A-3F3299643AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968382$E188CE30-2756-4E36-8480-91292F658FA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f014c63f7084f6175419f771adebba634a2de4b","datavalue":{"value":"7080196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968382$C34B6A72-80D8-4855-821B-90EF5BDF93E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007380182b71b9dada928e5316e6bd223386e50e","datavalue":{"value":"regular separability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4968382$E31F35CE-6A79-435A-8851-132DC8708527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0376caf85aa1a227286aefd8a6a03d3ee7a698","datavalue":{"value":"one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4968382$64B04BF7-A2F7-4CDD-8E79-2B23DFBADA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5fce3c20796dc896872e3b7ff9a517c2935e340","datavalue":{"value":"one-counter nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4968382$13B49F26-84E4-4C30-A9D7-E31044AEE7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4526724ec8ba56aff2be3768c01e689f8bd217e5","datavalue":{"value":"vector addition systems with states","type":"string"},"datatype":"string"},"type":"statement","id":"Q4968382$C5FF508F-1460-4E05-BF42-33817ED147BC","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":"Q4968382$81CA41ED-29A5-4F61-9838-2FE6BF7B4FD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7875b52ab4fcf3e5d69b03fceaaebd35254d1b0","datavalue":{"value":{"entity-type":"item","numeric-id":2770662,"id":"Q2770662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$D2F945C7-C15B-4799-A357-FD9B265D6AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a18c14124be8c8b5a6d4d22db1b61f5504f8bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4635876,"id":"Q4635876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$6A21CA18-751C-4222-9704-E8907A06FE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$545A2AD6-2ED3-4A1C-B15D-E61417D28D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9a01fe70eba2200ad544329c398d78ea2bdbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4598270,"id":"Q4598270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$47818712-1D3F-4D9B-9497-CFBAFB7D98C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce33d64f780e403cd770ae6d3fbf4629ba30f834","datavalue":{"value":{"entity-type":"item","numeric-id":5111449,"id":"Q5111449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$3B80FA16-7C91-44A0-925B-AC478F627E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5938f2a9c5ccafd5c4667d4ca10e26a431a5e34f","datavalue":{"value":{"entity-type":"item","numeric-id":4636622,"id":"Q4636622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$E6BBA381-A9AB-4CA9-A736-F5B620924168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0f213b38801e136ce0f118cdd047b98a551b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5144625,"id":"Q5144625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$EC054B3F-6F71-4D5C-A4AF-32C1E222868D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f525e4c279ed1c59a7967087d92701ef26b0157","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$F06806C7-2895-4863-B558-7768A93BCA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfc5d37d7b0502fdcf6b02ef7d27d88b153b6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5327430,"id":"Q5327430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$522C6DB6-BD8E-413F-9688-7E47D245A95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ada71a92d72dc461ab64d798056a73f71504ed","datavalue":{"value":{"entity-type":"item","numeric-id":2947878,"id":"Q2947878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$128D5895-181A-4781-BA4D-9C849F782EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22721c9f9d7acd782039555457472cd130b8d08f","datavalue":{"value":{"entity-type":"item","numeric-id":4035235,"id":"Q4035235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$45544823-D6A9-42E3-BFBC-0C2F1899E438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641b6fc21edf378249372794a9ba864057f363e9","datavalue":{"value":{"entity-type":"item","numeric-id":4635903,"id":"Q4635903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$56A3BCAC-0EE4-4726-B74C-037B93AA7121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2557de950871aba3cd786a2779ef86703e6c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$194CC41B-6DBB-4E98-B766-CE5CAF575955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b20294c167c0e34b0f0465d6e0ce632267e27f5","datavalue":{"value":{"entity-type":"item","numeric-id":5090970,"id":"Q5090970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$719EF342-A7FD-4652-8605-B6D3A94DEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd962b49c416718dc0f4c22437557f3716d1ac6e","datavalue":{"value":{"entity-type":"item","numeric-id":4598238,"id":"Q4598238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$E4B24057-220E-43DA-A016-B8B0A0FE2750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$03901D8A-55C9-45E1-BF66-C664EE32B74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b6cc15040ded0c6c1b285574a73450f656b5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3962487,"id":"Q3962487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$FCC0A4E1-509E-42E6-B0C8-CD7D6234C78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$3B40AC2F-6058-4AA5-B04A-BC1502A6CEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20d0c59e7dd6e80dfeda3e37f20a9bbf0232efa","datavalue":{"value":{"entity-type":"item","numeric-id":4449212,"id":"Q4449212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$4C304D21-2A77-4EA2-A970-C9169D7ED7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45c3b4d605ee4ca191b1f99adbdc58e34959fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4635951,"id":"Q4635951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$3DBDE840-A70B-4603-97CD-9EEB184FA302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a374b349ccaf3fb289aa5b38f06c2d2424454e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2963927,"id":"Q2963927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$3FDE2293-E2AA-4B10-80D1-B36C1C42499C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2554f139a1892b164554d6aa3ff0bd9990274327","datavalue":{"value":{"entity-type":"item","numeric-id":2849957,"id":"Q2849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$790C32E2-5DA0-4907-AF65-B027309C41A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e8adff7b8af51834283ec8ca88ccde8bc91d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5167850,"id":"Q5167850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$FB6362CC-BFD8-4E35-A318-1D7124094FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd5749752382c9fa1145e399db325bb2e1d191c","datavalue":{"value":{"entity-type":"item","numeric-id":2794672,"id":"Q2794672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$A3FB9D0A-1901-4490-9339-F2DC4436CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$640573E0-7527-4539-B7D5-1C252A1E1974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d180c98b7518dfbe30d0622a6092abf2ce9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3584961,"id":"Q3584961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$19C67C92-E2E1-4698-A9CE-0DEE8D3E0351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$61BF42A3-7FF6-496E-9A7D-F63C776D8456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650458b5ab245021f33fab280c1d85be828d5c06","datavalue":{"value":{"entity-type":"item","numeric-id":4151162,"id":"Q4151162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$80E482B2-049E-413F-8C6F-F738D786BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968382$F5775890-0670-4E6A-A351-3CEF264B0E51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d133c30ca6a27cb1bea6ae5b93b6d75d646dc523","datavalue":{"value":{"entity-type":"item","numeric-id":5144625,"id":"Q5144625"},"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":"Q4968382$5807219B-7C5C-472D-8601-6D9546584E73","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":"383fb15dfdcefd75f99742d9425c2942be5e679a","datavalue":{"value":{"amount":"+0.8478431701660156","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":"Q4968382$5D54F3A5-58BA-498B-9FD6-F3ED9681E9C6","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":"0d6cdffbfe84bcfeb177b6d4be7089d3bd0f00b2","datavalue":{"value":{"amount":"+0.7833804488182068","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":"Q4968382$45181F0E-87AE-44A8-8CD6-A86E93BAB8A8","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":"b4b8cdc861a3ccb11bec2f3bba961da7b72ddfb9","datavalue":{"value":{"amount":"+0.7779430150985718","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":"Q4968382$48828CA3-8224-4C3E-BEFF-D14D602E1F8B","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":"Q4968382$DFC1674D-4B13-44DE-890E-4E50D087AC61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4968382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4968382"}}}}}