{"entities":{"Q650135":{"pageid":651984,"ns":120,"title":"Item:Q650135","lastrevid":63312807,"modified":"2026-04-11T12:01:49Z","type":"item","id":"Q650135","labels":{"en":{"language":"en","value":"Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5980315"}},"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":"Q650135$53243AA7-5CE1-4675-BA79-EB0BCC6C814F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf6e758281316530e6d9416a10a01512b9c33c33","datavalue":{"value":{"text":"Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650135$F388A0FD-0561-4D23-9568-404DE5CE2F10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3273e4f7ed90664c00aa88c7d4cdfb7ef2b7f19e","datavalue":{"value":"1243.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650135$76203F04-FFF7-4FD0-843A-EF7D3312098D","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":"Q650135$80532CEA-25E4-4F91-BD11-5B7789BFC4F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650135$0F2EAF79-C920-47EF-85E4-CA433A0FBDA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650135$011DB814-A7AA-4C99-881B-AD8752D4506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650135$638AC382-061E-4F45-9C0B-0B0C264017F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d440e793122921c6fe0ef855472b2e88cdba6338","datavalue":{"value":"5980315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650135$A65EE143-A03D-4390-9580-F5996CD684E9","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":"Q650135$F8A6F676-D5EB-4735-97D9-4ABFB4894BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009.","badges":[]}}}}}