{"entities":{"Q5875672":{"pageid":7905223,"ns":120,"title":"Item:Q5875672","lastrevid":58615845,"modified":"2026-04-06T00:43:19Z","type":"item","id":"Q5875672","labels":{"en":{"language":"en","value":"Complexity of Liveness in Parameterized Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650334"}},"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":"Q5875672$76759927-9BBB-419B-84C2-9BEDD8390619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92ca3594d7071620c61c389f386775a6e0c02023","datavalue":{"value":"1504.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$98ABA55A-B9C4-483E-B378-A2BD7DB58F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"632b2b13417fdf201c1dbfcfb4a5ba17a2586125","datavalue":{"value":{"entity-type":"item","numeric-id":2208300,"id":"Q2208300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875672$A9BD858B-2EC0-4923-AF00-FAEA957110F9","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":"Q5875672$B58543FF-A556-41C3-AAD7-51A53413D6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c9e52031a5706f049b4a3c6f99d07154b104d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208301,"id":"Q2208301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875672$3C6C6EC2-3552-4B7E-A663-FED2F83CEDAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-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":"Q5875672$89D416CB-7290-47A1-B8A2-E7AAA8A4D476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c1150811520dbf2fd6b995a5af1bf4bb86d13e6","datavalue":{"value":"https://arxiv.org/abs/1909.12004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875672$21C9FF87-3BD1-4A75-A71C-2EA5AEC74264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$EFF61DC5-AF25-4F77-9F5D-04CD80B1FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$45C4A922-0C29-4F81-BA9E-42C5A658E2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$5C5140F6-E8D0-4FD2-864A-8CD515C12D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$A6E8BDB3-43D7-49F5-9431-0A44AE8F2DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"414e4d250a5b5aff17aef1b7625d5d796ac2485d","datavalue":{"value":"7650334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$34DB97B2-3477-4F9C-9F90-3CED5EE4F678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738023574695fe195a4b16803abb76c924a4fc6f","datavalue":{"value":"liveness verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875672$A1CAD7C0-A1C1-4CFF-A186-2AB673D13D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6662364db17862eb88962f414bb00491088635","datavalue":{"value":"fine-grained complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875672$3435A606-5DA3-4E2A-80B7-99767CFAFB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875672$2E660F4C-837D-4C01-AB33-A369D4118E51","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":"Q5875672$CE2402E7-4178-411D-AB1F-34549371211A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1cbd01d7c36a3a435794cc1581713a61f6b72fc","datavalue":{"value":"W2997453351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$5297AF30-05E4-4029-8A48-EA21F648D8D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47ce2ebf8c6c70939896c898870b7da72a1021f2","datavalue":{"value":{"text":"Complexity of Liveness in Parameterized Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875672$69E0663A-39C4-4B8A-86A9-CF0142EDBA4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7fea883700af7cc949e2d7f04c2c7d34383b161","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2019.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875672$877B44D2-D429-4340-9BB4-979E88D969BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3ac429cd5b7b2e267856ac44ec1770eb09bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f2c1155d8b390dde8842f6c41f85a1e3a70d05","datavalue":{"value":{"amount":"+0.7715699076652527","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":"Q5875672$2CFFDE86-2145-477D-9CF0-FAA26807A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36a3f6104230163279f6b2a08f2a9eef2d0c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5919003,"id":"Q5919003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308fa001e36bf13569bc1e5ba7875f989e8e6876","datavalue":{"value":{"amount":"+0.7705464363098145","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":"Q5875672$56D7355C-1631-4F85-B3D2-C206714C4DE0","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":"deb991c49dcff8ceb9d7995127fb607a7c769148","datavalue":{"value":{"amount":"+0.7379697561264038","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":"Q5875672$F7A918EF-0FD9-4515-AB92-EFFB98B0971A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875672"}}}}}