{"entities":{"Q2799160":{"pageid":2809898,"ns":120,"title":"Item:Q2799160","lastrevid":79771514,"modified":"2026-05-06T14:40:28Z","type":"item","id":"Q2799160","labels":{"en":{"language":"en","value":"Automated program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566765"}},"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":"Q2799160$6FD65F60-6B68-41A3-8582-1238898969A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"120c082f28ed71c2111656a29fbbfd09a85e3b19","datavalue":{"value":{"text":"Automated Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799160$6175429C-CF81-459D-83B4-F6F2E3EAE1C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f15247a8de544a5b934066650ca01f489f922f0","datavalue":{"value":"1451.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$B2A53329-547D-4580-9E2B-1101ECAB0992","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2b7ebb9e98b03355e10c8d45248ad3f256f104a","datavalue":{"value":"10.1007/978-3-319-15579-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$FBAC862F-1571-4E6A-AF9B-41957B120FE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$899979FB-8D26-4094-810E-55B91F01FFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6692089e7e1e9109051611e18cfa47c46af10959","datavalue":{"value":{"entity-type":"item","numeric-id":1629966,"id":"Q1629966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$0F388ABF-6D1E-4CAA-8FE6-8EA4DEF6F3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48954c1a0cd2148a60dfcecb4d54e447f7acb36c","datavalue":{"value":{"entity-type":"item","numeric-id":286736,"id":"Q286736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$0DADAFCD-6152-40DB-BB88-E25A022BAE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$B94487F1-7729-40B5-86A2-B6D83E4A87AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$34CC302B-AA72-48DD-BB20-08C300EE270C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$285183C7-C30E-4B36-B98A-E7D9F8DCB0D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-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":"Q2799160$1FFEF9D9-F709-46B4-BCEC-38185F2B0DA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$0A6EEAA8-2B24-4D65-A0B1-C9992A9926FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$AAD7CF3E-BC24-4C0A-BF24-008E93C27C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$2C3C9FF0-4F4B-40ED-AD23-65A6484639D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"536b55b95aa346cc4693e820a2a1abed9b4fa2c4","datavalue":{"value":"6566765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$75ED4836-2DE1-4B73-88A0-53CD14FD526C","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":"Q2799160$FDBD1605-89B6-4EB9-8E94-F2A21E278FE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b80972e0d2b7c01a499c2ea71a4758a53dae70c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15579-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799160$31E22AA3-0404-47A6-B54F-6D4E9034D3EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d833da904585406587490a821bd70f17f5a11b3","datavalue":{"value":"W1897875017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799160$4E13F72B-A525-458D-ABED-64F6DFB5024C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$1BA88965-761F-404D-A6C7-37B39789DF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d17cd8fb8c8f9211e3da1bad07252a597c4ff6","datavalue":{"value":{"entity-type":"item","numeric-id":5326320,"id":"Q5326320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$AC44CF70-CBA4-42FA-AB2B-105D4AB990BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$AC84BE21-259A-4E93-830C-3B2D79F5156D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb01f51aac999eba17cc3ca784f571a7357214f","datavalue":{"value":{"entity-type":"item","numeric-id":2931789,"id":"Q2931789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$72939790-5AE6-482D-9688-CD601EB6BCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe368fb0b8f14e62aa960d3e2359d02cf4413f8","datavalue":{"value":{"entity-type":"item","numeric-id":5408413,"id":"Q5408413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$839A13DF-408A-45E7-B4C1-89D9B5527666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50857a8f041a6c593aa9ea3f6304a3ab1d297bce","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$D46C54D3-5F21-423A-817A-D5447BB6AEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063ef552d100c0083ba89f17521c382cb80929e9","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$CE7DF9A4-D871-4A95-B21A-088212CBA89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9746a3a7577f68c17412e51cb034688f80cc2301","datavalue":{"value":{"entity-type":"item","numeric-id":5166700,"id":"Q5166700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$139A49BF-5642-4CB9-ACC6-274DB33F5E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$C42B7220-06CA-4D17-80A7-DF8799EFA9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$0F9374E2-D3D1-4AB5-ABC5-9449AA744FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$A7319D61-6248-4555-B7E3-6D92C60A435D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$C9E95352-019E-4EFB-B8F1-1D7F8403E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$9B4A0E43-84F1-4A84-9D7C-28D61BBAF6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799160$CEC2EDE0-89E2-4196-A6B3-82915880CD87","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":"21d9979573ec43424d4e7c70fe7557e2a624dc21","datavalue":{"value":{"amount":"+0.7993801236152649","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":"Q2799160$C1D58117-5C3E-4EC7-B9C3-CCA28D08E61B","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":"741d0671289e1acdf3773a9e860019d3ebf95708","datavalue":{"value":{"amount":"+0.7800114154815674","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":"Q2799160$3520BFEA-7E49-4DC5-AD1A-FEBCAE57C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986afe06d0e449e6f3ff808ef12202603e9ddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4450cc9fb4a4f6f0431fc45e2d367d649dfcdada","datavalue":{"value":{"amount":"+0.7632389664649963","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":"Q2799160$FA3FB86A-6369-4C2A-9484-F24F9AD36475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5975c203433021d4f2ab2b5f9026eb37e0d789","datavalue":{"value":{"amount":"+0.7532519698143005","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":"Q2799160$98C83289-10F0-43ED-8C2D-8D0D6CADF0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3721cf27e0bc0ee3f723db233febf0bfa947702d","datavalue":{"value":{"amount":"+0.752943217754364","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":"Q2799160$FAF4B837-1457-499A-8179-D47D06064407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated program verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_program_verification"}}}}}