{"entities":{"Q5710409":{"pageid":7739963,"ns":120,"title":"Item:Q5710409","lastrevid":96959672,"modified":"2026-06-05T12:53:38Z","type":"item","id":"Q5710409","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235026"}},"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":"Q5710409$BC870DDE-23B2-45DB-B090-5BDB6E8F91DE","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":"Q5710409$623CCFE0-13D1-4EB2-BAF8-997CD2495FEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3088410668cfa407b46ec847d78023af65502ec7","datavalue":{"value":"1075.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$144B9E2E-CC88-4E92-BDE7-C8F30E46A754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7277bd424fafc0eaf64f651c6b96053189494bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2575739,"id":"Q2575739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710409$7AD12B52-7DBC-4D95-9771-DB9381FA42C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b5f3b70fba88d3a973068faec54efc2792c3462","datavalue":{"value":{"entity-type":"item","numeric-id":1158951,"id":"Q1158951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710409$938FF93B-5D0E-4E74-AA80-D661AFB88573","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":"Q5710409$D5A31CE2-584C-4FA1-9CB5-360470C8290F","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":"Q5710409$D039A877-1073-4DE8-99F9-9C9654211910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$EFCF316E-61BB-4D00-B2A9-1C455132132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$37FBA7F9-CCCB-47F3-A20A-203147B8CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$99F0B9F6-B1FC-4DF2-88CD-A562121CA92C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcf2b9ac69c31b0cacda176e755859ad15ad346e","datavalue":{"value":"2235026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$E6D18156-3AFB-4203-A808-35D9FA2462F2","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":"Q5710409$2485C836-5543-44E5-94F3-023DEA250EEE","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":"Q5710409$CDCB5A24-90B6-430E-A84C-112D4C6117A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$6A0EC56A-9237-42D4-A120-5C557E19F8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710409$7B1311F1-4BF4-4662-9FB4-DF9EC95C1738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47185b62de340f38d0d2c776518cff916fe942e","datavalue":{"value":{"entity-type":"item","numeric-id":4853317,"id":"Q4853317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0806ff8e39b21bf9edfac27161dcb300221a36","datavalue":{"value":{"amount":"+0.8861449","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":"Q5710409$AAACC7D8-BF28-474B-A696-DA0E4AB5D093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b704258ab5e498c21906ceae2bea47d21ba230","datavalue":{"value":{"entity-type":"item","numeric-id":4316722,"id":"Q4316722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c956de60bd1c39bc3af0b3d9f9726af4a99d1320","datavalue":{"value":{"amount":"+0.8831677","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":"Q5710409$C403C188-17FF-478C-8E9D-BD14349484C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7660b7808bf7a2ff2719b462cac552d7cfc45351","datavalue":{"value":{"entity-type":"item","numeric-id":4680191,"id":"Q4680191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762d3c5ffcb6a7cd5906c3819be967ebc9234832","datavalue":{"value":{"amount":"+0.8809064","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":"Q5710409$939271A8-E500-4CCA-9A7A-2718C8C834D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3a9336d43a0bfe1761560f7d5483275a3e428d","datavalue":{"value":{"entity-type":"item","numeric-id":5411496,"id":"Q5411496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f35bc84331ddcd543d868e59ff7160fe5e81c5","datavalue":{"value":{"amount":"+0.8783063","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":"Q5710409$D5CFB526-9514-4227-8CAC-4BAAEB60CC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859ec4a836d077077de162ffdfdd71d262756063","datavalue":{"value":{"entity-type":"item","numeric-id":657427,"id":"Q657427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d9fd356d5064bc1399c280d4fd2b2a38a06aff","datavalue":{"value":{"amount":"+0.8779944","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":"Q5710409$4DCA3D5E-608D-4E41-B46E-90B219596886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0edd6ef2670d5512ab6a15c1facdc45a57032d","datavalue":{"value":{"entity-type":"item","numeric-id":5556400,"id":"Q5556400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091014d8dcbd20ae57bc6a1b37c73e9a938a4e31","datavalue":{"value":{"amount":"+0.8761422","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":"Q5710409$3D0FB39B-AB9E-41E1-8588-1AA994979C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7ec0eb5e8f017d8c636db8b23b6051c947ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5145339,"id":"Q5145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d27b9decf6207491a176a50cd87afe6a5c757a","datavalue":{"value":{"amount":"+0.875388","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":"Q5710409$23B9819E-1A3D-4095-BD7A-BCC517C2020D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8598c1d3d6fe622d35edc0590a87c9b5ccdbc93","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96f2d0af2d76b91f1a5f3b03060145fd04783e2","datavalue":{"value":{"amount":"+0.8749441","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":"Q5710409$115A6CEC-0EF6-4AA5-A6DC-3B148490BD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa8d6d39c36cb55518638244a2b4486d8ac71b3","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e7a1690c6e5128d44bb450b6a2d93aa424f44c","datavalue":{"value":{"amount":"+0.87479067","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":"Q5710409$169EF53D-F1AA-489B-A361-78A2D9506554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594dd2ccdc5fb623db58bed47b36eb24e409029e","datavalue":{"value":{"entity-type":"item","numeric-id":4532197,"id":"Q4532197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e7a1690c6e5128d44bb450b6a2d93aa424f44c","datavalue":{"value":{"amount":"+0.87479067","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":"Q5710409$6D57BAC1-EE65-40CC-9962-976B5B705592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods in Software and Systems Modeling (scientific article; zbMATH DE number 2235026)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_in_Software_and_Systems_Modeling_(scientific_article;_zbMATH_DE_number_2235026)"}}}}}