{"entities":{"Q2364108":{"pageid":2374851,"ns":120,"title":"Item:Q2364108","lastrevid":43948581,"modified":"2025-11-18T10:56:09Z","type":"item","id":"Q2364108","labels":{"en":{"language":"en","value":"Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747798"}},"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":"Q2364108$ED762752-0DCA-4755-9829-DD7FE9BB34AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb538d2af3d00de4198eacf1f9380f5dd4fa15e4","datavalue":{"value":{"text":"Numerical software verification. 10th international workshop, NSV 2017, Heidelberg, Germany, July 22--23, 2017. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364108$46A5B9EF-D929-4EC6-A7F8-B113D44945C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5659e3194d73bfdb1c4cab95f27688554554053","datavalue":{"value":"1369.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$5F15DB02-71B8-4BCF-A556-3BBFBFC30E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"707d7cb529864bfc24f6da9c9be239f2a8ba4a43","datavalue":{"value":"10.1007/978-3-319-63501-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$8FAA3B3F-2D7E-468E-9A7C-12586AF25214","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":"Q2364108$257404CE-39FA-4234-A3A8-074CBD21AE50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c15162b94cadee206f6a79d1b59255a2edbef7","datavalue":{"value":{"time":"+2017-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364108$19E2F0A2-29A8-4591-84D4-300B5433B6F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$A515E6C9-2C7D-4758-9E05-0F194CB2C245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e165e671c27bc9fd3adeca5892cc497feb18d071","datavalue":{"value":"65-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$AD94C6A1-86D5-49C0-AB85-B57B46868679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$654E1109-930B-4D22-8371-E2E5F4EEE931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$5F789D67-36BE-4394-BB6F-AC953C42E2CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"434de76f8d95199b387a042b2c40b4ac602a667c","datavalue":{"value":"6747798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$54DC1E65-9C3E-4412-A668-D6C53AAA614A","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":"Q2364108$AF13DAEB-3EAF-40AC-9B95-8A9A3DB26389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8b2ec8e205135445bbd6443dffa598d39f32608","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63501-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364108$1D795E99-812A-4324-996E-C824051990F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7d2f7ff8d29107fea18d1ce643d3b5e7ecdb056","datavalue":{"value":"W3167997502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364108$C76F464E-D3E0-49A2-8939-F2F7D978B048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364108"}}}}}