{"entities":{"Q5312898":{"pageid":7342472,"ns":120,"title":"Item:Q5312898","lastrevid":48537766,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312898","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199288"}},"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":"Q5312898$2DC79056-1903-475C-BEFB-039FC9B0F4F7","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":"Q5312898$F928FB9F-E7E3-42CF-BD40-449C8E03440F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03cf768c80f4d2837af900b7234d46f12b74c1ab","datavalue":{"value":"1103.68616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312898$09E8D4CB-D5DB-4CF2-A964-D32A4857503E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312898$45AB09B1-59DD-431E-B152-EC5F533DD105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7c8699cd350e1147a84e566084aec89619f609","datavalue":{"value":{"entity-type":"item","numeric-id":5312897,"id":"Q5312897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312898$19B36D08-16EC-4079-8A92-5E6119B81A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312898$364E3E30-28D8-4591-A39B-CC4CB3849289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312898$C1B3B2F4-A167-4240-BFB3-9AC09286D506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312898$5047B4D4-4383-4D1C-9FAC-C80390EE921D","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":"Q5312898$05E167E6-DC06-4DCF-83F8-5DE084E15F6A","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":"Q5312898$8C934A31-73C5-4D6B-BCC2-0FB80872EC84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312898$842664BD-7989-415D-B1DD-264887918D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f3db81e5051efda617b01b6a4e81d67aec35bb9","datavalue":{"value":"2199288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312898$CB3AE273-21DE-4066-8A4E-D9356F66B279","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":"Q5312898$390BC626-C7A7-41A2-8995-0291E26EFC92","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":"Q5312898$2F9A2576-EB37-4DC1-BD4B-E27CF77AC630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312898$331853C5-9C70-4539-9A1B-F4F82B100F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312898$11DB0370-5E42-43E7-9493-4D2B5D7826E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73ef4e4cd40d6dc34268d177258481051eb4b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fb7a03eb09d17897d5620583b1e394fac17a13","datavalue":{"value":{"amount":"+0.8571663498878479","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":"Q5312898$80EA3144-5647-4317-B81E-7188BE4243C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9b3d7b89b32fb2fb30747b57210770bc0a77cb","datavalue":{"value":{"entity-type":"item","numeric-id":4982077,"id":"Q4982077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2fef7b0841a15eeacfe23dc5535938b7621764","datavalue":{"value":{"amount":"+0.8552861213684082","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":"Q5312898$007DCA14-88BC-4C52-ADA2-DF73097D8C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd1f875057910272dc1f6cefa7437b5d6cd54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589c098bcef5e5072e8398de7c2968281cdaa6cd","datavalue":{"value":{"amount":"+0.8493307828903198","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":"Q5312898$D8974197-B4CF-4C3F-A89F-00A5F553A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312d1d91979e51c8615bb0c6f972074bc9256ff","datavalue":{"value":{"entity-type":"item","numeric-id":5464719,"id":"Q5464719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0b0e3f2edfbea637c023b71ee00e3c104e0509","datavalue":{"value":{"amount":"+0.8370113372802734","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":"Q5312898$8666B73B-95E4-434A-9AD9-96E17F820667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909541a349ce169f9b5091df34f4a238ccb451fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643080,"id":"Q2643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79a6b64598e4e8ee1ccf6af84ef421bf43e23fb","datavalue":{"value":{"amount":"+0.8359836935997009","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":"Q5312898$E2F62E72-DC06-468D-8112-682AC7F8CB7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312898"}}}}}