{"entities":{"Q4982091":{"pageid":7011669,"ns":120,"title":"Item:Q4982091","lastrevid":52231445,"modified":"2026-01-21T05:20:10Z","type":"item","id":"Q4982091","labels":{"en":{"language":"en","value":"A new algorithm for partitioned symbolic reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418600"}},"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":"Q4982091$81F0CA7A-E2D3-41AB-96D7-0ABA11BEF539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3bc71175d14016dca080b2a205495ee227eaeaf","datavalue":{"value":{"text":"A New Algorithm for Partitioned Symbolic Reachability Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982091$37C4B2E9-B06D-4D16-B9BA-80E64CB384C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0813327b837f5008b228c0eff3859b5b1fb13b01","datavalue":{"value":"1337.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$15BDDA8D-50BE-422A-92F5-D161157CFAE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8517bb740811614e9c9211119eb276dabf85e09","datavalue":{"value":{"entity-type":"item","numeric-id":488237,"id":"Q488237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$A9F8DC35-DBEF-4ED5-9166-5D6827025117","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$A7BDD017-69D8-4204-AA34-4FA4B44D4871","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982091$1E7EB77C-0930-4B94-9ADB-9AE963E9903B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$0B034C93-3482-459E-8B07-094D7B12C70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$39537A74-098C-4691-96DE-5C187ECCE8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$A19175AF-0179-40DE-A111-6B3C2B1DC47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$5C975D84-AB78-4165-8D4C-8CE57D58EDD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"862170af3fa09020fe7bb4e50e3f93189a621547","datavalue":{"value":"6418600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$08BA9707-921B-42E8-BA13-52C34776B908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982091$2A3A3208-CEEC-4B28-9F6F-12875A96BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8149c2a596b04673390f46731099fee60d28e9","datavalue":{"value":"symbolic reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982091$7C000BF5-B463-41A8-A773-AC89DA8177D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41612c4cfbd4d506f95cbc936b30fc005d6b9822","datavalue":{"value":"quantitative verification of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982091$63FFE525-199C-4F1B-BA90-52149DB1E09A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$73B27C25-DE6C-45A9-9224-2FFC861BB89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03e289d53457efee2601ac12417ea76e64e91be6","datavalue":{"value":{"entity-type":"item","numeric-id":15401,"id":"Q15401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$B379A325-EB45-4543-AA9D-D9790A2E6142","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":"Q4982091$487C8ED1-662C-4AB8-B086-A1337B39F9D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eaceb8f6a974c38f7dcaf9038b64b4a3a8eafc1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982091$ED459BD8-1420-408D-B200-40E1F5D89F08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9960f6f75e9ec4614934e77f757dc33dc4614ccd","datavalue":{"value":"W2070869652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$AFF52AD5-44C0-46FB-B972-0AA1BAA0A180","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b4f2875e335043b5b59bbbef995a0b61b31387","datavalue":{"value":{"entity-type":"item","numeric-id":1355341,"id":"Q1355341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$F2DFD050-4457-489C-9E59-81C0F39ACA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$55D7A9D0-C71F-4C26-A1D2-C0C24B491585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$36B21AD8-E19C-41FC-A8A0-D0116F2D7178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$A946DC23-AC3C-4441-8FEE-55A205E62A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20953d26dde65336304c7d8a395e93c4519644e0","datavalue":{"value":{"entity-type":"item","numeric-id":4813205,"id":"Q4813205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$1CF7BAC9-095C-4E9A-9456-1B4157D25FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e403dc56b2fd911aa43867be9a4c9efd7ea222","datavalue":{"value":{"entity-type":"item","numeric-id":5277939,"id":"Q5277939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$A307F3BC-7B2B-4F58-9444-3820E45571CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456fe837e72d43574de1c8c9081ec9813626320","datavalue":{"value":{"entity-type":"item","numeric-id":4800174,"id":"Q4800174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$ABDED4A7-CAC6-4CBF-8FCF-4827CD39E209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7d3e225f11bcb5e9772a8f23ee2b525373874","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982091$EFCABBC8-FFC6-4B21-97A6-A2183B17A349","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8df5c4cff58cd2c5bbebd2e5bb60f482c23f0e3b","datavalue":{"value":"10.1016/J.ENTCS.2008.12.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982091$75226A56-9E68-4EEE-867B-772052CFE824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5e15d4fd8ee86c8c481f95f43ee8fd45e18a8a","datavalue":{"value":{"amount":"+0.8002662062644958","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":"Q4982091$EDEACAC9-9074-4865-ABCF-82C90F74C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e66601cfa6872172bfaa5646d76d214d086e6cc","datavalue":{"value":{"entity-type":"item","numeric-id":600975,"id":"Q600975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7772e6a3dc6f7fd8b33cf7d45e4a3cc4719421","datavalue":{"value":{"amount":"+0.7943423986434937","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":"Q4982091$8B64AF02-2F2E-4729-8CCF-02ECDFE3468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad2432244288313a894ee17cc37193992c15014","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10b4d4c2e81ca0b7146b3f0ab2fbd7dd027feb7","datavalue":{"value":{"amount":"+0.7827780842781067","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":"Q4982091$BD73A751-034C-4670-8CC3-B0110B6442F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fbd9c6a1e173ab0e36515019247226ab305447","datavalue":{"value":{"entity-type":"item","numeric-id":5491851,"id":"Q5491851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9131eb0375f2d6f976761204a71b17842ac01cef","datavalue":{"value":{"amount":"+0.7825860977172852","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":"Q4982091$87F3366E-1276-4C6D-8C17-BEBC24219491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb240d8f68ae5e63ff2350b671cd37b6881e2c08","datavalue":{"value":{"amount":"+0.7648735046386719","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":"Q4982091$FF97930E-8AA3-4581-A87A-A98E12F58D12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982091"}}}}}