{"entities":{"Q2169112":{"pageid":2179855,"ns":120,"title":"Item:Q2169112","lastrevid":54393635,"modified":"2026-01-26T18:15:20Z","type":"item","id":"Q2169112","labels":{"en":{"language":"en","value":"Computing linear arithmetic representation of reachability relation of one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580901"}},"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":"Q2169112$0C49DE41-E353-4D21-9F0B-6552C037EA22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5176a6088d6ac015b313dbf77c5f862074e2454f","datavalue":{"value":{"text":"Computing linear arithmetic representation of reachability relation of one-counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2169112$5E29B9C8-0DFA-43D3-94E1-C7CA198A10A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edb1ee6d5efdddcdfec39fda1f337a8eace03357","datavalue":{"value":"1502.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169112$4AE68983-9DB5-429C-864C-2639BE088780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f039f2b01bb14507c7783cd7cd096e4a708c2dad","datavalue":{"value":"10.1007/978-3-030-62822-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169112$2D542284-9F2C-4036-9F6E-6CFC5DDB3403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a630515e1295d31a9f8b532e6192b88df46edef4","datavalue":{"value":{"entity-type":"item","numeric-id":283420,"id":"Q283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169112$523FFD76-8BB9-430B-AC83-460DBA7D85E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169112$FDBEF313-1819-4F1A-B426-90934A4FB8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169112$AB89FBB4-CF5A-4506-8857-1FEC066C9BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f110baaf39fd4ef53119b3b88aa9b7a9c75c5f4","datavalue":{"value":{"entity-type":"item","numeric-id":395010,"id":"Q395010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169112$8100B2F9-641F-4633-8B4B-0D4AF4ED3FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2169112$EF5EF6B2-EA7A-47D0-9B90-378FF775434D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169112$A99502ED-10B4-4D37-B073-6C322980DC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169112$32BC2CA4-6610-45FE-964F-524A016628F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9346181e3b2edcc96530669b2ca4f5ddb2b40355","datavalue":{"value":"7580901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169112$EAF79F24-A79F-4A9F-A1E2-C904D604A528","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":"Q2169112$0B45FB99-2DC6-401C-9119-C29B699B813B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9daca32f9ceac0a6edadac42a289e9e328e5872","datavalue":{"value":"https://doi.org/10.1007/978-3-030-62822-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2169112$ED90369E-4E8A-4D11-9CF7-C856BBA71B4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce71df94593bcafdec475d8c88f68c67b5cac802","datavalue":{"value":"W3099341308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169112$AE2F5A65-9758-4755-9450-910DC2E6F5AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bd582f7782502972057aaeb7352901515b9d20","datavalue":{"value":{"amount":"+0.7895863652229309","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":"Q2169112$ECCAE412-CAA7-4B4D-BCFB-D5E71DC28BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbbcb33e42f6f1d123e344f39790356f6881a45","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b046026e6154dc0bf48d865ab72a90050914e55a","datavalue":{"value":{"amount":"+0.7367517352104187","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":"Q2169112$9DDBFD5E-D9BE-4042-A1F9-136C88470CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62953fb7c22793d180762065fd6536151de3b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617767,"id":"Q3617767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c3063e8f4bd43e69b7797e1948fd367dff1dad","datavalue":{"value":{"amount":"+0.734411358833313","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":"Q2169112$F57B676B-10D5-47CF-AEE3-23E39F0A502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37a78250a2355a46948d302622760c86605842b","datavalue":{"value":{"entity-type":"item","numeric-id":4636567,"id":"Q4636567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98d7902c8baeb618e54565866d05e86666dd2ae","datavalue":{"value":{"amount":"+0.7334845066070557","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":"Q2169112$AFD393EF-D382-4F3E-9FE9-A154073CBCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57145e470a412b148fffe5b986b6cf7585a5ede6","datavalue":{"value":{"entity-type":"item","numeric-id":4635876,"id":"Q4635876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378e503412f765f46bf09f1a4568e0f11ad63eb4","datavalue":{"value":{"amount":"+0.7279664874076843","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":"Q2169112$AA969AB5-9217-48B5-812A-D59F075DEC95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2169112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2169112"}}}}}