{"entities":{"Q5949548":{"pageid":8126350,"ns":120,"title":"Item:Q5949548","lastrevid":40715261,"modified":"2025-04-04T11:05:38Z","type":"item","id":"Q5949548","labels":{"en":{"language":"en","value":"SCTL-MUS: A formal methodology for software development of distributed systems. A case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1676005"}},"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":"Q5949548$A1B61611-614B-4829-8CE5-E166F07BD746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a977021713ed484689679dfa1b906471c4b2656","datavalue":{"value":{"text":"SCTL-MUS: A formal methodology for software development of distributed systems. A case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5949548$E3072B8E-813D-47D6-BA95-5547638DE782","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745482728b305b13f27614add2b51be8ecbd9504","datavalue":{"value":"0991.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949548$037E5022-46E6-4E42-A945-47495DB22D4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c96005a7095ee8dcdade1e2bcc245a28b5570c3","datavalue":{"value":"10.1007/PL00003939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949548$A388ED3A-0873-4AC2-BDA1-80A9D1DCC919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e01d97b44e67a371a7364f731c86570940f7a1a9","datavalue":{"value":{"entity-type":"item","numeric-id":216270,"id":"Q216270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949548$CFB687E4-248A-4C6A-91D4-44F977622DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6eab0c4efb3908c89fc8b9a8b788a665bc64cb8","datavalue":{"value":{"entity-type":"item","numeric-id":216271,"id":"Q216271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949548$7CD39F12-7D4E-4697-8E4B-63D89D776914","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949548$01C348CE-FA37-4E99-94ED-B2A651CED1C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb1c6756959a58d27f6df0bc0f4a2c614f247a86","datavalue":{"value":{"time":"+2001-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5949548$2607DD08-692A-4538-A864-C4E2C2FC2C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949548$EEAAD5ED-85B3-4F69-A71B-0F091AEECD99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050b52d8915ff2bd0c920e3c2adc938d91a2b74d","datavalue":{"value":"1676005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949548$F876068A-E2DC-41A7-9C26-046FC8DE7952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0076435b92380532258cb1e4fab82718e6929aec","datavalue":{"value":"simple causal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949548$F7E6153B-C526-4A57-A10C-D6DE01D3AA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4419e25a320fbda5fe259d7c5710ce1343166e4","datavalue":{"value":"model of unspecified states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949548$3271482F-D1BE-4F17-933C-309017C79C55","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67720db460794d76d6e59ab2d221c3e383431bf5","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949548$C1617C63-0A5E-40ED-8ED6-BF6B744F49E1","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":"Q5949548$FD078B05-C9E2-466B-AFD1-573377BACF9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65b7229d833986531dca5c255e83e47f0c18d560","datavalue":{"value":"https://doi.org/10.1007/pl00003939","type":"string"},"datatype":"url"},"type":"statement","id":"Q5949548$24FCBD16-D8C9-42AC-96A9-0992C7CA0638","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07bacc4a69e1e36753a45a46effaa2f6e3508df6","datavalue":{"value":"W2044789794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949548$3F8D0CC9-DE6F-485B-8C0A-AB8BD2FB33B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970c006e3b2ffec25f961c8178c7fb8bd6a620ce","datavalue":{"value":{"entity-type":"item","numeric-id":2291825,"id":"Q2291825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6db7b105003998869800a0bcad2c2ff9b94090","datavalue":{"value":{"amount":"+0.8422563","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":"Q5949548$6C1B85A8-DB70-46B9-A33E-8FF94FB137B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af2848dbfc0197df473aed8d2b3de49a60ba76d","datavalue":{"value":{"entity-type":"item","numeric-id":5971098,"id":"Q5971098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6f4f561ecd8fe60a9146bf83e90906a360a71f","datavalue":{"value":{"amount":"+0.83653694","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":"Q5949548$3C765A46-1BE4-4239-B489-7A2BCCAC3F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b73b61fb075ee41fa8e36bcb24b38adc915702b","datavalue":{"value":{"entity-type":"item","numeric-id":3721801,"id":"Q3721801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082e6bf9c9b6e492c21245ad3b53ed72344d64b5","datavalue":{"value":{"amount":"+0.82951814","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":"Q5949548$110E9483-552A-45F8-9E2C-10A9BB0E7A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33394ccfed6e4ada254f06fac1f54243f0354b26","datavalue":{"value":{"entity-type":"item","numeric-id":4222866,"id":"Q4222866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df5ba2253140ced61872ba1c4156bea4c50f661","datavalue":{"value":{"amount":"+0.82431257","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":"Q5949548$B1B89850-0126-4AA5-8502-8192EBADC303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dba2615fc55a3c5bcf8aca6d0dea9348f1cad88","datavalue":{"value":{"entity-type":"item","numeric-id":3601068,"id":"Q3601068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d568802907ecb76931ff5fdf08bfc65a7428a8f","datavalue":{"value":{"amount":"+0.8235824","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":"Q5949548$1D48025F-E530-4E13-8F26-E0000526CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f79946256a320672a5f202786904e6cb3cfc824","datavalue":{"value":{"entity-type":"item","numeric-id":3169432,"id":"Q3169432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29671aebc3231f19a0ca3a326b548aa3893edf05","datavalue":{"value":{"amount":"+0.81883025","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":"Q5949548$A7DE45DD-847E-4778-B5B2-38CE919B00AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37b79d3407b205d48598c2c91acc1a7dd01065a","datavalue":{"value":{"entity-type":"item","numeric-id":3169433,"id":"Q3169433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29671aebc3231f19a0ca3a326b548aa3893edf05","datavalue":{"value":{"amount":"+0.81883025","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":"Q5949548$30687F18-79D1-4616-9E6F-688284AE66DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5949548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5949548"}}}}}