{"entities":{"Q5710418":{"pageid":7739972,"ns":120,"title":"Item:Q5710418","lastrevid":48605059,"modified":"2026-01-05T08:54:33Z","type":"item","id":"Q5710418","labels":{"en":{"language":"en","value":"Formal Methods in Software and Systems Modeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235035"}},"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":"Q5710418$D5B71D35-3E74-43CD-B993-2F8E8B35BA8B","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":"Q5710418$A68F9883-6C1E-41A1-84FF-92375AC01E4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fcff8218115ef9682b382d71eedc0c0f3c42deb","datavalue":{"value":"1076.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$FD861C02-3F7D-4049-A79C-2DD7915DA75A","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":"Q5710418$EB6C2341-F3D2-4E87-9448-107EA731A9D4","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":"Q5710418$FD7FB5FB-1BD9-42B6-961A-7E6D587E97FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$46CD2DB9-EF36-42A4-A257-1F0ADA3D1942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$C75DC8F6-6871-43D3-975A-824A9A2DFAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$026C833C-AA79-4BC4-A954-3FEA397BBAB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d45b16ba3f23da2754f2c906b6dbe4423f3209b","datavalue":{"value":"2235035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$CC449969-E55A-4977-A043-7687AA483867","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4111a17378f69668315574b15b6d6bcb2873e8d","datavalue":{"value":"graphs-as-objects: graphs-as-arrows","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710418$1A955304-D6F5-4207-9D20-1755A494344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d74f1e73c0baa35314fab65ef2722642404657b9","datavalue":{"value":"link graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710418$A09C26CC-7D9C-4C3C-AE65-ABF51E332B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ab6aee5e71822156bf8243a1e651a6a140e0ef","datavalue":{"value":"bigraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710418$333C9B6A-96D6-4E3A-9444-C86A4F48F269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c53c6ba09ce8581e9efddcb630a35001278cf78","datavalue":{"value":"coslice category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710418$A43D6E2E-E842-45C4-ACA9-213D8A6BDE8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710418$DAF2DA63-E410-4E54-BF79-4A9BDF5B00A5","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":"Q5710418$969E9048-B96A-4D30-8B06-F6F8D540BE03","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":"Q5710418$8ABF254E-3490-483D-92AE-5A1FCDB648AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$3CDF84B3-BCF3-458D-88F7-08FB659487E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710418$978955C4-B756-4EBB-80E7-0E4974AB96D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edeccf5f6a0300858d99390cc80ff527ff6657ad","datavalue":{"value":{"entity-type":"item","numeric-id":4282581,"id":"Q4282581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330aab7a9b758e8a869a6a9c7f7b958b3536e249","datavalue":{"value":{"amount":"+0.7831189036369324","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":"Q5710418$46B55B3D-84E3-4234-AF59-3F50325A07B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02436f6c0e9ae127738a19910f213c3125131f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3419786,"id":"Q3419786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330aab7a9b758e8a869a6a9c7f7b958b3536e249","datavalue":{"value":{"amount":"+0.7831189036369324","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":"Q5710418$1C04B066-74BC-4281-B4E8-1DAD73FB12C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fca51217b4b9b0ae8d941ea68919c0e4a977e29","datavalue":{"value":{"entity-type":"item","numeric-id":699934,"id":"Q699934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089d56f928441f557df5ae11f28cad90be61a9fd","datavalue":{"value":{"amount":"+0.7737932205200195","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":"Q5710418$C1149D3F-BF83-4DF7-9299-2777033B8048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165850a6f50579978e97f19bff09cba30d6fcc58","datavalue":{"value":{"entity-type":"item","numeric-id":4499230,"id":"Q4499230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42c96b489f9825aca7b393e51eab90cbb98b7da","datavalue":{"value":{"amount":"+0.7687318921089172","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":"Q5710418$EAA6630C-90B4-4E5E-81B4-7B59008CD19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42057faab9e0fa3147c3a7e6ceb904a94833fd62","datavalue":{"value":{"entity-type":"item","numeric-id":4792943,"id":"Q4792943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1ae7b4d22feebdd31fa31a3ea84b1fa5a5a7d7","datavalue":{"value":{"amount":"+0.7683653831481934","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":"Q5710418$F368952C-8BAC-4E4D-8EE3-B34443611159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5710418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5710418"}}}}}