{"entities":{"Q5716573":{"pageid":7746127,"ns":120,"title":"Item:Q5716573","lastrevid":41246887,"modified":"2025-04-24T03:56:54Z","type":"item","id":"Q5716573","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245521"}},"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":"Q5716573$20A43F43-9EE8-43E7-A8EF-377BDDB25C03","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":"Q5716573$32AFB8F2-9614-414C-8BA3-F0163D64C8FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb7b63e4289093ec8dbfa92b5fcf3cd867626ecc","datavalue":{"value":"1081.68627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716573$B00E87A5-9694-40BB-B9ED-E45070CCC80E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ca732dd03c0e8a5d9cebd3dc8d034604a43865","datavalue":{"value":{"entity-type":"item","numeric-id":5716572,"id":"Q5716572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716573$0C14E0AD-A3EA-47CB-AB05-D2A915A5F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716573$1ADEAAC1-54EB-40BD-99BD-50ECD4A59E47","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":"Q5716573$DBE6B732-DF88-43F6-9B69-B8147905F35C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716573$3DC2E2F5-8C70-41ED-9F57-EC06F055B007","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716573$F6D6AB1A-E0DE-4FB5-A738-0A0581BA6E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716573$37DBC2D4-0F1D-4E76-AF57-D15C63DDA4A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d9a5fc267eaec54fc5168bde03523499f35fede","datavalue":{"value":"2245521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716573$7900195C-5C8C-40F3-B97F-6EA43297126F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716573$F611F0CC-E585-42E5-B377-1224E940148E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716573$633EBE67-63B1-40FC-8562-828022A725E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716573$4B3CE0CE-0DE1-4704-8A85-9428B87D49FE","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":"Q5716573$FD19BF36-6CA1-4232-B820-9AA8120D500F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59192cc2deb09ff7c49a493186135c31d5f4ad9c","datavalue":{"value":"https://doi.org/10.1007/b138445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716573$1B8E88A8-0E2B-4BAC-9DA1-3AEA82FDC8CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716573$A2FE8615-F8A8-4600-B0E9-4B111363DCF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716573$6B5F2F40-4395-4D24-BB8A-34BA3BA3BE70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1e8add82a1b9d42c4c6f7b8c8e24719be75522","datavalue":{"value":{"amount":"+0.91766036","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":"Q5716573$92C7CBEB-144B-465E-A910-4294BC391A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312d1d91979e51c8615bb0c6f972074bc9256ff","datavalue":{"value":{"entity-type":"item","numeric-id":5464719,"id":"Q5464719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b554a6ee7c2031baea5ca331e71c42037b6d180a","datavalue":{"value":{"amount":"+0.8940276","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":"Q5716573$FC027C8E-BDC2-486C-96C0-4C9CD976B05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c71b2c8b62ec58ce788d4f9493878ad8b935d4","datavalue":{"value":{"entity-type":"item","numeric-id":5240950,"id":"Q5240950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cf9cf6cd6091f68440941b7b813cd6d12b965e","datavalue":{"value":{"amount":"+0.8898439","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":"Q5716573$C4E4C680-6280-458C-8C66-71D1C9708910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcf53627d94b4d567863cea8167d546c9ac31bd","datavalue":{"value":{"entity-type":"item","numeric-id":5147753,"id":"Q5147753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d352d469219efbb3584853e4529939aa92aa3c1b","datavalue":{"value":{"amount":"+0.8843516","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":"Q5716573$D6B251E6-15BC-4B21-B354-86A1366EE5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4887cac53ac2f7163f3ca4ce3c007dcd5ad9c08","datavalue":{"value":{"entity-type":"item","numeric-id":2735816,"id":"Q2735816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cac3e24ea5d6426b412983a482b157f51d03eb","datavalue":{"value":{"amount":"+0.8711458","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":"Q5716573$28FEDF41-9B49-4745-8450-843FA0F6D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aadfe63cccf0f3a777afa56a06a45926270608f","datavalue":{"value":{"entity-type":"item","numeric-id":3716324,"id":"Q3716324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885a38dccce6a335a023b10437511f2cf32baa00","datavalue":{"value":{"amount":"+0.86936665","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":"Q5716573$F9604F77-186C-4164-B26C-BC83600A168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c56803df0c6a5dbd365a7f1e0d40eb3d7421af9","datavalue":{"value":{"entity-type":"item","numeric-id":1603370,"id":"Q1603370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5cddf36136a5a471c03c6811a21ec6620dec75e","datavalue":{"value":{"amount":"+0.86535275","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":"Q5716573$07ACFFC6-8BA7-4862-A47A-2D05F8197CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b54ec3d11a4b8a63a3fb62a11dfd85164a29f52","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6751aca8921d7c7e4720bdcbc3d83fa2e7111a02","datavalue":{"value":{"amount":"+0.8650943","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":"Q5716573$F153E10A-CEAA-4643-B777-8B265B87EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43edba7a579df09160c287c55e2f8f7d8e08f208","datavalue":{"value":{"entity-type":"item","numeric-id":3837726,"id":"Q3837726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb0a66e90b1a0926aff0de1d9909872805bbb1c","datavalue":{"value":{"amount":"+0.8625283","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":"Q5716573$E1A95B55-00CE-4107-96B1-059ADE72F50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425549a496130c59d361cbd49e8dc1c6f022bcef","datavalue":{"value":{"entity-type":"item","numeric-id":4583352,"id":"Q4583352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1773c1ef221b7d7532f484c3c9a239fdbd08d6","datavalue":{"value":{"amount":"+0.86148","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":"Q5716573$D0217629-F1E5-4690-8496-D512CEF200F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716573"}}}}}