{"entities":{"Q5900702":{"pageid":8006955,"ns":120,"title":"Item:Q5900702","lastrevid":93572867,"modified":"2026-06-05T04:37:50Z","type":"item","id":"Q5900702","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695382"}},"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":"Q5900702$9E940C03-31D6-4FB7-8F41-01E8145A7750","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":"Q5900702$B4DD5AE9-7C2E-486F-8407-5F8AA0FC6AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ddd8f958399769b7e792896df918857075d1ca","datavalue":{"value":"1278.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900702$CADC7151-5507-474F-AC2E-2BED3991C263","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"771e582fe5625b6635c8174bac9c42c0787e74dd","datavalue":{"value":{"entity-type":"item","numeric-id":3192071,"id":"Q3192071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900702$0C04AFFD-F479-48F4-9036-CA8DD8AEE4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec93cda931f97e37754e70e706d16c8dbc572422","datavalue":{"value":{"entity-type":"item","numeric-id":1604723,"id":"Q1604723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900702$1D6A2BAB-B378-427A-94A4-64B1E75BF4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900702$7621220D-0E3D-44AC-8FB5-1376D8BBC318","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":"Q5900702$02D6F8BD-0663-4642-8F6F-BDFF821C3A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900702$2A419C14-B89A-417F-8CF8-02294C32A739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900702$AEEFBE9C-FC12-4466-B3F0-711F24223855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f254b1ad1dc01f6f148604e6a172b1ced0308d28","datavalue":{"value":"5695382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900702$9FBDD65C-DF6D-47E5-B43D-8C8221908F26","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":"Q5900702$6AFAD040-7C5C-450E-860E-E9BE9F92B547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900702$89F7361F-396D-422E-A19E-E8C191DD588A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900702$DF553871-368E-4541-B65C-6323A46E411C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900702$CB4CAFD8-698A-4550-B9B6-FFB2387AFCD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd216c84196f95255089c628e9c3088b2a2d550","datavalue":{"value":{"amount":"+0.87365955","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":"Q5900702$8B37B589-530F-46B2-9B27-0C57E9710B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49b5971d08c4c43f9d885c9ec94bd59f492d8df","datavalue":{"value":{"entity-type":"item","numeric-id":2843823,"id":"Q2843823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030a34d45ea27cae8f4fce8ea1289671c6aa337a","datavalue":{"value":{"amount":"+0.8716761","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":"Q5900702$7368BE8E-70B6-4577-9FBE-8D3FFE10C334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea1cd4454a1ddf973c364f1b94226e221c34ae4","datavalue":{"value":{"entity-type":"item","numeric-id":5423866,"id":"Q5423866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3325c8965335bfb3401d0f4dba1b2d993df60f42","datavalue":{"value":{"amount":"+0.87161076","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":"Q5900702$70EE0B69-FF6B-4A2E-ACF6-AA38D6CF80CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22331ea076034d9c292eeba8f06b8ae172a043a3","datavalue":{"value":{"entity-type":"item","numeric-id":5312987,"id":"Q5312987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9434a186f7d9aebd94e56a5be2a025091dabbb2a","datavalue":{"value":{"amount":"+0.8599563","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":"Q5900702$74C29E3E-1CFE-40F4-BC1E-33B683B5D83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc81cd91c3f9af6c16983e319c93c880738651a7","datavalue":{"value":{"amount":"+0.85578537","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":"Q5900702$52A1598F-330B-45C3-80CF-8F104787E3B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 5695382)","badges":[]}}}}}