{"entities":{"Q5312933":{"pageid":7342507,"ns":120,"title":"Item:Q5312933","lastrevid":48537847,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312933","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199318"}},"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":"Q5312933$C75CE5FC-6707-48AA-AE70-9754987CF307","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":"Q5312933$EA89E276-8F79-4316-A147-764A3FD8B18B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d86c5594a98e453b2e59875aac2ea7a8b99fb591","datavalue":{"value":"1103.68614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312933$768F310D-F9C8-4E18-9217-BE3D5EBBC4D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b51e224dfb3928522f4a40a9f5a5f03d0baef5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3021421,"id":"Q3021421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312933$B1DE1E16-6DD4-41A6-B074-F465716833D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7965b744c3ad82b3b70060228ee3b54966579","datavalue":{"value":{"entity-type":"item","numeric-id":278740,"id":"Q278740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312933$F7218BED-A3DF-457B-9605-B0360D867532","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":"Q5312933$562F6C12-29CF-4ECC-B436-0CB3408F5490","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":"Q5312933$528F281D-DBB5-44C6-93C6-3964ACB8E02C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312933$AEC20051-D896-4DF1-978C-B7EFE16CE498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312933$FE5642AD-0A26-4E33-8AB4-7FA250C92441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ec9760a0b93aa7cd0cba1c2e8fc4c9ac487e674","datavalue":{"value":"2199318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312933$1F6CD6C1-E539-4E88-AE10-32B926628C0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312933$676E68F0-F82C-4A6D-82B9-72CC8C07EB9C","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":"Q5312933$3397CCA4-B8AD-4714-BF8B-6634B19C53F1","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":"Q5312933$0A51F155-CD22-4F1C-8F95-EA1E28FF8367","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312933$381AD2DB-A21F-4A56-B2C1-AE3B31746450","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312933$D46B2C77-6238-4A7F-943F-E835E2983AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b61cba58bb87adb93bfa67a60e9b84485efebb3","datavalue":{"value":{"entity-type":"item","numeric-id":4823626,"id":"Q4823626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992892bcaf7c78c645e87dbfdc9059b9b5f8d7a1","datavalue":{"value":{"amount":"+0.8611137866973877","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":"Q5312933$2F72BF2B-3536-4318-93E4-461DE95E6404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fff0f5faa194e27cef46a6ed8dea84b9f46e90d","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8846e571c017e899fca54060ac8edf2137390e84","datavalue":{"value":{"amount":"+0.8583155274391174","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":"Q5312933$B990EA4B-F159-4D7F-9855-B555AFFE1E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb455063ff7d21d9a268fe45d8966d153c9a52e","datavalue":{"value":{"amount":"+0.8252931833267212","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":"Q5312933$B0EFB85A-31DB-43C4-9AF5-D1B2FE88511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997af5c7e27fcae73d7075d665cef4ca756586f4","datavalue":{"value":{"entity-type":"item","numeric-id":5434507,"id":"Q5434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7a868db6e9601dc52852a65d1c03e3e91af631","datavalue":{"value":{"amount":"+0.8175686001777649","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":"Q5312933$30F330E5-8AA5-4092-B799-0E6FF72F3F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b07abd90bc2d252d15b97a0600b6f1043d6b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4738151,"id":"Q4738151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e24c01848e6d41f38c1b99bdca6262961139f7b","datavalue":{"value":{"amount":"+0.811712384223938","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":"Q5312933$94ADD502-1305-4100-B4B7-D1655089DB39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312933"}}}}}