{"entities":{"Q5710426":{"pageid":7739980,"ns":120,"title":"Item:Q5710426","lastrevid":96959825,"modified":"2026-06-05T12:53:40Z","type":"item","id":"Q5710426","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235043"}},"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":"Q5710426$08ECFB79-3802-43E7-9057-156E7587EBDD","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":"Q5710426$0794227A-CA33-4AD2-B3D7-BB061B587B6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ee316f75db65eb44f4647a4ae621b5dd223f620","datavalue":{"value":"1075.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710426$BA1A786A-416B-4ABE-B02F-2730628EDCD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3733fb8b7325e26acaf06d38b7a8a7f4725b3db1","datavalue":{"value":{"entity-type":"item","numeric-id":493119,"id":"Q493119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710426$E5C48A3D-92BA-41C9-98F3-924611E9846B","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":"Q5710426$C7D57E39-E2B1-45F5-A07F-CB9442D85F96","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":"Q5710426$949584E3-D54B-47A2-B4D6-29BC8CD36460","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710426$6EEB7792-319B-40A5-A190-3F1404C44954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e3d6117658fe1c5083ca7bbd3c067c67b924e1","datavalue":{"value":"2235043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710426$E94ABFE8-8C99-4DA3-A13F-AC6E24BF36E7","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":"Q5710426$4B6FE37C-7117-4C29-B09A-9C4D702B0BEF","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":"Q5710426$B3BE4F2A-0544-4DEB-84D4-E0FB78223D2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710426$152F9760-8CA9-4D62-8D8D-E3296AB9565D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710426$E4648622-E756-4BE5-AC9A-AF9EE95D46F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeab31c21e4f249f1dbbcc19bdda7f5c925d9e1","datavalue":{"value":{"entity-type":"item","numeric-id":1608318,"id":"Q1608318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3566789660af0c8838172747eb68a073fa18311d","datavalue":{"value":{"amount":"+0.7506306171417236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710426$DD654D5B-8F84-4F0A-811B-C13BF3905C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69087932266aa117cd3a6aa7d90770f9e5e7f0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4508296,"id":"Q4508296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70c4f13ea126bdf4dd4df2ab227b9d98709aadb","datavalue":{"value":{"amount":"+0.737406313419342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710426$721F25D2-2BEF-4449-B36C-8C9DB4B25740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615cf8a60c5f20d83daafad8d6785264e201d270","datavalue":{"value":{"entity-type":"item","numeric-id":1708180,"id":"Q1708180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988947a88ceb1d0f58bb2a048e83ddc3a2ad2c33","datavalue":{"value":{"amount":"+0.7345973253250122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710426$3827F276-9FF3-444F-8FEC-7E87054BA0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ba736a13ff161be67d0eded0ee6bb1f2ddad93","datavalue":{"value":{"entity-type":"item","numeric-id":4415067,"id":"Q4415067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5deebd454ebbf2b9949936d6560d458717b735","datavalue":{"value":{"amount":"+0.7287870049476624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710426$16580953-0E98-48CA-8E9A-DE22B60C4635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bcf7ff68f0c8f0a114248c9664e7b1ddc3a8ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2355681,"id":"Q2355681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5deebd454ebbf2b9949936d6560d458717b735","datavalue":{"value":{"amount":"+0.7287870049476624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710426$632545CF-9E51-4CC6-834F-3CC44A9CF6FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235043)","badges":[]}}}}}