{"entities":{"Q1026663":{"pageid":1028511,"ns":120,"title":"Item:Q1026663","lastrevid":80100497,"modified":"2026-05-06T15:26:36Z","type":"item","id":"Q1026663","labels":{"en":{"language":"en","value":"Model checking software. 16th international SPIN workshop, Grenoble, France, June 26--28, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5570833"}},"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":"Q1026663$8E6507B7-47A0-46C6-8738-CB38E7EEFBC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b6a17625bad87b4cc0f4e43d2a0335910ad647","datavalue":{"value":{"text":"Model checking software. 16th international SPIN workshop, Grenoble, France, June 26--28, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1026663$21A14856-1E9A-4891-BC39-A69AA231092E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dd149eee8104a2497bd1f7311569c5efaf1a6ca","datavalue":{"value":"1165.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$AE578FC1-25E6-4135-9E01-BF978CE791F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcfcb895d2aab895e3b4c679c16a205cdbabf6ba","datavalue":{"value":"10.1007/978-3-642-02652-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$93A3435B-F16E-438E-ABA5-C7E34AC695DE","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":"Q1026663$5D020C90-44FB-4983-BD8A-7C4FF22DC128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45a8eff5331c8681df40a54e1b04194d160abc58","datavalue":{"value":{"time":"+2009-06-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":"Q1026663$1F56284B-C944-4D8B-800F-529C7DB99D29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$8D55396D-09F5-4E3A-BDED-FB8548706DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$A67B5F8E-1E6F-49AE-95B1-CF413DC8AEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$25A6DB6B-8E97-4773-8718-6C251CD39EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$D6A24EEE-A81D-4097-942B-FB1D249D539C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"911c19fa3d2f00accc9fbd4590235014d15c26d4","datavalue":{"value":"5570833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$04A91910-364C-4CF2-B5E2-4FF5E8BD96CE","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":"Q1026663$B8028E3B-4572-4618-8230-31F3C76D35EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a16f331438fe6aef152dcb7f1a61d424d8d631d2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02652-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1026663$9823E540-A0F9-496A-A76F-5C2A0B4CECAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebdc341056a617bc637446d9edb05fc67f02c2b3","datavalue":{"value":"W2500395725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026663$3483815F-58DC-4C62-80E8-4A40CA309C3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking software. 16th international SPIN workshop, Grenoble, France, June 26--28, 2009. Proceedings","badges":[]}}}}}