{"entities":{"Q2851072":{"pageid":2861792,"ns":120,"title":"Item:Q2851072","lastrevid":51837761,"modified":"2026-01-20T07:12:29Z","type":"item","id":"Q2851072","labels":{"en":{"language":"en","value":"\\textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213314"}},"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":"Q2851072$534B3127-47F3-40BF-B17E-62A3F71A12D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e16273748ee031e85220282748084011cec84b5","datavalue":{"value":"1272.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851072$81FC4710-FF2F-42E9-9113-3C3D08E767C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851072$44633E24-3CBB-4A46-8D15-FB001CACD435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851072$E18786EA-06C0-4DB0-A0CF-ACFE1D414DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af7ed6d23cdc0805c7198a684725f1495aa44d7d","datavalue":{"value":{"entity-type":"item","numeric-id":714862,"id":"Q714862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851072$78552ECC-44C9-4812-A7E4-92DC67AC1EBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851072$8CF801C8-66E5-49F6-9E1F-FA04FF01C1E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e6afab85d199c847f1f7ca37e0325fc37df22f4","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051145","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851072$0FD8237C-8C78-4654-89D6-58C713FFCD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851072$CE6B87BF-B458-4488-997B-B8F3F123C6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851072$7BA9AE70-A91C-4099-B244-F78FEA871B08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51c9a9e7e417643e2e44bde2fb5d3051da3a84aa","datavalue":{"value":"6213314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851072$01A8ADA3-8F36-4DF7-AC00-32A9B079B0DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851072$5E11FF96-D51D-4845-A8BD-C24B11E79AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851072$C9DDCFA9-CF6B-445F-AB93-0094CBAE5B04","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":"Q2851072$9E1CB781-75DB-4204-854F-7D4B18B89E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3b33b729de325c94ebd83ff3a9b6b01e66eb380","datavalue":{"value":{"entity-type":"item","numeric-id":19543,"id":"Q19543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851072$FA553094-FA55-456B-9D69-10BA643D5FFB","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":"Q2851072$DB9ADAA9-F3FC-4DEA-82CA-72646D0AFEB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f2538c5b28dbe9db03a61cd64b160cb3f88f3ee","datavalue":{"value":{"text":"\\textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851072$0D4A5265-80EF-468B-A2F0-E0F93E7AAF4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26564d651ef97a9e19f6e17245b80fbf9e739aa","datavalue":{"value":{"entity-type":"item","numeric-id":1040774,"id":"Q1040774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9db792c6c6b0bcd7afb5a149fd97b8c38bad08","datavalue":{"value":{"amount":"+0.8225389122962952","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":"Q2851072$D248336A-8674-4250-8CF8-2EDFCB205588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38c8d6c63e8703e0298f36c769c600bb02a3cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2753747,"id":"Q2753747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c4f2ab656d260850b09aa4d756778664f75445","datavalue":{"value":{"amount":"+0.8124153017997742","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":"Q2851072$F2B6DB0F-6599-4EC2-AB03-962720B09356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45915474b0c9de0a2bb8e0e0a0ea58e75dc8d092","datavalue":{"value":{"entity-type":"item","numeric-id":2848420,"id":"Q2848420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33db36e12275dad5cf2be844c6b2817f5c9169a","datavalue":{"value":{"amount":"+0.8053768873214722","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":"Q2851072$C96B2FA2-95C9-46D4-A2C1-4062938D2076","rank":"normal"},{"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":"92d5004e55a1859ba146875489482f05cdf6e9c0","datavalue":{"value":{"amount":"+0.7921596169471741","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":"Q2851072$34D81024-52E1-4543-B7B2-02393D6AB45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489f6f6a2e16bf2c70c81f5712f195aa8d890104","datavalue":{"value":{"entity-type":"item","numeric-id":5716898,"id":"Q5716898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9707fa84b3730f567fa6bceb8a8fca4a8de05e","datavalue":{"value":{"amount":"+0.7901244163513184","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":"Q2851072$72C89C7C-A974-458F-AC13-C46BEB6CCE6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851072"}}}}}