{"entities":{"Q5875944":{"pageid":7905495,"ns":120,"title":"Item:Q5875944","lastrevid":57325641,"modified":"2026-03-30T12:29:14Z","type":"item","id":"Q5875944","labels":{"en":{"language":"en","value":"Continuous One-counter Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650599"}},"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":"Q5875944$75583B1E-EDA3-45F6-B645-3A15DCB479FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ea57ba11eac895fb053507c235bb2d74d2c94a0","datavalue":{"value":{"text":"Continuous One-counter Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875944$15E19FEC-D7B9-4C98-8EED-6C92A47BA657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e132155c26c6024a3a7a048688ee0813ae0efb0","datavalue":{"value":"10.1145/3558549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875944$816C0A05-301F-4468-8BCD-9ACAED1786EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$34B7B55A-8E34-478F-B1C8-8864DD94330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"541d7aa7cb6aa6c832f0931d5f6f0f39b7a57f0a","datavalue":{"value":{"entity-type":"item","numeric-id":5875943,"id":"Q5875943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$215CD414-612C-4C34-84A9-26578CA49F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$181E3101-0C32-4B60-AE89-4117107EAED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30dfb3f6763ccb7675aa78ce349632554d37e54a","datavalue":{"value":{"entity-type":"item","numeric-id":2233487,"id":"Q2233487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$FD121676-6E37-4C7E-A8BD-6E0433101E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ddb7731189a0bd2a79fd0deca3c370c746820b4","datavalue":{"value":{"entity-type":"item","numeric-id":344559,"id":"Q344559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$3FD93BBB-3DE6-47BF-9516-E969EFB1FF99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$F306DCB6-FDF4-4F08-B4C4-FA962A5B2A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875944$3D5E1703-615A-444A-B344-886E61C0F9A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1aebbc49b0f7595c71f18b0ebf056e8f4e66c054","datavalue":{"value":"https://arxiv.org/abs/2101.11996","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875944$6078114D-CE8B-4188-BABB-1B21B8895854","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875944$95231710-9E73-4998-BF3B-240B2822810E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875944$985A6DD8-B307-4D55-B14B-7643678EDD4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3035088e26f919575bbe1de3af2f291ac5bd68ca","datavalue":{"value":"7650599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875944$CCBE9A90-1B33-4346-BBEE-4472CA456BF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875944$98ABFC27-A88B-45EC-AD9F-4540102322A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875944$083A4ABC-A31A-43F7-A186-2128AEAD0578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed0dee28982e79092d5a743c828a43fc021f62a1","datavalue":{"value":"parametric automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875944$10707BFF-5792-4FB9-9F75-AD86761FF0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a46b7e60ac80ffc118406f0df9e720d3f3b13f","datavalue":{"value":"continuous relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875944$B2CEF2F8-381E-487F-9C32-D2B0EBD54754","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":"Q5875944$A1EBC326-4C1E-45C9-8119-5100B313E23C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46ce5117d7fac67f46b528c8280b03a84b14307","datavalue":{"value":"W3123946441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875944$F5DBAA03-0706-4DB4-904E-84EB6ED7BD72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$B8DE9F0B-8016-4DAB-9640-0128CEF432AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$0F2A0D1D-336F-4334-9E7B-B2BD594803DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$97BBA8B2-144C-4D87-BC01-F7C5394B0267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693235670f9144dd7d54322aa116a9717dfe40a7","datavalue":{"value":{"entity-type":"item","numeric-id":5144614,"id":"Q5144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$17D83981-5A5F-4BD3-839C-9A2AE2C9EEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdd7e7c1a282520adc999addfee5d89ef00f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4972731,"id":"Q4972731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$0D99B298-61C1-455A-9893-03E1343B7E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b163d9e2d8a76696fb6321394c7b89aa7c4b47","datavalue":{"value":{"entity-type":"item","numeric-id":537953,"id":"Q537953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$EC707C81-81EE-45B5-BCE7-45692259C384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd90f9daaeb4d762fab84117a161e37a40441abf","datavalue":{"value":{"entity-type":"item","numeric-id":4293543,"id":"Q4293543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$6DA866BF-0FDF-4404-8A6C-3A7BC40B6D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c44aa82d83f0c7bc5c59f30b4bc65d87c7eafe0","datavalue":{"value":{"entity-type":"item","numeric-id":515666,"id":"Q515666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$A6C605C1-B7DD-4821-958E-03E03F82367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$B8F9B94F-61CA-4E68-A161-69015D9A741C","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":"Q5875944$C7F7D94A-66EC-4D77-A12A-98BC1D7ED408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$F14E802C-7119-4294-8632-26DF2E773C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1014fde4077be02a2601658792b1c2731e0e6b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4899143,"id":"Q4899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$68AD083F-86F3-4172-BC3B-A37C8758160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1994acbc8f1d8036343162822ecc9d24c1f3480","datavalue":{"value":{"entity-type":"item","numeric-id":4630270,"id":"Q4630270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$E0401627-5CC7-4545-B278-A1648F0ECD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$8D793C60-151B-44AE-8046-94E6127030EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$09AD9A2A-D43E-4867-B63C-3B8D241E63C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$3478C146-024A-4B6B-A40B-2F8152437C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$7AC4B0AF-8527-486C-BD4A-9544B1A372E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfce0c06de5645e33e81141a9d32398ea1f4d485","datavalue":{"value":{"entity-type":"item","numeric-id":1063589,"id":"Q1063589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$9BE52380-E8BA-427E-84C1-B47E0CC2B9CC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32a55e8e49e49ce0f155d9d7e90fb30d28450bc1","datavalue":{"value":"Q130949715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875944$02FDBFDD-1074-487A-B17A-A89EF03DAEB3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875944$010714F1-9826-4776-901C-5E738284A9E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875944"}}}}}