{"entities":{"Q4589244":{"pageid":6618829,"ns":120,"title":"Item:Q4589244","lastrevid":52952954,"modified":"2026-01-23T21:37:56Z","type":"item","id":"Q4589244","labels":{"en":{"language":"en","value":"SyLVaaS: system level formal verification as a service"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804762"}},"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":"Q4589244$8D7B1BC3-28E5-4DA7-9C41-C3B1F69D315C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b61027e220ad17d3b6896e857eabd187bd24b0","datavalue":{"value":{"text":"SyLVaaS: System Level Formal Verification as a Service*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589244$5096E785-B931-4A3E-9FA5-208C73E86DA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b7e7b2540ade5b942e8a093dd5f367c6037f6dd","datavalue":{"value":"1374.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589244$4315D716-2EE3-4DF6-9E90-48901837CF31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47614273ec8461bae338c9c88bedeaf0aaf2b0b1","datavalue":{"value":"10.3233/FI-2016-1444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589244$B6101215-2C95-4CAB-9A97-3C24CBC5DF11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b9f5cfb00713d388bb8fa24dc1e4b15d3949c7","datavalue":{"value":{"entity-type":"item","numeric-id":1020488,"id":"Q1020488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589244$1BDC77C6-C678-4053-95BB-21A5465B502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7849eca3a35fa0e3c231b21e64d9737d18d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1675915,"id":"Q1675915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589244$1F9A7F57-5F45-4D93-BBB6-7240B2A3A6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f071a7bf2ab586ad65c67abcb7d73ae3d2d68fb","datavalue":{"value":{"entity-type":"item","numeric-id":397405,"id":"Q397405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589244$0F51F7CC-5CE1-4A0E-B82E-5F93F75A0B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589244$EB8A6DE9-4A20-480F-881C-037CC69E057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4aff685acd2b636e7826686304c5646bff1b33a","datavalue":{"value":{"entity-type":"item","numeric-id":1045175,"id":"Q1045175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589244$92AE21C7-9964-4AED-9AE2-1ED4A4B4CA60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589244$DCD85661-9A83-4343-BFF8-8FDB30874431","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589244$C9CED113-B391-466B-9BCF-9BF66EA9E820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589244$57962D09-60F8-4EFA-AF43-ABA4A2F005C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4ac4bd6a61db2e95200b78b2e4fe497787e1203","datavalue":{"value":"6804762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589244$140DFD20-1134-4052-A5A5-793075CAB486","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34493df483c7de5c423190f8155b91dbc4b26cb9","datavalue":{"value":"verification as a service","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589244$8D319817-F02F-4069-BB65-19E66ABC8FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589244$151EF903-D5B7-4604-9945-26B6EF3B0221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589244$DF58B83C-E4E2-45AA-84EE-9E3598A4EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f182c517978b20b6f70cd489e1a701d781c2f2f","datavalue":{"value":"system level fo verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589244$7A8BA4C2-A778-4D3B-8FCD-6EA8D406A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e605437e129abf56b254494d19a8c9db673600","datavalue":{"value":"distributed multi-core hardware in the loop simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589244$67F7E3F8-817C-458D-8511-9B8C43ECD1FD","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":"Q4589244$D9BE923E-097F-46A9-B52A-7278DD3A5B80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e646b0e6df1bffaa051f0b72253bc7b72dbe857","datavalue":{"value":{"entity-type":"item","numeric-id":5013880,"id":"Q5013880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747f1c0ed3035f800cdfcb0c13e92794ef3da8d1","datavalue":{"value":{"amount":"+0.731037974357605","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":"Q4589244$6C039201-D93C-4CB4-A5EC-91FD26E4E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8675dcdfc820a38f5d7fa0db547b7f8ef494869","datavalue":{"value":{"entity-type":"item","numeric-id":2035653,"id":"Q2035653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb77d251bfbeb8651906d396496c691479930628","datavalue":{"value":{"amount":"+0.7034152150154114","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":"Q4589244$589803C6-6FC3-4BD3-81CE-B3988983B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef5f46373af811c79ee6677dea873cc5adfc1cb","datavalue":{"value":{"entity-type":"item","numeric-id":4551158,"id":"Q4551158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03da180118bb9a211ccf6ede2d6501c54604b087","datavalue":{"value":{"amount":"+0.6865626573562622","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":"Q4589244$A36C674A-ECCB-477B-BFDD-9EA68B7AE889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c722d6efeb22ca4eb6366bd3c9522c134d869f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3591066,"id":"Q3591066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03da180118bb9a211ccf6ede2d6501c54604b087","datavalue":{"value":{"amount":"+0.6865626573562622","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":"Q4589244$7062E7C2-8C25-4649-841D-C4399260424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e859911f4f015f6d400a31050482917aef84d14","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1e5007312819ae14bbb72b31e93f2412e13008","datavalue":{"value":{"amount":"+0.6819417476654053","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":"Q4589244$B836F857-1A19-4B3D-AE69-B4A956774331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589244"}}}}}