{"entities":{"Q5716587":{"pageid":7746141,"ns":120,"title":"Item:Q5716587","lastrevid":48627748,"modified":"2026-01-05T10:44:05Z","type":"item","id":"Q5716587","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245534"}},"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":"Q5716587$EAB2574E-0AF8-4718-B709-FFD33C2FF232","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":"Q5716587$753A6766-E3BF-47AD-98D0-BB830BAF485B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bb10c56da74c7367c7d0684cb81cbfc01f832f0","datavalue":{"value":"1081.68625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716587$F61D6583-298A-4B27-91E4-CCA3FF8F1629","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6b5181b5906f6b9ceccc1a8d8587cc76491c9","datavalue":{"value":{"entity-type":"item","numeric-id":1039851,"id":"Q1039851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716587$63590A8B-57AD-4252-981D-CAAF2678303F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb662513b11775f5b0d2345a551c932d47a26dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2891414,"id":"Q2891414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716587$91F69E01-DB59-4137-8C77-AF5843A4E341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716587$12B40C00-A22C-415B-9715-80CA00404A74","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":"Q5716587$15486701-F45C-44E4-9C88-9B068A642597","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":"Q5716587$146AF858-8532-4D89-9A7E-BEEC634D4B9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716587$4FF43BF8-0DD2-41CA-9BEE-134AC0055CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716587$65238958-9125-4598-AC8F-3F524FCB70A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53aae301848c23036822298c24e3b1700ba47fce","datavalue":{"value":"2245534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716587$991607E1-2865-4EE1-A583-D7384B5F1C27","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":"Q5716587$20E83850-3376-4CDC-A67E-7B08A8A92F25","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":"Q5716587$3BBD57DC-8291-4514-9E5D-4D5138502963","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716587$DC7DC890-B9E3-481C-BEF2-B7E1C680217F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716587$96EB55FE-B75B-406E-83FD-C5A7A584A028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b725c81d79ce6597973f2ed8db436ab09913027c","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed95ca2b5ab66e05aad3634c36b354cf5b2dfd0","datavalue":{"value":{"amount":"+0.8837571740150452","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":"Q5716587$F23C9E2B-3F6B-4F59-BF81-0E335A9A45DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471850978f1cf60be8cee589a2caea83231022b9","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5cdb0f17e1c2509f9fd483b833d25ea0d71d22","datavalue":{"value":{"amount":"+0.8792775869369507","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":"Q5716587$FA8FFA41-E132-4FC7-8B8C-83B4B87E7873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf452b51942da2eceb5cfd9792021b681a2196c","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20197709b21f573acba75e64a986418a2bd6dc9","datavalue":{"value":{"amount":"+0.8300293684005737","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":"Q5716587$7523600E-9830-4956-905A-44D67DE15616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de35ca618a8e17a672cf3c48116496425cfc8491","datavalue":{"value":{"entity-type":"item","numeric-id":3558251,"id":"Q3558251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4eaa99fea0f1d683b985919fff68e8a860386e8","datavalue":{"value":{"amount":"+0.7988463640213013","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":"Q5716587$319ADDD8-A3AF-4B84-A42F-98B3D57C091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053cadccb5017109876e030b2e0b8cd8d16ccba0","datavalue":{"value":{"entity-type":"item","numeric-id":5739894,"id":"Q5739894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643efdaa1f6c8501a51628a69f42b723c03ab2bc","datavalue":{"value":{"amount":"+0.7925374507904053","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":"Q5716587$8C8C6F8D-0117-47D6-B552-A7E61F5F2765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716587"}}}}}