{"entities":{"Q5716598":{"pageid":7746152,"ns":120,"title":"Item:Q5716598","lastrevid":92831729,"modified":"2026-06-05T02:51:47Z","type":"item","id":"Q5716598","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245545"}},"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":"Q5716598$87F4C654-7532-4EA7-8C34-D85F92BD11DE","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":"Q5716598$61206722-973D-4B23-8E5F-4028785FE4F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"088146e1338c1dba37cfa78bc1a6ccbf95c4aab5","datavalue":{"value":"1081.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716598$B2A002EA-1B41-4F01-A74B-957C04B12669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1ae1e223d6edc906d962ce069d2e155a87ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":3408486,"id":"Q3408486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716598$7278C0F1-EA5A-40AB-A44D-B90BE9476B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04935240de55a949343a0104f6137af940dc941e","datavalue":{"value":{"entity-type":"item","numeric-id":816188,"id":"Q816188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716598$59E27097-F866-46D1-AE51-73CDFB5F7636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2309e6110ac2efa5167ce01726a2626b32a049ad","datavalue":{"value":{"entity-type":"item","numeric-id":934702,"id":"Q934702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716598$2163E955-648E-42E4-B41D-E0109DCC8529","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":"Q5716598$827B6F8D-9A03-43F2-995E-19BDF0B441A3","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":"Q5716598$539AD8EE-20E5-4A77-A94D-2A17E08ADF85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716598$66B05DEE-63DD-41FA-A58C-39349AA79BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716598$CE33F544-1CA3-4563-AB13-B617835E3062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d7f9c78015a340e623f68793bc2c067b8b24ea","datavalue":{"value":"2245545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716598$3F75AADA-B663-4660-A3DC-5FAF6DD79B10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5919b3523f76156f83041b6c467fa7470e11c6ec","datavalue":{"value":{"entity-type":"item","numeric-id":19315,"id":"Q19315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716598$7B6E6EA5-BB78-45B7-AFB0-0D5512FBBDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716598$3E68FA08-2C81-4761-92AB-C4845C189693","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":"Q5716598$8504886F-54CF-48DE-BCDA-BB3146465BC8","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":"Q5716598$5AFC001B-FCD9-4CB6-9EE6-3066D92BA7CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716598$9C9128B4-2BB0-4EC2-A76A-3DA80BEBB36E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716598$248775E8-BF9C-4745-AAFF-DBE9244711BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa7e20f12221bc27308ac9099390d09f6d2f872","datavalue":{"value":{"amount":"+0.93608785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$61E6A746-62B4-48D3-B5E3-518468819ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e360b6e95f407b30484300ceaa660de75a99d81d","datavalue":{"value":{"entity-type":"item","numeric-id":5435632,"id":"Q5435632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ec33141f5fdd4775c8920e05198b5f3168cdf9","datavalue":{"value":{"amount":"+0.93155766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$D3E1CF11-1C84-4E0C-BBB0-BB4A7C2E4472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb1e9b7eaef1f80477dd67f3238f602021076f9","datavalue":{"value":{"amount":"+0.9282746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$3ECB0D29-6661-429F-9F74-12988B588545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03d1e60a917dd94699112020c16dcacdb5d5820","datavalue":{"value":{"entity-type":"item","numeric-id":5899043,"id":"Q5899043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b647a7b16aa1130c503a610a5cc0c21eb591a86d","datavalue":{"value":{"amount":"+0.92474765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$A85B7B98-F91D-4334-BB2A-A62885B41E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a90f689684b59872846c7387881c2eb0eb8fc55","datavalue":{"value":{"entity-type":"item","numeric-id":4551147,"id":"Q4551147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8383210049eccc51682c1f41805a6651441a73a5","datavalue":{"value":{"amount":"+0.92350507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$4A241B2D-BC6A-4EB1-9565-2AC1B6CC09BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61edb7ecab1f5627dc9d20ac76c9e88dd4557c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923520,"id":"Q4923520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e63a9a1acef5c125625e96d03b4199a0b677ab","datavalue":{"value":{"amount":"+0.9220311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$1C0E4D02-4FA7-4700-A868-371F61F2A5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9fc369e46fc329463fea3bac110c1110bcfcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed021543a8b20d97e6cc461baa6a83b8b15be5e","datavalue":{"value":{"amount":"+0.92148876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$7D082C9E-95C5-4A18-9EC2-28B0F228C986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c698ceabaa1a8db1a6347159e638c8ef59f99a7","datavalue":{"value":{"entity-type":"item","numeric-id":4737573,"id":"Q4737573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e502107f20b306e89612ed11970859e51e2a7f","datavalue":{"value":{"amount":"+0.91976166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$0698E583-5033-4343-A4FD-308989284ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f28c0621007c2097d5f63f6c3da1e1597e5b97","datavalue":{"value":{"entity-type":"item","numeric-id":4737589,"id":"Q4737589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bd79b4b9a10a326d847edbea92db89eddca892","datavalue":{"value":{"amount":"+0.9195335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$D8DF2924-1993-4D84-B277-7759347F1419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb9ce060d55e1b403f2129112efe14249c6bae","datavalue":{"value":{"entity-type":"item","numeric-id":2845512,"id":"Q2845512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2962ccbaaea7c36c7a6e0605347f2c2b7ae9a288","datavalue":{"value":{"amount":"+0.91862136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716598$DEB29A76-2F6D-47EA-9A7C-8234A12770B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245545)","badges":[]}}}}}