{"entities":{"Q5710429":{"pageid":7739983,"ns":120,"title":"Item:Q5710429","lastrevid":40759114,"modified":"2025-04-04T14:34:36Z","type":"item","id":"Q5710429","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235046"}},"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":"Q5710429$67E032CB-2F04-47B4-8234-C97039887AFC","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":"Q5710429$D068CB14-CBD2-4263-8549-FD46939313FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2a8a18a7a5870de31f54b7d9418d2108b9a740b","datavalue":{"value":"1075.68629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$864A6820-8F27-4BE9-BD4A-68BFA183FA68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3f116c104fd8501cd0b8f4b9f1940e06b14dad","datavalue":{"value":{"entity-type":"item","numeric-id":310163,"id":"Q310163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710429$7FE321DD-F7F1-4C33-8A4E-2E6B1EFEEBAC","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":"Q5710429$108C8CAF-995C-4A3D-8CF2-F18DA4A04CF3","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":"Q5710429$A8CCA80B-DB1F-44B0-9BD2-521C962D8319","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$2A976416-603F-4A5F-8240-855ACB0F46FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$641814A3-53FC-489A-B99E-997D76D819B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"998e2315eb586146fa99a11c3609a6857593a7bd","datavalue":{"value":"92B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$6773629C-3D29-4E3D-84BB-86E4DB3633BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2df5d6627dfc9b80b1ae956f1162dbf776fc668","datavalue":{"value":"92C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$E5CBAC79-9020-48C9-AA45-9587765C7779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$F7A9B694-46D7-4AD4-873A-0A42D18FA57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d20c6f70a76176d90994fc80973c1b4a00792e25","datavalue":{"value":"92-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$1B12735C-2A56-4DEE-8702-D88C1C38F950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dd93825ed05b398aebdefe87b145320545ffd76","datavalue":{"value":"2235046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$1C01DDED-DDD4-4CAC-8C72-622EE44B3518","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":"Q5710429$B102F5EB-A4A8-4BDE-B4D3-6CD769037A2C","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":"Q5710429$2AAB6D9C-311C-4E30-81E0-CC591C7633D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$F6624E52-6999-4604-B266-A397D8B32E3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710429$A25218D4-0969-420B-AC79-1B624119BA5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b93f0380901f89146901cc27154ca456280345","datavalue":{"value":{"entity-type":"item","numeric-id":2768719,"id":"Q2768719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863d95fb10cf521cf5974f02ebf2849b54ac94d3","datavalue":{"value":{"amount":"+0.8305095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$B1E80000-668F-4748-A77B-C4C28A4331C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90eeee20b5c2ec99a517d367e07f6cfdd454ebcb","datavalue":{"value":{"entity-type":"item","numeric-id":2768958,"id":"Q2768958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135d57cdc7274e38365da636b528645acc0960ea","datavalue":{"value":{"amount":"+0.8168987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$48420C3D-3176-4278-9533-9BD41964CD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc1894c2890e6ed03e66c8b5a23cd3063218fc7","datavalue":{"value":{"entity-type":"item","numeric-id":2210928,"id":"Q2210928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9888ceb8655776001a22a9eb3ffa6ec104ecec7c","datavalue":{"value":{"amount":"+0.8112002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$6A6256AF-C72E-42DE-B4BA-A009EB583982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9702b25c854d7233956c2b00502fde45c282b7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1604675,"id":"Q1604675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a98dc20a36521b9fb5c0b07a3d1a1c5fd3931c","datavalue":{"value":{"amount":"+0.8066169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$03D919C6-15CF-40AA-8B1C-7BD10ECC9629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6524ce53675ae3c0e1fe525066e6cb8dff17eadf","datavalue":{"value":{"entity-type":"item","numeric-id":3047751,"id":"Q3047751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17e008c532314dfecc3b4fe34e9b73ab0d1d7bc","datavalue":{"value":{"amount":"+0.8013437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$66F39754-CCE1-4850-A1E0-1F93474F27A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be494b28ff14693a2da2fcd06154b6dec2b25f35","datavalue":{"value":{"entity-type":"item","numeric-id":5518487,"id":"Q5518487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd829ecb32a739c1c548cab01833cd7711fe9696","datavalue":{"value":{"amount":"+0.79687464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$6F9CEE57-0754-4A9F-BB6F-398263511AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26b95b7dae75547f8ced3109c9cd3ce45ea236","datavalue":{"value":{"entity-type":"item","numeric-id":3561117,"id":"Q3561117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd829ecb32a739c1c548cab01833cd7711fe9696","datavalue":{"value":{"amount":"+0.79687464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$77B97C97-9A9B-4776-8BE6-C8234738E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe76d1772c82e1d33d959a847b187f66eda25af","datavalue":{"value":{"entity-type":"item","numeric-id":5603895,"id":"Q5603895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd829ecb32a739c1c548cab01833cd7711fe9696","datavalue":{"value":{"amount":"+0.79687464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$0013E7A6-DD19-41D9-B33D-A525357CFABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a028df66f357e24f908f0d8eb65b80dcdafd9661","datavalue":{"value":{"entity-type":"item","numeric-id":5626820,"id":"Q5626820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd829ecb32a739c1c548cab01833cd7711fe9696","datavalue":{"value":{"amount":"+0.79687464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$82D60A53-19E2-4AC1-8334-9C740E292DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763ffb2e90f5a4d0e8b53ef0ce23a1a03adc2623","datavalue":{"value":{"entity-type":"item","numeric-id":4444126,"id":"Q4444126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd829ecb32a739c1c548cab01833cd7711fe9696","datavalue":{"value":{"amount":"+0.79687464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5710429$B349DEE1-533B-4517-8E7D-B27C7EEE16CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5710429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5710429"}}}}}