{"entities":{"Q6202207":{"pageid":13337094,"ns":120,"title":"Item:Q6202207","lastrevid":35704448,"modified":"2024-07-10T06:16:08Z","type":"item","id":"Q6202207","labels":{"en":{"language":"en","value":"Parameterized Verification under Release Acquire is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7824301"}},"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":"Q6202207$87744DFB-7EA6-4B08-9F76-F078CE3931DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04c74ec7187602b892458d31b0436cbb7f45cc6f","datavalue":{"value":{"text":"Parameterized Verification under Release Acquire is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202207$680C6636-BF5B-4137-8C41-354501A8A358","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"951a0e75ec47dc0d66b1438deb18034027d06205","datavalue":{"value":"10.1145/3519270.3538445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202207$4C51136B-30F0-4D30-8B25-699AC9B9BA5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"867112139141cf36afd4135a28ec3edd04e440be","datavalue":{"value":{"entity-type":"item","numeric-id":6202206,"id":"Q6202206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202207$6A8690BA-7774-47E6-AC3E-3D7E0B852ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e25637f2074190708da86c091957282a3e7a25","datavalue":{"value":{"entity-type":"item","numeric-id":2233443,"id":"Q2233443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202207$1063CD31-C431-46AC-A2D9-59DE524C034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202207$3E7D772A-3BAF-4479-ACDB-4E56F5546D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ebf4f99bf719e96735f654627b346eb40ef70ed","datavalue":{"value":{"entity-type":"item","numeric-id":2819805,"id":"Q2819805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202207$991EA825-CE81-4E3E-B214-5E94CECB377B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec6e6b7a34b05eee353b217d05b73cdf531ad049","datavalue":{"value":{"entity-type":"item","numeric-id":6120954,"id":"Q6120954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202207$34472C37-2B92-4854-BE91-39CFB10F326C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7022ae53c448f75d91b8223b5d0f2519da4678b","datavalue":{"value":{"time":"+2024-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6202207$EC1A9DB7-2709-44A3-90E9-576729341411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202207$CE99A38D-124B-4A06-B204-B493E8F156B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202207$6AA5818E-E523-4855-A2FC-2EC38230D04E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e302c78aa8e9b8829eddb721995804baf6b68304","datavalue":{"value":"7824301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202207$15AEC166-32DB-4E2A-B89A-39DB9C23DAFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202207$BDF5D342-C4F8-4D74-A32D-5DF9E32CE551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202207$86B45543-E7A5-479B-BA4E-8384C27B6997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1da814d23d7c2ec09f7f20c60cf36b19e966a30","datavalue":{"value":"release-acquire semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202207$CDA26323-F890-4CA5-A380-3D854183302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202207$1A715BB4-2732-4491-A987-332EA375A2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202207$00E79B91-17BA-4652-8E24-B6B4500BE219","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":"Q6202207$87C2DA03-6880-44FC-866F-07AA8D47E750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6202207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6202207"}}}}}