{"entities":{"Q5710423":{"pageid":7739977,"ns":120,"title":"Item:Q5710423","lastrevid":96959798,"modified":"2026-06-05T12:53:40Z","type":"item","id":"Q5710423","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235040"}},"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":"Q5710423$2DD9AB08-C6D0-4DCF-B117-E4BEDC992FA1","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":"Q5710423$6E26CDD4-8161-4D97-B1E5-A2854BFBF4E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f07b2f095886f4ff611df69d3ba77e91e7a6d207","datavalue":{"value":"1075.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710423$40BBD985-15E6-480D-AE8D-8CA842C74E5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0f578b6aeb5a7a7d47648cfde9a24719966f13a","datavalue":{"value":{"entity-type":"item","numeric-id":171480,"id":"Q171480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710423$8746796E-5EAD-48E6-A9ED-5F67194B8A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f913d21f4d1c3bdc7f010637635861905b806632","datavalue":{"value":{"entity-type":"item","numeric-id":861294,"id":"Q861294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710423$57BE640E-DA79-49F9-8085-19D96B4899D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fb23440dde1d78d8351dc5a34fb7a46c01a20f","datavalue":{"value":{"entity-type":"item","numeric-id":1806127,"id":"Q1806127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710423$3BE96C84-20CC-41F1-8448-1E632E2A458A","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":"Q5710423$08C9123B-238D-4E2A-844B-083037D653CB","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":"Q5710423$DA482A30-7F22-4BA1-94AC-4312D82E52D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710423$681053EF-85DB-45C8-8156-1136DAAC8129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710423$F3F4565B-0F6E-4261-B6AC-795A97C2C335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33f7b967d414d26496ac85b3d9d49c07224cac82","datavalue":{"value":"2235040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710423$8A81F946-4106-4384-AA8C-9574E23CFCDF","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":"Q5710423$3D22B182-FFE2-4CD6-B94B-FE8F5479CEC9","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":"Q5710423$10C9F749-FB37-4288-BBA2-4ECC99EA0128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710423$5223BFBC-6C6D-476D-80E9-B89444E31F97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710423$12FAD151-9075-4F26-B29E-9766889682FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724d5ac4e1e8aed370dd831e6c8352a253b688fb","datavalue":{"value":{"entity-type":"item","numeric-id":4923549,"id":"Q4923549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d495aec34b5e256977c7ac1d5f9687dfcfe2c54","datavalue":{"value":{"amount":"+0.83124840259552","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":"Q5710423$85C03A85-D27F-4461-90BE-EE0FEFCC59AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce918e024a4263f3884c6f750759a57af7c6b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4645272,"id":"Q4645272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c9b79d13fef77b293874b6b41cb82b5e83a978","datavalue":{"value":{"amount":"+0.7962703704833984","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":"Q5710423$3C0359C1-E480-4888-A7B8-E01009C07CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d227e57b0a14aeb2f7c944e72e7e118b6be566e","datavalue":{"value":{"entity-type":"item","numeric-id":4941931,"id":"Q4941931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e814c9d509d663cb01a4e171b03da7fd55db1a57","datavalue":{"value":{"amount":"+0.7691314220428467","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":"Q5710423$6C4FF10E-2847-4375-9B38-87B1A270732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a12d540ef8670e34c05642aeac1861c72ef0e25","datavalue":{"value":{"entity-type":"item","numeric-id":2728878,"id":"Q2728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e814c9d509d663cb01a4e171b03da7fd55db1a57","datavalue":{"value":{"amount":"+0.7691314220428467","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":"Q5710423$8BB52DD7-BF88-499A-84FA-E035BD81FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2effd34939fdf653d6f1420e40669fdb88be2a87","datavalue":{"value":{"entity-type":"item","numeric-id":1608315,"id":"Q1608315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c523a45aaa7ad125994bd8f36c0d4b376139141","datavalue":{"value":{"amount":"+0.7677702307701111","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":"Q5710423$63FBFAAD-3AE8-487B-95B8-49554C8184DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235040)","badges":[]}}}}}