{"entities":{"Q5716552":{"pageid":7746106,"ns":120,"title":"Item:Q5716552","lastrevid":92891399,"modified":"2026-06-05T03:01:36Z","type":"item","id":"Q5716552","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245505"}},"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":"Q5716552$104A8EA7-CD17-4C35-9524-3E70BB0828F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716552$17A8E81F-698E-48B5-A8ED-C39EC9608F67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1739fbddae9f5c94c9632d6613f7487a2d63b09d","datavalue":{"value":"1081.68613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716552$A10F9730-8DF0-4298-A5E8-55A4E380FD43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716552$80DFD141-B170-423C-A32D-A859C88DF7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb62936afaba57f37c62cd1dd480cab0736432af","datavalue":{"value":{"entity-type":"item","numeric-id":5716551,"id":"Q5716551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716552$18100919-98A5-42C6-B998-BD39E28753AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716552$7EF2F0F2-920E-40F8-AE09-C9BA6CB49334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e33ebf1da6211d7c37d18ce7e9a4ace768076e0","datavalue":{"value":{"entity-type":"item","numeric-id":3046784,"id":"Q3046784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716552$79E43252-0827-4F8D-9AF9-DC5847393EBA","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":"Q5716552$922C0A58-72EE-4131-A980-2222F2EF9724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716552$7AAE5807-B81D-4BD5-9637-482412A16E8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716552$B70274EF-A71D-47BC-8724-793512A82631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a216f8b803dcd52052bcc06c8c0243577c269f3b","datavalue":{"value":"2245505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716552$FFA2B1D8-93FB-416D-9C7E-62629291ECBE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a550f2aed44e0d451882ee48f82a9d69812e1b","datavalue":{"value":{"entity-type":"item","numeric-id":19560,"id":"Q19560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716552$CE6AC147-9DF8-4512-AA44-FEE4AB242CE2","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":"Q5716552$62A8A2A7-18CF-490E-B065-5317BB63548D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59192cc2deb09ff7c49a493186135c31d5f4ad9c","datavalue":{"value":"https://doi.org/10.1007/b138445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716552$28227D57-5319-472B-B34B-B5CE00108917","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716552$31A15568-19C4-426B-972E-252A8A0076AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716552$E72AE677-CEA4-4A43-9950-9ED8E37DD682","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5a0e1d3dca9b3c2f2ff13591104bdfed2b9a1d","datavalue":{"value":{"amount":"+0.7349572777748108","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":"Q5716552$B5764309-32D2-4794-93D3-4E8055922C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b48df5093568f30e55058b920a766da990ef76","datavalue":{"value":{"amount":"+0.7330150008201599","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":"Q5716552$5694F3E4-2C5B-4273-9AB7-0C3E53BA40CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7522e303b108469862824f30706c05e5d92ae7fe","datavalue":{"value":{"amount":"+0.7299789786338806","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":"Q5716552$36E4A065-08AB-423D-AB2A-8ACE3C5057A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7522e303b108469862824f30706c05e5d92ae7fe","datavalue":{"value":{"amount":"+0.7299789786338806","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":"Q5716552$A694585F-8029-47ED-B2B8-020C8BAA1484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ed06853c26b5ec2d45b3ad79e9574717691915","datavalue":{"value":{"amount":"+0.7283157706260681","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":"Q5716552$6EA428CA-E0D7-4C18-9177-FA985255492A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245505)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_Aided_Verification_(scientific_article;_zbMATH_DE_number_2245505)"}}}}}