{"entities":{"Q5710420":{"pageid":7739974,"ns":120,"title":"Item:Q5710420","lastrevid":96959771,"modified":"2026-06-05T12:53:39Z","type":"item","id":"Q5710420","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235037"}},"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":"Q5710420$4DE867F7-5257-4654-9A7F-FF2FEE6434CC","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":"Q5710420$1F60A75C-1C69-4557-9C81-8100254434DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34cdae9a207eae70ac880ede4bc373b33da54cba","datavalue":{"value":"1075.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710420$B9AF4539-C569-484D-A326-4E6DF186EA46","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":"Q5710420$2276196D-8393-46D8-914F-BE06410A91FF","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":"Q5710420$E481806A-7490-4556-BD7C-5A1F442F77CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710420$A01EC96C-5772-4D6A-8F29-F09A5B5D0A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710420$9A03D5A3-71CC-4575-B45E-9C05069E57D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab59d3f0a6802482c8481f0f6ec5a2aed7107674","datavalue":{"value":"2235037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710420$55B9418F-3C0C-400A-AEAA-4E6C70AD4623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70dcdd837c695e2999b9fce42d4c830da146ad0d","datavalue":{"value":{"entity-type":"item","numeric-id":934667,"id":"Q934667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710420$4BD802EC-7BE2-4134-A63E-7C7E97A04A93","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":"Q5710420$A28E8CC5-3BD4-418C-B141-420AF96C5F7E","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":"Q5710420$295F6782-A4B9-4113-9E38-7ECA260780D9","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":"Q5710420$C8B92959-5A34-4A92-96FA-4F7D3F742202","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710420$0F6784A4-5F90-443E-90BE-A90B502D6B0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710420$2752BC2B-93F7-412C-BF86-941A17C2FD9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2346e0cad8925be711b2fd178e4a9728e3a333d3","datavalue":{"value":{"entity-type":"item","numeric-id":4270074,"id":"Q4270074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fcb44ab28ea3ed8081465aad963bf23fecb2a8","datavalue":{"value":{"amount":"+0.8224138021469116","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":"Q5710420$569F5267-BB21-4CF2-9620-8DB941DA996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4547edfd9133d3a61f1468ffca9ffb500681c57c","datavalue":{"value":{"entity-type":"item","numeric-id":4347377,"id":"Q4347377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e3c6e766ed76f9dd466379ee14054458c81170","datavalue":{"value":{"amount":"+0.8199763894081116","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":"Q5710420$9BFCD22C-AFCC-477D-8F3A-50660195B717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5617794cfbe7fa10e230ca85468833559b2d9574","datavalue":{"value":{"entity-type":"item","numeric-id":5096839,"id":"Q5096839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09fb2cf090913af578f0c6c75dac6fe762f3155","datavalue":{"value":{"amount":"+0.814437747001648","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":"Q5710420$B8B147CA-6C13-40D0-901A-465373DEE7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400627587d1e34a6d02f9163d4f773c5065ace13","datavalue":{"value":{"entity-type":"item","numeric-id":1902302,"id":"Q1902302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc93b54c7ce4cc30cadb0339930690252b75e62","datavalue":{"value":{"amount":"+0.805414617061615","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":"Q5710420$80E33D0C-F423-4E2D-8DCE-489276AFE128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dab7a052c05b4797fca823b3a9299e796036c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3774955,"id":"Q3774955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3209ce0440a66790894ee2eefd615cc98a33ec1b","datavalue":{"value":{"amount":"+0.7995494604110718","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":"Q5710420$852E017C-E965-4A6E-8782-5406CD999F00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235037)","badges":[]}}}}}