{"entities":{"Q1295864":{"pageid":1306614,"ns":120,"title":"Item:Q1295864","lastrevid":67301685,"modified":"2026-04-12T16:42:16Z","type":"item","id":"Q1295864","labels":{"en":{"language":"en","value":"Formal methods for industrial critical systems. Selected papers of the 2nd international workshop, Cesena, Italy, July 4--5, 1997"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309024"}},"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":"Q1295864$D2408CAC-FDB7-48B6-84D6-7FFADAFD29CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68473343d95199af2bdb6e2ef4726b3d87fb7964","datavalue":{"value":{"text":"Formal methods for industrial critical systems. Selected papers of the 2nd international workshop, Cesena, Italy, July 4--5, 1997","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295864$321EDAA3-1431-40EE-A075-B66C98E8724C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4de1b94a03237d8e1ae066df7142ff2cf2d790eb","datavalue":{"value":"0924.00043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295864$ABD6438A-5263-4B62-B321-1ADC4B306E7F","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":"Q1295864$6FA1ED85-4A95-4FEA-A512-E51139D1553C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33260e8daacdcaef6c4ca7cf2c0736375f5ca5fc","datavalue":{"value":{"time":"+1999-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295864$47D617AB-0C33-42BC-AE13-D415B4F17B81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d94fcb96b4922701764df17c7515acf0422aef","datavalue":{"value":"The articles of this volume will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$DDAAA752-E28A-4CFA-822B-E0071F83E56C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295864$52FB269F-BEB2-48B9-B533-B4166295CDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295864$0D97B377-73D7-468B-A300-0A7B3E1D32F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f072b12061d34ae98dfcb53386554cb93a17e1b","datavalue":{"value":"1309024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295864$8092A2ED-BB98-411E-A12C-917F130D86D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d525716b4aac440c4030bfa9c6fad5217fc6f878","datavalue":{"value":"Cesena (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$50C6CCF7-8247-4E2F-94B9-4685BD1B5216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$4AB23C62-A0B3-4CCC-93C7-A26CA778A117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$44E23EBD-63F1-4B68-BC97-4CD589913944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a6903b19b06f689c52b422da71f35f9bd28f3d","datavalue":{"value":"Industrial critical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$378D5A4B-CD18-4B59-93B2-EAE0E99406D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c318ab130d90eab9684cefc8cf5c88ccf9735865","datavalue":{"value":"FMICS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$00BDE6CC-DB67-4A16-8530-F9730E67C1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$5D9B55A6-024C-402C-90C1-2591D8A402F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc81b349c11d622e2d24f75e089ef8c8d90d9695","datavalue":{"value":"ERICM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295864$D50E31AB-BB3D-4B89-A1C4-0FB38E7C3036","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":"Q1295864$C0C9686D-95A6-4C60-8D6C-7CEE54D5BB5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"922161090f6f98cf45918071f91c9bc2cbe6f369","datavalue":{"value":"https://doi.org/10.1007/s001650050019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295864$930AD412-8751-4DB4-952B-A4FA35E261CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdae847fd5cb7cc53fcfdabcd55c6370abef66dd","datavalue":{"value":"W4233787970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295864$E18D0C8D-969E-48B6-ADCB-35BB1AAED9CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef56040f3a83b5cec514a48039f1e305642a46ca","datavalue":{"value":"10.1007/S001650050019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295864$2D09BD28-77AA-435D-8E74-7624FCEFDA43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal methods for industrial critical systems. Selected papers of the 2nd international workshop, Cesena, Italy, July 4--5, 1997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_methods_for_industrial_critical_systems._Selected_papers_of_the_2nd_international_workshop,_Cesena,_Italy,_July_4--5,_1997"}}}}}