{"entities":{"Q5716570":{"pageid":7746124,"ns":120,"title":"Item:Q5716570","lastrevid":40755140,"modified":"2025-04-04T14:15:14Z","type":"item","id":"Q5716570","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245519"}},"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":"Q5716570$DCE37661-1E59-4603-B444-4480B28A3569","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":"Q5716570$A5242C1A-9FD4-4A59-8BC6-C15AA5A828C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13527bb47cd8866c8b55068da39c493e0dc1c6da","datavalue":{"value":"1081.68673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$226E43B5-0CED-4ECF-9ECA-C528FA88E0FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$C35D4416-BCFF-4F45-B35C-50799EF8AD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$F4FABDD5-ECAF-4D10-BAB4-942A5BDDF476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$84936CAE-6C0D-40D6-B146-698B899203EA","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":"Q5716570$5048BEB1-0F54-4F90-B3E6-DCEB574665EF","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":"Q5716570$990A900D-9033-48B8-8041-8C70A0116D7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$2885E0B0-39A2-4B46-9253-231021021069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$3729E24C-339B-44F5-B556-C569B745606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$089CD723-49AC-4AFF-BBE7-93CE4BCE3C73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbd7abb99aa8646ad93a9743e79c7e4c58fa6d1d","datavalue":{"value":"2245519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$92919001-A347-4288-9C1E-781EC60319EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$BC37565E-0949-4CA8-9860-06D110996F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a550f2aed44e0d451882ee48f82a9d69812e1b","datavalue":{"value":{"entity-type":"item","numeric-id":19560,"id":"Q19560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$34675191-2B63-4C67-97B6-EF428B83B036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$DC1818F3-5977-4E29-ACA9-1200F2EA3FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$6F39C3E0-DFE8-475B-928C-EE54F992885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$819C0A72-AD0E-4CC9-AA0E-974742DEB0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716570$84C883A8-F9A0-4055-BFA6-EE37E1386FD7","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":"Q5716570$C93690EF-9B4B-499A-A4F1-47D56CBE0DC6","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":"Q5716570$70A00BE5-8E67-4ABB-BC85-EA5CCBDBA2D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$34C97438-C7F9-4876-969D-7138DB3697F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716570$1E6A987E-2711-4ED4-A3CF-3A79E24D715D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9c09ed6ed04a5feb65cc5c103a868d308aafc5","datavalue":{"value":{"entity-type":"item","numeric-id":2324001,"id":"Q2324001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f1e6f5eace190c7f07db8e86783a98256d149e","datavalue":{"value":{"amount":"+0.8973406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$BB21F5A2-BDCC-47E1-9B83-4E1D10FD5B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab116f62a0b733ec0afd5e508aec01a388df675d","datavalue":{"value":{"entity-type":"item","numeric-id":3685173,"id":"Q3685173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8060f9f1e2a173539f8a64a5dc4c81c958fb7930","datavalue":{"value":{"amount":"+0.8787125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$B77BC318-26FF-428C-A506-1651F49DD52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ddedec4dbaad0dc206f5f821e6238ebfaa746","datavalue":{"value":{"entity-type":"item","numeric-id":2829268,"id":"Q2829268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aec0b32e669ffcdf7f8c896244d11c05e10ca11","datavalue":{"value":{"amount":"+0.8786316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$13B72FC7-8B01-4644-8664-9F22FAC9F2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cae22c8452a8aeb1dd14379c16b168965978914","datavalue":{"value":{"amount":"+0.87637424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$23840FEA-1A5D-4297-9BC2-D52CF0A52563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c708fef69a8eece560799e6bf7db9d9dbee7964","datavalue":{"value":{"entity-type":"item","numeric-id":3088011,"id":"Q3088011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8942e546f176f808c83838b0fe1cc44c46e8a69f","datavalue":{"value":{"amount":"+0.87577945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$934196E9-567B-438C-B551-2EF5CF1EAC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14482c3294a99d3df4fab315dd66cc4ebcc095d","datavalue":{"value":{"entity-type":"item","numeric-id":6488526,"id":"Q6488526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d808cf8f075196cf26498ac02c079958607b1ea","datavalue":{"value":{"amount":"+0.87577015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$E7379EF6-7C77-49E4-B427-FD7E31918BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4952467c9336251bae4d26323a37a14d83e57d90","datavalue":{"value":{"entity-type":"item","numeric-id":5699474,"id":"Q5699474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027392e3a0b8e6b675db3b468797b686bd2c23ab","datavalue":{"value":{"amount":"+0.8735054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$9BBD081B-88A2-4CD8-AAF1-9C6BD43A5F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36258116623966e4f90ed7ba6a441e7310ba87bc","datavalue":{"value":{"entity-type":"item","numeric-id":2152300,"id":"Q2152300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a8faf93274965d0e7571941a5501b4353fdf52","datavalue":{"value":{"amount":"+0.8726905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5716570$64152E36-C299-44D8-B629-3DF246B5885A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716570"}}}}}