{"entities":{"Q2958531":{"pageid":2969250,"ns":120,"title":"Item:Q2958531","lastrevid":79804862,"modified":"2026-05-06T14:44:49Z","type":"item","id":"Q2958531","labels":{"en":{"language":"en","value":"The fixed-parameter tractability of model checking concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680145"}},"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":"Q2958531$BB6EC38C-0480-48DA-A0B3-4643CCD9DA48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0165272df1531aa3efee7011201169e9171158c","datavalue":{"value":"1356.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$65265B5E-D011-4A7F-A618-ED60E8FE3D42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958531$73A44E5C-2E3E-4CBC-B050-DEE6CB449F88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-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":"Q2958531$4BEC8D62-49A8-4B8B-BE75-90BE539B38CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$C4154747-11E0-4FEC-A674-EBC0FF0CB2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$EAB2B1DC-5B34-4B40-A05C-23D9AE4D9612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$63897AB6-8A54-4A5C-9963-81BBC7CDBE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$1A512145-2BD7-4CC0-80FF-028A60B0EE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$E4816A5C-B5BE-47C5-901A-A0F76A867AA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"684382e03fd9501c75cd9a4ce4aaf3bf6deb9f9d","datavalue":{"value":"6680145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$5BDCFA6E-510B-4A18-B113-3E5546C3F4EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958531$4352F6DD-981C-45DA-B353-F03995C1CABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958531$19738EF7-801A-447A-82BF-7AA0C8046A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958531$5D25CCA1-63E7-4479-93B5-657BF5ABFCE8","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":"Q2958531$428A3501-BDCE-43F8-9501-63060FEB295D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adda143dd397045fccd221340d85f06693b2e151","datavalue":{"value":"10.4230/LIPICS.CSL.2013.332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958531$30480C56-FEF2-4B7F-A9ED-031F2452BCDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b6a53a1affc562967ec506b64a6cc88383f862","datavalue":{"value":{"entity-type":"item","numeric-id":2904757,"id":"Q2904757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c195cf966614859957a4035bf1780b95b53a97","datavalue":{"value":{"amount":"+0.7842060327529907","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":"Q2958531$F64C320A-E494-43F8-873F-EB5E210C0EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9740cdcdae4de2b880d046a57d25c55a9662d54","datavalue":{"value":{"amount":"+0.7702377438545227","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":"Q2958531$0A8CA176-77A2-49D6-BD19-098BB0338DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0837e66ec849edbc28348c0fc220eb224ff9bc5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900568,"id":"Q5900568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd99a8f47444b73da7d1274aa0f7db039eb8d556","datavalue":{"value":{"amount":"+0.763579249382019","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":"Q2958531$023FFEAA-D08A-4B9C-9123-9BBE5D5FF0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f38dfd142a5394326546feecbf64ff27affcc9","datavalue":{"value":{"amount":"+0.7623660564422607","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":"Q2958531$0AFD45E1-6420-4846-B00F-7804EB19C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0c65a45deca12a034666a182ca52cf1056909e","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf6e21ca357f903a81b3baeb5f7495183e54ad8","datavalue":{"value":{"amount":"+0.7571237087249756","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":"Q2958531$3511D260-752E-4B9A-9D8F-52ECD8D519CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The fixed-parameter tractability of model checking concurrent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_fixed-parameter_tractability_of_model_checking_concurrent_systems"}}}}}