{"entities":{"Q5312947":{"pageid":7342521,"ns":120,"title":"Item:Q5312947","lastrevid":48536860,"modified":"2026-01-05T03:40:14Z","type":"item","id":"Q5312947","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199331"}},"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":"Q5312947$DE546F79-8E33-4774-A331-23C50A3A9B7E","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":"Q5312947$AF55DA26-3A19-4BED-BEE3-309D7FFA5CE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d2b069c6ae39df7d7450d7f4e079a7eadfb4830","datavalue":{"value":"1103.68629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312947$B0281FC8-5471-40BD-87D6-4A4BC6EF2D09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312947$4D9EBDC6-2F44-4B29-8AC9-43A273092A5E","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":"Q5312947$89690646-6116-4418-A78E-0CA598D0B8FE","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":"Q5312947$A05FF54F-01D7-42B5-9DBC-C72264D384BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312947$2A8C8449-2CFB-4EF5-8E16-5CB8AD493D7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5e98ab83fc3e0d2f0b7d49b4ca111ec304bcda6","datavalue":{"value":"2199331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312947$71D9E3AD-C863-4B63-A05D-991241B6E375","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":"Q5312947$412C1167-84AB-4768-A447-842AA1976589","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":"Q5312947$0AD1F073-9EF6-4C90-8CB9-1CB095BAF756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312947$F9AB6AE3-A6CF-4157-8DF8-EB472488E1CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312947$F6F9925E-7C8A-48CA-9F9F-402FCCA28D25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a69b569bd5a6006f994157f0223f451b0cb5353","datavalue":{"value":{"entity-type":"item","numeric-id":2848153,"id":"Q2848153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e83f1e8702bd56b6eeaf6ffa3063ef8c3bb0ef5","datavalue":{"value":{"amount":"+0.8229156136512756","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":"Q5312947$4DFFB9F1-68AD-47A0-9B33-DD74D35A9652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9353b3b3b24b338fcae1b5a7af1977ccf4b16b","datavalue":{"value":{"entity-type":"item","numeric-id":2848673,"id":"Q2848673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2957998d285a25bc6506fa5a0da272c0cd706c","datavalue":{"value":{"amount":"+0.8090663552284241","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":"Q5312947$972DAB81-F03C-42E5-BE57-C58BCC1BE477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a14f39f04394b7d9408e8373aa3a2c4d4299","datavalue":{"value":{"entity-type":"item","numeric-id":3083626,"id":"Q3083626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114b1b7801afd94a60aa0c8ec7d52771d53cdb39","datavalue":{"value":{"amount":"+0.8053441047668457","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":"Q5312947$268DB334-E197-4527-A163-A85632023CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b0c66951aeaf60a07c9b3563a2af87439f990e","datavalue":{"value":{"amount":"+0.7979868054389954","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":"Q5312947$8994D98A-557C-4D95-8BE2-0886FC45FD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aafcd072d1fe51dbf9b591c8429d960365ac339","datavalue":{"value":{"entity-type":"item","numeric-id":4738230,"id":"Q4738230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44cd75af3e9a22a98a9d31677bb1aad7a91e29e","datavalue":{"value":{"amount":"+0.7972833514213562","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":"Q5312947$595DCCB3-B772-4CE3-BCA8-BB1FE34461A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312947"}}}}}