{"entities":{"Q5410484":{"pageid":7440058,"ns":120,"title":"Item:Q5410484","lastrevid":51979787,"modified":"2026-01-20T16:32:48Z","type":"item","id":"Q5410484","labels":{"en":{"language":"en","value":"Automated verification of relational while-programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286095"}},"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":"Q5410484$22033676-CACA-42C8-83E3-682F93A98E8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efda70f1f94fe06f1dc9374b328a5e73032275ef","datavalue":{"value":{"text":"Automated Verification of Relational While-Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410484$9DEB58C3-197A-403F-9FFE-5FA2A7ABADA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94848e1b32b8ab644c0e44e373508768659bf6d","datavalue":{"value":"1405.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$3C69117E-DB0E-4F0E-B448-B5C42A015069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2956442913ecb9d28e6a1176283bea63b78f16b3","datavalue":{"value":"10.1007/978-3-319-06251-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$A0FFAC4C-A7C8-4C79-8F0A-DDE50E14E6BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$960C8136-4655-46F0-89BA-B8269E0CA85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$27F852BF-7FD4-41BE-A44B-1A0BE4A455F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e340cc0c1484f747cc53f9eda4f19c78a10991fc","datavalue":{"value":{"entity-type":"item","numeric-id":246440,"id":"Q246440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$B09FD209-7D51-47B6-ABE0-12FD0A42B8D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$CB74E82F-E752-4297-80E2-E858688E9CF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410484$4AE9A33A-9C4D-4835-B073-2A8CD5B3D3E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$EB03173B-950D-49CC-A2D2-B842B172AC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$B99D0C80-9A5B-4F18-8B4A-21C936C9913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$39CA07A3-7635-4694-825C-1C7A13703DC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8468d949c902d307468e9ad3d682a9c576f684fb","datavalue":{"value":"6286095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$82204434-EB1A-4785-B89D-786A19DCDF30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$3E069FC7-712E-4BF6-BB5C-7E12B604B8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$B6594468-33FA-4D72-86A8-757B83E9A5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$A5878F46-B178-4485-8CE8-52EA15E647DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$A8FF41E5-A716-45CF-B4C3-C3EB788ECD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$7A5B73B4-FED7-4B22-A369-900FFCA2D22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0b3613afdea99b20a3156b582c84af8424d5eba","datavalue":{"value":{"entity-type":"item","numeric-id":20514,"id":"Q20514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$70E6CA8F-8172-4930-A054-240B1372E480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2edca26d2a43ed58e18d7519ef02d4b0b58e9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":20512,"id":"Q20512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$53E4CC74-5B02-46F7-93FC-AF00B7DFFEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5956664a0e0c35cf8f30b37abaf5d976e2e5eee","datavalue":{"value":{"entity-type":"item","numeric-id":20513,"id":"Q20513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410484$228160B9-8DEA-4F28-9244-C5A0DAD6541F","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":"Q5410484$DE9A83E9-0B08-433F-8D68-59FB3127D84B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4439180a44574ffdf78b9d636ebf551af1138b6c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06251-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410484$48AB534A-96E2-4D42-87BB-0958E397EF96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"384bed9cf0be255ddb1cb1cb2fdf8fe7293e14b8","datavalue":{"value":"W62603474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410484$A8022318-B2F9-4885-9650-63813393491C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98f2abb2e6d695d1a88d96506627a8bad2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb8125f48e257ef1272965f95e9923332e7de29","datavalue":{"value":{"amount":"+0.7657750248908997","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":"Q5410484$F802227C-1035-4983-8F7E-4F7A06E20491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cc0e1b16c769010b9160f71d8491515f57b776","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbb68e8e246d0a9c9ba63d457d123df4b90a0f7","datavalue":{"value":{"amount":"+0.7401826977729797","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":"Q5410484$B6C3BD45-FEE7-473E-8C55-2470CC5AB871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107260613f3ff1488df2b54c7a75d40f59dad440","datavalue":{"value":{"amount":"+0.7396591305732727","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":"Q5410484$D7ACB9BD-80CD-48EC-ABCD-EE48934AF377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744df7caf7421f52c3ae62c16256bcd63d8d05de","datavalue":{"value":{"amount":"+0.7395838499069214","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":"Q5410484$2C7F013D-EE4A-4272-98C1-8CF9413F7C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744df7caf7421f52c3ae62c16256bcd63d8d05de","datavalue":{"value":{"amount":"+0.7395838499069214","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":"Q5410484$62B69237-0BE1-4B3D-AEDA-27840C0AABEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410484"}}}}}