{"entities":{"Q5895015":{"pageid":7934138,"ns":120,"title":"Item:Q5895015","lastrevid":101879588,"modified":"2026-06-06T03:03:44Z","type":"item","id":"Q5895015","labels":{"en":{"language":"en","value":"Improving reachability analysis of infinite state systems by specialization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954751"}},"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":"Q5895015$C19335C1-8BFD-4EF0-98C5-2D77ED4B5FF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c699b68243ab6431b22536894da2d8674da347bf","datavalue":{"value":{"text":"Improving Reachability Analysis of Infinite State Systems by Specialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895015$E7429D14-1C7F-4934-B22D-BDAA8881203B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5a4772719079008bbe5bf62a0908df0fa3f0efa","datavalue":{"value":"1348.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895015$AD63BB6E-620D-4AB4-8960-8B62FF8CF192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b90c87e25d2e55c29a4c1ede8a4a3208d753c3f2","datavalue":{"value":"10.1007/978-3-642-24288-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895015$1EF24C71-5EB3-4691-AF4B-6DCBFC3EAA5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895015$C667208A-F9E9-47FD-9D81-6C5242D004E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895015$3585E7A2-4ABA-4CBD-89B8-502728018FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895015$9889CFE1-93C2-486A-BCEA-243E4A6518B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895015$F41DC4B1-57B1-4090-A120-F1762696820F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895015$D9886293-7ACE-4F36-823F-3BCA80EC3CC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5895015$74DEDDF3-5F7C-4BD9-BF62-0B61F53E2CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"909bdf5151f0dc28c49c37b0cdface4b226cace1","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.712","type":"string"},"datatype":"url"},"type":"statement","id":"Q5895015$54B22347-3BE8-4272-B23C-ADD1F6410869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895015$A0E40BEB-35B3-479B-9CC3-C48FE04145C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2790a48c2b0f3a492a7001e19fa76639b3ec252a","datavalue":{"value":"5954751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895015$F41AA9DC-CAF5-4A43-927A-4022A24C6D6E","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":"Q5895015$64B308AA-72D1-4A08-890A-0B755D391C63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"561e465c3af4db18688505fba8f0331f4c2fc2a7","datavalue":{"value":"W2136512912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895015$6991476F-B62A-4013-8946-D03D04C49AED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6193a8bd4c4a1bf0568e319011c33c15b8564a9","datavalue":{"value":{"entity-type":"item","numeric-id":5894983,"id":"Q5894983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1fd8bea136204c8d7da574433955c1a1b3a0ea","datavalue":{"value":{"amount":"+0.9941320419311525","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":"Q5895015$C88DBB48-F32A-4D2D-90BA-23B44E238FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e66e33e9b0ad9e91bc22dc5cd82cd54685796b","datavalue":{"value":{"entity-type":"item","numeric-id":2841959,"id":"Q2841959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b06dc3a43d906c89fd36465b0ffea7ba4e35066","datavalue":{"value":{"amount":"+0.8481839895248413","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":"Q5895015$0F210013-DF44-40DB-97BC-FA2C8CCF2D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11db9497f6f2d999542c901c4a35e858cc28e542","datavalue":{"value":{"entity-type":"item","numeric-id":3003492,"id":"Q3003492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057f22fa27422cce046dc52debf3eb1e872e67b4","datavalue":{"value":{"amount":"+0.8340488076210022","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":"Q5895015$74EF9D82-5B52-4369-8720-7E036FC35298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8276ca81ef811bc52b0536aea4bd09cca2edcb","datavalue":{"value":{"entity-type":"item","numeric-id":5299583,"id":"Q5299583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4bac968c155a70164bc38f65b5116ad9a450d1","datavalue":{"value":{"amount":"+0.7770737409591675","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":"Q5895015$59374A06-00F4-436F-B1B8-D5CA085D3B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d57f538f37a0bf7ff0a696ebc36817e491f81c5","datavalue":{"value":{"amount":"+0.7680410742759705","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":"Q5895015$DDC8ED98-70BB-456C-8A08-F05F2BA18014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving reachability analysis of infinite state systems by specialization (scientific article; zbMATH DE number 5954751)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_reachability_analysis_of_infinite_state_systems_by_specialization_(scientific_article;_zbMATH_DE_number_5954751)"}}}}}