{"entities":{"Q5716591":{"pageid":7746145,"ns":120,"title":"Item:Q5716591","lastrevid":48627757,"modified":"2026-01-05T10:44:06Z","type":"item","id":"Q5716591","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245538"}},"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":"Q5716591$FD6851F3-68DD-4176-BEC4-71271CCDD7CC","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":"Q5716591$3F6F3E4B-2826-4109-B8DA-3D3E05B8D87C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e7a30bbbd887e3301fbe851a314b0ed158c5c5","datavalue":{"value":"1081.68611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716591$F46E3535-C999-47D4-8553-F67B5A5AB9B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93bcc46c92320d32acc10288ada535d0a0700679","datavalue":{"value":{"entity-type":"item","numeric-id":939165,"id":"Q939165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716591$A52175F9-265D-498E-9762-F6DE1ED208EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716591$FE4D3681-18C1-4F70-A782-50A1DE65C121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716591$ADF0DAF7-17E6-4934-87C0-4145B342583F","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":"Q5716591$607B7D45-879C-4B0B-BDC9-0E46334E7FBB","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":"Q5716591$A4685433-1A23-4317-9812-1EE3E3B71494","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716591$088CA3E3-10B4-44A3-8664-EDB62224358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716591$2987DAE7-4D1E-4189-8FA8-C4000E226CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"061fd1338590aa683254b5af4acfa72e6abb2fdb","datavalue":{"value":"2245538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716591$37DD57ED-5DCF-46C0-85B6-133A7242FFCA","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":"Q5716591$65EC956E-AFCF-4C59-9D75-620186FB4F64","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":"Q5716591$C8DF4B92-B80F-40AF-93FB-359D83C6FA24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716591$1342A407-92BF-4C4D-89F5-B8D365B3B9EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716591$37CFE0D0-4C48-487F-8B4B-4E594914AFA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b89343127fd44dc2f036a04e564b6991c8ba04","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0972753d47aaf31cd58fc917e32733a868cd6b14","datavalue":{"value":{"amount":"+0.901888370513916","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":"Q5716591$DE4A8A26-2C40-41FD-9054-D44EB1590206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2449eddd36c106be182b3043f294722941103","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba0068bb55f0f556b4ede3c98dd6990f1bcf82a","datavalue":{"value":{"amount":"+0.891674280166626","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":"Q5716591$9FBD1388-0392-47C9-A9AF-96C8D11E6CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30238393ceff3ebf87f858ba11879da3a40939f7","datavalue":{"value":{"entity-type":"item","numeric-id":5501930,"id":"Q5501930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cae8d99d00c1f1f294bd73a155e6beba449a20f","datavalue":{"value":{"amount":"+0.8732277750968933","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":"Q5716591$E9C8CC48-7A34-437C-9326-7A0F14CD6CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b2a7473afa35181e6a4b1419e2c41d987f2bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7f94f682a7f9b86676ac4076c76a729f88c5cd","datavalue":{"value":{"amount":"+0.8651871681213379","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":"Q5716591$B7617305-3A69-4750-9358-13EA2360E785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cf877a5e4ee125d8c3a4538c47797ea4dc571f","datavalue":{"value":{"amount":"+0.8631641864776611","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":"Q5716591$DD1D98F8-5441-4E94-B155-8A1E1FB10503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716591"}}}}}