{"entities":{"Q2497031":{"pageid":2507774,"ns":120,"title":"Item:Q2497031","lastrevid":72742911,"modified":"2026-04-14T07:22:31Z","type":"item","id":"Q2497031","labels":{"en":{"language":"en","value":"Special issue: Formal methods for components and objects (FMCO). First international symposium, Leiden, The Netherlands, November 5--8, 2002. Selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5042764"}},"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":"Q2497031$BAED3F8A-0A4F-4E45-8D08-449E90947A1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43902a3d754d7f14d4eff63035972259fd4c424a","datavalue":{"value":{"text":"Special issue: Formal methods for components and objects (FMCO). First international symposium, Leiden, The Netherlands, November 5--8, 2002. Selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2497031$47F2544E-59AE-444F-8C56-E28BD49E64A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69dc5bf4757047b1d5aa66a2e0b79db2300f23f9","datavalue":{"value":"1093.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497031$815CD77A-0743-41D7-B90A-BC73B83774D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497031$E1FE3564-2589-41D5-ABF7-6CDD83418B0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d85a27ba2b9544b016b1499e0ba5bedac0259484","datavalue":{"value":{"time":"+2006-07-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":"Q2497031$518074B3-B8F6-4722-A39E-461C71B8F545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497031$BC783B5C-E666-4726-9564-36D8802ABD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497031$E69B319F-8803-4157-ADAB-3B01746A12A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27825beb630c27280bfbe9524a237bf28a965f57","datavalue":{"value":"5042764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497031$28C3CF38-D0FA-4520-BF34-626EBBE0DE74","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":"Q2497031$EDDAE042-F2FC-4DB7-A73A-8EA95FF58A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Formal methods for components and objects (FMCO). First international symposium, Leiden, The Netherlands, November 5--8, 2002. Selected papers.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Formal_methods_for_components_and_objects_(FMCO)._First_international_symposium,_Leiden,_The_Netherlands,_November_5--8,_2002._Selected_papers."}}}}}