{"entities":{"Q3457780":{"pageid":5237180,"ns":120,"title":"Item:Q3457780","lastrevid":46572675,"modified":"2025-12-25T01:36:05Z","type":"item","id":"Q3457780","labels":{"en":{"language":"en","value":"Quantitative Verification of Weighted Kripke Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521666"}},"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":"Q3457780$F1402A24-530C-4DB9-B046-A3FDBD812944","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bcd916ffffdba638ac576a812ad07d469f30ffa","datavalue":{"value":{"text":"Quantitative Verification of Weighted Kripke Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457780$6CFA1FB5-C385-40E0-AE6C-77983FE63B6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"528cb7e638474a4090c7d2a1f9bcddfbaacf508a","datavalue":{"value":"1448.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457780$1F03C6C4-DD6E-4980-85E8-A483CBF7BF50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86ab6a3e150dd384ea528c5d64da5f46d9e55fe4","datavalue":{"value":"10.1007/978-3-319-11936-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457780$0A91393D-E26F-457B-96BF-6F0B6A2AF3C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457780$5EF498B8-4106-4190-8323-69804ECA1063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3328ecc1e768c56e152130d535b36887e01af06","datavalue":{"value":{"entity-type":"item","numeric-id":894439,"id":"Q894439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457780$1A1C136E-5E86-401D-8F4E-1C0A2E70D503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457780$5E0DB776-1234-4626-A6CA-FF2F110DEC83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457780$616CF8BD-4F14-4729-82FB-0B9736490676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457780$A9445902-AE42-466A-B6B9-9490154C4CDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457780$B3C9070A-C197-4FE9-ABA0-B467755F6595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457780$4381DE0F-1320-49C8-9AC0-1781AD6CA584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cea4e80a7f7c1a88fe785ee028b969f58b94c75e","datavalue":{"value":"6521666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457780$851D670F-30F3-4B8B-85D0-9CDE817E77BB","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":"Q3457780$E34D8473-F34B-4E99-9BB1-900A64A184C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6684c9409cd933a28a83a847631af160f7ca4310","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457780$0C343547-68EE-4B81-9515-52267594EA02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddd1751c99ba78b80d49dab08bf83535c377a8ea","datavalue":{"value":"W104847272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457780$5B0C082B-D437-4AB4-8F3F-C052915D0C53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabdc386463340791c1fdd07b1cc6e5e45bae9d0","datavalue":{"value":{"entity-type":"item","numeric-id":6104802,"id":"Q6104802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f60fdd04c1ee7ac2915325edf87c9e75e7af73d","datavalue":{"value":{"amount":"+0.9500387","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":"Q3457780$8CC810D4-230E-4F10-9722-49DF4FEAFDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9367608fbc8fe3b14fe05c5a777bb73aac45ab","datavalue":{"value":{"entity-type":"item","numeric-id":2917301,"id":"Q2917301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0b4af2992b4a1da90174a7da868f1a29ca5575","datavalue":{"value":{"amount":"+0.8990117","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":"Q3457780$1AA78188-2898-4416-8256-62ABE9162370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035e64cf299879aff7eec486ea3218c559c8a139","datavalue":{"value":{"entity-type":"item","numeric-id":2970258,"id":"Q2970258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0b4af2992b4a1da90174a7da868f1a29ca5575","datavalue":{"value":{"amount":"+0.8990117","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":"Q3457780$C7C5DC23-F4E9-4B3F-888F-06D557672DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36bd43f90fa0b858e570e9b68ba1c7930799019","datavalue":{"value":{"entity-type":"item","numeric-id":5259293,"id":"Q5259293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d259474465ae33ccdb2ed44897fb4b8f4a6ce4e8","datavalue":{"value":{"amount":"+0.88416916","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":"Q3457780$DC222680-4632-40B4-8911-5DCE98B2C14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48c36add58519433ad999f91a60cb11d55569c0","datavalue":{"value":{"entity-type":"item","numeric-id":3542104,"id":"Q3542104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263f8ae7bf55acb590e6546a2ea40663efbb14df","datavalue":{"value":{"amount":"+0.85722685","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":"Q3457780$503EBAD9-FE99-4FF6-84FB-725E655B856E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d342aeb2a3d93ee8aa1976fb9ecd0f945925ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3455072,"id":"Q3455072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64e4f8cda3ebe26fa69c539cb5059163b7cc6d4","datavalue":{"value":{"amount":"+0.85468507","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":"Q3457780$5AF7E94F-D8E5-4ECB-A020-2D67BDD520D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f0c5e2b2847aa44294522d6304e9aa8008126","datavalue":{"value":{"entity-type":"item","numeric-id":2253184,"id":"Q2253184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080d60a3ad45fd607fb5c2eb3c6bd023f134953a","datavalue":{"value":{"amount":"+0.8543961","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":"Q3457780$A23275BB-72AF-4FFC-8D9B-9484A7C7A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa00c59d107968371df10fe72481152c7bf6b871","datavalue":{"value":{"entity-type":"item","numeric-id":5505615,"id":"Q5505615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0abc5ef4bbf27dbfec360d5b5dcd79e6740319a","datavalue":{"value":{"amount":"+0.8533428","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":"Q3457780$B4498F29-C570-45B4-A9BD-795371EADB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bf971e85650b16acba9dc37bd8d5b299fd3719","datavalue":{"value":{"entity-type":"item","numeric-id":6103448,"id":"Q6103448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d280c6d509c2e7f288280095f6720d472cd7b3f","datavalue":{"value":{"amount":"+0.8528109","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":"Q3457780$66B2C728-C0D7-4A95-9C99-A05EB6FACB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8dce179a6eb6825032b94e9c11999063f37e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5089610,"id":"Q5089610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f4151db64347f70884dbfb46e6f2debc440665","datavalue":{"value":{"amount":"+0.852756","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":"Q3457780$3C97D6AD-7C7A-4D41-8E33-4611F69768BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457780"}}}}}