{"entities":{"Q6487262":{"pageid":14066031,"ns":120,"title":"Item:Q6487262","lastrevid":54439100,"modified":"2026-01-26T19:58:34Z","type":"item","id":"Q6487262","labels":{"en":{"language":"en","value":"Verified runtime assertion checking for memory properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614703"}},"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":"Q6487262$DCC5BD80-1213-4C71-B750-658C18163419","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dbfb6a4bc739d5a0997dc2c1c0c0bdd51116578","datavalue":{"value":{"text":"Verified Runtime Assertion Checking for\u00a0Memory Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487262$4B347E7E-BAFD-4EC5-A27E-C688E6D8FD1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12766590f7435fd8b4268747fc7986121fa023c7","datavalue":{"value":"1511.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487262$E93E1BCC-777D-49BF-A315-209ED07A88EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77717496c090800ab595c6a16b07572f7b76d788","datavalue":{"value":"10.1007/978-3-030-50995-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487262$B5E58F35-D4F7-4246-AFF9-0A898176DC3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27195b53a4d1724d447f3440bca516bd06839e99","datavalue":{"value":{"entity-type":"item","numeric-id":6484969,"id":"Q6484969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$CC4D3233-8464-456B-90A7-22922AFDFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407868012495339cc676e2def4d299dc32a605ff","datavalue":{"value":{"entity-type":"item","numeric-id":682365,"id":"Q682365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$73466000-F03C-4EC1-817D-0DB37F001939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41523071f7928e35d0476c616da8429088b7716c","datavalue":{"value":{"entity-type":"item","numeric-id":1566917,"id":"Q1566917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$A47B0369-5C8C-4AFE-B87F-4F46F08508D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7061feb2308a1a8a51508a306f1c99e469f1860a","datavalue":{"value":{"entity-type":"item","numeric-id":1671144,"id":"Q1671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$626C4202-CC71-46D3-B882-3C639B8BECEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487262$E53BE56B-A6A1-461D-BB73-111D390E6EDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487262$45EDCAF2-4DF2-44F8-9A05-0C27542B0106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7558eec6152a10117d1fc89849ba32c9966374","datavalue":{"value":"7614703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487262$C2B0BDB2-9A0B-4B23-8169-FFC1B6F73331","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":"Q6487262$A5741207-A145-47D3-BC0C-D12B9DBE583C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$FC1DFA9F-D3D1-44FD-B005-9789C2E2DA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$CAD22FFE-C623-409C-BA65-FD8C35EA73BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$E8561AF1-0BC4-4A72-A9AE-96A097A0E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$5F9C6131-CE79-4A96-81AF-284A6629803D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0792b559eca443f0f969bad25e2a63f4677116","datavalue":{"value":{"entity-type":"item","numeric-id":1630031,"id":"Q1630031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$A9E0891B-09B1-4061-AC18-0A6213317A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25306047135725f913a4f7e74905e97b4e740016","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487262$C34DAC90-D51C-4DDC-AF61-357B6CA91C8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb530de2a2eafa27a1d531520d9a64016c1d12b5","datavalue":{"value":{"entity-type":"item","numeric-id":5452717,"id":"Q5452717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd27aa2671a2eb60ee93a38dca29b8e6aebcd51f","datavalue":{"value":{"amount":"+0.7160574793815613","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":"Q6487262$CECBE94D-683D-4427-9F7F-E3DD27414576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76414fd0fcea14a91f0027ed07e65064cc689539","datavalue":{"value":{"entity-type":"item","numeric-id":5452718,"id":"Q5452718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff05d72a0c93676fb0affb53a48e05c4722a371","datavalue":{"value":{"amount":"+0.7000513076782227","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":"Q6487262$ED0210AD-D703-4ECA-A36D-DD1B57249C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe92806a81bbea1cd5444ec3bcbd3de48fd0186","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c116f7d3868f843aa1d2e9698a2c71d90c374df","datavalue":{"value":{"amount":"+0.6823002099990845","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":"Q6487262$E481D32A-F44C-4866-A34D-E0345EEEA71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece0322d9510e5bc8d6f931982e9f047beae9091","datavalue":{"value":{"entity-type":"item","numeric-id":835783,"id":"Q835783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fff3732fb6e8de89da94c712e35277a68496771","datavalue":{"value":{"amount":"+0.6785003542900085","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":"Q6487262$77C83EE2-313C-4F6B-A95A-B0ADB2F26F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa9762f2bbcaf949394e10f1e3500c1499f3788","datavalue":{"value":{"entity-type":"item","numeric-id":2819844,"id":"Q2819844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d54c60730c85f4476b1b9b33d25d9e51e8670c","datavalue":{"value":{"amount":"+0.6777523159980774","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":"Q6487262$571B763E-05F9-41D3-8121-21787F9546DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487262"}}}}}