{"entities":{"Q4564139":{"pageid":6593728,"ns":120,"title":"Item:Q4564139","lastrevid":89855897,"modified":"2026-06-04T18:26:50Z","type":"item","id":"Q4564139","labels":{"en":{"language":"en","value":"Properties Incompleteness Evaluation by Functional Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6885810"}},"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":"Q4564139$296FAC9C-F912-44F6-BB50-912C2F22D263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4cad434ccc941269d4289786bb0ec3f0dfccbc4","datavalue":{"value":{"text":"Properties Incompleteness Evaluation by Functional Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4564139$39DA4E16-C351-425C-A0CC-0751521A8C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dad2b3784fd385940f1a8732a9d844bbc8c9824","datavalue":{"value":"1390.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564139$68852C7A-5DF4-422E-89BD-04BEAC2B4A5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a61c4106a3c9790912af993903382c85af915cdf","datavalue":{"value":"10.1109/TC.2007.1012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564139$4F470C5E-B1D1-486C-A698-8C762A66B143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"064f079f931db391eead9b9bc2382f068d734173","datavalue":{"value":{"entity-type":"item","numeric-id":4450976,"id":"Q4450976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564139$24799054-7202-49DD-B6B7-862793118483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee7880d03b7f83ab8b4f8e3f986ac72dd69e453","datavalue":{"value":{"entity-type":"item","numeric-id":2985281,"id":"Q2985281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564139$F196DCBB-9CF6-4EA0-9AB5-C448483269E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a21d3a61d4e11df2bd44c853e997fecf8899ef","datavalue":{"value":{"entity-type":"item","numeric-id":2506270,"id":"Q2506270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564139$4BDB9FC7-CE73-41FB-9C77-FF9A8CB19EB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564139$28AD875D-6FAA-412F-B968-4FFAD23E9436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bee4c44be49e99ae67efec260a125657730bcab","datavalue":{"value":{"time":"+2018-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4564139$AA3CD19E-9F6F-46A6-AE40-42931013878B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564139$6FA1A988-A1BE-4D63-AB0D-9F78E0E91CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c29d3119bd4999da539823901b6398b0c089d61","datavalue":{"value":"6885810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564139$2495E3DB-1463-425A-8D2D-84C96E632321","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":"Q4564139$850ADFC7-C815-480C-8AD5-83CEEBE288A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a14f39f04394b7d9408e8373aa3a2c4d4299","datavalue":{"value":{"entity-type":"item","numeric-id":3083626,"id":"Q3083626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb0c95244068feb8228faa43001c50d0d91669b","datavalue":{"value":{"amount":"+0.84715784","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":"Q4564139$79A83F8C-88F3-463B-989C-4C141DA06C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10d7773cc73b9f8bee44615c0d71cbade8cfcdf","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cf43c5066a9ea8a37d3b7c61b25d7700be7c57","datavalue":{"value":{"amount":"+0.84714234","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":"Q4564139$FA60F2F9-BFE2-47A7-BA2C-EBFD1E9B97DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7afdd6ca8690011e9f3268736024a32cbc576ce","datavalue":{"value":{"entity-type":"item","numeric-id":3528907,"id":"Q3528907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb17743cc39499fe0f0fa55bdffbbf4f24a1d85e","datavalue":{"value":{"amount":"+0.8438153","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":"Q4564139$1473E1D2-0CB0-4084-8A07-15C0A845BC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20222c4b13fec7e97e3aaa07bd9f20f5edd1e5c","datavalue":{"value":{"entity-type":"item","numeric-id":4973894,"id":"Q4973894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24b029c2a5317610f6c38bf94aa42938ccb6497","datavalue":{"value":{"amount":"+0.84145594","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":"Q4564139$67183B3F-59D3-4E50-B7E5-B8637094336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4146dff6d01ae58030994780749c79899db4e93","datavalue":{"value":{"entity-type":"item","numeric-id":4638061,"id":"Q4638061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24b029c2a5317610f6c38bf94aa42938ccb6497","datavalue":{"value":{"amount":"+0.84145594","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":"Q4564139$EBB50635-8808-4B8E-9CE3-F372FA364C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d69e05c69312d3e07c1ba1409717c12d9dc1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3568323,"id":"Q3568323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c746c052e43ff84b41cdaacbb28d1075fdc6365","datavalue":{"value":{"amount":"+0.83996415","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":"Q4564139$BC3F085E-F9C3-4B7E-AEC0-F042117DF9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5e79253c8393cde6d36c019d804b1e673a5839","datavalue":{"value":{"entity-type":"item","numeric-id":5307476,"id":"Q5307476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd48d828604053652a869a28bc8c025c905ac80","datavalue":{"value":{"amount":"+0.8380822","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":"Q4564139$864DBCA9-EA1B-409C-8337-6F3223E30DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f61c9aede3d60e9748bd045c50c99517650f47","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dd3fbab8df7f0e0b0118ba265bc6e2b7858e30","datavalue":{"value":{"amount":"+0.836696","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":"Q4564139$D2176F2F-58D7-4D41-9C81-73AC2557005F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Properties Incompleteness Evaluation by Functional Verification","badges":[]}}}}}