{"entities":{"Q6176111":{"pageid":13310999,"ns":120,"title":"Item:Q6176111","lastrevid":58745172,"modified":"2026-04-06T13:52:25Z","type":"item","id":"Q6176111","labels":{"en":{"language":"en","value":"Scope-Bounded Reachability in Valence Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730631"}},"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":"Q6176111$1C3F6A99-29AE-4A0D-9E96-0854F4F9B120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1b5090116b192d4c2d3b0b4ceb39535aa38d1f9","datavalue":{"value":"1520.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176111$707923E0-6CD6-46D3-BB20-0B22F48C23C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176111$A3D7CE47-F134-475A-9881-595612246913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce959bb7d0b3282fafe8e2bd46699d06d45d5c02","datavalue":{"value":"https://arxiv.org/abs/2108.00963","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176111$544F96E8-FA7A-460B-9C33-290A6EC3A14E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176111$1BF1AF2D-1181-4253-9592-D682ECDF2B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176111$C2FC3F18-B956-49FD-8F85-BEA4FF8C23BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a71df211e8d64d5d4883937811627d5cbf3d00","datavalue":{"value":"7730631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176111$D08B55F4-6D36-4B14-A10B-AAD93D680736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47f4a2c65175916d00d26d776205d7524da37069","datavalue":{"value":"multi-pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176111$AC3DA3C9-FA57-43F0-99AB-5B61D3A8D558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd259e6fbae94d5d322681661eb1fb35e42d906c","datavalue":{"value":"underapproximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176111$8F8D7353-ACA0-43D9-BBEA-7C431F6FA8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484c08607d84ae6e53b0eacab05d384d420ad938","datavalue":{"value":"valence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176111$13A6F34A-C11E-419F-87CF-576698595A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176111$BB9F4345-5A86-4680-8D3C-902BD20270E5","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":"Q6176111$05F91439-0074-4BC0-95F5-3B7604B5B296","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf16fd6d98d21e2e3d5f231bcfb6a05ec4d93ecd","datavalue":{"value":"W3195738979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176111$F3E7D95D-0F4B-4FB3-B94A-C9C5DC142099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba154a81656e8e2dc393ff3929daa18411bf3d4b","datavalue":{"value":{"text":"Scope-Bounded Reachability in Valence Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176111$691E16E5-A68D-4679-99C6-E7E2B2AF3F75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0e1f815f7cecc079050670e18dfbf23e333e241","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176111$FB2BFAD1-DACA-4E87-A507-D63B9B09F055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb9dd3cd6d13dbaadd4175ee9b315cd7fac1c7e","datavalue":{"value":{"amount":"+0.8542697429656982","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":"Q6176111$3E979411-7E3E-40FC-B2C3-E96D5FEE91F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6d70ca5e036973744ece48c1e1806e1017e59","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b98621179e3b2bfa8a830d92869f438a0d7fad1","datavalue":{"value":{"amount":"+0.8334770798683167","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":"Q6176111$FB4B8644-B957-47B3-8EB3-CB88B56F22C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6bb3a82823eb495dc0510d0afb9f669a041f40","datavalue":{"value":{"entity-type":"item","numeric-id":2695487,"id":"Q2695487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f87ce0393896c49c047be87bc8ec91de3bce3c","datavalue":{"value":{"amount":"+0.8193671107292175","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":"Q6176111$5FC3BDE1-2BA4-4497-946D-7FD2F39C3A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a08e86ddaba6394fca8e32750924176840928b","datavalue":{"value":{"entity-type":"item","numeric-id":2957490,"id":"Q2957490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420e4bd1a6251df2ec26e91e1262afba118fa320","datavalue":{"value":{"amount":"+0.7959803342819214","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":"Q6176111$E9BD9C7F-2854-4A4E-A0A9-54B9225A3C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60f80419f5a99e76017339adde48539c129aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":5009426,"id":"Q5009426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba4038a69426498b9817cd27fe311430e8700aa","datavalue":{"value":{"amount":"+0.7726905941963196","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":"Q6176111$32D55E9E-04AC-498B-AE70-AF5BB56FA039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176111"}}}}}