{"entities":{"Q5716547":{"pageid":7746101,"ns":120,"title":"Item:Q5716547","lastrevid":92891354,"modified":"2026-06-05T03:01:36Z","type":"item","id":"Q5716547","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245502"}},"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":"Q5716547$1035E27C-2B06-493F-B2A7-0D42C6A7A10A","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":"Q5716547$57CAFB23-EAF5-41D4-BCEF-775BE9E2A62A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a8159fc198a57e0a72645d36526311652f61dd8","datavalue":{"value":"1081.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716547$B0EE0150-9B3A-4E49-97AE-363BBBEE0D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd944228db4d60cbe510a5ef912d4a914118554","datavalue":{"value":{"entity-type":"item","numeric-id":816195,"id":"Q816195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$D4B6FCF3-BADB-4BAB-B4E6-87BC06655580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$200305C9-7282-4667-813C-6FFF05ABA180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f466a81dfb41da579d777222d9300a5c35de1b","datavalue":{"value":{"entity-type":"item","numeric-id":5716546,"id":"Q5716546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$9EAB0C75-BC59-433C-AEC3-0FE4A3C80B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbdbcb1784f6169dfb7cf6ecf9f9b9ef79b7ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1888202,"id":"Q1888202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$B90E053A-2934-43D3-BE6E-0935AA9F4FFA","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":"Q5716547$3CE6715E-4148-48B3-BB4D-D6B4E3A4A2DD","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":"Q5716547$6A1916F4-4CFA-47BB-AF8B-2416DF3E63F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716547$7D239F4E-9922-4EA7-B334-F0DC23B44579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28d559d6a61140b1126702a372ac189d0b9109fd","datavalue":{"value":"2245502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716547$FC654B6E-7D9D-4D73-B460-044E15CD611D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$58E7811F-E9AE-4342-928F-3F720434A4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$B6FECA6A-350D-4272-8349-DF42C2152D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$C2E01B05-DA15-42FD-BD86-627DEBD3671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716547$9660C7BD-24DB-44E1-839D-829D7C4ED5CA","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":"Q5716547$600805F2-F559-4D06-B034-03C5E474CF04","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":"Q5716547$AF55B333-4A40-4600-8C78-9A0F4BF178A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716547$688511BD-F16A-40E5-9668-FC6426125825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716547$7A964F62-4C3A-4877-823B-213C3B060622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548a1d5894af2a851c91ae826553b4167c5c9170","datavalue":{"value":{"entity-type":"item","numeric-id":4790340,"id":"Q4790340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d2f910db6040a6df2300246364d355593ba590","datavalue":{"value":{"amount":"+0.7590406537055969","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":"Q5716547$D26E18D1-AC38-48DB-B759-CB55A0C91E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f3f1f76cf50cfbd7b1c174cbe19ff6550133e8","datavalue":{"value":{"entity-type":"item","numeric-id":4738338,"id":"Q4738338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6963e488c8762784b5ef5196d57d5497b9de90","datavalue":{"value":{"amount":"+0.7516286373138428","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":"Q5716547$9B17A5B9-5351-4C8F-8089-59025FC3DD38","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":"e62a7c8d6fa9637eae5ef62ea121140e72c04ffd","datavalue":{"value":{"amount":"+0.7504684329032898","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":"Q5716547$292298E3-3D48-46B7-A790-D2CE3452A8CB","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":"d79f0ee5f060904372c45efe68103123dfb6f8a0","datavalue":{"value":{"amount":"+0.7488610744476318","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":"Q5716547$CFD20407-0D0F-40E2-9C63-A6BD6A6F3D77","rank":"normal"},{"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":"6ad6dded1900730751fbb4f7e64e688f5bccd617","datavalue":{"value":{"amount":"+0.7488607168197632","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":"Q5716547$8C59C310-9AC7-4609-BE08-92D12B6D9FC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245502)","badges":[]}}}}}