{"entities":{"Q5312922":{"pageid":7342496,"ns":120,"title":"Item:Q5312922","lastrevid":40743620,"modified":"2025-04-04T13:24:11Z","type":"item","id":"Q5312922","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199311"}},"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":"Q5312922$93720E9E-A4FD-41A9-8AC5-78527CBC7E2F","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":"Q5312922$43933E03-959A-4C2A-A4A7-636FE2A2809C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d194c06e4dd18cf35b0b758c915ba6341f282172","datavalue":{"value":"1103.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312922$96295EBF-16CB-42FE-A7C7-1B22A5012813","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312922$1E5B85C1-70AA-4266-9212-7C9D4D269A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312922$A4C35E8E-BBCA-4FFA-98DD-748CC1FBA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80248cf826b6fa6a2d3d1275b9a1135efd3e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":2845502,"id":"Q2845502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312922$81CDB585-1858-4888-ABCF-15AF8B29D61E","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":"Q5312922$1AB1FFAA-BB36-4457-8645-28B74B3F4DEE","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":"Q5312922$843E61F9-775F-4CAB-BFD3-A4D919FEADE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312922$18449233-D138-4B56-800C-5F363EF921C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b37fdd8470ca847bd007e9cb3cf718ce1338f1d","datavalue":{"value":"2199311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312922$21E85E5E-E08A-4561-8F92-2812E036BD41","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":"Q5312922$01BA6371-9BA0-4742-982B-4A9F8CE4E2F6","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":"Q5312922$AD60E1B6-D542-47D9-84AD-D059E4EF6935","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312922$7130BD42-39DB-42F4-AE09-6B4E082B6CD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312922$898561EA-3233-4CBE-9298-5CDB919B765B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256942cf2c028a1e575b6a31cef1482304605e52","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3203f524770100d27aba388430caabb5c1cc54","datavalue":{"value":{"amount":"+0.8909504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312922$6FA240D3-C447-447E-B3F9-23852F0724AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a7395110f1b125257c79d9c0cc115ee2535713","datavalue":{"value":{"entity-type":"item","numeric-id":3081767,"id":"Q3081767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5525814f3a7c9f87d0d0da74b10657b7d80da2f9","datavalue":{"value":{"amount":"+0.8429754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312922$6006D504-1EE8-4058-80B7-B45A3EB2A2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b341d3d6af93e76e13304f8c5ea1018d786246a","datavalue":{"value":{"entity-type":"item","numeric-id":5016380,"id":"Q5016380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6787c692b87c35946537ef718681ffe2269de4b1","datavalue":{"value":{"amount":"+0.84290445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312922$AAAF7E7A-202F-4973-82D7-72E3A572463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c422a0f57a82da7b2610956574cff3d46df31d2c","datavalue":{"value":{"entity-type":"item","numeric-id":453516,"id":"Q453516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53193aa5fddda5cd08900835c6d70b195e19100c","datavalue":{"value":{"amount":"+0.8287516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312922$459F8B17-3173-4829-90E8-3F831AC71BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790722513bee059f7cb8d8882409e39f45990b56","datavalue":{"value":{"entity-type":"item","numeric-id":3636856,"id":"Q3636856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53193aa5fddda5cd08900835c6d70b195e19100c","datavalue":{"value":{"amount":"+0.8287516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312922$4F4E4BDD-C106-4DCE-AFE2-26475A26F340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70331a920e0b91983713dcafc62de9b171639f54","datavalue":{"value":{"entity-type":"item","numeric-id":1363703,"id":"Q1363703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcf3c8376573aae754eb4c635e625d238bca655","datavalue":{"value":{"amount":"+0.81864285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5312922$974051B6-E650-4160-BB8D-6E7D6FB7248A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312922"}}}}}