{"entities":{"Q5900703":{"pageid":8006963,"ns":120,"title":"Item:Q5900703","lastrevid":41581408,"modified":"2025-05-06T02:00:03Z","type":"item","id":"Q5900703","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695383"}},"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":"Q5900703$ACF0ABC0-D7C4-4E9B-BDCF-FE2C9637A965","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":"Q5900703$B819F18A-7FAF-4321-AD16-A870CB7322BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab612fc91d2c88684e2c2d4c54dad839e499ce58","datavalue":{"value":"1278.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900703$46E74C5E-26A3-41E1-8970-12595814B58A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57519a380c68b977f2bd31ff8b7d04738f735769","datavalue":{"value":{"entity-type":"item","numeric-id":859957,"id":"Q859957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900703$1ED5A6C5-4F82-41BA-804F-F6E26DF4ED76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900703$9ADFD37F-945E-466A-9597-1B57F9DC15CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900703$C32D884E-57F5-461A-B470-B783D5B6EE79","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":"Q5900703$C2E3BA36-DD61-4C62-9A75-7C663E5B8C6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900703$FDA2C9B1-71B5-4F16-8D84-93DCF00F6FCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900703$0E104335-523B-4EE9-B190-BA293571BC43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aef36a3560a86ff372e224d3b1ed503c63602fd","datavalue":{"value":"5695383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900703$626EEA46-B182-4235-8D43-C6B5EDA34C3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900703$75FA60A3-3DD3-4A21-99A0-827F980DFF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900703$4612120D-9EB3-4028-B6CA-FCDB51BCDB56","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":"Q5900703$D1108AD6-0554-4F4A-B366-E769E809833C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900703$D87C5664-DC84-41DD-8E66-B228BA911746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900703$F2F22104-D806-4FA1-B459-06C4ADCF0CAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900703$FECD4DA4-8579-4D1F-B326-F24E488E6C33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f00209fd89c10cc4c8264b757b15d4637ae4628","datavalue":{"value":{"entity-type":"item","numeric-id":903492,"id":"Q903492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb048752c4e5b50e857ce2d188b79e408299c6eb","datavalue":{"value":{"amount":"+0.877806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$6B8712F9-429A-453E-BFA0-2201CC1C24E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea1f3e04ee56582526c68bcb1959fd47a5b4f22","datavalue":{"value":{"entity-type":"item","numeric-id":2722048,"id":"Q2722048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569189cfb323fa2d335f688ef67ecdb29d313603","datavalue":{"value":{"amount":"+0.8710255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$4FF3875F-6CDC-4A5A-B4B1-2611F1A7BB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0241b468b78cc0004ce7aadf41bb9a2f7c42d5","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52cc6fe28e5ec917754ad402c270d99ab708d97","datavalue":{"value":{"amount":"+0.8598074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$0911BE36-B089-4877-AB27-C49CDD0CBAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbde7572bdab49e14c118aaec7bbc413e715633","datavalue":{"value":{"entity-type":"item","numeric-id":3741026,"id":"Q3741026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbbad38114549d9eb5fe63cb040527e5c325b65","datavalue":{"value":{"amount":"+0.85658395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$E9DD2E03-6A7A-4A83-9DFA-A3311B245479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49914d79734bffc2afc12cd9ce389db5022f2838","datavalue":{"value":{"entity-type":"item","numeric-id":4015412,"id":"Q4015412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648aea3cb41dfc559304a08a7ba29739fbb284cd","datavalue":{"value":{"amount":"+0.84728074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$C951A2EF-7F41-4697-B35F-13BB6B2FFF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7d3b8606e3170fd0ffbb8dcd3abfdcd922fd44","datavalue":{"value":{"entity-type":"item","numeric-id":2355695,"id":"Q2355695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbefb8deb39d238268184dfc2009f86e5c3f7074","datavalue":{"value":{"amount":"+0.8469577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$BCD279CA-7640-4355-B343-0089E6FFE8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c55942e1f5a0e2ac1ef26feb1320a6b977fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2769581,"id":"Q2769581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54debb58ec9e26a3ab91e10ff938a5b9c1a254ca","datavalue":{"value":{"amount":"+0.8465009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$0CF0E4BD-51BD-42A3-BD0D-6261BC5CCFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbb0304e940bceb5735c561adfb0e7f12a33f27","datavalue":{"value":{"entity-type":"item","numeric-id":3646570,"id":"Q3646570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5430da711a50625e85ef90fbd01baf3eae64e710","datavalue":{"value":{"amount":"+0.843159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900703$01C56073-2F4B-4CF0-9C22-C686541C882A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900703"}}}}}