{"entities":{"Q5716577":{"pageid":7746131,"ns":120,"title":"Item:Q5716577","lastrevid":40920208,"modified":"2025-04-14T03:29:59Z","type":"item","id":"Q5716577","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245525"}},"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":"Q5716577$5EB2F3A3-621D-4F62-AF9E-D547155B870B","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":"Q5716577$A040F58C-E46F-494A-A3B6-AB3824C2438D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3496eb594fb1b7c01f3655161e0ae9cf50d73acf","datavalue":{"value":"1081.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716577$BCE329A4-D3D8-4B0C-941C-1AA812C08828","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7140ff1988d81576c8fccd2f33ba2ca092fadf7c","datavalue":{"value":{"entity-type":"item","numeric-id":1651018,"id":"Q1651018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716577$61757F34-11E4-4AC9-9368-052DD42CD988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716577$26AD6336-7D74-426A-B408-1A0CC785988B","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":"Q5716577$89A99328-3624-483D-BDF7-EE3AA3947843","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":"Q5716577$51A745BD-8833-4268-9B05-870F214545B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716577$B879FCE5-E3A9-476C-B842-8CFCD48418D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716577$3530209E-4B36-45B2-B0C4-A27E2E4BEE04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca8c092f9763e88d02dfabec84ce0fc38571efd","datavalue":{"value":"2245525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716577$DA050BF5-8EB7-4CDC-AAC4-3B24C536F5F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716577$8444B1BA-AD9A-4EE3-840F-07AA50FECBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e11eb452fca826a53e41c6f99545aabd972ba68","datavalue":{"value":{"entity-type":"item","numeric-id":31823,"id":"Q31823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716577$7901AB8F-5A1E-4F73-97EA-8849A127C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716577$0FDF69EB-C279-41D3-AD46-F64298C379AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c946dde3f7352cb51b91e3a8e2c2dc02fa507c90","datavalue":{"value":{"entity-type":"item","numeric-id":43975,"id":"Q43975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716577$D12F02D9-3670-4723-97DB-521F2DA4CF79","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":"Q5716577$D4F7844B-E1A3-4E2B-B717-8A8FA47F1FF6","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":"Q5716577$08F9ABAE-A62D-455B-88ED-41E00ECB7FAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716577$E8BD04ED-D5D8-4704-8012-EB5ADB40BC8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716577$E060FD90-0AA6-425A-BF41-F2175CA5787C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9828957d67044d6ac6db4680c9554faf90f833","datavalue":{"value":{"entity-type":"item","numeric-id":5703791,"id":"Q5703791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c8379da0fd2ceefdf3d79c3e9eb84072a424a2","datavalue":{"value":{"amount":"+0.8594847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$22661C5B-6794-44A1-86F9-2D3FE1E102AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fb607afa3c0604e41f83dd71f595b5090fa331","datavalue":{"value":{"entity-type":"item","numeric-id":811129,"id":"Q811129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168746a6b199d3064f4967f4272adc402bf7afe9","datavalue":{"value":{"amount":"+0.8553895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$9D511780-2F8E-42AB-91A3-8560D2A406F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2583bcaaec36c474134891df8a49438cd8fc2a","datavalue":{"value":{"entity-type":"item","numeric-id":3780468,"id":"Q3780468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5c42d441e2e37dc439e72bf70492a84084a8f7","datavalue":{"value":{"amount":"+0.8477859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$0840B07B-8295-4A56-B265-95569CFE9590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793c0d3f6db2b0e326a59803b219cdd305480f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b852855fab2f2099f13482995d36c5ba7b3ab5c","datavalue":{"value":{"amount":"+0.84265816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$234CC984-ED16-48F8-AEFF-DBD06E2EBF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb1356012ca70fb853a7040e8aa6d3597e05e94","datavalue":{"value":{"entity-type":"item","numeric-id":1648037,"id":"Q1648037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b162ef74601977b0d84610b75723a7a9094b5962","datavalue":{"value":{"amount":"+0.84259284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$31F21395-3E11-4B8B-972B-D4A6CA210250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a18c121294cffecdba9816a3ed7e402975426ca","datavalue":{"value":{"entity-type":"item","numeric-id":843994,"id":"Q843994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84190cb0d634661468b0d7b811ef224f084c1c9","datavalue":{"value":{"amount":"+0.8414302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$1F3ADFEA-FF70-4D31-952B-8D20C4B9C670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecd3a7afc979ba117f58586761a08d8608a5ea5","datavalue":{"value":{"entity-type":"item","numeric-id":3167506,"id":"Q3167506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1742c2380b8ecc99f1bf0114709f12e71d386398","datavalue":{"value":{"amount":"+0.84099895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$30318452-47F2-49AE-8C7C-F635528BCB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c40efd2194d6e2e274ac49ad19aa0cf7217c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4473565,"id":"Q4473565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1575a38ecdf3577513904bf0b7a0068fafecd77","datavalue":{"value":{"amount":"+0.8365048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$FD2D65B2-0E5F-4762-91EB-ECE2BA10A9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3dc589517ef453e2edd6fcaa2dbf96f95ca72c9","datavalue":{"value":{"entity-type":"item","numeric-id":5278314,"id":"Q5278314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcb6170e4eadcd1d253ae1dfc709a5bff492c4c","datavalue":{"value":{"amount":"+0.8352531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716577$0D7AC448-7289-4D71-8402-012A37D7DA41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716577"}}}}}