{"entities":{"Q2894567":{"pageid":2905292,"ns":120,"title":"Item:Q2894567","lastrevid":44710128,"modified":"2025-11-25T10:41:31Z","type":"item","id":"Q2894567","labels":{"en":{"language":"en","value":"Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051386"}},"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":"Q2894567$46BB953D-1F35-4685-ADF5-91AEF73A9518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd7c07f81f8f33dca7bdea9a566495a1a5199943","datavalue":{"value":{"text":"Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894567$31099A9A-FCB2-443D-B937-027B1E02C024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bb3675cb1830b7a31fc37994514b5268e52ab00","datavalue":{"value":"1353.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894567$F0658321-7C4F-4802-813D-364EDE3184BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb6ce8d702036696e9ff7340ccf774fbf792898","datavalue":{"value":"10.1007/978-3-642-29320-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894567$A634282E-2455-478B-B8BD-D550482C6230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b49b3c52a8240c99375d19d584cbd7ca55ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2894565,"id":"Q2894565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894567$9D79ACED-7152-46E2-9D6B-9406FC5B0E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f2fb3fe9b0eb43ee256e4f322f4d1277e57f5f9","datavalue":{"value":{"entity-type":"item","numeric-id":499271,"id":"Q499271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894567$9F69BC50-13C5-4E7E-ABB0-F166B67B5C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ec8cba6a6b6a0f53b6659a4c81008ef74bf4df","datavalue":{"value":{"entity-type":"item","numeric-id":323782,"id":"Q323782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894567$DD67CBBB-3B05-4B29-8151-761DFE23FC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34be27dccc8e51d6fc463605d6d6e523071b86d3","datavalue":{"value":{"entity-type":"item","numeric-id":2894566,"id":"Q2894566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894567$930621B8-DA87-464F-822D-592800ABAC2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894567$CCA4058E-54BE-4EAA-9B07-AC660A88E61A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894567$CFEDE02E-61CD-4F0E-A4C2-96DBBBBFAAD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894567$DE12C6F8-0177-4796-B993-6E0609C685F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894567$FE39FFC4-AE6F-4CB8-A903-3C93C9762109","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc256b93a2db1775baceeb213916f1703c9525a","datavalue":{"value":"6051386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894567$2F568D08-4709-4D61-B0FC-F3822033407F","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":"Q2894567$0851306A-D11A-4DF3-9C1C-5E8600813261","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c735327218c370b860aa4ca20b53f810affd3d6b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29320-7_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894567$BE740CF7-91CB-4206-8BC0-A3F6E91404E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c75321108413b096499fde0ab75725c2da9dc992","datavalue":{"value":"W337288018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894567$3F20401F-6590-47EC-B642-24AE325F5D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eb47bca943826e3369975008fc18cf5b4c52f1","datavalue":{"value":{"entity-type":"item","numeric-id":989484,"id":"Q989484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc44b83c488e9dfa7029b3a3daa928196b78f41","datavalue":{"value":{"amount":"+0.8521026","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":"Q2894567$5208DE9A-1F92-4913-A0D1-7CC7FBCA1ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dbad2afe8066cdaffb349ee518d21a59f4b0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5009433,"id":"Q5009433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c49c4bd6959aa052ba613b97ad4031634adbe73","datavalue":{"value":{"amount":"+0.8485563","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":"Q2894567$AF202AE2-A1B6-4E84-9ECE-0ACD7FD1F1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0a6f448476e84b2b4c7d6466ed72c357cde354","datavalue":{"value":{"entity-type":"item","numeric-id":2864380,"id":"Q2864380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e605133aad05be34b84bf2f9f092d12a7363ac","datavalue":{"value":{"amount":"+0.84796405","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":"Q2894567$988B8A10-36E9-417C-B325-33DF4336BD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a0517dbac372c8f07c645e56c90ce22744d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4207590,"id":"Q4207590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362fe0e9f15b472000fb6f1490786d4177b41606","datavalue":{"value":{"amount":"+0.8475831","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":"Q2894567$5866B75F-A946-4576-8629-FEEA272AC6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49a40cfa369813986e8f85598175cd7d8f794df","datavalue":{"value":{"amount":"+0.8444524","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":"Q2894567$5F16F6B8-9C82-42E3-863A-02749CDD569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ce73149f1b65f2402ac5d8eea8c1dfeada37b2","datavalue":{"value":{"entity-type":"item","numeric-id":2947215,"id":"Q2947215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4f53a35e72d12a0a239f4b57ea6251cc09ced3","datavalue":{"value":{"amount":"+0.84299713","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":"Q2894567$116E0087-89BE-4057-A4FF-B9C5E8DA89C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d402d3128056cea002509d365282cf1f6da3259","datavalue":{"value":{"entity-type":"item","numeric-id":3517238,"id":"Q3517238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328dd36877bdeaf1a1f6ba53e8d7df329ce260b2","datavalue":{"value":{"amount":"+0.8408316","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":"Q2894567$8DC92E51-C014-459F-B45B-88FA067F7DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662fc802f4226c2954b259568f97d9c8977b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":4608682,"id":"Q4608682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac71ab00320a44a23456b7522a6dc855b10990a","datavalue":{"value":{"amount":"+0.8399081","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":"Q2894567$6E29B9BC-795F-478D-B4A2-351E702AE105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d95b292eddf13a784271527289d9227732bc33","datavalue":{"value":{"entity-type":"item","numeric-id":963328,"id":"Q963328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8138cefb7f478f15e50a10c424be5560d66db7d","datavalue":{"value":{"amount":"+0.8380179","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":"Q2894567$C9A3090F-D9E0-4D56-A0F4-5A54D76FFBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79a54a5aacae3f5aca66bd3ea851788946fe8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4633167,"id":"Q4633167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b375751b7110e027037f1f72f41b06209f883d1d","datavalue":{"value":{"amount":"+0.8371537","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":"Q2894567$D4AEE0F7-3D3A-40E8-AF72-E61A16723C2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894567"}}}}}