{"entities":{"Q5312934":{"pageid":7342508,"ns":120,"title":"Item:Q5312934","lastrevid":48537850,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312934","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199319"}},"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":"Q5312934$58482541-0A54-4808-A509-339B9B3A1E1A","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":"Q5312934$576BE63E-C254-44B6-BA69-FC5DDADAEE66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad08481b481bb3657a5ae3d109475d32202c6b60","datavalue":{"value":"1103.68600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312934$3EACFBA6-2817-4481-8F30-78C5FCCAF52C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"609786ec0b76448a1b966312059666bfee220d15","datavalue":{"value":{"entity-type":"item","numeric-id":5311469,"id":"Q5311469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312934$8EC5318D-241E-410C-B433-E68A9468E24C","rank":"normal"},{"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":"Q5312934$9E656856-4E03-470D-95E0-7B8B674460EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39452f38c8bbe65e9a2717a387a37891bb8d9ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5276158,"id":"Q5276158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312934$1D914760-615C-4CE2-BD46-8EF211E01F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312934$730D4F10-165A-4A81-BA38-03B1146EE3E4","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":"Q5312934$9DFB9BBE-64F6-41FB-8B91-CCED8BD2057A","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":"Q5312934$40D62EE3-50AB-4E35-A7C1-5CC076BA5539","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":"Q5312934$756DBD3B-0457-4D9F-A4BF-F7665C95FB09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312934$E1E84FB1-8312-48AB-941E-566731AA8133","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48bf68f2b0ed0918988dab5977b08318ff03ab3f","datavalue":{"value":"2199319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312934$702DD416-8654-41C9-BB6E-B6A1A95DC38F","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":"Q5312934$1F9314FB-0861-4512-9044-E8F9DC136468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312934$63F35FC9-A820-43DF-8898-F600BB10AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312934$06020A08-E147-4CF3-82D8-55B4A7727AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312934$420615DD-D267-49D8-8515-A18ED9C6CFAD","rank":"normal"},{"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":"Q5312934$A5CB9E48-9F44-4292-AC95-75C58D5BDBDB","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":"Q5312934$8339AE14-FD55-48A3-A51A-2EC5AB941946","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":"Q5312934$20CBE164-61E7-49E1-AD1F-2D54C855C6CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312934$1F60FD7F-B1AB-4FB2-B685-D830D4330E20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312934$EC3DD865-D8CF-4321-BFE3-942003F6282F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e14932c7b9c265c1396a2807b864be17123bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5311470,"id":"Q5311470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff531833509bbfd246bf219005611fc8f67ee6ce","datavalue":{"value":{"amount":"+0.8563372492790222","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":"Q5312934$732B6776-E1DF-4AEF-8205-DFE24CAB9EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1246255a94b04c1e59ee1fb3467c27fdc1d1d243","datavalue":{"value":{"amount":"+0.8002189993858337","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":"Q5312934$1200DD41-F215-412B-BA0F-728B7FDBDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fa3b79e5cc5450acb57007babcd3309e5f9e2b","datavalue":{"value":{"amount":"+0.7636893391609192","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":"Q5312934$C29AAA03-5E29-4F95-A224-8E48CBA628D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0a3a81c43efb4fb3a0e6548f40f9b49706ea01","datavalue":{"value":{"entity-type":"item","numeric-id":4531765,"id":"Q4531765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93691833e2c2b4ca5d10514e29d6aef42506f0b8","datavalue":{"value":{"amount":"+0.7404061555862427","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":"Q5312934$9B23ACB7-A2BF-4BF4-A05F-D03131F57016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9526741390426220951621ef8cb10bc097822ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4804895,"id":"Q4804895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e628883d5ef0f505a6ba5c6b3e146694015b095d","datavalue":{"value":{"amount":"+0.7346087694168091","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":"Q5312934$C888D25B-E8E5-4938-A78E-24479562A56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312934","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312934"}}}}}