{"entities":{"Q5710406":{"pageid":7739960,"ns":120,"title":"Item:Q5710406","lastrevid":48605029,"modified":"2026-01-05T08:54:32Z","type":"item","id":"Q5710406","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235023"}},"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":"Q5710406$6806E0A9-A388-41D0-8318-DDD732C4E495","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":"Q5710406$4375303B-36E0-464F-A4D7-63FE0C981D84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b83c676f7814e81680952101b2a20bcf52b51e2e","datavalue":{"value":"1075.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$7F2BDFDE-1C45-4DBD-A26E-4A12BAEB5BD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710406$D892DC60-3D70-40A3-842E-AA457E40A68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710406$86E77FAB-37EA-4CB2-9856-F094E0EA5D95","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":"Q5710406$A651D9A3-20A7-4F9C-9DCF-A43DB5D9E974","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":"Q5710406$ABA67C00-1783-4B3B-A2A6-79E2B9DC0F0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$9879C743-F613-49F1-A664-CDD6EC50BB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$61610EC3-8378-4ED3-9488-FE3C1F2E2E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$F318AABB-00B0-4CEF-9C8C-9922629C9A78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20e1c1ca2da4763ff0bc050be2fbdb96d97e7ba6","datavalue":{"value":"2235023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$B37D0EFB-3515-4D22-8571-6139A43B2F89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710406$8E0D3B57-5137-4F64-9C96-3E497245B4D5","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":"Q5710406$D3650756-F6C6-4A39-97DD-C29E6C11CC61","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":"Q5710406$1562E729-7731-45BD-9C4E-BB996423BE9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$49E0E9AA-0262-448A-AFA8-5A371E017439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710406$8BCB4DCE-73A9-4A7D-99B3-2D6FE3A5701F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702d7c9e42bc500378ab4fe8fed0c9ebb04008ba","datavalue":{"value":{"entity-type":"item","numeric-id":4923530,"id":"Q4923530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb1dfb584cf7d8a80585254fc0568078cb67bc3","datavalue":{"value":{"amount":"+0.9235494136810304","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":"Q5710406$65A57324-2C62-426E-97B6-977F4D27C9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b703065031e6c4c385323d8f403555f106ecf9b","datavalue":{"value":{"entity-type":"item","numeric-id":4222788,"id":"Q4222788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602034561f8174363e4e240876463ecfe5cf8f2b","datavalue":{"value":{"amount":"+0.8727977871894836","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":"Q5710406$3712DDF5-7B9B-4726-B602-B2EC746D208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1be9c450f4089bd4056700ae81dc4b3fc94a5","datavalue":{"value":{"entity-type":"item","numeric-id":4763987,"id":"Q4763987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a2e0fc90585de5e93cbb5cd6330a5a84ee3d7d","datavalue":{"value":{"amount":"+0.8492966294288635","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":"Q5710406$5B753D64-5C50-4D2B-B050-516C2C1FC3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc3b21aa179960a1164f70a4d9eb76e6ea3e4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4645280,"id":"Q4645280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a2e0fc90585de5e93cbb5cd6330a5a84ee3d7d","datavalue":{"value":{"amount":"+0.8492966294288635","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":"Q5710406$419AE710-258F-48F9-BF13-F2BD042410B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb1f2284cb362951057bdf19d3fae170075a6f3","datavalue":{"value":{"entity-type":"item","numeric-id":4222806,"id":"Q4222806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098e9d7cd381a99363ee87b7e25fe934f3ae2e36","datavalue":{"value":{"amount":"+0.8238455653190613","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":"Q5710406$14CEA6AF-192B-4A1F-A82E-EA7FC74820C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5710406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5710406"}}}}}