{"entities":{"Q5312900":{"pageid":7342474,"ns":120,"title":"Item:Q5312900","lastrevid":48537772,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312900","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199290"}},"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":"Q5312900$97F783E3-6FEB-4C1C-AFE2-7CE0A81523C8","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":"Q5312900$FEC70CAD-9D28-402B-842A-DBF841035B29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8911c423e2d2f85181b839211f0b3f7a15407a3","datavalue":{"value":"1103.68639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312900$39B05618-D290-4598-B896-89F20603AA1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312900$E8141C17-E0B1-4BA5-BCAC-226A6BCE5870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312900$1DA75FFC-1841-4AB1-AAA6-139522F4112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312900$3309EABD-2830-4236-B248-416EE9B08BAC","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":"Q5312900$8CC92B17-6204-4287-951A-1DAC52108BAA","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":"Q5312900$77FD60AD-A27E-4518-8710-78EF924B2D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312900$00DD7BE7-D686-422D-BF55-8B52B4D04D67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72530a0741af34e32dc1580672239572e0c4cd8f","datavalue":{"value":"2199290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312900$1F49CDAA-522B-428B-922E-35D9CF4DA8F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312900$38B18FA7-1034-450D-8A59-8A9E3159B4E5","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":"Q5312900$697158E9-0607-455D-B3F2-417ACFB16AB9","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":"Q5312900$B6D9BAA3-6D9A-466B-8420-288CF2117B73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312900$A6304E53-7E99-45CB-B0F2-DCDFCDED269C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312900$AAAA84D1-8B4A-4296-976E-BAB102B58EED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39749e9967eb355c26071206846591017b5e6f21","datavalue":{"value":{"entity-type":"item","numeric-id":5716564,"id":"Q5716564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7bf33000f375274c4e3b743f5ac9b3403e0f7bf","datavalue":{"value":{"amount":"+0.8600704669952393","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":"Q5312900$C966DCAF-6A94-4544-822F-0C10F3A69330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ee96c67436a7a9a8274ca2051ea7f57e97a46","datavalue":{"value":{"amount":"+0.8587700724601746","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":"Q5312900$81A24E67-965E-4DC7-9542-BF402D6BFABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2235126830b221df45df5e7592e9486b8d501e","datavalue":{"value":{"entity-type":"item","numeric-id":2008284,"id":"Q2008284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f1426b43101d9df657831981ec96090bdebcfd","datavalue":{"value":{"amount":"+0.821053147315979","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":"Q5312900$43AB7568-0EB9-431E-BF17-9E6823396F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ac201b1b7123b783fa9a3c43d836a8207c2bac","datavalue":{"value":{"amount":"+0.8065555095672607","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":"Q5312900$2FA04052-0CA2-4EAE-95C3-2280FB08C4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb837bfd504464e3c1541177eae591f99267c7f","datavalue":{"value":{"entity-type":"item","numeric-id":5086223,"id":"Q5086223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2992b17930a8508eedada3766dcd271ba5e1e950","datavalue":{"value":{"amount":"+0.7857577204704285","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":"Q5312900$FCA0E57F-9B5C-4698-B135-1DFBFBBBF5E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312900"}}}}}