{"entities":{"Q5312911":{"pageid":7342485,"ns":120,"title":"Item:Q5312911","lastrevid":48537799,"modified":"2026-01-05T03:44:33Z","type":"item","id":"Q5312911","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199301"}},"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":"Q5312911$AFC97DA5-EB91-4566-A41D-EA46667D7766","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":"Q5312911$23542CFE-693B-4803-BC40-6BBF5E04ED8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ca92104e1ada0e855441cd1b67856a24e61f578","datavalue":{"value":"1103.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312911$D1EDAF38-7C8F-4936-BD4A-8198EA2E0F46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbdef6ed84d19ddd3e94030feacaa4467f2ef1b","datavalue":{"value":{"entity-type":"item","numeric-id":706500,"id":"Q706500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312911$9BD13A6B-F52C-4431-8D53-6A8E1FD54D24","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":"Q5312911$A25DE157-CE92-4B1E-A618-39CACB16E549","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":"Q5312911$8AC61A44-324A-4AC6-8A86-9246F3B93E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312911$B0FF6AEA-A122-49E4-88A4-F0DCAADA8DED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8cd1d01b6e2c5730b53d438f46fcbe4190c8c02","datavalue":{"value":"2199301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312911$F00F3F63-CD5D-47F1-90F7-0403BED8B229","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":"Q5312911$B97EC5CD-53DA-4653-BDCB-8C64E421DCFB","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":"Q5312911$73BAAFB8-70AC-4A16-A4DA-CC2939BA1F12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312911$2087165E-0077-4999-ABD5-375CC12AC0FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312911$B2D741C9-08C0-405A-9DA7-23E1C54DAD3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c1b0bc00605c975f5744428b3d0b0bd4af25ef","datavalue":{"value":{"entity-type":"item","numeric-id":5493238,"id":"Q5493238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227a478ccff52b6b3c3faa7b379e333214b3f336","datavalue":{"value":{"amount":"+0.7610439658164978","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":"Q5312911$A786384E-56F6-443F-AACC-CE1F94F02231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e394753a873610c0a7ed1771b36ec18ee0be942","datavalue":{"value":{"entity-type":"item","numeric-id":507359,"id":"Q507359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b746037bc5d007eeecfe507641e66179b5ef1304","datavalue":{"value":{"amount":"+0.7589988708496094","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":"Q5312911$61184CFF-281B-4753-8BC8-13FF87EEBB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203a75943bb71ad7a903055773aa97551fd75bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1780176,"id":"Q1780176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeb6825da12a6d2522c37ddb085be502984fc13","datavalue":{"value":{"amount":"+0.7562606930732727","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":"Q5312911$D2C9D24B-C350-4D14-870C-CF4D9359CB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7fcf9c197fc2ba13bf6b08ad679e93c805abf","datavalue":{"value":{"entity-type":"item","numeric-id":5308362,"id":"Q5308362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a585104ac4d69346e3d9d370cc8c87b0fbdfc5aa","datavalue":{"value":{"amount":"+0.7562022805213928","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":"Q5312911$6356A54E-6EFF-465C-8C9B-4753A78CCC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263464f9d6b07c8acc2aa09d272eccd4e746ca90","datavalue":{"value":{"entity-type":"item","numeric-id":3593067,"id":"Q3593067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d49222b5ab54901451a3085d356816f7aa2107","datavalue":{"value":{"amount":"+0.7504094839096069","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":"Q5312911$E4084DF2-764D-497C-84F6-A65E04B49E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312911"}}}}}