{"entities":{"Q5452713":{"pageid":7482272,"ns":120,"title":"Item:Q5452713","lastrevid":40740904,"modified":"2025-04-04T13:11:58Z","type":"item","id":"Q5452713","labels":{"en":{"language":"en","value":"Extending Model Checking with Dynamic Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259562"}},"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":"Q5452713$03A191F0-DABF-4721-A47E-74DCF290E7A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c60ac0c1585f4770f9b631e18a165e36e64c130","datavalue":{"value":{"text":"Extending Model Checking with Dynamic Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452713$90F00F92-E2A1-41C5-B1B7-413728043395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaf4b7f4f63518520f470a67347d4c872da42e75","datavalue":{"value":"1138.68450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452713$89697AFB-DCEC-4710-83F5-71019FF1615C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d8f9c9e16d5ad9f98f0cb1f55ca0d55b1a288f","datavalue":{"value":"10.1007/978-3-540-78163-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452713$1DA1BF8E-4E6E-44F5-BFAA-DB57480B416C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$BABDEBA5-A54C-4BA3-94FA-3D7E0AD13AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6f417f09c985107129e25aec6563cc542c4012","datavalue":{"value":{"entity-type":"item","numeric-id":457248,"id":"Q457248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$6A0A0C2A-F0CD-4660-8FFB-012D423715CE","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":"Q5452713$2DF23B3D-3FD2-4DC7-888C-7ECB8418DDA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452713$57132F49-5ADA-4AF7-BEE8-8106B7130884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452713$9814F9FB-6AEE-4ABF-A4D4-46113BC95CA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd105777676c0741f60b28dde5fe9dbbf703dfdf","datavalue":{"value":"5259562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452713$BF45DB5D-891B-4DE8-92E5-B4F21C4A3006","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$7606B877-2B35-41CA-93B4-D14FB8F8E944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5476e37c973c524f4183cb6df6dc9a25e55fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":16596,"id":"Q16596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$2F354589-6D7C-47F9-9D84-54B8BBC971DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$85160CCB-A070-47F2-9B77-53FCB783F061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$FD9784A4-0501-4629-B3F6-3EE48CEF2E9A","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":"Q5452713$3B264162-A0BC-4B09-A632-66AD40301344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec84bdd5cb7491d67a6fbc70ac8cc1f294066ada","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452713$D9E15B78-D7C3-4959-98D6-47916D9C9ABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"930b0ed618968d72110a953574f4f27623fd9f2f","datavalue":{"value":"W1512138220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452713$9247E633-9F20-4689-B8E2-1FA2CA0A287B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$55DE7111-6D92-4F83-AD8F-C5D937F7D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$B878260A-BEE6-4D75-9744-B92E77CE5650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b2fc69b2335e73cfb2d4c1b2a6adb5b7566173","datavalue":{"value":{"entity-type":"item","numeric-id":5308367,"id":"Q5308367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$05DECCB1-13BE-49BD-ABDA-A0A5D1E9CD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$F6E511B9-39AB-4575-91E8-A9F1BCF8CAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9da60a7b89ed85c50afcb702099ad11a9c17ef","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452713$C949FE67-8A7C-4D70-A95D-3197D2191680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdee7d049b8ff41d73f2c0f6477764c63cd65d82","datavalue":{"value":{"entity-type":"item","numeric-id":2988065,"id":"Q2988065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c44b17dc85459d4068cc2fcf9b576f0536619a5","datavalue":{"value":{"amount":"+0.9160061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$963BE12D-ACD4-4885-B502-F7317DD55F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685766bea79b7e8b7e61bb82a568974190e264d","datavalue":{"value":{"entity-type":"item","numeric-id":4531753,"id":"Q4531753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0ae4ab059097f398540a05496b9da37581f3e7","datavalue":{"value":{"amount":"+0.90416014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$371A3096-7119-4E3B-A860-AB96AA508825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce4562cdcf12cc750fd7ad0c7ce1b1e53a247e6","datavalue":{"value":{"amount":"+0.90218675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$822C15C7-C4A4-432C-9D3B-34CB41EEEF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657a1160e5de4ee7c269ded027f976c1aca8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1868165,"id":"Q1868165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4755d4a7e9e75bf5faa5f2981bdf181972704982","datavalue":{"value":{"amount":"+0.89099216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$B08F87F3-26C6-41F5-8BF1-DA7FEF3F370D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790ebc846a1a6d7d59a49dc7019506cf216e6dfd","datavalue":{"value":{"amount":"+0.88806313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$F16CE49A-FE56-4CBF-9B92-60F1F681FF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207b64516b9dedf992d1ea37eac555fe6566305a","datavalue":{"value":{"amount":"+0.88743186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$C48F247A-8F53-43D3-B8A9-2A4290C54EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547bbb993a5231a27401d2312026d9c734b8f7e8","datavalue":{"value":{"amount":"+0.8873006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$9753787E-FA91-437D-843D-ECB3DD37FE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ddf3328117c594970fdebcfe0a169658535262","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b5ee49fc2bcf7e7f6063a2eba4f14ec616a785","datavalue":{"value":{"amount":"+0.8849744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5452713$0000A011-ADD3-45D9-99C6-58D52AFB3F13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452713"}}}}}