{"entities":{"Q5312948":{"pageid":7342522,"ns":120,"title":"Item:Q5312948","lastrevid":48536863,"modified":"2026-01-05T03:40:14Z","type":"item","id":"Q5312948","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199332"}},"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":"Q5312948$90AE39A0-3FFF-4EFB-8D0D-4173A15BEF37","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":"Q5312948$42BBBBD5-AACF-425B-B1DA-54D84711FC65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ed0574b969060ce2bb912461fd353d12d6ea6f3","datavalue":{"value":"1103.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$A85F022F-84FD-4751-A781-906A0F46BC05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7720f22eb78695ebaa480087fac7db26e8fa935c","datavalue":{"value":{"entity-type":"item","numeric-id":2848676,"id":"Q2848676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312948$2B33C461-98B3-4235-B1F3-A0FA09A965E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312948$023837DE-D665-4135-89A5-6099CE54C72E","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":"Q5312948$385189BA-1A28-44A0-A8A6-4D7089BD3964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5312948$E2A1A71D-95F7-4D40-ACCB-AA3B27623B10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$FAFD76D7-6714-427B-85ED-3A5FD5B8F38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$0283526C-5DB7-4C24-8C47-D77655B0E70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$9D2982F1-89AA-409D-9EAF-E614683CF3DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37b05934d68f65d3b60d5ba767bcba9b20646d81","datavalue":{"value":"2199332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$8AB4D148-1447-417D-958E-EEFB58E4420E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312948$471B134F-83C2-4C42-8ABB-4625DD359148","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":"Q5312948$703EF3CF-8F21-4DF4-B390-42AA6F787D05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc85b80a186ab9851fed94472e07b18c0eda8535","datavalue":{"value":"https://doi.org/10.1007/b98490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5312948$5DCB7289-B0F7-4FE4-B2B7-DABE16780111","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$985DFF5F-04CE-47CD-B43D-BC45A357EEDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312948$6D0FF6A2-6624-4A38-8EAC-D099B2A052A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4ee0f783e4602ad14df085fa70e5d33bb660d7","datavalue":{"value":{"entity-type":"item","numeric-id":2848677,"id":"Q2848677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af6185b2a4334b85c0278b1f35db4d36c1cfc71","datavalue":{"value":{"amount":"+0.83614182472229","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":"Q5312948$F69E8AAB-EDCF-4779-B1C4-0E67F6ADC04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3fb68e231adbb74c2f5cf9faec77fee02e163c","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b059d8c7ab385f045edd63b7d31a837684e5026d","datavalue":{"value":{"amount":"+0.8110043406486511","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":"Q5312948$824E2E0C-64B1-42C6-AA6D-AB24BE59B734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8079e18fb15a15b0d06c52bce8360e7866f53dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c89ed07f159090b3bdc85ad9a90090443f149b","datavalue":{"value":{"amount":"+0.8041438460350037","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":"Q5312948$7CE11D0B-FC15-424A-82C8-D77C026F5915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059a076abfa6fe50d413941e8836e47a2ee12d2e","datavalue":{"value":{"amount":"+0.8034576773643494","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":"Q5312948$E8C2976D-B17E-4C25-8353-0FD27CF1573D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9353b3b3b24b338fcae1b5a7af1977ccf4b16b","datavalue":{"value":{"entity-type":"item","numeric-id":2848673,"id":"Q2848673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4b5693524dda4f852bc4474dd2403d54659644","datavalue":{"value":{"amount":"+0.7952855825424194","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":"Q5312948$80670FFF-9514-4B17-9CC1-B99F96E58944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312948"}}}}}