{"entities":{"Q1990502":{"pageid":2001244,"ns":120,"title":"Item:Q1990502","lastrevid":72239172,"modified":"2026-04-14T03:33:02Z","type":"item","id":"Q1990502","labels":{"en":{"language":"en","value":"How hard is it to verify flat affine counter systems with the finite monoid property?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965619"}},"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":"Q1990502$A713C0AB-0EF5-4ED0-B1FC-42145352C09B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ae170f4b6a65fe4e083784d21ac84f261f809f","datavalue":{"value":{"text":"How hard is it to verify flat affine counter systems with the finite monoid property?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990502$40FAB413-CA1B-4706-8DEA-2D89E22FD6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc7706448011eac83bb4255aed60fac1986707a","datavalue":{"value":"1398.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$DF57A4C3-7E3C-4E05-827F-155ED1036C86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e31c7703cdebeefd437763198b23c440c7ae70d","datavalue":{"value":"10.1007/978-3-319-46520-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$A0787E15-2E70-4815-A812-936138DC1ECF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990502$16A98D4E-97C4-48FA-B512-D5623CEC0971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990502$F2674C08-ECDB-46FF-A300-8B5C5D4B7217","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1990502$1307F8A2-4315-473B-8949-39E0A127E83E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d1cab7910a77a3bb0bfc3ea4579ea4fcf5202a8","datavalue":{"value":"https://arxiv.org/abs/1605.05836","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990502$7470BD80-D143-450B-8352-D6FCEC345E15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$8275BFC1-5C0E-4E67-AC68-2BD79C110C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$B7B0FF6F-2796-42D9-B546-81722484D13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$34CC65EE-F396-4899-BDC8-84AAC7E816A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$42BBD1B7-2950-40B9-BC22-C1CD9D8D2A83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b905d1a4462baaa23d5ae764f8f9f68342ab76","datavalue":{"value":"6965619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$0C09CC66-B473-4F44-AC0A-494FF1BB402E","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":"Q1990502$43C32CA9-7C3E-48E6-AC61-7F3538E51C95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4ccc44cdf5911c385700433ac4b558279f94158","datavalue":{"value":"W2400739323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990502$893D50BD-2BF6-43FF-AB00-C9C13EA90663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf37580c23209469b489f72776ed474f89593902","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4cbbaf0075a787ae04557ae3aa9ba817246d70","datavalue":{"value":{"amount":"+0.830998420715332","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":"Q1990502$64ABB8FD-27F9-41C4-999A-B088633A28E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a60713f33a858482cc4bb513268b0f992b076a","datavalue":{"value":{"entity-type":"item","numeric-id":2346416,"id":"Q2346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221877541005c264e2fcbed6857a298aced093b0","datavalue":{"value":{"amount":"+0.8256217837333679","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":"Q1990502$C51344AA-F810-4A32-94A6-CE17877F33D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2300ef07600f880942ad86fdfe4cb07feac06953","datavalue":{"value":{"entity-type":"item","numeric-id":2908489,"id":"Q2908489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b302b5fe6aa785572733a2a6879649129448958","datavalue":{"value":{"amount":"+0.8220565915107727","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":"Q1990502$E2A87473-6A13-4BB7-8E91-9FEA3816B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157269a7c87aa5c58e8e0065b9dbf87d6ebb0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbd73908241cfa8a4e8995697555fba55577499","datavalue":{"value":{"amount":"+0.8045092225074768","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":"Q1990502$94ED6B71-CEDB-4B75-8810-B25BC940C755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c31b74c97ef5af32307af99be4ea7d54b73cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3447697,"id":"Q3447697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72be75e20d6b35984e96cce1e998c56511906e0","datavalue":{"value":{"amount":"+0.7907788157463074","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":"Q1990502$464C3CFC-F8CD-428B-8A2C-EC37E4464C9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How hard is it to verify flat affine counter systems with the finite monoid property?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_hard_is_it_to_verify_flat_affine_counter_systems_with_the_finite_monoid_property%3F"}}}}}