{"entities":{"Q3605460":{"pageid":5635366,"ns":120,"title":"Item:Q3605460","lastrevid":50576714,"modified":"2026-01-14T11:09:48Z","type":"item","id":"Q3605460","labels":{"en":{"language":"en","value":"Formal Verification Based on Guided Random Walks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510226"}},"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":"Q3605460$F481F12C-1C2D-4CB4-A5C1-B56E81397657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06038ad230d292781d6b2f2a4569813028db22d9","datavalue":{"value":{"text":"Formal Verification Based on Guided Random Walks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605460$62C8ADA2-D1A8-4851-97B1-6561D88A9BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c5261adbe71fa324f9dfd0539e3c1dc300d9dd9","datavalue":{"value":"1211.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$CED7849C-F7EC-4FF5-9E2E-5E913A378796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c6f3455f425b1b9218d84a527fbabbdbaec51f0","datavalue":{"value":"10.1007/978-3-642-00255-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$CB55CF2E-B507-4018-93D6-817F40D0CDDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"191b49deb9c1b7a5decfc803dd5829449adc0cd6","datavalue":{"value":{"entity-type":"item","numeric-id":3605459,"id":"Q3605459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$D08A5117-4E10-4081-950C-B3EF5A8D2DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9ac727adf283d538258b739bab9703a00e00bd","datavalue":{"value":{"entity-type":"item","numeric-id":488325,"id":"Q488325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$463C3A96-5CA1-43B7-AA34-E143C79C1CAC","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":"Q3605460$7CFA6A6E-07B2-4AA9-B276-24A11B0670DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605460$5D9D588C-0500-4A7C-9BC6-B0A7AF117551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$D7647AE2-568E-4B97-B39B-30065344EDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e52a86b600bbb05d9a7823bf91d423713b4b70ab","datavalue":{"value":"60G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$20F37EB1-4E5A-4C34-A465-9D50CF3BB20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$C6603B5A-6A95-4D61-A47C-FD6291AFF864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aa64d82379df6072128abd7e7233c50ec3751e6","datavalue":{"value":"5510226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$38D012C6-329B-4D42-838D-1CA37455BEFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$B2325916-92DE-40E6-AF5F-08DA2573542E","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":"Q3605460$BEE82F92-9DB9-4F01-B0D0-118E9B57C377","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a2c4ed07c8a1b1cf73524a44a240a5ad6fbe385","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00255-7_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605460$DA51CB78-A758-4F9A-A5DB-01956333E6EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ecc5c5ac94a006e3cbd2717e82e768ed04a13ec","datavalue":{"value":"W1550621302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605460$F9D38492-CA2B-4E2E-89A2-B225D7F95EEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4d7e47b7300c176b601096e1931554ddb948e8","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$7FBF160B-5046-468F-9C31-BA48A4A66B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$3EDCAB65-6B52-4299-BE22-30DEB67A2F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$DD9E0E73-26D7-4E7D-AB15-303D5ADFA78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ac36f28da368bb4c1d47da3de05ac0c0937213","datavalue":{"value":{"entity-type":"item","numeric-id":5479161,"id":"Q5479161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$F9DDF257-29A3-4E55-96C1-04E916B9AEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ceeb8b3a8be517562af772ac048285c9c60a71","datavalue":{"value":{"entity-type":"item","numeric-id":5308429,"id":"Q5308429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$5B63A642-459B-4FA6-972A-A8187B7BC36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ac97e99b78c9a39dd9219b9eac958e93f6dab1","datavalue":{"value":{"entity-type":"item","numeric-id":5191621,"id":"Q5191621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$282EF9FC-70DA-4852-8B66-BCF02B82ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$079FAF4A-14FB-4710-A21E-3B41ECC54EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b198835c4a7ebc494649d341c3a5413529f68fa","datavalue":{"value":{"entity-type":"item","numeric-id":5394185,"id":"Q5394185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605460$D81C8008-13A5-4C47-8E7D-1EBC106A9CB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05268fd63ad80a48ab9993e7e1c0c483652754e1","datavalue":{"value":{"entity-type":"item","numeric-id":5480169,"id":"Q5480169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36c7f23238fb21683a6e73c5664fd12d113e3b9","datavalue":{"value":{"amount":"+0.7097415328025818","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":"Q3605460$6AE4CFD2-C7A1-4E5A-AE3F-88CE96C5A160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b09e2fecb0c07b29b5d6d381a95c3ad04f26318","datavalue":{"value":{"entity-type":"item","numeric-id":5394185,"id":"Q5394185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78de9da0790783b1adfb9edd6d6c8257ff68aab","datavalue":{"value":{"amount":"+0.7018761038780212","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":"Q3605460$95732014-C91F-4F30-B992-4F4D714F5337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd0b351e432932490a00c83bba983f87b603f32","datavalue":{"value":{"amount":"+0.7003951072692871","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":"Q3605460$FE6BCA7B-3E5C-45A2-A2C6-1C94397E21A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d513fff6fa2d61c2ad55a2681f916e8aa6b71e","datavalue":{"value":{"amount":"+0.7003948092460632","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":"Q3605460$1292BE42-9691-400B-9D23-790FB5E6414A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3961aa2b93132e43ce471f4012f819708f017c33","datavalue":{"value":{"entity-type":"item","numeric-id":3184630,"id":"Q3184630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41eb484daef925d7a7747ac7f500405da19a8a0c","datavalue":{"value":{"amount":"+0.684061586856842","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":"Q3605460$0022285E-54CC-4B26-BD40-40332BA6F02B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605460"}}}}}