{"entities":{"Q5312949":{"pageid":7342523,"ns":120,"title":"Item:Q5312949","lastrevid":48536866,"modified":"2026-01-05T03:40:14Z","type":"item","id":"Q5312949","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199333"}},"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":"Q5312949$4D6CBCEF-9CBA-4201-BAA7-46118F496276","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":"Q5312949$4F93DB67-6CA4-4601-995C-5B19D0FC6135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92d549f54ad6ee5662f35a7f299882053e3f3d0f","datavalue":{"value":"1103.68637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312949$4DF476D7-FA02-4808-AFF1-B0F593DA169D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8139c9f83f5dcaa0d98338e1ca45c2b68a41b056","datavalue":{"value":{"entity-type":"item","numeric-id":2775860,"id":"Q2775860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312949$6E5EBCF5-3183-4297-92A0-9D9D8350ABF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8e94683a4b6c58358f4dd8e3a0aa19dc8c360e","datavalue":{"value":{"entity-type":"item","numeric-id":403019,"id":"Q403019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312949$4BED7738-8016-4EFD-8900-CD00731BA8F6","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":"Q5312949$E7DD8EBF-F7CA-48C6-B986-1566ACD570EE","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":"Q5312949$6FDCD1DE-8323-4E42-BDD8-71F9A8D38908","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312949$C09C5410-5F51-4275-B039-B642D15CF48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312949$F8ABC043-8C0B-43D9-BC02-BC0C15AD3B55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1565d1939def121ea6d1232c502585e1233629b","datavalue":{"value":"2199333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312949$147E093E-B04F-435D-8B35-0DEDCC0405A1","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":"Q5312949$03CE8B6E-3458-4817-9817-5B689FB695E7","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":"Q5312949$6287C8BD-94B5-42F0-8C40-A63F30051A38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312949$B9B6E862-57EB-4365-A3E1-3BD8F895F9D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312949$47F5A8FA-756B-4F2A-88FF-DC4464328BCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a5b4abb1327b986fabcd62c5cf3ae178d6cdb1","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2446f551942d237870a96862ec1c0cd5bba49260","datavalue":{"value":{"amount":"+0.84086012840271","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":"Q5312949$81FDFF61-CD64-4267-AF0E-4B4976C821C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f5edde9a232b3906fb6301aa6aed8316baaf56","datavalue":{"value":{"entity-type":"item","numeric-id":3152935,"id":"Q3152935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66edd01618f55dacbcf257f4f7521032f8d4d9e","datavalue":{"value":{"amount":"+0.8177809715270996","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":"Q5312949$BF133D3D-5311-4203-824E-43E788D4B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b75c30d82a8bad8b56a430f039c479cc778d199","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66edd01618f55dacbcf257f4f7521032f8d4d9e","datavalue":{"value":{"amount":"+0.8177809715270996","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":"Q5312949$B185303A-A06A-4575-AEEF-4DAE8BBE5BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7784df3db4f85832da93b5a9edc0cb1770a23f67","datavalue":{"value":{"entity-type":"item","numeric-id":4472254,"id":"Q4472254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4ce41c6f90acce5756d8ff718532e90a6b785c","datavalue":{"value":{"amount":"+0.8109129071235657","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":"Q5312949$9139CD11-33F1-426C-833E-0AE2FEC26A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd490920ec3d0b591cad3efc6350e942ceb5d76","datavalue":{"value":{"amount":"+0.8070249557495117","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":"Q5312949$5F490E50-87A3-4BE6-B689-53F5B9AE14ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312949"}}}}}