{"entities":{"Q5900671":{"pageid":8006780,"ns":120,"title":"Item:Q5900671","lastrevid":41894020,"modified":"2025-05-09T12:18:28Z","type":"item","id":"Q5900671","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695350"}},"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":"Q5900671$AEFFE218-E88A-40D1-A388-D45014E3F294","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":"Q5900671$377C96F5-52F5-4EA5-AD7D-B5DE8E9570EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4bcd01962902bed96fb2e09f6e30be3859ff633","datavalue":{"value":"1278.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$02EB0548-271C-4DA7-B7C2-A85288C5ED13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900671$F98165F3-EB49-448B-A245-8B24E7D09CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900671$4304D379-A9D2-4ACC-A76E-EFED14D4C71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900671$5A5F4CE3-0869-4742-83B0-2D8F472C33C3","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":"Q5900671$8890AD45-093A-404F-A4AF-DBF892D4140E","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":"Q5900671$BE569E49-0EB9-460A-98D3-B2A04729B1A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$313BE735-0174-4FB0-89D5-ACBC1DE20773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$D8091B8B-B0B9-4706-B5BC-C6A5C248D6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$F3558D30-63FB-4C14-82F3-8DE933D62EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$D8456768-B7A3-469A-A5B9-2AAD3F146D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$7A2417BA-5EE7-4673-B5E6-A6B5D6B8790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$C545DC65-A604-4739-A0F7-62CFB428DB46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde2fe0cb36f0028416f509dce03278669ffa8c2","datavalue":{"value":"5695350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$B31C3EA1-46E1-42C0-8065-F634905D84A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4a576df40a56f4caeac99704b4faac3f837354c","datavalue":{"value":{"entity-type":"item","numeric-id":22086,"id":"Q22086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900671$3DD16944-FCAD-455F-969B-CDE87B803698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900671$2AA6F8A4-64DB-4EF3-BFFD-CDD1535607B8","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":"Q5900671$1F0EE41E-ECDA-40A5-8EC4-49EA6C1CC6EC","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":"Q5900671$31C966C7-2EA9-4725-9C84-6D4C912D3E56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$61CA415B-1E89-42E1-A601-1F39C46D1B88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900671$E230B63C-257E-4C3E-9022-ECC79EEE6390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2354f45f76cf1679477b206e2421c39dbd8afd8","datavalue":{"value":{"entity-type":"item","numeric-id":4417938,"id":"Q4417938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea9e382850039e0697b8524c9b77fd4601be801","datavalue":{"value":{"amount":"+0.95130825","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":"Q5900671$B97B26A6-7CE1-45EC-A98D-F3206F600D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45763a34dbe7dff6cc5ff7a0cfff5d6d64b5058f","datavalue":{"value":{"entity-type":"item","numeric-id":2368953,"id":"Q2368953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea9e382850039e0697b8524c9b77fd4601be801","datavalue":{"value":{"amount":"+0.95130825","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":"Q5900671$269C37E3-3BF0-45C6-AA13-E001C01C84DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c158f39c3191c237abd8cda98c336d5dd324f31","datavalue":{"value":{"entity-type":"item","numeric-id":4372463,"id":"Q4372463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c873fb9dcc362ad6718b035ac7ab41804fc867","datavalue":{"value":{"amount":"+0.91684574","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":"Q5900671$344CDF40-4978-451B-A003-A9AB7E61E54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fd552f93be2aefc1eeaf965ad574455fb9818a","datavalue":{"value":{"entity-type":"item","numeric-id":3182935,"id":"Q3182935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c33872bb7c444d37e0064d57a64fa0a6285a257","datavalue":{"value":{"amount":"+0.8796192","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":"Q5900671$306D33BA-158E-49BF-B697-AC5987000EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefc06d8b13fab5046e2f4451084b7884f7baad2","datavalue":{"value":{"entity-type":"item","numeric-id":5122310,"id":"Q5122310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f142524bb6c5bcbb81e5d08449d9957c65f57ea","datavalue":{"value":{"amount":"+0.8735184","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":"Q5900671$FF6C823F-F724-4AC6-AB36-939A45A18176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357b3030102ebdbe5bb7eb560cb54eed1c8606d6","datavalue":{"value":{"entity-type":"item","numeric-id":2156891,"id":"Q2156891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f142524bb6c5bcbb81e5d08449d9957c65f57ea","datavalue":{"value":{"amount":"+0.8735184","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":"Q5900671$4D040DA4-82F1-499D-B297-62B3A9CEA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab71b17e56cd6bac5d2220ed9b6c0ec5bec6a547","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04630ff9d646e1b49d9fc4b10b58755d5e8d1671","datavalue":{"value":{"amount":"+0.87334675","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":"Q5900671$1F1BE663-F24F-47DB-B692-F34827BD86BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626a31e082dffb0e3541d2346d04d02e9dbadbaa","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9148d3eab29b70049e69abd0d408f3536a571ade","datavalue":{"value":{"amount":"+0.8726103","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":"Q5900671$742E4A7C-E22C-4D14-83F9-A6561495D668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873eaeb0cea520a02d4891622f1ae368d9d12b6b","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29050960e1645e332a37e110eb7b31901323f107","datavalue":{"value":{"amount":"+0.870843","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":"Q5900671$213A7DE4-DDA0-4EDC-9E22-7ED321C1FCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6409d6bf2b565ede6d4b4ce498b6a511fde038b0","datavalue":{"value":{"entity-type":"item","numeric-id":406638,"id":"Q406638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88367194850de97eddc6d13db3a63219e47cf4b6","datavalue":{"value":{"amount":"+0.8664772","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":"Q5900671$48456E1A-9C7E-4D2E-BB7D-431DFFF298B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900671"}}}}}