{"entities":{"Q5710419":{"pageid":7739973,"ns":120,"title":"Item:Q5710419","lastrevid":96959762,"modified":"2026-06-05T12:53:39Z","type":"item","id":"Q5710419","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235036"}},"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":"Q5710419$C08D29C4-840F-4E86-A148-A47C3B5402C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee85eb6ae9ca62897e009c6b2aaff8d0570caaec","datavalue":{"value":{"text":"Formal Methods in Software and Systems Modeling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5710419$123C120A-CCC5-4E5B-BA52-38951E15D268","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e26b1f173ea8777a4ef784e37b8fb2f114a99c1f","datavalue":{"value":"1075.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710419$89B8C005-CEC3-4C75-A169-215CFB31DE98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710419$5850390C-FCBE-440A-B746-17879A539DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8eead869c71d04ccd728408218611edddd77ed1e","datavalue":{"value":{"entity-type":"item","numeric-id":281619,"id":"Q281619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710419$AFD0ACDE-E21D-4C39-A96A-E109669141DE","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":"Q5710419$C144CB24-C044-4A05-B44B-D734D124E6BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cf0995e57103f17985607cb6f7b3cba7b12f2be","datavalue":{"value":{"time":"+2005-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5710419$6CC8FFA1-4610-49AF-8DF8-2EDBCE1E6874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710419$CC69B3EF-497C-47DC-9B2E-153D269924E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c854d243b1951835326c1de076b546089bf3e15","datavalue":{"value":"2235036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710419$2D5E7176-4A43-4A62-8569-48B91B49B3DF","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":"Q5710419$EEB748E1-134C-4097-9C72-96E5B152D9C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3970577f54fe17988b8759780dab585e9ccee5b8","datavalue":{"value":"https://doi.org/10.1007/b106390","type":"string"},"datatype":"url"},"type":"statement","id":"Q5710419$EBD01B70-E867-4660-8E16-C02DCB6C57D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710419$1E04F5AB-CCCC-4FD5-B02F-86A74A932CB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710419$766C09D4-83DB-4D24-ADCA-A2127FF1F941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770b763ec92ba601d2020d293fdea2e382a0d558","datavalue":{"value":{"entity-type":"item","numeric-id":2763978,"id":"Q2763978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e52f278f34277583501b784f3b917a9d05cfa6","datavalue":{"value":{"amount":"+0.8778199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710419$14936526-413F-49A3-93B5-20ED56BC48FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b505fab12d0af2fe800731366777662d82c061","datavalue":{"value":{"entity-type":"item","numeric-id":2871853,"id":"Q2871853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f052052527de23ed2035f76efea33d13a07bf79","datavalue":{"value":{"amount":"+0.8747886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710419$5BC67DA6-DE6B-4BC5-BD6B-C9E218DA5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0506272c82b881f0dee2f43b39ac2f3d214fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5187880,"id":"Q5187880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bea30af36721c7aa1bc2b80b0d19749f689c022","datavalue":{"value":{"amount":"+0.8615874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710419$CC549372-6629-4B0E-B482-F53ACB97222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2324b54620b63dd65871b034fdb1c993019f3e86","datavalue":{"value":{"entity-type":"item","numeric-id":3561226,"id":"Q3561226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e030a5859df12bc312d41546a461f2c7043dffa","datavalue":{"value":{"amount":"+0.8492487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710419$496B92A7-D2B2-4081-9FEB-9E37DB3EB62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7924383d65638b8107046ce24c97cc9dbccfeae","datavalue":{"value":{"entity-type":"item","numeric-id":3400421,"id":"Q3400421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9279df00c27629f6b8896a1ce3ecdcc6e69de1c","datavalue":{"value":{"amount":"+0.84881467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710419$AF867075-F514-440A-882B-FDEBC702443B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235036)","badges":[]}}}}}