{"entities":{"Q651944":{"pageid":653793,"ns":120,"title":"Item:Q651944","lastrevid":63335409,"modified":"2026-04-11T12:10:47Z","type":"item","id":"Q651944","labels":{"en":{"language":"en","value":"Special issue: Selected papers based on the presentations at the first workshop on quantitative formal methods, QFM 2009, as part of the 2nd formal methods world congress, FM 2009, Eindhoven, The Netherlands, November 2--6, 2009"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5989589"}},"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":"Q651944$CB24F0C6-5D39-42DD-A749-0518B91C3190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c58e22297b492ba8322317075b859b074aa8e0f8","datavalue":{"value":{"text":"Special issue: Selected papers based on the presentations at the first workshop on quantitative formal methods, QFM 2009, as part of the 2nd formal methods world congress, FM 2009, Eindhoven, The Netherlands, November 2--6, 2009","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651944$6988C91E-007F-4653-A74E-2A86E2101E32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f30ce5bb8a7126a49e6d64ab3c5c166360b55c4","datavalue":{"value":"1282.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651944$22FAF49F-D907-4E79-B684-4F189C84CBF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651944$F90206A0-DFF4-427F-8BA9-F354399D96D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651944$99686B0B-25D6-4B74-8D4C-C37E3699404E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651944$F75A12EC-C1AD-4CB8-8BFD-D18BD192626D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651944$2F28FA65-D52F-4F94-B2B2-7F821E20FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651944$EB3533E4-EE14-46B8-8174-0A6E02F2EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651944$DD74CCA8-3A29-45B2-B145-90468A93332E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a27aa103a60aa475924aad0814131d5492b4ff3","datavalue":{"value":"5989589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651944$D4474CA6-D7BC-4EEE-9BD1-9445E31C28C4","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":"Q651944$99F163FB-3693-49E2-B07E-8169EFA9D0E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Selected papers based on the presentations at the first workshop on quantitative formal methods, QFM 2009, as part of the 2nd formal methods world congress, FM 2009, Eindhoven, The Netherlands, November 2--6, 2009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Selected_papers_based_on_the_presentations_at_the_first_workshop_on_quantitative_formal_methods,_QFM_2009,_as_part_of_the_2nd_formal_methods_world_congress,_FM_2009,_Eindhoven,_The_Netherlands,_November_2--6,_2009"}}}}}