{"entities":{"Q3460559":{"pageid":5239959,"ns":120,"title":"Item:Q3460559","lastrevid":58179657,"modified":"2026-04-04T03:15:25Z","type":"item","id":"Q3460559","labels":{"en":{"language":"en","value":"Marimba: a tool for verifying properties of hidden Markov models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527550"}},"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":"Q3460559$75171632-3C3F-4871-A61C-6304C1588A75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b048237437dd3993a1a2cb9bcbf524d92022d438","datavalue":{"value":{"text":"Marimba: A Tool for Verifying Properties of Hidden Markov Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460559$B94D7A5E-A0BB-48DD-BDAF-1F2E793568C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26953b42007fd17b3abf296b7c518fc738734d76","datavalue":{"value":"1471.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$9BB468BB-B73A-49FA-A043-1B85900ADB93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17b50e1caf497022b67f140e668803e24c509882","datavalue":{"value":"10.1007/978-3-319-24953-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$C15454D8-73BC-4CBB-AE2C-15546C5C01F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9b95a3f250f798a86931ef8aaed0113a9e19bb","datavalue":{"value":{"entity-type":"item","numeric-id":3460556,"id":"Q3460556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$3AA98A52-8AF3-4225-B9AF-187D9333E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"278b52751668b2fbafa1622305f9eb0e3800c13e","datavalue":{"value":{"entity-type":"item","numeric-id":3460557,"id":"Q3460557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$6354A4C1-B51B-42FF-8E18-585BB2CB40E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b0ce80ce23f99ec0fccca2fb2a0fa6a9747d81b","datavalue":{"value":{"entity-type":"item","numeric-id":3460558,"id":"Q3460558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$E90BE432-07E3-4996-8A73-B1F8B6A164CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9204750a1a47b79fe4bf339a641264e269c9e24a","datavalue":{"value":{"entity-type":"item","numeric-id":444764,"id":"Q444764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$4D7BF422-2507-40D7-8400-66A912DC03A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3099020c37a0c5db3099732ecbeb26ac3d50eaea","datavalue":{"value":{"entity-type":"item","numeric-id":406209,"id":"Q406209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$30421B79-48AF-41A7-8FF6-FABF540E0862","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":"Q3460559$F3663D47-0A1B-4971-A3F8-33E4448DF3DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460559$4D1FE54E-A322-467F-8914-0E12B0546657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66e988e2b4d3990e78fc50b2a2992994a9ca5a06","datavalue":{"value":"https://arxiv.org/abs/1507.05597","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460559$E93AA050-CE5E-49F5-A171-1C0F18871A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$7E12BE91-59AE-4180-BF46-886F89C514DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$CD89E749-AD62-4680-A3CB-F03ACC8213F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d625d780bfa809c5db39c69099009106c2aeb44","datavalue":{"value":"62M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$DFCE8051-3AE5-47D3-9690-C92BDD0DC1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$530B0542-37B1-4840-AA36-66EA7884CD61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86bd52695531cc60e9c4cc045efc7cfde3fde9bf","datavalue":{"value":"6527550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$9718B347-07AC-4F2F-97FB-54ABE5B174DD","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":"Q3460559$5E9D21B1-26EC-42BE-88AD-056C354B09C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$459377D9-87D9-4F26-A7E0-7CE34FD27E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$5DA7F9A9-4E6F-4E88-985A-CCDD79ABFC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c724f8709b141ba3d71abf63f68d83e87eb33986","datavalue":{"value":{"entity-type":"item","numeric-id":25671,"id":"Q25671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460559$8CBAA545-C606-4B52-991F-A516D6BFC1F6","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":"Q3460559$14BA677E-9C3B-46B4-8077-4AEFD9D32533","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbc0acfb78c2bc28692b45095635145b68694e89","datavalue":{"value":"W3106356073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460559$7B1DE395-8F05-4AB3-BDCF-1098F402EAE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2320e64fabee3c48092b517dbfe8e9909f1bb45","datavalue":{"value":{"entity-type":"item","numeric-id":5479151,"id":"Q5479151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea16fbfbd83d53df92db343e68ab81a741eec48","datavalue":{"value":{"amount":"+0.7550232410430908","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":"Q3460559$E0AB7F15-FC5D-4ED9-8E16-0D872EEA9D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452e380441cb470826466580f154124ef50b25d7","datavalue":{"value":{"entity-type":"item","numeric-id":4635862,"id":"Q4635862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131e5beed2a043a8c4a56dfd91738f097cc6a98e","datavalue":{"value":{"amount":"+0.694830596446991","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":"Q3460559$229F4E64-AA9C-442B-BAB8-14340E625C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70420968be21255a3c22dc3ec2c1e724a652ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":1886666,"id":"Q1886666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d03c835be8b021e75f00f4f172d1815729cfd94","datavalue":{"value":{"amount":"+0.6697819232940674","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":"Q3460559$E52752A5-613B-4E02-A73B-65D83E84B8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e63123c256ff3e86e5d0f1bc49b3b2372b66e2","datavalue":{"value":{"entity-type":"item","numeric-id":3624004,"id":"Q3624004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1758f1ebb9de85a64c15e958e8213d9bb846d1a2","datavalue":{"value":{"amount":"+0.6659021973609924","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":"Q3460559$BA8CED5D-B2E6-46D2-9871-53F32D547023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cfb47701ac54747dd97b37a269aa2e5621fb08","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a80620248300f5d1edfcfebe5c07585b6db89ac","datavalue":{"value":{"amount":"+0.6597188711166382","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":"Q3460559$F8663596-A41E-49A3-85A8-58D911231AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460559"}}}}}