{"entities":{"Q5710412":{"pageid":7739966,"ns":120,"title":"Item:Q5710412","lastrevid":96959699,"modified":"2026-06-05T12:53:39Z","type":"item","id":"Q5710412","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235029"}},"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":"Q5710412$37217CE4-AE8B-4C29-BC46-52AA7802800D","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":"Q5710412$CE0D4198-24B9-4ED7-867F-019533F111D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"837ebdaa0619fddf9665350d83295e68f3e70c1e","datavalue":{"value":"1075.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710412$1D6217D8-1585-45B2-9FAF-003D0E19211B","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":"Q5710412$22941CC1-3AED-49F8-8203-39272AFA5910","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":"Q5710412$7B389C89-D3A7-4012-BE4E-14C8F58F6208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710412$F05A9A52-915B-4852-B254-84140EE58963","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b426d584bc25f9af9d6c1380c705b17aeafe4bf7","datavalue":{"value":"2235029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710412$74B2D9F6-2EEB-4D17-866C-E93A1854263B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710412$385BC90F-4D29-4C66-A0A2-052CCC0AE9DC","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":"Q5710412$E08ED849-90DF-459D-B535-A1E4E4DC5266","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":"Q5710412$D2478B9F-1995-4206-B5B6-696AF6BEAC81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710412$BEC4A258-37E8-448F-9237-6AC997EB94BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710412$ACBAB3DE-B12F-4658-8957-63E74E26A2BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b202831eb772737beab478e0841a4103e8ee6db","datavalue":{"value":{"amount":"+0.7804369330406189","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":"Q5710412$FD3C628D-66BA-4D9C-9E36-F7E08437F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02adcb991284baa4992431a73d5d0488b8bee5e","datavalue":{"value":{"entity-type":"item","numeric-id":4728229,"id":"Q4728229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3c0e557abb9e8c16f198e57671a09ad7d73180","datavalue":{"value":{"amount":"+0.755803108215332","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":"Q5710412$7EEA7E69-9527-4306-8FC1-1866BAC4FD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5bcd51b717a73ee48e78cad43a2538b65e11cf","datavalue":{"value":{"entity-type":"item","numeric-id":3687692,"id":"Q3687692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467c7d505a928164a8db52e6617220cb9c20995b","datavalue":{"value":{"amount":"+0.7533705234527588","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":"Q5710412$5FE3BA2B-2F50-4C09-BC01-6CEB32978E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3555e51460d2906eff73519c4f3b1387799a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3809235,"id":"Q3809235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf8d37d796c174d90e9e9b8d14f65413c407891","datavalue":{"value":{"amount":"+0.7496429681777954","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":"Q5710412$F61078FD-D93A-4467-A100-957E0302D830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bdd7628cc46fbaf0702058abd3ad9ed8d016bc","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb94e944a0717385c353894cae578c972318d55","datavalue":{"value":{"amount":"+0.7492100596427917","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":"Q5710412$67E92A85-DE66-4A10-AE02-25E9DF656DFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235029)","badges":[]}}}}}