{"entities":{"Q1418357":{"pageid":1429097,"ns":120,"title":"Item:Q1418357","lastrevid":43094418,"modified":"2025-07-21T11:01:17Z","type":"item","id":"Q1418357","labels":{"en":{"language":"en","value":"Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024526"}},"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":"Q1418357$CD0D0343-5450-470F-BFE6-BE5177127B79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9768febee5e8279c7ea481cba3a5915bd22c512d","datavalue":{"value":{"text":"Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1418357$B3453FDA-EEA7-41A3-BBA6-2DFBB6ED9B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bf0619e3c23697fc4f6fc7a514e32e4c2eb686c","datavalue":{"value":"1029.00050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$9F0375BA-4906-44E6-BF5A-3DF52764DB89","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":"Q1418357$2F9AECA2-E41B-44EF-8D97-FD39C2C60C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e74d2b308d681dfe8acc260d1b5c3eac5e616e88","datavalue":{"value":{"time":"+2004-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1418357$497FD0B7-3679-412E-A2FD-16DA2438FF48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a2c4c98c9d8e3be295c1c3d14c85cf7ad0d5c5c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2885.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1418357$64ED8E6C-D59B-4A1D-9F04-3F6F5AC2EFFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10710c5457babe786a2fee2f7aae1846da115f3d","datavalue":{"value":"For the preceding conference see Zbl 1012.68851.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418357$3D362D98-DE45-4218-8B93-835D5B582F8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$41097B43-9D95-4BB9-88DC-B893255518D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$C6ECA4EE-2835-4A2C-B58B-02F761217CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$051A711C-E7F4-4EB2-8356-46F1F1F6E46E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1d2fea4c679b22f31507198c053d2c5f5fd28bb","datavalue":{"value":"2024526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$96F81032-44B3-4DDE-98B8-439969427496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418357$9B3BF3F2-C26D-4B05-AD19-1D1A94AD264F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418357$DCE2B993-D5CD-478F-84CC-0D8F3EC5EF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9ebad6a30e342d725175f78aeeede23cb24b41","datavalue":{"value":"ICFEM 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418357$8A6AC704-EF1C-4DED-B908-F6CE86CC262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b16fa65ced124cb27fe11a8c2d1e73790391836","datavalue":{"value":"Singapore (Singapore)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418357$B65856DE-728E-457B-8281-9708161D614F","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":"Q1418357$AF22028F-FAB6-48EF-A84F-F14AAE666584","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ddd41db1688cc24bf65bb460771c00d9563a610","datavalue":{"value":"W4300746612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$F175FAC3-7A94-454B-85D7-70D576AB6B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee7d068bdd53358c996a3989725a7543a7cb02f","datavalue":{"value":"10.1007/B94115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418357$C8FB1E1D-8A01-49F8-B5C4-D7795D241577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1418357","badges":[]}}}}}