{"entities":{"Q3177767":{"pageid":3188477,"ns":120,"title":"Item:Q3177767","lastrevid":86002895,"modified":"2026-06-03T13:19:03Z","type":"item","id":"Q3177767","labels":{"en":{"language":"en","value":"Parameterized Verification of Asynchronous Shared-Memory Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912576"}},"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":"Q3177767$B0AA686E-E88B-4B6B-B144-ED92EB860753","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c35edd81ac5bfdda0944514bffcf4a8036428baa","datavalue":{"value":{"text":"Parameterized Verification of Asynchronous Shared-Memory Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177767$2C369A0C-EF39-4CFF-908B-D83CE8B1306A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f02f182133bed5d1c0a7cc0431d0e020afce97cf","datavalue":{"value":"1426.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$AE95F946-0781-4AF7-800C-CE9D499B0B89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f0e7f77b1c96b4a926a9a4f5715ed736cc83edc","datavalue":{"value":"10.1145/2842603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$57E653E3-5A9F-4258-B770-2D920DE8AB6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177767$B9BBCDB1-49EE-4F71-B87E-7A03C296A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177767$38C7A155-D3E3-4DBB-8446-EF169A2B57A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177767$D8F89099-EF94-478D-A3DD-0BB04E358815","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177767$AF613805-8E5D-4FD8-955C-1F437ABEC465","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177767$E84EA848-3BB6-4001-A229-4B918A9AFE71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd63454b78d55c1a3feaa21bc9be078ed95ad69","datavalue":{"value":"https://arxiv.org/abs/1304.1185","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177767$1C8B6446-02BD-4936-A493-8F8AC3AC0C1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$C4B48101-89A2-4636-8BB9-14EF1062E1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$A55C3690-66E6-4E3B-9B8B-1008DB83FD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$BCDEAE7D-BA12-461E-A8A9-F3C254603933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$76DA46C5-BAC3-4555-96CD-9C67BFF00803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5cb0a6a93a49a27938df71251ea75b4a0ea04a7","datavalue":{"value":"6912576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$39031BF9-B7BE-46CD-98A5-2FAC37D24A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177767$C3FFF26B-2603-4A41-AAB7-82F894355B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10c97c28bf9957e48fc006e544b621967a1b2343","datavalue":{"value":"asynchronous shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177767$77F2A137-37C4-41D8-BA8E-F21F155E9AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177767$BDC39175-6CEC-4BF1-831B-E119F5CE92C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177767$62152C2F-7579-49E3-B7D8-0B946C72B3EE","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":"Q3177767$C55B2AD2-67CB-4A0F-90CA-1DD167E86E32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6309fa4d7ca1c96047389b5de6c17b71d509d6c5","datavalue":{"value":"W1662711380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177767$54FF5EAF-B8E0-4541-9F8E-4385BBDEA81D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fdffcc9edd95c99bd1b419a189f03a4e9847de3","datavalue":{"value":{"entity-type":"item","numeric-id":2164219,"id":"Q2164219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a5bf5d7717676bd15570f7b8feb9670be7c417","datavalue":{"value":{"amount":"+0.9164139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$73790B3C-FBFA-412D-9FA3-51D134A03E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ad9459bb8e292502c2ce8d9701cc4dfb507e08","datavalue":{"value":{"entity-type":"item","numeric-id":784156,"id":"Q784156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae243672acf17f1a09673f2a239da2e46eef067","datavalue":{"value":{"amount":"+0.91475296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$A4BFED08-1530-47FE-9B0B-20C401BC1727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3594adff24bd4f14111145fd0b84eda64b7c4ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3543300,"id":"Q3543300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433ef8619e27244e38ddc6c26935a259ec900f9e","datavalue":{"value":{"amount":"+0.9105791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$3AC291AC-7289-4A0E-AE38-6C92F2A4575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e33c13b43aa91f3a359faaf5c41032b8d67416","datavalue":{"value":{"entity-type":"item","numeric-id":5357695,"id":"Q5357695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d222c84763ce59ddef0fdafed4f7182ea60eb0","datavalue":{"value":{"amount":"+0.9081189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$11817050-9929-4436-8EF4-885E6A0F5152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aed15c3e8868494c143e530f984db1935924349","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d8f9f7458cc6469059abdc7e10c6b4a2decc27","datavalue":{"value":{"amount":"+0.90237206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$2B4BC627-FFB8-46CA-ABE3-8C325AF85AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7085ee087572c8048eeca907851ca06e65d99102","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9a518ca0aa689eb57b90afc22eb63b94dbbc65","datavalue":{"value":{"amount":"+0.90220356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$8FC0E123-C4C0-4135-8F77-922E6639BBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a01f5771d73134e53c2b0325ff9dceff2e363c5","datavalue":{"value":{"entity-type":"item","numeric-id":2891401,"id":"Q2891401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb60ec839952b2233c1bd48afceafb85b3b1371","datavalue":{"value":{"amount":"+0.8982601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3177767$EF8D9CEB-D743-4FE1-94B5-7C2B54A070E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized Verification of Asynchronous Shared-Memory Systems","badges":[]}}}}}