{"entities":{"Q5946345":{"pageid":8123147,"ns":120,"title":"Item:Q5946345","lastrevid":47686267,"modified":"2026-01-02T10:38:49Z","type":"item","id":"Q5946345","labels":{"en":{"language":"en","value":"On the effective deployment of functional formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658697"}},"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":"Q5946345$014A9BA3-102C-4864-9D2B-A78FD27E252F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"422d9c25234ccf849f8996d8d3037675df289020","datavalue":{"value":{"text":"On the effective deployment of functional formal verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946345$6F9B012C-AB35-43ED-BDC6-92168595949F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ce1c84e16470c8b9d09853ae115ddd67e534f8f","datavalue":{"value":"0994.68579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946345$6CF8BF1A-59EC-404F-8DB0-ADC2B906A443","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30bdf7c415c2b6bc8e4d9369f86393186a7ed87d","datavalue":{"value":"10.1023/A:1011219209077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946345$8C77A0C2-C3D0-4394-89C7-E287A603CFDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c41b6908e8963ccb2ab68384fdcac5e841ddeec3","datavalue":{"value":{"entity-type":"item","numeric-id":209462,"id":"Q209462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$CCC3D2D4-98D0-47D1-B0DC-B7426FA40B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a21aa64129ad33f7b346b0a06cd4e4461a48805","datavalue":{"value":{"entity-type":"item","numeric-id":209463,"id":"Q209463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$9AFAB041-80A5-4A69-A96E-ED3E9C0EE66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2acbff7b1d6009a8470ae19fa83f8b1a847cd289","datavalue":{"value":{"entity-type":"item","numeric-id":202471,"id":"Q202471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$FA119214-77FD-4B07-B206-481FDC0628CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afed46769c393c237def5cd835ed5bcf922e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":202473,"id":"Q202473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$9D451565-7888-4D32-B3AE-DD3014423FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f4c253ced25eae1a9cedd382e9903d2fffd4ac","datavalue":{"value":{"entity-type":"item","numeric-id":209464,"id":"Q209464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$647BBF78-6BB4-4EBA-9D69-C57ACB75841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e7cea0bf119ec4d04b6ee0ebb9596c4918092e","datavalue":{"value":{"entity-type":"item","numeric-id":209465,"id":"Q209465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$3D149456-A8A3-4D81-A6B4-5C3FB823D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffe3ae2833bf0b185555e639b5cf24034e57aee","datavalue":{"value":{"entity-type":"item","numeric-id":209466,"id":"Q209466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$414CE0B0-A31F-4566-8789-C4F926A02C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e72b3e525df8b71cf631d7317620371e6783a6c","datavalue":{"value":{"entity-type":"item","numeric-id":209467,"id":"Q209467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$1AFEE4A0-5609-499C-A2F0-FA5863310909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a745215da26f0ec7c20ddd9d919563acf1aff2f","datavalue":{"value":{"entity-type":"item","numeric-id":209468,"id":"Q209468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$4F7AA34D-F6EE-44D6-87EF-11BAD49A6774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d486bc225615555d709a41d2a8a1feaf2978e5","datavalue":{"value":{"entity-type":"item","numeric-id":209469,"id":"Q209469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$89DCCCBC-33D6-40A2-AFB3-99795A6E8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3344ed274592f8a37e13ff76dc52fe5b62e1b2a2","datavalue":{"value":{"entity-type":"item","numeric-id":209470,"id":"Q209470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$9A87A053-E387-4813-84D2-68F2C684C964","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946345$3260BC76-EA77-4AA4-8700-6AC25F57BBF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27d4813feb9835cf67361e7d170bc0c6d9cdf0d5","datavalue":{"value":{"time":"+2002-02-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":"Q5946345$67731D82-CDDB-4BC3-844D-C032AB1CDEC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946345$738E14CF-5F7F-4B09-B118-3914F6373A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946345$110CA4E3-6A26-4630-BAB8-C3F8993EAF44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f65c4c1c736a179713c1b6b8a96380529ae8c79","datavalue":{"value":"1658697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946345$0AA7709B-9EE3-4527-B5EB-A6D66E1DB3F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946345$27E6795F-3332-44C8-A97E-AC2DA0C48077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862330bc2d24c59438555d15e0766629f78b5512","datavalue":{"value":"RuleBase","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946345$F6A9510A-8B50-4283-9F8A-64A8CE053D52","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":"Q5946345$051C82AD-948E-4438-B6A7-D3CF9E9FAA1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73cde4b289116a095595513c64aeb7c3b2fffd43","datavalue":{"value":"https://doi.org/10.1023/a:1011219209077","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946345$D834BDB1-0CB4-4FAE-8615-7C7D243857D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de367c256404a5c2185365f025c297e70bf02a6a","datavalue":{"value":"W1484942078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946345$E6085F95-B77D-4A51-889A-AEB12127846F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43334ac7746281204b8e0cbcfbfca6907ac941","datavalue":{"value":{"entity-type":"item","numeric-id":5493260,"id":"Q5493260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3b231e2dfd2f91512b88ec33cb350f4773a989","datavalue":{"value":{"amount":"+0.7894114255905151","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":"Q5946345$D2814F6C-C2E0-4567-8659-05D0212A1734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c999a004719af0f209e07ab61ef13f4b9b3b79da","datavalue":{"value":{"entity-type":"item","numeric-id":1870223,"id":"Q1870223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8a5828cf69396c087d2345199efad870d048bf","datavalue":{"value":{"amount":"+0.7760730385780334","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":"Q5946345$1A006CDA-617B-4295-BC52-5539B18B62F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d757373e5b77d1a36fa1275c0c27637dcb7d2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2783114,"id":"Q2783114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7422cea75ed8c65b774109bc67c5ffe8e54e3d","datavalue":{"value":{"amount":"+0.7669276595115662","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":"Q5946345$231CF164-F04B-43E9-8B3B-F0A1E706C0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c756754a2e30b0b805c2b179c37ad7ee342b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":1870213,"id":"Q1870213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecb0e212b7aef2d70fa79e74f7acb626ab4bcf9","datavalue":{"value":{"amount":"+0.7628269195556641","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":"Q5946345$B2FAF9F4-937B-405E-A05C-E44B4C0D9D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb54fd1c2eed995589b5554d68f17e5a959cded4","datavalue":{"value":{"entity-type":"item","numeric-id":4473977,"id":"Q4473977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71797d0f61cc8a7570cb5555d5995f5c0950b912","datavalue":{"value":{"amount":"+0.7543914914131165","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":"Q5946345$049B58A7-12AF-427F-865F-F7586DEDC126","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946345"}}}}}