{"entities":{"Q5716581":{"pageid":7746135,"ns":120,"title":"Item:Q5716581","lastrevid":92831576,"modified":"2026-06-05T02:51:46Z","type":"item","id":"Q5716581","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245528"}},"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":"Q5716581$DAA764DF-BDC3-47D8-9E51-E79F70521A0E","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":"Q5716581$5DF91C95-1503-433B-9865-C83D8534B1A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d83b73bbebc4cf339731b58e8e74e15bb3ef06bb","datavalue":{"value":"1081.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716581$1F34EA59-8352-4899-9426-1FD1955B7E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b21de2dda3d15b0ba186c713f3078b0b25b5589","datavalue":{"value":{"entity-type":"item","numeric-id":439945,"id":"Q439945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716581$F4479110-EC20-4B71-8979-3215ED779AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9a3c7fcc460fae8268300b44782a5fb5e770ce","datavalue":{"value":{"entity-type":"item","numeric-id":171128,"id":"Q171128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716581$FD0BC068-6134-4BA8-8BF0-8A5929410965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716581$395AF696-5D49-43F0-BD38-CA61B4A1CCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716581$C19C0AEC-7699-40B7-A993-D7E7C8E83BF5","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":"Q5716581$E859F3E4-BE92-4B13-912E-BDAB208F464C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716581$9B2F3BE5-0CC3-43DC-BB63-C8B599324494","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716581$702F5AE5-8654-4650-B385-56FC4C7B08BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecf6c5f7157cb43c7be04e4337025608b3e7fd60","datavalue":{"value":"2245528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716581$2F1A4434-A1BD-4462-AB10-88059D3AD4A6","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":"Q5716581$067662E2-3A00-493C-9C4C-69E33BCD64B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59192cc2deb09ff7c49a493186135c31d5f4ad9c","datavalue":{"value":"https://doi.org/10.1007/b138445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716581$08614BE0-FD70-42E4-9426-69BC0FAFE22C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716581$B631D491-806F-4D1E-A0D3-072570471B3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716581$F443E2AF-3C00-4B5E-9A3E-7CD44C533FF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ffa47cfdf65eaaad1ee218d989233be5a41c8b","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3a1efa6d24784222b00ac843ac73b3c2e4cbc4","datavalue":{"value":{"amount":"+0.807883083820343","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":"Q5716581$3950D3C3-BED4-40FF-B69C-2953599B36BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d25b56ea05cb6d5a284755b8618c9f999eaaec","datavalue":{"value":{"entity-type":"item","numeric-id":5505564,"id":"Q5505564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3a1efa6d24784222b00ac843ac73b3c2e4cbc4","datavalue":{"value":{"amount":"+0.807883083820343","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":"Q5716581$70845636-33CF-4ACC-990C-AA6DDF3639AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5547e7f140f28686cbd763d65679684df419834d","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5db840863c75bf3ec12598b790f31eecbd8a9d7","datavalue":{"value":{"amount":"+0.8043956756591797","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":"Q5716581$FE89B174-36ED-47E8-9629-E6CBA3AD2EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c933e70af1e68238332006e9e0a576fbdc38ad","datavalue":{"value":{"entity-type":"item","numeric-id":5901911,"id":"Q5901911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1cfc48fe22e5c07ebef4e0ee5fc8e266a23d25","datavalue":{"value":{"amount":"+0.7889784574508667","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":"Q5716581$01B97BF2-4CF0-4EC3-B453-A01FA3980E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c55942e1f5a0e2ac1ef26feb1320a6b977fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2769581,"id":"Q2769581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8116f6e5974b839809cfbb1471beaac867823aeb","datavalue":{"value":{"amount":"+0.7868824601173401","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":"Q5716581$0707C046-17A7-4D6E-B7FC-B57E011C5F3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245528)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_Aided_Verification_(scientific_article;_zbMATH_DE_number_2245528)"}}}}}