{"entities":{"Q5758114":{"pageid":7787665,"ns":120,"title":"Item:Q5758114","lastrevid":92906060,"modified":"2026-06-05T03:04:06Z","type":"item","id":"Q5758114","labels":{"en":{"language":"en","value":"MAVEN: Modular Aspect Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185782"}},"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":"Q5758114$A3E5C69C-7AFD-4B4D-B295-FD0D1BE004C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01d85f8e926ed9ff7c2be240691eafea400fffba","datavalue":{"value":{"text":"MAVEN: Modular Aspect Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758114$4D548E9E-D04A-4FDE-AE13-80CF1C8AC3D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f01acbc5e5d9283520aeb62d23a888853628acbf","datavalue":{"value":"1186.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758114$D8185771-021A-470E-B1CC-96DDDB6A00B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a76307637e193df7d7c428d166393cc8095d7f96","datavalue":{"value":"10.1007/978-3-540-71209-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758114$2ED47A09-5216-42B9-8B0B-C83D66AB7A69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0786848acfbe183791009e4cf99997778551acb8","datavalue":{"value":{"entity-type":"item","numeric-id":609015,"id":"Q609015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758114$789B4B1F-67D5-4D0C-ACE9-25FB04C5B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568a61c55802ceda18ea5e885b2fc3da9204e0c","datavalue":{"value":{"entity-type":"item","numeric-id":340039,"id":"Q340039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758114$8AFB4BB8-C523-4E79-9F06-41267CC37FCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758114$4C4E6A78-FACE-4ABA-9E90-A81FABADFB63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758114$57BCAF0C-C791-4BEF-8652-4BA254167EBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758114$94748F04-BBAA-40FB-BA1D-BD6F0F87F1DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d7ac0e7263ed76fe41e4dc899a2c1fc49dd0ccd","datavalue":{"value":"5185782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758114$E3E5E0FB-C41E-4EF5-A562-651248BC9A17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f001eb735991a93b9abcf6784d2099d4ede049e","datavalue":{"value":{"entity-type":"item","numeric-id":19681,"id":"Q19681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758114$806DCDA7-B99B-40EF-928F-14CA87EB97BA","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":"Q5758114$BFE36C12-F032-497A-963F-F0FA99433F6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af1b0d1f1ce17dbc2a573e8732cb388aad7bcd41","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758114$E5A47771-4DD1-4444-B62C-197AD81AE7C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"132487cfba7a821bb62780b884ebcbd9b98bd245","datavalue":{"value":"W1539735786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758114$026DFE68-7900-428D-9BB1-F454EF49AA66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e74472c483728178aa69bb1bbc9a1147cd6605","datavalue":{"value":{"entity-type":"item","numeric-id":609017,"id":"Q609017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4363ff042ca985e31720b0b227382c79fef3d8","datavalue":{"value":{"amount":"+0.9706893563270568","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":"Q5758114$3C382E9D-D2F4-4BE6-A36A-E8819260FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2171dd1654005c9d0f1829434c5c8bb687c83a","datavalue":{"value":{"entity-type":"item","numeric-id":3630178,"id":"Q3630178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5f45d55c1179e663751fe5db44016c5749ea8f","datavalue":{"value":{"amount":"+0.8537442088127136","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":"Q5758114$2392FBCE-4CBF-4974-AD63-2EF033FCA51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd76148f147bf6e97e0d825ef24df0d382073160","datavalue":{"value":{"entity-type":"item","numeric-id":5716894,"id":"Q5716894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbac36af9d18231fd62e475943e3d1607f11f5a9","datavalue":{"value":{"amount":"+0.7760027647018433","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":"Q5758114$8CB8A6F3-B9B3-475E-B831-23FEF8F73E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a84c457fb1a45af6519120322a2a1d809c4afc","datavalue":{"value":{"entity-type":"item","numeric-id":3634732,"id":"Q3634732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09359ecb60e76f70ed4ea29b2da899e4d34b9050","datavalue":{"value":{"amount":"+0.7359700202941895","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":"Q5758114$396AC9FD-6A38-4476-875E-D2E2CAE90517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6a072dfd40f4037e93a92b8d15b670afdd6e83","datavalue":{"value":{"entity-type":"item","numeric-id":2914589,"id":"Q2914589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0036893f4fa881c2dc1af49d5be6e722ec5753bb","datavalue":{"value":{"amount":"+0.7106912136077881","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":"Q5758114$DCC1B5F2-EFB5-4BE1-AA77-D95706CB0CCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MAVEN: Modular Aspect Verification","badges":[]}}}}}