{"entities":{"Q5312939":{"pageid":7342513,"ns":120,"title":"Item:Q5312939","lastrevid":48537862,"modified":"2026-01-05T03:44:35Z","type":"item","id":"Q5312939","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199323"}},"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":"Q5312939$D2B0EB4E-5D9D-4F85-ACF7-861B77A42C12","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":"Q5312939$29C7B1F2-33D2-4133-B7E4-7ABE5E384F48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8efbf09dd11cf18e1c2918c3835ed7d1790a7535","datavalue":{"value":"1103.68611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312939$D0C6373A-CA27-421D-BE4F-9C0752F7965D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312939$94E235F2-C98E-4653-B299-59150783A6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa61b345ebb45bdaa7d76ce8fe4cc685f51c5f54","datavalue":{"value":{"entity-type":"item","numeric-id":318680,"id":"Q318680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312939$6534A8CA-2257-4332-B199-D83DFAE89EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312939$60763588-5BA4-4FBF-8573-1E59EDE5BA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312939$37B99C4B-5005-423D-88FC-E4CFE8AB4C14","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":"Q5312939$C126BA6C-2A8F-40AC-A05F-EA5006A03E25","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":"Q5312939$09D16131-1F7C-4267-8F5E-B7C48BEA12E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312939$0C204EF6-6D31-4584-A479-FBCAD46053A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312939$B53B10E2-0E5F-45F8-BF18-2E0648E0562C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e2ca9b410a17c775a5c512d8afe540daaf02146","datavalue":{"value":"2199323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312939$85183CEC-5830-41CC-AAAC-9B1F97CBCF8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312939$BD7E257B-E7B7-4655-8CE6-4F54DE32CC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312939$6240204D-AA48-474D-861D-F8CC3974B4CA","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":"Q5312939$8339A607-4E2A-4564-A6F8-DA49229B4C2E","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":"Q5312939$2430B496-E300-475E-8063-7A52B50153EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312939$AB38CA5D-D336-47AF-B73A-454EC10186AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312939$520EBF2F-484C-40A3-ADD8-04B4DCA39097","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337322e285ab812c0bbbf3c3e08a3a1c298bddc3","datavalue":{"value":{"entity-type":"item","numeric-id":5312976,"id":"Q5312976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9231bfb55ada8083725eef7cd0fe6ef38df79b54","datavalue":{"value":{"amount":"+0.8930877447128296","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":"Q5312939$493C508E-2364-48C5-8DDB-C940413DDD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddab87631d4a081dbd128c7a792d799b2a6c7e03","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bd3fe72200ba046cb6e7f8109a04a8431d28e0","datavalue":{"value":{"amount":"+0.7514079213142395","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":"Q5312939$8E853DDE-DA92-47A4-91F2-3E551A7264BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cde16e7c949252a46e1890d00a97b33d9a7cbb","datavalue":{"value":{"amount":"+0.7437794208526611","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":"Q5312939$DA92B40D-78A7-40DA-931C-2B93B5643F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35c2f1e76afd2ac95c474c5dea3aeb2fd832c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2819831,"id":"Q2819831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e843537efc9a3dae2c8dbab19a77e7ebb4f099","datavalue":{"value":{"amount":"+0.7339816689491272","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":"Q5312939$86664D07-11A8-4A56-A129-B04DCB1D0837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b6b2993bf55a92abaa15daf4ece1beeebf8256","datavalue":{"value":{"entity-type":"item","numeric-id":5312927,"id":"Q5312927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2021221164db9898b78bf9cb509bf9bf18fcb2","datavalue":{"value":{"amount":"+0.7323238253593445","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":"Q5312939$2D1EF3FC-C61C-4977-A8D5-43FF49233483","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312939"}}}}}