{"entities":{"Q5900705":{"pageid":8006982,"ns":120,"title":"Item:Q5900705","lastrevid":41581133,"modified":"2025-05-06T01:55:28Z","type":"item","id":"Q5900705","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695385"}},"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":"Q5900705$3FCCCBB7-51F6-4066-BAFB-44DBD4BD458A","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":"Q5900705$A444C2D2-2C1F-4325-9317-12EEE3B7A49D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b76f961fad295a8af62e34085fb25fedfff4d335","datavalue":{"value":"1278.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900705$8546A57E-E2CA-4DB1-BE00-4AF11EBD828B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94229b96c71d77298697de05e94c9bf7fba20fdb","datavalue":{"value":{"entity-type":"item","numeric-id":2008290,"id":"Q2008290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900705$0899DB13-590C-4889-99E6-3C4342C745BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900705$A68318A7-F723-42E0-8807-AF9AB26E5F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900705$9BAE540B-362B-47A6-9330-ACBDCEB9D1A5","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":"Q5900705$6540B69B-F179-47E5-B4BF-67B705C8EE02","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":"Q5900705$9A426E35-3805-4278-8985-AB2B467C7BDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900705$0A9769C9-186F-44C9-B4ED-CA8B31F4969F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2de873fdc6d695d023d7e141996ab48d5d81e333","datavalue":{"value":"5695385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900705$C84FC983-463A-4646-A34F-1093B8046283","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":"Q5900705$9033F124-7A10-485F-AD22-739C19B7DC8E","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":"Q5900705$A2E5CA1F-F4BA-4D38-8B64-4387D5AE4D53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900705$9339986C-A9D8-43ED-83A6-0884855828A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900705$932CDCE9-2B3A-4518-9962-13DDE4055C08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9011a4ce1a501f0d921e3d9d9782731be0b82a13","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed48755f96bbb72989aadab4f4cbf36675f9399","datavalue":{"value":{"amount":"+0.8273223","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":"Q5900705$9EBF9E9F-C1D1-4B2F-90BB-E8D9AD5E6657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea9b2ab3b7a1374a6df2289672374b9b91effb6","datavalue":{"value":{"entity-type":"item","numeric-id":4530455,"id":"Q4530455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a535e96dd34eabb1a95543d02670abfa5e9941","datavalue":{"value":{"amount":"+0.8221314","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":"Q5900705$ED10ED0B-8008-4894-B521-AEDD94AF9057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddeecc505b945efff5bd70e19cbf4040757fcdd","datavalue":{"value":{"entity-type":"item","numeric-id":4263168,"id":"Q4263168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a535e96dd34eabb1a95543d02670abfa5e9941","datavalue":{"value":{"amount":"+0.8221314","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":"Q5900705$C8D23E84-B0C3-481E-A930-94033CEDBAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d80677e6487a77d6f51c1ad9e35ae952a7ef75","datavalue":{"value":{"entity-type":"item","numeric-id":436408,"id":"Q436408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7af72a1ab1281ac2de0c75bd6d079fed3c24803","datavalue":{"value":{"amount":"+0.8109144","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":"Q5900705$225E5669-3BF6-452B-981D-8873C5771F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3d53cdeb7af6c2e18d05e04dd01bf075e959e9","datavalue":{"value":{"entity-type":"item","numeric-id":4412862,"id":"Q4412862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bd0b7fba94a00da820a56f8c0730101a9dffcb","datavalue":{"value":{"amount":"+0.80233943","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":"Q5900705$1551BFBF-ACCD-4229-86E0-3C12BA38A4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3b7b4f0dcf9c3f14d7723bc9fa29f5dc47ab1c","datavalue":{"value":{"entity-type":"item","numeric-id":4941894,"id":"Q4941894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09148684b07fa69fe1e5ba06d6fbed2e8ffb6d84","datavalue":{"value":{"amount":"+0.80109435","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":"Q5900705$A2873B38-3E26-49EF-BDAB-15DD29C0B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a988c3dc30e855d9e1efafd27b526cd9c602251b","datavalue":{"value":{"entity-type":"item","numeric-id":1575263,"id":"Q1575263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf32d042e406f1592dd9b9f267d3b23c430952b","datavalue":{"value":{"amount":"+0.7968139","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":"Q5900705$4F825653-9119-4045-9B60-F040EAA50B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b72c23229cfed0bbd474ca5254d0486b18fa67a","datavalue":{"value":{"entity-type":"item","numeric-id":882628,"id":"Q882628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b3aeffdca0da78d0adeda546d6aa41977a2b80","datavalue":{"value":{"amount":"+0.79587436","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":"Q5900705$1C0917A7-A618-401B-BBBC-348F28E26E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab58fa96acc6fc6307df0a0d805e465aa660c54a","datavalue":{"value":{"entity-type":"item","numeric-id":5346929,"id":"Q5346929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670605a1d1ff55b5ebdf3489e085ed4c52bc2295","datavalue":{"value":{"amount":"+0.7948251","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":"Q5900705$F0E26884-C21B-492A-9BE3-B60FD5053461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1372d8ab2a5f2fd3e81a238aad1b5ef77ac51e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3507390,"id":"Q3507390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f144baa5cdedef9be1edccfee5ed4e7ba52c1650","datavalue":{"value":{"amount":"+0.7890503","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":"Q5900705$B91F8CB7-4B30-4559-B8C3-30D352160436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900705"}}}}}