{"entities":{"Q782500":{"pageid":784349,"ns":120,"title":"Item:Q782500","lastrevid":42690742,"modified":"2025-07-08T12:41:52Z","type":"item","id":"Q782500","labels":{"en":{"language":"en","value":"Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225041"}},"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":"Q782500$A9B9091E-7245-4E52-9787-445A4B294716","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31bad1f93d9e25ad034485c03ae1753f3f970676","datavalue":{"value":{"text":"Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782500$7761E1E9-1D88-4E8D-8F6B-7B329A6D55BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ec54d463788f4e641ff0e9c4b43b10004515d1","datavalue":{"value":"1451.00026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$C7B5FFB1-4F6C-4665-8100-4DCD557E228F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b1590a06a8608ee57a702a70afc7fd9d1149d","datavalue":{"value":{"entity-type":"item","numeric-id":207988,"id":"Q207988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782500$DB349A9D-1288-4AFA-AB6E-8C257E7781FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782500$99FB23C6-7323-4BF1-B701-8D4510F8375E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q782500$8E34E5C8-C637-4D96-A039-BF907A5731C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$2678F870-733C-4E7E-8CF4-B336F2183BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$E61657CE-80B1-4086-A276-162D1A5A5755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$2C423318-BCCD-4398-BE7C-3DA6727CEA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$3D5EAA55-A5A8-41C7-9224-AA027622646C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$0F14C937-BC4A-42D2-8BAD-C4FA5FB7042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$A1288664-DAE0-4E73-8A55-4712DAD51115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$77DAA716-00BD-44CC-B3AE-A136A369177D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f250a47ea9265d9a8d1f2578c03172e00f85c93","datavalue":{"value":"7225041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$229E8952-4F71-4073-969D-E3C55BC1165E","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":"Q782500$F9F9E505-0E1C-44B4-9338-4F67472572A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e704a683c0d5916ab9bd31ecddb0fd82889b00ad","datavalue":{"value":"https://doi.org/10.1007/s00165-020-00506-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q782500$A53B47C9-08A1-4986-9D90-672C6A762404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e93822e4065158d8ba266754bd9530a5dd97aed","datavalue":{"value":"W3012999279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$48D3D470-B0E7-43AC-8E8E-9B3A57EEC066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0132067a637418ae48116f4172170d23eb1d0f29","datavalue":{"value":"10.1007/S00165-020-00506-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782500$42B9FB12-1347-4BA0-B790-6B65AD121BEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:782500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:782500"}}}}}