{"entities":{"Q2633296":{"pageid":2644039,"ns":120,"title":"Item:Q2633296","lastrevid":44530338,"modified":"2025-11-23T15:01:07Z","type":"item","id":"Q2633296","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13--15, 2019. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7052265"}},"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":"Q2633296$804067F8-2877-4593-8118-68A051C86DDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c90ed7f1d771a95c9ac7ea553c71ec61e3134847","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13--15, 2019. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2633296$10F0E226-422B-469A-A14C-1113FC1AF47F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8efeac35360626472de73b61670130fc1f5b1955","datavalue":{"value":"1409.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$6D6B6FC4-EB64-4D06-A8E7-066B3634935A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db4deb0a0b374fb50dc73d843ad9b865c0855963","datavalue":{"value":"10.1007/978-3-030-11245-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$3694522F-CD76-4AFE-8647-E84833E9CF2D","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":"Q2633296$45830534-C8C2-4851-9E5E-592C0C573166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8721ec9cf8de43034be561afa7e535bafe3c2e57","datavalue":{"value":{"time":"+2019-05-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":"Q2633296$C4B29010-9932-435C-9578-3FD6FF4837E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$8D68238F-A3C4-42B0-ACA1-14A28B1C150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$E178F84E-3130-4BF1-8D7B-6662322D6809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$F564D5BF-9234-4618-85CC-FA53D3DB9295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1f678f22d3a9f95953a1518e52d9af835b4e1b9","datavalue":{"value":"7052265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$0924DD0C-B989-4AA2-A0AA-3ADE0506C4EB","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":"Q2633296$26AA29B0-C77F-454F-A601-D560CB232B23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1513e970547eac77334987a467b3fc8f2ca5ad29","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2633296$5A26E631-ACC1-4A47-BAF0-73917CFD37DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"010f348f5c09820cfd5ae398b865f8e7ef42c64d","datavalue":{"value":"W4288832657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633296$F9B38063-C768-45BD-92A8-5708052CE34D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a96920c8936b62dcfa2fab97fa3e07d73943443","datavalue":{"value":{"entity-type":"item","numeric-id":2287642,"id":"Q2287642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c492ba48e5591401a60e5f74c8eedf3bf509ed0","datavalue":{"value":{"amount":"+0.9419309","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":"Q2633296$05108393-4486-4B64-8FEA-1EE7CCCEA71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7540d7182a552b3fe68b33783ab9098b6209c54","datavalue":{"value":{"entity-type":"item","numeric-id":2414670,"id":"Q2414670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eee999d479d0b8b4f80f5c0b04f864a52a61550","datavalue":{"value":{"amount":"+0.9418786","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":"Q2633296$7CBB33A0-4815-4895-A505-6F4283FF90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc64e9a869493416b302571c6773ef1e79d06e","datavalue":{"value":{"entity-type":"item","numeric-id":2118710,"id":"Q2118710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01026287b78e404861bc478838255924f1e92c84","datavalue":{"value":{"amount":"+0.9392286","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":"Q2633296$741761F4-A433-40AE-A4B0-D051F094A343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a05c7d09ab8b58bda95988a0fb39cdc8cb2846d","datavalue":{"value":{"entity-type":"item","numeric-id":2041458,"id":"Q2041458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9772805bf6bad8050959b267852c49e030eb259","datavalue":{"value":{"amount":"+0.93848556","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":"Q2633296$F5E7C157-F770-4AF4-8A48-9997D45B054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6342a6eebcc14eb1e0e17cf4d568999339f4b6f","datavalue":{"value":{"entity-type":"item","numeric-id":503346,"id":"Q503346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7063f7d7ed00b1f0a12296a25c6fef45382d7715","datavalue":{"value":{"amount":"+0.9378427","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":"Q2633296$9E200F7D-40E8-4E25-BC67-958256DA3E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44bed728d6ce16c01fe906a56553cb136a9a203","datavalue":{"value":{"entity-type":"item","numeric-id":2685989,"id":"Q2685989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2457b137a7a84bc84b66595a74d782d5808ee42f","datavalue":{"value":{"amount":"+0.9297065","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":"Q2633296$48A54951-8245-4A49-AC29-037128B47201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc104e5559ffc7415f001c4c538985f3c05674d7","datavalue":{"value":{"entity-type":"item","numeric-id":664860,"id":"Q664860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925be4277ca5388bf579ad61c42dbad840758674","datavalue":{"value":{"amount":"+0.92935205","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":"Q2633296$002F3E31-3EC4-4D6A-BDA9-ED32517480EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652e1ee5024190eac6616e8b4b2e09ca882deb13","datavalue":{"value":{"entity-type":"item","numeric-id":903406,"id":"Q903406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0514703c7c3b42627137e897a577bda9a0b4d260","datavalue":{"value":{"amount":"+0.92730284","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":"Q2633296$2C70D6DC-94C4-421C-A2EA-56B824005524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e237cfad8ad58ae67b6b888ffefda5dd8c118","datavalue":{"value":{"entity-type":"item","numeric-id":467043,"id":"Q467043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af72e02d7db88a3111a2e66baf77b432b329ccd","datavalue":{"value":{"amount":"+0.9243858","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":"Q2633296$1E2BB2B6-156D-4603-8244-E3DA4CE7E605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9296d7b1119da3666ddd4222ecc1036fb87f9728","datavalue":{"value":{"entity-type":"item","numeric-id":388781,"id":"Q388781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9653fd8fbb37433fd32ffd930b9e55b3e08f2d8","datavalue":{"value":{"amount":"+0.9223945","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":"Q2633296$64C81147-643D-412E-A923-299F2D3FC0A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2633296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2633296"}}}}}