{"entities":{"Q5082012":{"pageid":7111588,"ns":120,"title":"Item:Q5082012","lastrevid":54343943,"modified":"2026-01-26T16:24:23Z","type":"item","id":"Q5082012","labels":{"en":{"language":"en","value":"Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544351"}},"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":"Q5082012$B8F49132-9DFA-4F1F-A616-B1145C3E2310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5f3d6e569bb1ffdb5cff514fe2fda97ee67e588","datavalue":{"value":"1489.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$3D499059-9871-4600-8BD7-90B86AE52153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ac4a0934cbc09b7321bbb8e3c3d3a2b2ba2899","datavalue":{"value":"10.4204/EPTCS.341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$B4F582E4-D8B5-4BAB-9C2E-335E93D696AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082012$9FFA3D6B-812A-41CE-9894-7A8C2CDC378C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6df8bb997ed465694b85f78238450aa4f23a254b","datavalue":{"value":{"time":"+2022-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082012$92397D47-0927-49F2-810F-D4D38F5DCFBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"680cc346b7e96b88007c55a7113a0f09f842b903","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082012$F0D47A0D-84F5-454A-871C-2AD37152589A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$5D454EA9-C799-4470-A291-8AB6B2AE594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$8BF12284-BEB8-451B-9FC7-12ECCDBB04D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$D06D54D8-A910-4321-9328-F1B76393412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$6B04972F-1325-496C-B9E1-DBCDBB651224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a41433e1f196a0f136ec171dd1b235e6cd9de585","datavalue":{"value":"7544351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$6C10233B-AA53-4575-89B2-4D8804470D2C","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":"Q5082012$219B5045-4767-4104-BBD0-9B93AD5D285D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f62510082c2305314c42a6de22e7747b7833a87a","datavalue":{"value":"W3196464098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082012$72F735DB-9D8A-4591-82AB-9B89A7C00E00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f326ff0a6217035b3f98e0fe86ba173bcaf9472f","datavalue":{"value":{"text":"Proceedings of the 9th International Workshop on Verification and Program Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082012$F152A272-02F5-4C13-AC4A-346ED8370D9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86601bff425608763543d50bb14aca2136f1c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":4994112,"id":"Q4994112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c3e4906c47f885f97b0cbbab67cd85dd7354f5","datavalue":{"value":{"amount":"+0.8385043144226074","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":"Q5082012$77CEAD2D-18ED-4AB5-8EDA-34C476FEDD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b52553a78c4bbced5b7405756a80bb6821b789","datavalue":{"value":{"amount":"+0.7351671457290649","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":"Q5082012$46649E2C-E949-4B80-A82B-38C34145E2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2c74b429d2d4fc312fba1dda4d8d48abfe6969","datavalue":{"value":{"entity-type":"item","numeric-id":739623,"id":"Q739623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c45a86fb918cc54c588f1a4009014b74a3e6051","datavalue":{"value":{"amount":"+0.7348689436912537","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":"Q5082012$61E7393B-40ED-47D6-AE6D-71C4906C5EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8da30769ee0bf991601e0428f66c15b4fffec","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9a2fa9954ce225001066d9ef97d119b74a0e4a","datavalue":{"value":{"amount":"+0.7237389087677002","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":"Q5082012$A1744E95-4E83-4A6C-B4CD-CB9F7DBE7280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119130df6598e723b9adbb5fdb50ccc87eba1943","datavalue":{"value":{"entity-type":"item","numeric-id":2729911,"id":"Q2729911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0385639a1c28912908465b1d5c573bcdfa2e4843","datavalue":{"value":{"amount":"+0.7199511528015137","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":"Q5082012$936742C6-A0EF-4517-B1B3-4DF470DDAB4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5082012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5082012"}}}}}