{"entities":{"Q5423889":{"pageid":7453463,"ns":120,"title":"Item:Q5423889","lastrevid":50202074,"modified":"2026-01-13T12:29:25Z","type":"item","id":"Q5423889","labels":{"en":{"language":"en","value":"Distributed Extended Beam Search for Quantitative Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207681"}},"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":"Q5423889$044AB6C7-A652-400A-8DF2-CF606322B5B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbda0b5078745e9aaf66c097b51c85a5e6c27a2d","datavalue":{"value":{"text":"Distributed Extended Beam Search for Quantitative Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423889$261E5BC5-C0C9-4A02-8248-7659FA72CD21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c56520de8882c8387c245078f492ba46f92177b","datavalue":{"value":"1196.90052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$46290204-A047-480A-8F13-E1797A76B8F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed59b396b6e712ff847bad3ffac5397ff895e099","datavalue":{"value":"10.1007/978-3-540-74128-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$FA9F42B0-FF71-4B87-A1A8-10985E3B180F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423889$C9F672B8-5E72-45C7-8B8F-13FDB0ADDF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0226b7936b2e77ec2314fd65fe09cc176a7a76a2","datavalue":{"value":{"entity-type":"item","numeric-id":4551156,"id":"Q4551156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423889$D76A7B4E-9A48-4CFA-9AC1-A0E0C995DC8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423889$2FB01B66-450E-4396-A3D3-026B35B2CD20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423889$31E0B939-C430-4432-A404-02C0BB138CA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$344BABAE-DCA2-4802-B8D4-3198DEF8AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$7984467F-FB60-4F41-9018-9A3DC9804A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$DEF6AF72-100E-40E6-ABFA-4A266185853C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"678b8c9c7b3e0707c808fb06a74702452ddaa11f","datavalue":{"value":"5207681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$45FB82C6-389B-4ED7-B893-8CC563D98F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af8e8ebb81d64da7d909ee053fbd0107f4b0080a","datavalue":{"value":"directed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423889$735FA8B6-20E7-4449-B62B-C423249AF620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b267873cb5c300aaecc7811cbc568405bde428","datavalue":{"value":"distributed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423889$16EA1828-BCD1-4BA7-9776-6A846F80B76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423889$640ED909-7A42-4188-8BEF-BF54660A79A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e8d7f8ed4900fa4c703f52f778614bc5003dfb","datavalue":{"value":"beam search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423889$53D4CDFB-00E4-4656-8AC0-CCE49B02CFF0","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":"Q5423889$6BF517ED-AD1E-44B1-A5A7-5E11FCC71114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43fc1dedf1596422d62c412e0402bdb6251f0efc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74128-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423889$7653DB0C-431D-4F38-8381-65D02D3658CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87ac367691bfb412cc373436f72b7a3497993da1","datavalue":{"value":"W2167298033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423889$0D3705BB-F0CE-4AEA-AA08-DEF76D22BE3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d499a073e38bbbecb40c74487898ce2e1ca099c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5118ee709a9393936aa3571c3ed3f090d21079","datavalue":{"value":{"amount":"+0.7792789936065674","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":"Q5423889$3F506E1E-0E0E-46A7-980B-B4E10E9A1374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2509a01b80ed0c2a5195b007ab174cb20244ccc3","datavalue":{"value":{"entity-type":"item","numeric-id":652163,"id":"Q652163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b71899e612542e352d2274d778ce9d9212610c4","datavalue":{"value":{"amount":"+0.7668731212615967","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":"Q5423889$3C6D224A-9638-4647-8FDC-126AAED5C105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4aa0914c671b7240979ebb3a8f077d623b3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4603566,"id":"Q4603566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c9e53f39dc8eff43e6316fb980a196fd75cfca","datavalue":{"value":{"amount":"+0.7397804856300354","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":"Q5423889$AF85C509-CB98-497B-BF6C-B07F40E7DE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd50cf74d6b9f4f77bb25f77eb139e05fe7bb12e","datavalue":{"value":{"entity-type":"item","numeric-id":3510825,"id":"Q3510825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b58d7a4b6fe430d434dba0a12742c75838ecb3","datavalue":{"value":{"amount":"+0.7065019011497498","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":"Q5423889$A55B46F8-8001-4009-92D2-C2894A724C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74bc3b9bb3257d8c0adfeeda2f7f70a1f237950","datavalue":{"value":{"entity-type":"item","numeric-id":5423883,"id":"Q5423883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fa7b613d2926c46f8e514c2e2993e58f9fceb1","datavalue":{"value":{"amount":"+0.7044446468353271","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":"Q5423889$B4BEFAD0-47DE-404D-9DE9-E12A13D8D36F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5423889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5423889"}}}}}