{"entities":{"Q5716567":{"pageid":7746121,"ns":120,"title":"Item:Q5716567","lastrevid":92891534,"modified":"2026-06-05T03:01:38Z","type":"item","id":"Q5716567","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245516"}},"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":"Q5716567$EC70C8FF-1D9C-4C29-8AC7-FF10EC0F746C","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":"Q5716567$548E1CE6-81CB-4441-8A1A-00AF2B838312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bdf045644d8da40e4dc8c7f9ad1edf436b0c16b","datavalue":{"value":"1081.68630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716567$28610BDC-72FB-4365-81F4-7431D55B3FF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be6a3bd0d23bde2dc4874ac4ef4f783109193451","datavalue":{"value":{"entity-type":"item","numeric-id":3892004,"id":"Q3892004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716567$CE0952DA-894E-4106-B24D-7CCE2E6E1CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716567$EE01D930-3A58-44E5-B9AA-4591475FC48A","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":"Q5716567$B0C6303C-DF2B-4718-9298-E30DEC6128A1","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":"Q5716567$3F665CD5-7D1E-48BF-9F7F-E4355645AF57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716567$021F1CA8-60DC-47BE-8068-AE7E7A8915C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"686805ec7e302a5a9cf4f8265a04d57102c5f0b7","datavalue":{"value":"2245516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716567$9F4DFC06-3C3A-4464-A617-6E198F6E5BA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"106eb531e1d668da7b86a087671111fd03e56ef5","datavalue":{"value":{"entity-type":"item","numeric-id":21786,"id":"Q21786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716567$2E6BD928-97AF-4292-BD4C-043EB8C18AE4","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":"Q5716567$0D64C5FF-1D8D-43AC-96FA-63BC5A8BAD67","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":"Q5716567$E450359E-C0E0-4325-84CE-B5246989EF59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716567$0F3EC8AA-CE0B-412A-80C1-63BAC6F934D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716567$D55D3E4D-731A-4C63-95FF-A8C1D1FBAA82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97bdb891bae0dfbda9f241f5128741207a4f85a","datavalue":{"value":{"entity-type":"item","numeric-id":5464481,"id":"Q5464481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52ab0a29ecb4d4cb4601dee1fe71bd479dc830d","datavalue":{"value":{"amount":"+0.7245477437973022","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":"Q5716567$0DB77543-18FC-40A9-81BA-4A1FAE9BE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38b97a9b4b1b42b3aa128c775b6adecea0d5ade","datavalue":{"value":{"entity-type":"item","numeric-id":5862669,"id":"Q5862669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869c57a6aafd178003a24100263f9077e471d2b4","datavalue":{"value":{"amount":"+0.7109798789024353","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":"Q5716567$DC4EF316-F8E3-4A23-8212-B1C2F89719FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b75636a0ec0768a3b16c6a26f7ec72da062672","datavalue":{"value":{"entity-type":"item","numeric-id":1667643,"id":"Q1667643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54a900e72a7e73fb66dedc6f39a70c95603f288","datavalue":{"value":{"amount":"+0.6991184949874878","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":"Q5716567$0B98697D-629B-451A-AF4F-C9D0CF015D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a48a10ea208790ef4d656e9c1b86ff6c38f0d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4707239,"id":"Q4707239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca543d31fc852096e52cdd216e50291df5369c6d","datavalue":{"value":{"amount":"+0.6970016956329346","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":"Q5716567$D359E47C-E038-4B46-A2C6-54E88D576C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076d19c99512518cd8366dd18987c0d136c4436d","datavalue":{"value":{"entity-type":"item","numeric-id":3594312,"id":"Q3594312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9155f8f3a9db62da618a603c6832cd49e0f986","datavalue":{"value":{"amount":"+0.688836395740509","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":"Q5716567$6071A455-4201-421D-9FC6-F5B850975F4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245516)","badges":[]}}}}}