{"entities":{"Q2845493":{"pageid":2856213,"ns":120,"title":"Item:Q2845493","lastrevid":83855399,"modified":"2026-05-07T13:00:54Z","type":"item","id":"Q2845493","labels":{"en":{"language":"en","value":"Random walk based heuristic algorithms for distributed memory model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203471"}},"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":"Q2845493$CCC2D7DD-027A-47A1-BC07-EADFF22DC661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0b74430a276025bec3e45cf4da15fc672d2c540","datavalue":{"value":"1271.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845493$E9C1B690-7A6A-4B73-95A0-7461C471C780","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43f644c81ad6f761c47807c5262c50ff3142587","datavalue":{"value":{"entity-type":"item","numeric-id":2845492,"id":"Q2845492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845493$D1CAA95D-7D2D-4FC3-98C0-6A1782807601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb25cd5bff61dd98c69faa32322d3d5f5b3963d","datavalue":{"value":{"entity-type":"item","numeric-id":239161,"id":"Q239161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845493$CED55901-DF28-4486-88F9-0014ADE7416A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845493$2671FD88-2F70-4316-B78E-5C529C6C2798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a69287015cd5a965cc3b8edf22e71075bbe78e6","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800969","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845493$4C54BD1C-D635-4506-8103-DFFBCB0A485E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845493$413C9012-D421-4FFC-8487-B9FC4473086A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845493$734F7A75-18A2-4DAA-B463-3E7A213FA38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845493$82D5A123-3870-4F93-BAF6-907015DA7A18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4f86a9fae25756868b8e280077402b087ce33c","datavalue":{"value":"6203471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845493$C3459C33-F29B-4709-80BA-362D1A40D2D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845493$ABACC032-0531-43B6-AB2B-79372A5D6622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845493$9E0C35F7-91BC-4501-AA32-19E3FB2BBD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845493$799D8510-9BB6-4154-9446-7F6E809CA977","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":"Q2845493$554E49D4-88F8-4658-9896-DFA2E3015A90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43513a245e27828c4712471b221a165b93ccbbca","datavalue":{"value":{"text":"Random walk based heuristic algorithms for distributed memory model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845493$186782CC-FAD5-4F15-8519-5F18676F30EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d499a073e38bbbecb40c74487898ce2e1ca099c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dac4611dfd125b11cef1ef23f73937af18892c1","datavalue":{"value":{"amount":"+0.7512562870979309","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":"Q2845493$3D35F1B3-7839-4075-9AB7-A8768BF003E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccedc3e28b0a17e72be8bd46d7c43af5d28225b1","datavalue":{"value":{"entity-type":"item","numeric-id":2431772,"id":"Q2431772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de74cb8a6582773af4a0f65b8c9b2b753577ca","datavalue":{"value":{"amount":"+0.7490033507347107","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":"Q2845493$68C00B42-E55F-4B3F-A064-30FDC49DA891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d8708d55358f1a79ea48153e1da8b9a71b6146","datavalue":{"value":{"entity-type":"item","numeric-id":4779370,"id":"Q4779370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a4a2836eb4cd127979fb9279873a6b0e41c04f","datavalue":{"value":{"amount":"+0.743334949016571","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":"Q2845493$76FBFC4E-27E5-4517-B8A7-8DC59B9FA685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebe4017728386c6d49c3434995e51c7d8160cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1630037,"id":"Q1630037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05d3f6cdc4fed2072db99237d1000bb3038094a","datavalue":{"value":{"amount":"+0.7319950461387634","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":"Q2845493$8C0180D0-8062-4067-95FD-57520A2AD02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb1efe408f3677a25eaf33124438cd40b7fc669","datavalue":{"value":{"entity-type":"item","numeric-id":3591390,"id":"Q3591390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a902b5a71f308be26b89e862ae59b2cf76e82c1","datavalue":{"value":{"amount":"+0.7263056039810181","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":"Q2845493$7C13809D-6256-47D9-9D19-94C634D4020B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Random walk based heuristic algorithms for distributed memory model checking","badges":[]}}}}}