{"entities":{"Q2945715":{"pageid":2956435,"ns":120,"title":"Item:Q2945715","lastrevid":79790813,"modified":"2026-05-06T14:43:04Z","type":"item","id":"Q2945715","labels":{"en":{"language":"en","value":"Model-Checking Helena Ensembles with\u00a0Spin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481944"}},"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":"Q2945715$BDD4CD8C-0FB4-4976-83EE-361B9068F473","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ecc426d80840d6a5cb24102072aefc7c002547c","datavalue":{"value":{"text":"Model-Checking Helena Ensembles with\u00a0Spin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945715$6C8BD904-23CD-4B01-922A-0EF8FDD24A59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ece54726d7d04f14051b4abeb2230063ff6c5d3","datavalue":{"value":"1321.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945715$F7241DDE-577E-48B6-9BBF-96D7846DF6B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f2ee463bc32af13e5b0eeb0c85c84c4eaf580a9","datavalue":{"value":"10.1007/978-3-319-23165-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945715$9751F787-6EA0-4181-B95E-3E120AC6FC02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$848B2386-EE92-44A3-B785-FC61951DBCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"117d28e2caecf414684b081b50630c8cd5b9f352","datavalue":{"value":{"entity-type":"item","numeric-id":2945714,"id":"Q2945714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$FC87ACF5-5F03-40AD-92D6-7486A09F7CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$49E79F45-1E2F-4E39-A6AC-8799A1227840","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":"Q2945715$7C427EB8-6AF3-41F7-A131-B355E1204231","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945715$84F0AEA8-6C53-4F0A-A6CF-2E734A625713","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945715$6B7ADCE7-4D2F-4307-97EE-BC1272CD0EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945715$150A95B4-D350-4464-9FFD-14733D51B2E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f228436233858c473f4936f19765722e81ac00c","datavalue":{"value":"6481944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945715$CABCADF8-2717-4EA0-8762-54FE10D7DB75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65fd0d9cb11b909a185161bd0abab67a7cfd7953","datavalue":{"value":{"entity-type":"item","numeric-id":21866,"id":"Q21866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$80A48FAF-ADEB-43A9-B037-3073A896B2D9","rank":"normal"},{"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":"Q2945715$5284116E-8810-4239-86F6-0E1CC3351605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3bafd32fa573f5c3489dc943ff3887c5e4ac1de2","datavalue":{"value":{"entity-type":"item","numeric-id":45134,"id":"Q45134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$0605415D-65D6-4B65-8AE9-3E8AEE41FFF9","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":"Q2945715$F662ECC7-0E05-460C-AE12-30076906CDBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00906f2e1c646d06819f947ec5f8d09e7c0015f5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23165-5_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945715$646682A6-E8D8-4318-8509-A074BFDE61B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eb4099c8117c5cd10f71da5b6e0f9fe466b4d66","datavalue":{"value":"W2291767769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945715$713A4138-4176-4CB7-8FE5-A9D63D2A96AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$CCCC8D69-7273-4CCB-9A8C-4829A88327AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9530f1f8e8a448a3a2910c849e0471cc090665","datavalue":{"value":{"entity-type":"item","numeric-id":3184725,"id":"Q3184725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$05399E32-DFD0-42AF-9BBA-AB483440045A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39859c4cab0b728c75b97ba008bfe1c57ce6e651","datavalue":{"value":{"entity-type":"item","numeric-id":5170744,"id":"Q5170744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$E43BA3D6-E4DD-4F51-AE4A-1B971EA1D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$2030D1C3-F5E9-4BAE-ABD4-21C9CA6908BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f83a3cf363fd1d06a3c1126e4c8747bea0712d","datavalue":{"value":{"entity-type":"item","numeric-id":4630290,"id":"Q4630290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$85BD85A1-4EB5-470C-97FF-02717D3179DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f44b03692c069a0c27d929f388e06613b0541f7","datavalue":{"value":{"entity-type":"item","numeric-id":5403077,"id":"Q5403077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$B3512C15-E087-4C1F-8446-5BDDF8463BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$819DC202-AE64-47A1-ADB2-08732F656C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fba135daa6196e0eb9784f9dc5b9fbc454999ff","datavalue":{"value":{"entity-type":"item","numeric-id":844884,"id":"Q844884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$0E3D8C73-32B0-4654-A004-872671070725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703c38c42313d689716c7647a70e27bfc1b2255f","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945715$DA916A19-291A-4B2C-911A-4E2182FCE8D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161e6a86adffc14a091f92809d0baeb11758326d","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3713cb7a05a6de5c76d497aa4617f9cddea9ce7","datavalue":{"value":{"amount":"+0.8311081","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":"Q2945715$25EFEC1F-488B-4DF3-85F5-B683751DB7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb8b42077d89ace80afe9f72fce030aa566f99f","datavalue":{"value":{"entity-type":"item","numeric-id":4995365,"id":"Q4995365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8afd000f0a586f1da0d9b7e637c9c6fda15d824","datavalue":{"value":{"amount":"+0.8279908","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":"Q2945715$390FD977-2AF7-44D5-A2A9-C23CE5E82B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7406a6043450609f29a9adf09cf8e8c5eaa87040","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1155ff98a73c9adcc6768e1bb71da0785eb7041","datavalue":{"value":{"amount":"+0.8136777","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":"Q2945715$2999BC63-A7E1-42AD-AFF7-C400FF4EDB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd3e8a15c38b1a586d38f0bfe19750a8c51577a","datavalue":{"value":{"entity-type":"item","numeric-id":903490,"id":"Q903490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d36d53736ea92049c64391b89aee539b2d76a58","datavalue":{"value":{"amount":"+0.80277324","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":"Q2945715$88ADCABC-A1B8-492B-BA6C-187F81CB7415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-Checking Helena Ensembles with Spin","badges":[]}}}}}