{"entities":{"Q5312905":{"pageid":7342479,"ns":120,"title":"Item:Q5312905","lastrevid":48537784,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312905","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199295"}},"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":"Q5312905$131034FE-0EA6-4812-8A0C-2F6DD3823A56","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":"Q5312905$58A3EE57-569E-4A57-8AA9-7DCAA7DFA054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9163ee94b7cf84bb32f43e688f50654ed56db95e","datavalue":{"value":"1103.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312905$A00C7804-45B8-4B24-999B-B92D872B8144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded5d73a1c3090755c930487a8f09176d403299b","datavalue":{"value":{"entity-type":"item","numeric-id":2881072,"id":"Q2881072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312905$DC958398-F452-47FA-9853-97748565EC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312905$B7719316-22D0-453D-9EA0-1BDDEF85AD10","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":"Q5312905$70F544AC-71DF-46E9-8006-A8B30CC480B2","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":"Q5312905$73BE800D-B19F-482B-BB53-9057151CD26B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312905$E1D503EE-4FEF-4C2A-97A0-5666FE9D4256","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81781604d211d411287a35c314bdd845e986733a","datavalue":{"value":"2199295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312905$05051EB7-9132-4645-84ED-6A27E93BAEE6","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":"Q5312905$A7F285F7-66B6-4F9A-BAB9-E1EE445DA97D","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":"Q5312905$CDFC7634-865A-4EC4-BBE1-12FA21BB568D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312905$1C7C53AF-5211-4CDC-90E0-863D27F80F21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312905$4D5CD12B-B014-4FD4-AA75-EC36F2A86C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6813a2e80b584ad8b9e0c63669cf840d4529583c","datavalue":{"value":{"entity-type":"item","numeric-id":2814098,"id":"Q2814098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40593c10df3337a245c53ce34a866d1140b68ee","datavalue":{"value":{"amount":"+0.7120957970619202","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":"Q5312905$62C38924-232C-4111-9D52-C6BE39803859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887925069d9615572d47c7b054d26f8f6ec28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead956da551a50a5384847b169dec261df1f869c","datavalue":{"value":{"amount":"+0.6862303614616394","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":"Q5312905$184A1276-9A4A-4322-8137-DC4CF1395E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62083930072469fced44076a39fcd523a4bfbfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2152654,"id":"Q2152654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33ece891c18e8056d042473921e0da97f6e1e0c","datavalue":{"value":{"amount":"+0.6814400553703308","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":"Q5312905$4AFAC257-0C50-4C62-8AA8-07746533FAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27baff268d3ffa5a4277b22fe56280dfc7379d68","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe71ce5d323eb9f8624ed05f7316e1713550eaa7","datavalue":{"value":{"amount":"+0.6777820587158203","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":"Q5312905$74BB56E6-901A-4A11-B19E-2B989F2CC966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b3eab88d6da85ac7333f808f5446f5613c138","datavalue":{"value":{"entity-type":"item","numeric-id":3512438,"id":"Q3512438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c17e1ff113101fab0f66ad2be91ab5c1ad262c","datavalue":{"value":{"amount":"+0.6775846481323242","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":"Q5312905$96CC3584-6770-4A2F-BF41-0CA0701D3C63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312905"}}}}}