{"entities":{"Q5312907":{"pageid":7342481,"ns":120,"title":"Item:Q5312907","lastrevid":92425631,"modified":"2026-06-05T01:41:26Z","type":"item","id":"Q5312907","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199297"}},"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":"Q5312907$4E06F23E-F063-4C7C-8FB7-47E020C6B919","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":"Q5312907$B83B29A1-1BE0-456B-81F8-598FFAB5EF3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aa0bb7d1adbafedff0a6e1d14b88bdc7b74d65b","datavalue":{"value":"1103.68623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312907$14B63C59-8C5A-4C81-81EF-51B2C687756D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312907$0C558E23-58E9-41B6-880E-D1DE38DE4E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312907$A8991809-1233-4840-8937-AB003A15DCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dcba1a85b5ac0deee4d501754b8864049a4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2643336,"id":"Q2643336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312907$A1FEB3B8-EEE9-46E7-A417-88F699955475","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":"Q5312907$4754A6DB-40F3-4D10-AD71-7D4FF69C06B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312907$FDE167C3-7B28-4875-AF98-340ED9AAC2E4","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":"Q5312907$0AEECFC0-9396-4D59-BEC0-0F9F3168C409","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":"Q5312907$1E7994BC-EA5F-4B79-9A6D-7E09C96674B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312907$A169352E-B572-40DC-8573-EA0F9065000E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f564bc1eb58c48d32f699ef3206993d23cc455","datavalue":{"value":"2199297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312907$0D97398A-D8D4-48D6-89E2-606B90FBF847","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":"Q5312907$42F42045-36D1-4D56-9C66-961B52370C3F","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":"Q5312907$9F1A24B5-02EA-4363-82B1-D27E48B96B58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312907$A9682CD0-2623-456B-A960-D2BBBB75B014","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312907$050E23D7-08EE-4B94-8E6E-690C6DC1097E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace90ae293130901c8792d99ec3c790c8b53ec06","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f2d7823a670086fc5dbd0320fa8a91e10534b3","datavalue":{"value":{"amount":"+0.8551357388496399","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":"Q5312907$80315DBE-8E70-4FFA-9DD0-99BA6F19ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42fd7fd08a842e0eb95ea9deb6868d0cf675d00","datavalue":{"value":{"entity-type":"item","numeric-id":3636811,"id":"Q3636811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29b2d9c72054a119a391cc03d8c546fe318f1a5","datavalue":{"value":{"amount":"+0.8538662791252136","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":"Q5312907$ED946CF2-E65F-4E29-A1BF-C2F5B2DE92EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8b7d388d09f95594114557105cf8840e9589ad","datavalue":{"value":{"amount":"+0.7632123231887817","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":"Q5312907$807EC4A1-9037-428F-B0C7-D4FB37B3C8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efe42f5de4f93ba6dc9404899c99f5726c3c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0501fe81a337e53beac540b314f6a21eacc885f7","datavalue":{"value":{"amount":"+0.7621690630912781","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":"Q5312907$D73613AF-7390-4475-ADAF-D73F6F532E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062192654decac9c9356935c51030de414a3d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":2863833,"id":"Q2863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b526e44f429eb208756045a6dd8d498bbdabf49","datavalue":{"value":{"amount":"+0.7577222585678101","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":"Q5312907$6CDF85AA-05DE-4D89-9F9E-E8FEF569F28E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2199297)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_Aided_Verification_(scientific_article;_zbMATH_DE_number_2199297)"}}}}}