{"entities":{"Q3196412":{"pageid":3207120,"ns":120,"title":"Item:Q3196412","lastrevid":45655465,"modified":"2025-12-12T04:12:04Z","type":"item","id":"Q3196412","labels":{"en":{"language":"en","value":"Model Checking MSVL Programs Based on Dynamic Symbolic Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501942"}},"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":"Q3196412$4A878362-BCAC-4974-8B50-FEF307E02398","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3578c908da6b72b242bcd281b9cc99fc77eec67c","datavalue":{"value":{"text":"Model Checking MSVL Programs Based on Dynamic Symbolic Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196412$D9C4A0D0-4788-45F4-9B01-D3EB9FFB3DC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8a490464f035c4fcf81be83b6ed586559b30b9e","datavalue":{"value":"1465.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196412$EE4EEC22-E9B4-4E55-8F6A-B695F6FC6C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37642abbe478292cd0e6eea67465c83bda5abf71","datavalue":{"value":"10.1007/978-3-319-21398-9_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196412$FBDF846F-B780-41BE-B8E1-2BD42BD3488A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$4663ACCE-0927-4D06-980D-C45A39670AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03200589472aceb10a86e6b95f5209e9d8052129","datavalue":{"value":{"entity-type":"item","numeric-id":3196411,"id":"Q3196411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$91C21BEA-6786-4264-B270-4CB4439255F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$6D76EB21-35B0-4491-B3BC-2FB6433E2F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$04AD273D-4201-40E5-9362-DC66CA133F73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$DC370398-CBD3-455D-B654-B5162EC560D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196412$EAE10A49-D9CB-48EC-9CA4-B48814BB736F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196412$C684B436-243E-4DFF-9C0D-EBD28B59D057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"472744c98f46c6f7f51611c76cdaaea4eab6faa8","datavalue":{"value":"6501942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196412$5ECA5749-9C40-44CC-B46D-D6DC69B3962B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd5629f8d5c1350a5264b5f006607aafe1272c7","datavalue":{"value":"DSE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196412$9A0CDD39-B521-42CC-8FE0-C43CF9CD7AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196412$2E45BDAE-24FC-4F32-885B-22D73B934BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196412$0A058B5D-146A-456E-84E4-B52644064896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e026c37b065e90ea6a0c462c4ada94e004527d","datavalue":{"value":"MSVL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196412$4AC734A1-7174-49D6-9430-527E98D45512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196412$984F9047-A097-4535-8041-4D8946E1A03C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$24F1BCBA-5BE1-45AD-A078-529B91FDE223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$2DC9D290-7022-4223-B497-879B8CA08325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$C788D4FA-FA6C-4F6B-8DEF-6472534A92FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8845df71fa706aca107651c1c9eabe32a3106a16","datavalue":{"value":{"entity-type":"item","numeric-id":31033,"id":"Q31033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$2A612C17-7AEC-49EB-A8F3-372B032B3C36","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":"Q3196412$EA05207B-1B8E-4DBC-BDEA-16EDCA0A92D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58693af43b66529e061fe44bc472ebfdff37d672","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21398-9_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196412$6977CE28-F2EB-4CA9-8FBA-3A0993B12FC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f5b8995589d914a613cd1e73b80fa16a482893","datavalue":{"value":"W2295344041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196412$E6AF1BC1-8CB6-4DFE-ADC6-C21717F8B950","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7970a3349ce494965ca2872c123451bac23725","datavalue":{"value":{"entity-type":"item","numeric-id":903507,"id":"Q903507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$881B3EBE-6CA5-4806-AC8A-235C1FD355A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$1C16D845-9A61-45A1-BAE7-64050832D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761a583f69cec4c5be8f04f0c50f6850fd320730","datavalue":{"value":{"entity-type":"item","numeric-id":5255063,"id":"Q5255063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$C441DB8F-D0C7-49FA-B6BE-63B055392501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$EB9F9336-167D-4AFD-965A-07FFDA9B350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$948F6EDE-5F3C-49D4-A1F6-4A86A6DEE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196412$440F02CE-D219-46C9-BC81-3E1802B79802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9eaca6b6aedde47719aed7c2b3ca91d088e8da","datavalue":{"value":{"amount":"+0.9062037","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":"Q3196412$2236727A-266F-4A09-9A01-2B4803928DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6244565aa29b807bb470dca125035a4764a07d63","datavalue":{"value":{"amount":"+0.9008182","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":"Q3196412$57BBCF4D-32F5-45D8-BA6B-85635D95DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017acd6a1dcb3b61bacc05cbf46e50e232c0b2d5","datavalue":{"value":{"amount":"+0.9000929","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":"Q3196412$BA13E683-7850-4205-9928-965A01A8114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6463d78d11a1208d30a334487f07a31b42ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56cb74003790d60b39f08c0e2ad40588d8fd5b88","datavalue":{"value":{"amount":"+0.89530724","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":"Q3196412$5671CFEA-91FD-4D7A-B3AE-E690EC73730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843942d7a5a6fa8940de464b4432abf24dd77a17","datavalue":{"value":{"entity-type":"item","numeric-id":3402292,"id":"Q3402292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffdc111eb7f666ce5c45273e73daf3a851de749","datavalue":{"value":{"amount":"+0.8939003","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":"Q3196412$4E26A459-9698-4DE1-99C8-47B9B6FB0FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69faafc396cc37ce56ba7f317e1689803b3e471","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fcda406f526be1f64000612af9c3362b862ab5","datavalue":{"value":{"amount":"+0.89103574","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":"Q3196412$755F9F93-13E1-464F-8235-5910186D04A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1314bedcee6a51587bd78522911a507a18e7c5e2","datavalue":{"value":{"amount":"+0.89087987","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":"Q3196412$1E50FD61-629E-44D0-BA72-01F2B5622E2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196412"}}}}}