{"entities":{"Q5958757":{"pageid":8135559,"ns":120,"title":"Item:Q5958757","lastrevid":47755906,"modified":"2026-01-02T14:57:05Z","type":"item","id":"Q5958757","labels":{"en":{"language":"en","value":"Refinement and state machine abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715802"}},"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":"Q5958757$9F5A6408-01D9-4367-A66F-8A517C06DAB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b8e10cff650f9446e038f190377b84d7cd1d300","datavalue":{"value":{"text":"Refinement and state machine abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958757$34A78C6B-B481-4534-9B5A-AB9FB4AA791D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef28e265706cc7afd456487beacdd32f0fcfa395","datavalue":{"value":"0989.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958757$B7C00EDD-CFBF-4E4A-85AA-E4B81FC83174","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9b85ed07854d0ad51c46690fefce4ef57e596ce","datavalue":{"value":"10.1016/S0304-3975(00)00169-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958757$AC7E61FE-5DBC-4366-ACF9-3961EAFA8FE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab712635b884640daa2f5ebe5a1b35d9393debbe","datavalue":{"value":{"entity-type":"item","numeric-id":706491,"id":"Q706491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$013A52EB-2677-43FE-9DEC-11D713CA1426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c2dfba78a04b1615c287fc4b443b44d5dae01f","datavalue":{"value":{"entity-type":"item","numeric-id":1121799,"id":"Q1121799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$F0BA8B15-B2E1-4266-B617-C155413CD24C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$21212405-7306-469E-B6E1-10FE05D69181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958757$44D699AD-9D55-4D2F-941C-5FC49F76F390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958757$D5D6B99F-226B-4213-8A1C-2B150D7A314D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e80b403bbd32826e67988e1657e2114cf94ae92d","datavalue":{"value":"1715802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958757$5F9EBB92-D95F-4D11-A9D0-E8201DE36985","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958757$BB9890A2-D237-473D-AB5C-C3860B4CFE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40d419c3fa26b2514bfe6acad0af4c3d2cd5290","datavalue":{"value":"state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958757$C329B450-4DCF-4704-8135-DBA66A169CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958757$762787ED-5BCC-4D57-A52C-EA571C8EA0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958757$D87A42D4-EC11-404B-92F6-CDC0001D37A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84520f79d7b79a5331f7c2ebf9301ea3f4c09fb8","datavalue":{"value":"modular software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958757$68552F4F-0C3F-4BE4-B375-8AF0B153CDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958757$F93B1B9B-49BB-443B-A06F-3DB15F067B84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$64E707C1-96AE-4F00-8CC8-6597EC7F0F1A","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":"Q5958757$50F1F64D-38E3-4217-B66B-33D2D43C42C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$D136E7A6-94F5-4F3E-87B6-6E8946DA77A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$09152F25-E0EE-4E44-A5F1-983327BCEF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$D98917FA-AD7D-4F41-BB1E-DACC4DD175BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66930857d878a57fdc790648136b97860b4ebd5d","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$95D9828E-4F6C-466B-B063-C264E53D6C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$2B5E78EA-B89C-4EAE-8185-B4C7F8ECF8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$A9A9EE48-40C7-4443-8CBE-698F67428B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$3B9AD486-8825-4A77-AE38-198939BC7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61688f3057dea46c184688c59e5d28895fd3100","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$D22B65FA-DE8C-4FC7-A4ED-6E494054BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$A98A2197-DF06-46E5-A890-636A38336A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b990987646964abac11e3e2c0c4b5cc7c7b0913","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$6EACD006-7F69-496E-BA92-0F599F841375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958757$C58D18DD-AA62-4870-93A8-5D55C19F7BCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db09be0bea55e0f7de6fe9f4f50369f5df117f44","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00169-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958757$744EE4F5-C632-45B0-AFA6-3C021098CE0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c233fcc8bbd79a8062da6f1783f47c9ea166a85","datavalue":{"value":"W2073171058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958757$36719A6E-D501-40E4-BDEC-5E9830083A2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b2d9bc774df5e0ce5b807a161c425a56f5c34e","datavalue":{"value":{"entity-type":"item","numeric-id":1924631,"id":"Q1924631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9ce8bcfc82dd84a02ae752649dc9b412939c3e","datavalue":{"value":{"amount":"+0.7649945020675659","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":"Q5958757$9092F372-2B85-453D-B4CE-EB52474EF377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819214126c1c94e9b067a06e7484d2b50529a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":4362886,"id":"Q4362886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6952bee4415368cac19fabbab4ab64190721ce","datavalue":{"value":{"amount":"+0.7405726909637451","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":"Q5958757$F057F844-63DE-4C0E-BAF1-1B9A3F4372E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330442bc40686936f50b34bd82ac79d6788deb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5313003,"id":"Q5313003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6952bee4415368cac19fabbab4ab64190721ce","datavalue":{"value":{"amount":"+0.7405726909637451","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":"Q5958757$07FF7B89-3015-46B5-8432-7AE0568B3F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde43e61aa0969b3ae0c15bf3037d20c7e8a8477","datavalue":{"value":{"entity-type":"item","numeric-id":4536449,"id":"Q4536449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9617c8751cd293132fd18607571f3b4bb2afa2b","datavalue":{"value":{"amount":"+0.7381595969200134","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":"Q5958757$12DEF006-E25C-4F0D-93A2-58E29AB1D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf64a328e6a3e7fd7c2737040e946ea82bbcc339","datavalue":{"value":{"entity-type":"item","numeric-id":4250663,"id":"Q4250663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81c9fe497b5bc2ed169b483eaebe89db2c5339c","datavalue":{"value":{"amount":"+0.7368741035461426","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":"Q5958757$53AF89B8-9159-4274-AD06-C9ABF38A9BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958757"}}}}}