{"entities":{"Q2965467":{"pageid":2976192,"ns":120,"title":"Item:Q2965467","lastrevid":58076850,"modified":"2026-04-03T17:20:06Z","type":"item","id":"Q2965467","labels":{"en":{"language":"en","value":"Keeping a crowd safe: on the complexity of parameterized verification (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691385"}},"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":"Q2965467$17FC5C98-D60C-4F77-AEC7-5CBA998CC72E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50b40b12d8baf2ee97a60da87eaa883ba6ff48b7","datavalue":{"value":"1359.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$52E97B33-B023-454F-A1CC-DCBDB8B4AD44","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":"Q2965467$8B257CEA-08B9-43E5-8B13-84C34662C035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2965467$B25553AC-06F2-4CF6-8125-53620DBF248B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b5dbfcd6e3d7127740feec2b5222ee4b2c9bca8","datavalue":{"value":"https://arxiv.org/abs/1405.1841","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965467$FDD41CBD-D80D-4A65-B8B1-13DA6FB10E3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$3F6C15A0-37BB-4773-8F66-F34D93055F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$DC810D9D-213B-45E7-B51F-5EDB12D5E3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$8983F546-72F0-4062-AAA0-A1A356BC1200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eb6d4eebf3edf8dbfef10ba3b3bca8e9493d9f3","datavalue":{"value":"6691385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$1095AA5E-BE44-45EC-860D-5CFF8E029E8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965467$1292E0C1-1D8A-4FA9-A3C2-5DEE6F2F3D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965467$78232860-25C2-4A39-85D5-0A782C4006D0","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":"Q2965467$86FC7A08-D1DA-40D5-8FA3-BC0B06B535A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa21870ef88e798d2c5f8ca052aa2b2eeed3c950","datavalue":{"value":"W2277581924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$F8B87147-B0E9-4D0C-BF68-2A2CD48C869C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df7929ea95e0d078d4c6e7a4e6d919a463f760b","datavalue":{"value":{"text":"Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965467$7772424E-CFBE-4A9C-8C94-15A88DFBC10C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e90613ec0e703bca59847c01d1a91f760928894","datavalue":{"value":"10.4230/LIPICS.STACS.2014.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965467$414038BA-603E-4AFA-8EF4-8A26A9515646","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa8a0c4336e646769ad9d9c388805218b1918e","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc99351edea0cffff7f1a389bf538871183e45a1","datavalue":{"value":{"amount":"+0.7942948341369629","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":"Q2965467$842CD2DD-6681-4F55-922B-DE962F60C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39755ea34d9b606a93c4b7b2ca4b3733bf5122d5","datavalue":{"value":{"entity-type":"item","numeric-id":3177767,"id":"Q3177767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce72e9603bbd9c5cb89213ef69810368d26cb94","datavalue":{"value":{"amount":"+0.7901299595832825","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":"Q2965467$5968D961-DBC2-47F7-8671-6102F6FA0238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d132573a2125685a448282461c5fcef88252b3f","datavalue":{"value":{"amount":"+0.781268298625946","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":"Q2965467$DA07EC4B-3E3D-4458-AE96-D4ADBA751A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2e0aff707e14711904e4306b8c631806584f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d33da2f4346a901708f0dd338507021f216ce0","datavalue":{"value":{"amount":"+0.7744051814079285","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":"Q2965467$64B13E9B-7983-4DBA-A7AA-6471592142C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f479fbb7fcee580f1c74a8a2d9e1b87037f61847","datavalue":{"value":{"entity-type":"item","numeric-id":2368952,"id":"Q2368952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95840e04c0724b659a211e11c2628ad9a69689ee","datavalue":{"value":{"amount":"+0.7722491025924683","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":"Q2965467$E2452B15-9626-428A-B99D-2AE1B15CD92C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2965467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2965467"}}}}}