{"entities":{"Q1209375":{"pageid":1220124,"ns":120,"title":"Item:Q1209375","lastrevid":47151667,"modified":"2025-12-31T20:34:51Z","type":"item","id":"Q1209375","labels":{"en":{"language":"en","value":"Failure-equivalent transformation of transition systems to avoid internal actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 167772"}},"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":"Q1209375$6A67B6D3-3DBE-4AFB-BB61-A8460436D16F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1da0d0de6fdb2e37ac4b3b006c38e5427f7ed0a3","datavalue":{"value":{"text":"Failure-equivalent transformation of transition systems to avoid internal actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209375$F780588A-8E9E-4CF7-A7FA-43EE7E029D27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5459c6aacc3021129e58ba40697334bbad4fb652","datavalue":{"value":"0795.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$A644CE73-D4AF-4216-A863-00488EF5E786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0769a381febf504f3cf211fe75f67f0c12122d10","datavalue":{"value":"10.1016/0020-0190(92)90110-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$4C1BEDDE-9560-4654-903F-066DF0261389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efeb9b4048dc1efc02b2b5cf7ef8306c70c92c5b","datavalue":{"value":{"entity-type":"item","numeric-id":821794,"id":"Q821794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$83847C6A-BB3D-443D-8790-324C730DFC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc9133a22d314c8b19fc72b80095b0ea33899b2","datavalue":{"value":{"entity-type":"item","numeric-id":455929,"id":"Q455929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$0F17E533-29A6-439C-904F-C1391C2BAFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5181c97679d83d63dde4b962faa9b05d75629360","datavalue":{"value":{"entity-type":"item","numeric-id":1209374,"id":"Q1209374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$D68C6010-3B1C-4943-82C1-5FB6A6FAD875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41aaa3bb6adfb7ca9db40bf1c64c4b8e7391b21a","datavalue":{"value":{"entity-type":"item","numeric-id":319505,"id":"Q319505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$14BDA7CA-3D7A-4CA7-B639-9F6F9C153068","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$CB8D7A12-DC1F-4D92-AB72-FCFD10784233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209375$BDA99FCA-541A-4781-9FBA-59B3BC01150E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$239B92F7-7046-4F8E-92DE-0E318E150247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$14896EE1-ECBC-4EB8-93A9-A6F991966FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$CBA43F43-DA74-41AB-A9ED-9B6EC4F35EB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"993849347ef5a7688e59a214c2a99603398575c4","datavalue":{"value":"167772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$497A5A40-7BD5-4FE4-A4AE-2639BC4AE55B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$DFC520D8-5A0B-43DB-8328-7E155B21493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c779b888b0bd4f6794cdfbe0b053faf49f632736","datavalue":{"value":"software validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$6745215E-7B1D-4253-9EE7-A96448B5066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$666EF689-27D4-46CE-BEFA-3570069D505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c02085c9225090667e1a40d036eec69f14295ac","datavalue":{"value":"failure equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$F0034313-2D73-4D24-9461-ACFB8B5FDE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34acac5e43166785d6ab1b2c0843eca0935956f","datavalue":{"value":"LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$376C9137-DA16-4101-A944-CBCE5B9D30B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7fbd1fd3bbd9af55462fca1dfba7bf1cb05201","datavalue":{"value":"distributed software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$E91E6032-5191-41D8-BF7E-C812169E4E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4b16f4dbc4c3fc3c12e92359493b0e4be4b7ad","datavalue":{"value":"internal actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209375$7B41AB0F-E484-4BC3-9A7B-7ACCA6EFF1C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$952CD1E5-0D9E-4670-985A-626C481E1B46","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":"Q1209375$D400CD92-DE42-4A4A-8718-560C70E1CDCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e48d73179b7de11780ad81fa2d86fc066648eb","datavalue":{"value":{"entity-type":"item","numeric-id":3992422,"id":"Q3992422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$25552570-BB18-4709-81B0-36079231C7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$C3AA2572-BB2D-42D6-A0E1-914AA5603CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$0B975BC2-0918-44F2-A854-1434F20497E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$BC277E10-9F2E-4933-A922-C5ECA43989C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209375$EF479D97-944F-4A61-8D64-E8E8EE01FF27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ebeb5fb622f4d0324f536d651b43a6fb87f7783","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90110-h","type":"string"},"datatype":"url"},"type":"statement","id":"Q1209375$592E8CD3-4005-47C5-8D97-24757B8904C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bf8ea6115ee5450f8d54ab5994446b2c9836af5","datavalue":{"value":"W2055603670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209375$A81C0A65-AB7B-4ADA-B71E-4C1A9CEB2AEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4d7fde564486c6ccde9a3cf2d6afade6863141","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fd9cb1d11425d6d99e80102588a2cbdeba1cc8","datavalue":{"value":{"amount":"+0.7072267532348633","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":"Q1209375$AF7F27B1-1BFA-4EC0-82B9-8AFC4FFFA56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ec1b9e8c21ff5304aba7ff456ceb599be9ef1b","datavalue":{"value":{"entity-type":"item","numeric-id":4850246,"id":"Q4850246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fd9cb1d11425d6d99e80102588a2cbdeba1cc8","datavalue":{"value":{"amount":"+0.7072267532348633","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":"Q1209375$F2881A21-04C1-41D5-9622-3AA29977E2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fce3ebbe9140e31f174f6f354d6a54e910362c","datavalue":{"value":{"amount":"+0.7001656293869019","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":"Q1209375$43F8E2F7-03B4-42A0-A6CD-1DB54E85D2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eade04fc20a8b181857cda9efafa8743e58c9f2","datavalue":{"value":{"entity-type":"item","numeric-id":5709969,"id":"Q5709969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84652012a85aec84a906d03a7ff7fc02812ec5c2","datavalue":{"value":{"amount":"+0.6766850352287292","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":"Q1209375$B8FB0FDC-3C5C-4058-A40F-20310E207A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acfc2c310d0b48a5e64d09731922e950a12a155","datavalue":{"value":{"entity-type":"item","numeric-id":5044730,"id":"Q5044730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9579206e3b3231ff4b74f964bcf022db189b428e","datavalue":{"value":{"amount":"+0.6746042370796204","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":"Q1209375$E7A627B9-75DB-42CB-B4EE-238397443B1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1209375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1209375"}}}}}