{"entities":{"Q1958488":{"pageid":1969230,"ns":120,"title":"Item:Q1958488","lastrevid":72021714,"modified":"2026-04-14T02:08:45Z","type":"item","id":"Q1958488","labels":{"en":{"language":"en","value":"Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11--14, 2010. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794674"}},"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":"Q1958488$60E97CFC-D0BB-440D-B0AF-4AB1BF451C62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0314c500dabee1e3edea469f99b06dfa7c8059ee","datavalue":{"value":{"text":"Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11--14, 2010. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1958488$D8972255-70DC-4711-91DF-8FA340F79BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e936176cfbf8c859351d7ece89cead31403f7d91","datavalue":{"value":"1198.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$EB9B5E03-1829-4FEF-AE21-9994B53DADA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b7657aff71342fbdef2c27fda94f9cd2cb5f532","datavalue":{"value":"10.1007/978-3-642-16265-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$DA97D960-B246-4FEC-8490-678BBF60C3A9","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":"Q1958488$B18CD040-EFBC-413F-B582-175737E83F58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1958488$B378143F-F737-40CB-AB4B-41A3BFB7F5CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$B3DE5A0C-BAB5-4454-9960-56757A4018AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$FE09A846-F977-49A9-BF2F-89BC345DCC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$880BAAD7-6E2C-4E1F-A437-B2BAC14256F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ec6cffb864f9bb44069a3484969926f7c5a788d","datavalue":{"value":"5794674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$9AFB8AFC-A615-43F1-B2F4-FB7ADD5AD9CA","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":"Q1958488$CB2779B8-6813-4033-971A-D968B6EA46C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff2ac16d643cb4187b5b7adac541dee457da79a2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16265-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1958488$B91C6D55-F49E-4D85-A162-D1BFFDB43AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8433764ccd43fedcf3deb6be5dfb2f7455bee491","datavalue":{"value":"W297893665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958488$58C2242C-2768-4945-ACAF-14F2E9DD6E2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11--14, 2010. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrated_formal_methods._8th_international_conference,_IFM_2010,_Nancy,_France,_October_11--14,_2010._Proceedings"}}}}}