{"entities":{"Q5710422":{"pageid":7739976,"ns":120,"title":"Item:Q5710422","lastrevid":96959789,"modified":"2026-06-05T12:53:39Z","type":"item","id":"Q5710422","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235039"}},"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":"Q5710422$AD851AF6-2226-4E9E-98D4-93709452DDAF","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":"Q5710422$A541D440-12EC-4864-B780-520EBC363E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3558175a716c6789eb81dc29b8d33da420fb5ad8","datavalue":{"value":"1075.68622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$2F0EEA14-5D19-4337-B988-7867CB812497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53fa3cbfeb34247fad3c5fb9f14c2cf81854af1","datavalue":{"value":{"entity-type":"item","numeric-id":2759933,"id":"Q2759933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710422$3C1E39BC-EA13-4C68-A337-AFEA44DADE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51772e617643c201222a85da52fe6a8e2e4e4644","datavalue":{"value":{"entity-type":"item","numeric-id":5485471,"id":"Q5485471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710422$415AAC77-B0E3-4E29-AADE-3AFD3F20EA67","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":"Q5710422$16FBB560-F2C9-42A2-969E-77BAC0DEF08D","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":"Q5710422$150742FD-C953-47DE-8B7E-A312124FC917","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$701FBF0D-D933-4646-99BB-D0541DF082C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$1DA2E16F-FE4D-4D45-857D-D022E601EC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"810d660658648f9bc3138c1cd0aba8029bb9050c","datavalue":{"value":"90B06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$8B3E6C1F-37BB-411E-93E7-D2E7A8DCD358","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1470259d81721c02115ec5790bac33572dc836f7","datavalue":{"value":"2235039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$9C32F8C2-733F-42D8-A07A-16BCF0B8A03E","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":"Q5710422$9EDFD268-D06A-4C70-8215-6C0BA195FD6A","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":"Q5710422$6AA3080D-9C77-4F46-AF98-0543B16EF97E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$E100E9CE-7283-4056-AC02-C06D797624EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710422$4473ACE3-6E8B-4490-BEA1-664CA244D7C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54056e08cc72efaf0ac9c107d61358d0b688b69","datavalue":{"value":{"entity-type":"item","numeric-id":1031921,"id":"Q1031921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4c1346738bea0de26aabb35baf253e7affff58","datavalue":{"value":{"amount":"+0.8547342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710422$890C0C36-A975-4606-BA32-F66BD37EA085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8079744512f78082d47f751a7a343d9928f25a4","datavalue":{"value":{"entity-type":"item","numeric-id":838346,"id":"Q838346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10911c1d72ceec5719e03f1ada10c0d4af7c547b","datavalue":{"value":{"amount":"+0.8332653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710422$1EA6F31B-34D2-4F33-BE8E-88BBC62596C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379168d4af3d1cd6aa4916e2b47a363e3642cd1f","datavalue":{"value":{"entity-type":"item","numeric-id":6096331,"id":"Q6096331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81cadc18a2533fa3b3d49a6bf21280a979b349f5","datavalue":{"value":{"amount":"+0.8193331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710422$3119EF34-1951-4686-A0B1-D31E42C1EF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bde1b52f3540ae2d699bec9a5751cef68d9ade","datavalue":{"value":{"entity-type":"item","numeric-id":3062144,"id":"Q3062144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cdee80ad9d0ec09c7a573f045e4f5294131dbc","datavalue":{"value":{"amount":"+0.81340337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710422$B672A1F3-DCE2-424B-B418-8E54D89535FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed969a782eceee4c8472020e038c1f98c1da6d47","datavalue":{"value":{"entity-type":"item","numeric-id":3639338,"id":"Q3639338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687aae4abaab3d6598714410bb6c035ebd836a85","datavalue":{"value":{"amount":"+0.8115968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710422$0EC7EEC0-87F6-46A6-BB89-7088184C4028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bc6623a5af03f33d41e0f59dc07211cce80c53","datavalue":{"value":{"entity-type":"item","numeric-id":5467744,"id":"Q5467744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d8b57abda4814d28bbae041f22da44aa4ac396","datavalue":{"value":{"amount":"+0.80841625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710422$1E289787-6F25-4B06-B3FD-4BB902F81E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235039)","badges":[]}}}}}