{"entities":{"Q5312903":{"pageid":7342477,"ns":120,"title":"Item:Q5312903","lastrevid":48537778,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312903","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199293"}},"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":"Q5312903$6CD8A750-81BB-4AED-87C8-0655CE54B943","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":"Q5312903$18D68914-FF57-41C2-8FE3-3F94B9C94D9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d78a41e96f807b5051c070c036b307014a2107","datavalue":{"value":"1103.68612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312903$4C3665F8-F6B4-4969-BC90-3B9BA016A9BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312903$A3C6C161-7D76-47E6-8A07-B0B35697CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312903$90C99EC1-720F-4487-BB6F-ED894576C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312903$399B8F09-EDFB-473D-873B-CE509A1557C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312903$81410DF2-ED69-43AE-B855-2E1AC502FB9E","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":"Q5312903$2079F8B8-2E6E-49C0-87BE-8E330C196054","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":"Q5312903$A1795705-E5E9-4939-AB91-6901ED53D00F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312903$7C4793E5-D023-48CE-97D1-B4321C8A10E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312903$9CD4B691-B09A-40DA-B539-4F5B3DE39429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932893e4283c2eba1ba83b182c6f1b43472c5f99","datavalue":{"value":"2199293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312903$201AF7B5-05D3-423E-AE0D-40714E39DD83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312903$328CBFA4-7F32-4507-9878-BD41BC5164B9","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":"Q5312903$FD0FA060-6A5D-4C06-BE6B-A91C9EECD0DA","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":"Q5312903$62376E70-C15F-48B1-95F5-06105622F41C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312903$0F449268-A620-4411-BFDF-7E5C4B58497D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312903$5C027287-7243-4BD3-897D-D21E9E832478","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c862c04a905e7c5feaf5cb26e9eb2a5dba0905","datavalue":{"value":{"entity-type":"item","numeric-id":4804894,"id":"Q4804894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ca98722a5c6865d097af31b754d6f2f6a7b6fd","datavalue":{"value":{"amount":"+0.8052334189414978","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":"Q5312903$409E43D6-29D4-4853-8CA2-6F1EC3227A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c466be545ceeeaae4054c371b13744d77cd5bd30","datavalue":{"value":{"entity-type":"item","numeric-id":4437061,"id":"Q4437061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0580a3e0e15fe8409e5647a31831971f52c42eb7","datavalue":{"value":{"amount":"+0.7300049066543579","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":"Q5312903$CDBA8190-21D0-49D9-BD6D-407740F1C780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf69412c960faf237ff46a1fd353e791e481e911","datavalue":{"value":{"entity-type":"item","numeric-id":4422065,"id":"Q4422065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b9e35dbce18460183cb91e9840b4281c0ea2c0","datavalue":{"value":{"amount":"+0.7242926955223083","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":"Q5312903$9CDE8FBA-BA80-471B-B91D-6891309286DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e58a3b3117770894aac15ff65cecc93e445e92","datavalue":{"value":{"amount":"+0.723422646522522","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":"Q5312903$2DBCD05E-BAD4-4E75-AD86-E271170FFF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa45e3e7c3e982c06476021b61f7dea6b5b0e61a","datavalue":{"value":{"entity-type":"item","numeric-id":1763727,"id":"Q1763727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0eaefbb0ff6e6a8c755614a292bac0e4556de6","datavalue":{"value":{"amount":"+0.7131022810935974","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":"Q5312903$30460E70-197E-4741-A836-3B17EB1CFE12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312903"}}}}}