{"entities":{"Q5710416":{"pageid":7739970,"ns":120,"title":"Item:Q5710416","lastrevid":96959735,"modified":"2026-06-05T12:53:39Z","type":"item","id":"Q5710416","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235033"}},"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":"Q5710416$98533723-41F9-4462-875A-7F958FA65282","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":"Q5710416$2A8B5CEE-9E57-4957-954A-2DB9E2BCB5A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b63fdb54a81b3327174e92a80f5037a5082e9bd","datavalue":{"value":"1075.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$5ABD4E09-0AE1-4A17-8862-914592B18079","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46258099fcdf6970a7ace1aa1032bd68914ad03e","datavalue":{"value":{"entity-type":"item","numeric-id":579949,"id":"Q579949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710416$7715315D-51A0-4A35-8EF3-DF52F615BEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d8a0330754342bf7cc054288ff91311aeb00bc","datavalue":{"value":{"entity-type":"item","numeric-id":1056223,"id":"Q1056223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710416$61874774-F1D2-4ACF-9EA1-48586D2AB621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710416$805A9870-029C-4416-8872-3CDD863C279E","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":"Q5710416$B68BAA95-A1AE-4395-95CE-443DE741BFFE","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":"Q5710416$58B41B9A-3FDE-4A05-B3CF-553610F0BA3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$A21D72C7-DF19-4215-A03A-8CDEBD1F57CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$6544EB58-5B4A-4287-8B76-929878CA1D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$897C9E91-2C28-4333-B9B8-DB8C91A16EA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab4df86f3f9fb272018c6edd1c7b0a49aaa96ea5","datavalue":{"value":"2235033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$F51B38D0-E089-40F8-B51D-89249FE92838","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":"Q5710416$8AE44EFC-97FF-4326-9B20-A10102FECC31","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":"Q5710416$01689ABD-D567-498F-872A-35DD6FC2B060","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$44A8AA4B-88DA-43BA-BB10-B8845F5252B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710416$F3EA5312-5BDC-4DE9-BD5B-B9D06E31B38D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a20b29c802fbb8057eccd76e3d5cf77bdbaa84","datavalue":{"value":{"entity-type":"item","numeric-id":1578398,"id":"Q1578398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7638085d112209bf0d6f5f3a7d7770672678286","datavalue":{"value":{"amount":"+0.8123027682304382","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":"Q5710416$B0B73AF3-0A77-4D7B-82B3-8ADA116CA81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8220124a09c35cff8125388a432656c398bf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4645269,"id":"Q4645269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c94b31c24a6ef2ece54d47d44b1ff7de0245f24","datavalue":{"value":{"amount":"+0.7992573976516724","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":"Q5710416$0F254E0F-E33D-417A-AF4E-5D306816A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787a46ffb20971be6c035742b0545a7cd2ec1f24","datavalue":{"value":{"entity-type":"item","numeric-id":3591063,"id":"Q3591063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2064cb39ad803f7c680203eb0d7190e4675ba21","datavalue":{"value":{"amount":"+0.7402396202087402","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":"Q5710416$EAB01E40-45E9-4DA5-885E-316CC8B4F0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8122c555bf322755406579314bdebce3ebcc6e32","datavalue":{"value":{"entity-type":"item","numeric-id":4438780,"id":"Q4438780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7e087887408e585e77740a5b214019a1744e31","datavalue":{"value":{"amount":"+0.7376428842544556","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":"Q5710416$84CF87DF-78BC-4C03-8686-B196D7B7E01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d7cb85c3b932f8bcfb3cb89d2c9bb59eecbb53","datavalue":{"value":{"entity-type":"item","numeric-id":3541963,"id":"Q3541963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0c0097c1d90468df852ff9e5f5dc8fed023d7d","datavalue":{"value":{"amount":"+0.7262992262840271","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":"Q5710416$6ABDAE0C-8C8A-49E8-AB8E-3B1CEEC70692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235033)","badges":[]}}}}}