{"entities":{"Q5452300":{"pageid":7481859,"ns":120,"title":"Item:Q5452300","lastrevid":50315399,"modified":"2026-01-13T19:40:49Z","type":"item","id":"Q5452300","labels":{"en":{"language":"en","value":"Principles of the SPIN model checker. Foreword by Gerard J. Holzmann"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5253706"}},"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":"Q5452300$6194977B-8207-40D0-B2FF-86414F07D73D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb6e86b9dcbaa6a5896ea48d81ba8a836c893f60","datavalue":{"value":"1142.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$F5D0AEFE-2EF3-4509-A1E6-890D03E94076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f471060a62d9787d70f647fb18a25f3a15400d2f","datavalue":{"value":{"entity-type":"item","numeric-id":213481,"id":"Q213481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452300$6B37E6E7-259F-4939-A1DA-1B2DB34C3D06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e0cdb440ca46d9b8c69635fc01191f2bcf2170","datavalue":{"value":{"time":"+2008-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452300$0CBBA5F9-46A5-457D-A97A-698AD24AE318","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$A90240B4-65F2-4606-884B-BA15473325B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$1C0A46AC-56B9-49D1-9676-702364C57C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$8B33A20E-6715-432D-8B41-E9AFF6EB6F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$63FFDA81-A9C2-41B6-8A07-175411DB71B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$F0161B7C-7F29-454B-A80D-95887465B6A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8068303f3b6973b667126418c1d2cfac04b37d09","datavalue":{"value":"5253706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452300$96698194-BC86-41EC-A1D1-5CA58DBF4325","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e32a980d501a9dd59f29d3f97f7804cd0e79569","datavalue":{"value":"PROMELA language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452300$98215688-61E4-4F4D-BD0A-06F0D7215441","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":"Q5452300$62832F7C-7EAA-4D0A-8CBE-DBFC62AC466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452300$863F0CC6-CF0C-480D-A837-2D893B042E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452300$68F030A8-4AED-482C-A48F-D56EAE31D773","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":"Q5452300$B45DFAE5-7790-4046-88A6-C313E495EADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab937f5fc54987afd2c4ffd2d6d9098770ac59b","datavalue":{"value":{"entity-type":"item","numeric-id":4738462,"id":"Q4738462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f4b79c89fb42d43b8cd8aec115c4037b8935c8","datavalue":{"value":{"amount":"+0.863754153251648","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":"Q5452300$7C3623B4-9918-432D-847A-89D699826DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991883a5ee39bfe3bd3b94407527421025f96b58","datavalue":{"value":{"entity-type":"item","numeric-id":5308383,"id":"Q5308383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bb29bd3444171bc006aa341ac4c0421e65cf4c","datavalue":{"value":{"amount":"+0.8502076268196106","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":"Q5452300$5EBA228C-B219-420B-9713-F807E73B4D9F","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":"be29c4b1595a03f2adb5d40ffdca7fc10cbcbba1","datavalue":{"value":{"amount":"+0.8345333337783813","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":"Q5452300$219CE8A1-A775-4663-96FB-49AB050354B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c7c6fc063c45afd9b5994c297e6c6d18ab2d42","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20f181bc2410565b66d6b0fd7851e26435a5834","datavalue":{"value":{"amount":"+0.8247539401054382","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":"Q5452300$BEA5A9C1-E82E-4445-92CB-5EF2426F734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d0a4c66a097744d5d8ebb81e6adbfb46b231c6","datavalue":{"value":{"amount":"+0.8147712349891663","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":"Q5452300$7DEDFA31-788E-49A8-BE23-00FB41C60AAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452300"}}}}}