{"entities":{"Q549283":{"pageid":551050,"ns":120,"title":"Item:Q549283","lastrevid":42571592,"modified":"2025-07-03T14:26:00Z","type":"item","id":"Q549283","labels":{"en":{"language":"en","value":"Model checking software. 18th international SPIN workshop, Snowbird, UT, USA, July 14--15, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918433"}},"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":"Q549283$FC98B1AB-B45C-49C2-B648-B7BEEE824F5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d14332a2daeae18b1e9e8b6ac432aea5d0e1518e","datavalue":{"value":{"text":"Model checking software. 18th international SPIN workshop, Snowbird, UT, USA, July 14--15, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549283$09E8117C-8D30-4FD5-B293-7CE7528B1924","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a21581b1a6538ac688282a1113c741f25b19d8f0","datavalue":{"value":"1220.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$9BA72699-5229-4703-8D8A-48F24C7353A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f6d030e3cbf9fa4ee620004d60653ee1ecc9a5","datavalue":{"value":"10.1007/978-3-642-22306-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$43B77C73-4118-49CE-B73F-A36E37B6312F","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":"Q549283$96BE66DA-7255-4E8B-9670-F8B1422BEE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e83de025addf20ea5ebcef37a33b5699c76aba6","datavalue":{"value":{"time":"+2011-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549283$05A07E40-47E5-4315-8462-4C52A272CE27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$8D700F93-4302-49A0-A0AC-CF49FF59298F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$B37D0756-5783-4FE9-B53A-D082D94F7A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$71D1116F-23A0-453B-950C-6D4BBE54155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$D3B3A21C-3A09-4A45-8C81-BC72643A8843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dcd60869e11576729fd6b2a8f0a666fef076610","datavalue":{"value":"5918433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$D3DFF460-31AE-4431-9B70-8A54477DB65D","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":"Q549283$A893F908-D139-434C-B5ED-B6E7C6F17918","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5742e0ef944fdd6f6fd7ba9db4dd9bb437031ade","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22306-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q549283$3A6E3E12-AE92-43E7-9366-A87193EC93C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d07e5b8e1b3c17fb12e6bb2a083248baff7ddee6","datavalue":{"value":"W2548112776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549283$3CFE8BF7-3709-4754-82F1-2E2A3E131169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549283"}}}}}