{"entities":{"Q453484":{"pageid":455251,"ns":120,"title":"Item:Q453484","lastrevid":51563441,"modified":"2026-01-18T19:24:58Z","type":"item","id":"Q453484","labels":{"en":{"language":"en","value":"Benchmarking a model checker for algorithmic improvements and tuning for performance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087615"}},"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":"Q453484$206BD64A-85F7-495B-ABB7-D756DD9350D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7291fc8240613d6d15df0c7ab1b6ec7267dcd79b","datavalue":{"value":{"text":"Benchmarking a model checker for algorithmic improvements and tuning for performance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453484$AF378F4E-DEA7-41FD-A6E2-E9EBB64BA5E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77bbd8cf19ebfa71c515e4d8dbce1650a99ceb3","datavalue":{"value":"1247.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453484$AEEE2687-60A9-4DFA-B0FD-1312B219D1F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ba453704ed3d872eb3c4e12877bf750b115031","datavalue":{"value":{"entity-type":"item","numeric-id":453481,"id":"Q453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$1109454A-920E-4FE8-A3C5-A2EB6AA39E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88b236ffaa6b504c003bacc19a5fd8232c21ceb","datavalue":{"value":{"entity-type":"item","numeric-id":453482,"id":"Q453482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$F84A3324-1C98-471E-9638-3C02F268130D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c5e85ec07e780b1ffb36a1e80608f209bfa95b","datavalue":{"value":{"entity-type":"item","numeric-id":453483,"id":"Q453483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$5D5A9C6F-4568-4E2B-B465-6148A0E5AA7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$5C2D23E1-F4DC-49ED-A3D0-A73C56D57113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453484$FE1AFC53-CEE1-4D31-97CE-84F074B06ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453484$8F1EC4E6-6EDB-4D61-A43B-B64900CF63E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c656d4d64553212c2f7ae809b73d28bbbd515ac8","datavalue":{"value":"6087615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453484$66B5399A-D394-43CC-8B28-7716E12F48C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q453484$F7E2E0A9-43A5-4F38-82ED-E160E7A534F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q453484$C2C9C733-DADD-47D2-8FFA-49BA4864BED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96028fa19b1d85b7a7982101bba7ca3ddc9cb463","datavalue":{"value":"satisfiability solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q453484$F56D3C47-D5EE-47B4-B799-9DF2DB05BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0a40167563aa116cfc57bf538561bb8f54349e","datavalue":{"value":"interpolant verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q453484$330EDC65-63A6-4ECD-83A2-CD39F887AD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d9b72d22d0c3b8b66feccc29d6541c0ff190a3a","datavalue":{"value":"portfolio strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q453484$385243CC-E047-4454-A7D6-9C6BE53CF87B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$F843F7EB-C009-4967-A795-A2F402BF8D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33280de7df3b0036beb2f773d6c63295d582e886","datavalue":{"value":{"entity-type":"item","numeric-id":55703,"id":"Q55703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$FD0BEE62-CABE-436B-992B-CA6BD4BB38B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$5E29A97E-8E12-40E0-B071-CE08F2B675E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$F735E223-7157-428F-96C7-9CD4B2762758","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":"Q453484$611433FF-144B-4713-B078-4E7C39FCE396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de19d75ecb2a5a282a54e3729da0143c5ace558c","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0123-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q453484$A1C52C92-C3FA-42C5-AA36-13BA2D70F261","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8504d5de400a44bd8300e0cc8e2b67ddb1d0c4b2","datavalue":{"value":"W2046656028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453484$74F792A7-996D-4E03-828A-2E2FB4B02E46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$E79E75FA-9C05-40DF-A8F8-69CF56700168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$931EE4A7-4F6B-4231-8711-F806F2CB4F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eecfeac02b56820c0f4e58290467293549debf","datavalue":{"value":{"entity-type":"item","numeric-id":1020496,"id":"Q1020496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$92041F0C-9E8B-4752-90F8-A6D4DC262752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56eeaedad98d7d404db983ba11908a35b3e0f8f5","datavalue":{"value":{"entity-type":"item","numeric-id":5492978,"id":"Q5492978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$FECF1B2D-6B28-46F2-861F-206BFC5543CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$6C708103-A0EA-46CF-8B6E-9BB11B89C14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26296a10fe51aa6f2aacf83dd6b3c14d7e75e0d2","datavalue":{"value":{"entity-type":"item","numeric-id":4804917,"id":"Q4804917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$C8195734-13AB-4EF0-AAEF-ACEE1188458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b758040943d5e0d138579ae12293114f0cf85bb","datavalue":{"value":{"entity-type":"item","numeric-id":4551139,"id":"Q4551139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$7558CB8D-D93B-4831-8FB8-2DF98745B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$F69C7091-C681-41FC-BB61-03A22F57A0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453484$D3E16BE0-2F7A-4566-A6C3-338E321CAE30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40206e28cfed0b96ef53c093358807f77bcc43a0","datavalue":{"value":"10.1007/S10703-011-0123-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453484$FF8A3D0B-7A99-4BA7-9C8D-DEB5DA2BA667","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05564e307a5083a6c81d193eb316b1f80be51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5493231,"id":"Q5493231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d6fddf0cfcd57741d99e1a8b996c1316b53da6","datavalue":{"value":{"amount":"+0.7445490956306458","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":"Q453484$E6B224BE-91B0-401F-8861-3C83A3AA04AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c0a77f0232f67455c50d919d9a6fd0dceb2474","datavalue":{"value":{"entity-type":"item","numeric-id":5492979,"id":"Q5492979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876b4c8bd7553ec23cd4d4f3675fd8cf5dd4be1c","datavalue":{"value":{"amount":"+0.7232917547225952","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":"Q453484$58E99A78-6438-466E-8863-19F6294B06AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9ef91f91fdeb4a67593159ed9710ffd581d76a","datavalue":{"value":{"amount":"+0.7222074866294861","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":"Q453484$FA40348B-DD27-4153-BCC9-B575585C50D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3634a2b179f8325719b1de9a3c734be6a9952c8d","datavalue":{"value":{"entity-type":"item","numeric-id":6103016,"id":"Q6103016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbe47291b745dda6d6507603228ada33eb961cb","datavalue":{"value":{"amount":"+0.720180094242096","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":"Q453484$B45EDC94-43CE-4FC2-A799-EDABE6B1898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93007708c9492b3bc9878d8b244d55cbf0226a69","datavalue":{"value":{"entity-type":"item","numeric-id":4417912,"id":"Q4417912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e99ca31836c954269ffaf948a7b0f5a9f6477b","datavalue":{"value":{"amount":"+0.7172732949256897","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":"Q453484$EB8BE7D5-11C1-43F3-8979-3A45CB65F82D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453484"}}}}}