{"entities":{"Q5166713":{"pageid":7196285,"ns":120,"title":"Item:Q5166713","lastrevid":52037171,"modified":"2026-01-20T19:39:15Z","type":"item","id":"Q5166713","labels":{"en":{"language":"en","value":"VCS: a verifier for component-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314179"}},"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":"Q5166713$42ACC61D-88B6-4360-9ADA-F252DA9F88DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff8cef7b30ce2dc5dda6a59ab0abaa1ab8f3eec","datavalue":{"value":{"text":"VCS: A Verifier for Component-Based Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166713$CD8DC527-F3CF-40A7-A180-5ECA486DFBD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"539edd848938085a3eea4a6f68f7fe5d7a557e92","datavalue":{"value":"1410.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166713$9387ACCA-B650-436F-84D3-730ACA9F283F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3ebdb8ae276945447defeb87d5345292f739606","datavalue":{"value":"10.1007/978-3-319-02444-8_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166713$076111F0-8DF3-4368-89BF-825FB39A4752","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a2e3a849f7afbd44d878457dc05f4cc4bbe211","datavalue":{"value":{"entity-type":"item","numeric-id":270244,"id":"Q270244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$E4938C5A-EF40-47E4-9835-4CA59718D0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e271c83ba237f70e94d57c2bb284d2f20bf1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2169113,"id":"Q2169113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$521086F1-AA2A-4F87-83D2-53249075C21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$B5D747D7-6839-4E96-844D-9076A1020426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab235c6ec296876d2c3aebeed3e9d23cb9a56fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5106943,"id":"Q5106943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$A8192BCA-B01F-400C-A4B9-392D213DBE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f6242e47a307150a74e4a3335ca73dd2a05804d","datavalue":{"value":{"entity-type":"item","numeric-id":5166711,"id":"Q5166711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$8392A904-ED41-4952-8405-350FBC3E7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617a7dc41aaa8fc188c1f438b6f09d1fcb6bd06","datavalue":{"value":{"entity-type":"item","numeric-id":5166712,"id":"Q5166712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$4E120A27-44E5-472C-93FC-671E4CFEB92E","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":"Q5166713$557C8D78-FDF2-4E8A-8180-D9CC2E496C60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-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":"Q5166713$4318C9D3-6403-4B4F-8B0D-CF8E29C5CDED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166713$D3C3851A-18E6-435D-963E-37D2469D201B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0373ba02a5fc0c17cc5ae4dc17ac50a14ddf715","datavalue":{"value":"6314179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166713$6DFE8664-2A5D-4B3C-BBF1-BF9B5F8C51A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166713$C3ABDFA0-60C4-4882-B6CA-DD07F32AEAE5","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":"Q5166713$E0559586-AE57-4B13-9923-0EF8055A7D50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"923e5a40170d7775e5b1f672abb4e4fef7649097","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166713$5BBB9B70-DEE6-4686-A41B-F5E873FD3614","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b1af37a5da90b6a40b689b57b668511dea78b7d","datavalue":{"value":"W140377929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166713$CEE27C1B-8788-4A8C-8C0F-39F1F759C2D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2076cf58892f020200f74db88b5be5272579e97d","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606211252ad767a572a3b9b56ae533756b4a04c6","datavalue":{"value":{"amount":"+0.7823618054389954","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":"Q5166713$F131F91C-DA0A-41AC-B99B-2BD4B9A86545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9975d8b900b3f9f5df1f83a9a6194ca8792c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3540064,"id":"Q3540064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1916e4f2d707ec885d6edb7f1f205ec13fffd32","datavalue":{"value":{"amount":"+0.7822939157485962","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":"Q5166713$4F4195AF-3E69-4506-94C7-1713E28996DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc2b3f127bcd6e2e6dcdd4768c2339e1df1f0cc","datavalue":{"value":{"entity-type":"item","numeric-id":3460575,"id":"Q3460575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdce838cb4da777ad30ede8e6c83e7f08e8561b","datavalue":{"value":{"amount":"+0.7749125957489014","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":"Q5166713$F219F22F-2F5E-4DA2-87F3-D162EF85AA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2900dbe11fba5a09226027d416e8d023c32e58df","datavalue":{"value":{"entity-type":"item","numeric-id":3021171,"id":"Q3021171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963661f14e36805dd5d890fa5ce4434c724debcc","datavalue":{"value":{"amount":"+0.7682928442955017","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":"Q5166713$9C6FA0E7-3011-4C1B-A2B9-C41AB433B381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d46cff0eae9932fe04467af9e864d6701d5d0be","datavalue":{"value":{"entity-type":"item","numeric-id":3614835,"id":"Q3614835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363043e924c08d20ec4862fde027f04d5c684982","datavalue":{"value":{"amount":"+0.7462799549102783","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":"Q5166713$039D7693-D262-4F42-BC79-0A31A1D6CD1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166713"}}}}}