{"entities":{"Q5312941":{"pageid":7342515,"ns":120,"title":"Item:Q5312941","lastrevid":48536842,"modified":"2026-01-05T03:40:13Z","type":"item","id":"Q5312941","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199325"}},"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":"Q5312941$14B24109-D318-42C8-96FE-6440AE5BC536","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":"Q5312941$71AC8020-58A2-4B10-9FAB-F0AF0C7391FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70a90f1d97d794706f37a167b7bdd56838377818","datavalue":{"value":"1103.68613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312941$320EA697-7A2C-4232-B31D-BD8BCD89C5DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56e2e544aea90546dfd8c43dfdc8577b94c27679","datavalue":{"value":{"entity-type":"item","numeric-id":469345,"id":"Q469345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312941$B01C8543-BAAC-4F28-A0AA-BE4345BAA757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312941$8CD52C41-77D6-450E-BF7A-BE434C35ABC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7f46f7e898be762c100de5b315dd4eb1b625552","datavalue":{"value":{"entity-type":"item","numeric-id":672738,"id":"Q672738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312941$F964D6CE-16AD-4520-A28E-A1F43DC69102","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":"Q5312941$FDB3A2B5-5970-42BB-8F1C-4071AB6FA470","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":"Q5312941$69C28DB7-5009-4B7A-BACB-BA0ACC74D20D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312941$C735958D-D377-465D-BEBC-10236F7CBCCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e0144f69a235fb17096d6e2d22b0ddf94eade8","datavalue":{"value":"2199325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312941$3E5A0CFE-AE55-4B1F-832A-A6DA7DB7B1BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312941$F3AACCB0-D7C6-413D-9C8D-B4F27EF3353D","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":"Q5312941$E3A62519-511F-4C44-839A-A97D9B0FED23","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":"Q5312941$98244181-3FE5-481B-927E-298DC9E0A62B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312941$11141A1E-6A12-46A1-AFE9-267CFE73B65D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312941$368DF4E9-691D-4355-A1E3-DD1CCE6E1DEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b5cdfaabe5b7019fb6dc132ae4313d79a5013e","datavalue":{"value":{"entity-type":"item","numeric-id":2848067,"id":"Q2848067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d05325c47ade0ee3da027310dfaea8ee928d3bd","datavalue":{"value":{"amount":"+0.7772682309150696","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":"Q5312941$8EA4B899-E509-4FBB-BF2F-C8EA884809B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe9cff99f0a705693730d6c9c6a931d07d651a1","datavalue":{"value":{"entity-type":"item","numeric-id":1398902,"id":"Q1398902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5362cc771a97c0e6e6acca27d009aac5033597","datavalue":{"value":{"amount":"+0.747884213924408","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":"Q5312941$B073431D-6B7B-4B3D-AC6E-D6BA3E3241D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f0ab1eb857ea21e8a0169da426e2f843b413e6","datavalue":{"value":{"entity-type":"item","numeric-id":2847799,"id":"Q2847799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a491ce323af66abfa59c20f2aaa898150cc719","datavalue":{"value":{"amount":"+0.7334516048431396","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":"Q5312941$F925A248-CD91-4C08-8B0F-2FCCD15BFE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bb332fb7c9693f1e1ede9ea98f9829caef8661","datavalue":{"value":{"entity-type":"item","numeric-id":5394169,"id":"Q5394169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b8e2e21d921ef4b07e705549d88db3d32593ad","datavalue":{"value":{"amount":"+0.7321906089782715","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":"Q5312941$6B1B3F1E-04C3-4334-AC22-E5230C2CB51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6616427b3970600c2db0e40b44e6a6dd1a9ba24a","datavalue":{"value":{"entity-type":"item","numeric-id":997228,"id":"Q997228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8139a2d050020e4462d77ef46b14302995a5b60","datavalue":{"value":{"amount":"+0.7314181327819824","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":"Q5312941$ABDC7F49-1149-4D0B-A523-4C53436F4A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312941"}}}}}