{"entities":{"Q1125422":{"pageid":1136171,"ns":120,"title":"Item:Q1125422","lastrevid":42896007,"modified":"2025-07-15T19:52:03Z","type":"item","id":"Q1125422","labels":{"en":{"language":"en","value":"Special issue: Papers from the 3rd ERCIM workshop on formal methods for industrial critical systems (FMICS 98), held at the CWI in Amsterdam, the Netherlands, 1998"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375205"}},"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":"Q1125422$7035287D-B4A2-45A3-8BEA-4E8E880375B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66fef8a47d21a5bcb73fedca3c6d71e717bf4b4b","datavalue":{"value":{"text":"Special issue: Papers from the 3rd ERCIM workshop on formal methods for industrial critical systems (FMICS 98), held at the CWI in Amsterdam, the Netherlands, 1998","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125422$F526812A-E3B3-43A7-9261-52A7F9421F34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"555198c4a4ca44e357bcbfc013719ca84cc84a4c","datavalue":{"value":"0939.00035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125422$B2A6F9F6-EC65-47D0-A475-56BD82B32571","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":"Q1125422$9D187A9B-5C72-4C18-AA81-7E376FFECF4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"411fd739284cff7a394f6a4a446a60451e919fec","datavalue":{"value":{"time":"+2000-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125422$4DFEF253-C001-49F3-928C-0671BA0F4B76","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":"Q1125422$604D7D03-53E6-4D6F-AB94-DF71BBCB3613","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125422$5EFEB1B8-31FA-4586-8EBD-5BF8A54A5588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125422$82A51E5C-11F6-4D14-9611-522E68E50940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7098ea9ad1dd7687209058e1bc2b432e9a7cd542","datavalue":{"value":"1375205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125422$246D9D09-0B25-4678-939E-D47FBFCAD5E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552f33bb47b9133e865cc64b06277e6b7f5bd2fa","datavalue":{"value":"Amsterdam (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$C5F7A7C3-FB4B-46DB-8BD2-46D2AFBCCC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$1C3F399B-6B6B-4E65-A84B-4B939BB7388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$FFE77600-9EA6-429B-BF01-47B0F9433CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$B6E16E45-430F-4067-91D4-EB4E00412556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343cc19d41952216945175765f3932960c92344b","datavalue":{"value":"ERCIM workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$C6B51732-0F91-4630-9565-4A2A0D2694EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"737731984d79bb931609fe49e6d401c375ffc9bc","datavalue":{"value":"FMICS 98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$53FC82A0-4A97-4ECD-9B98-D51524AB353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a6903b19b06f689c52b422da71f35f9bd28f3d","datavalue":{"value":"Industrial critical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125422$4D24FF43-078C-4F0D-8B0C-914FFFA85E86","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":"Q1125422$7CE46C1D-ABB9-4016-806C-0D34C5AE33CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c70e5f3b082f550f732b6015a7414da6bebdc2ce","datavalue":{"value":"https://doi.org/10.1007/s001650050025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125422$97320EFC-C329-4C66-AB97-2D73F094929D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7195a246b0c6ad193089bfcc1a79b504fa452a1c","datavalue":{"value":"W4251123465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125422$55DC6D41-562D-4527-9AC3-63D2BB70F01D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2653c29205f827c8805ede1bfe55f0fb7f95b451","datavalue":{"value":"10.1007/S001650050025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125422$B96CF470-0210-4076-8D1A-11F93FC8A9D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125422"}}}}}