{"entities":{"Q3614837":{"pageid":5644743,"ns":120,"title":"Item:Q3614837","lastrevid":50600738,"modified":"2026-01-14T12:58:06Z","type":"item","id":"Q3614837","labels":{"en":{"language":"en","value":"Specification of Timed EFSM Fault Models in SDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527092"}},"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":"Q3614837$A21E53E7-4349-4EF1-B64D-F96ACC4A9CAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"914225c02cb5fc0e03e71761ad196f5872ff8708","datavalue":{"value":{"text":"Specification of Timed EFSM Fault Models in SDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614837$EF9EE21C-DDD7-475D-B6E5-9BE738193C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3334143415b286af433c9bd3d482f14a3490d21e","datavalue":{"value":"1215.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614837$A6D2D3BD-B2E0-4432-AB5A-501FB99E1BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d44737f2c795c15143e88ac6abb3f652d3ca3f8","datavalue":{"value":"10.1007/978-3-540-73196-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614837$F16A629D-7B1E-4A52-9E44-5EBB5DD19B48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac629b4c4de045145e3e950315b0726dd6cc0e6f","datavalue":{"value":{"entity-type":"item","numeric-id":1013255,"id":"Q1013255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614837$9631D772-19AB-4A45-BC4B-8C27BD2CCEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f43e4392f589b7fe93c3c48e1d20abb5a67e13b","datavalue":{"value":{"entity-type":"item","numeric-id":519308,"id":"Q519308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614837$DEF4A888-4E06-4707-8BD5-22EB8C284CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb030b6bef47f639d81b33db5972d6ffedf1411f","datavalue":{"value":{"entity-type":"item","numeric-id":413311,"id":"Q413311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614837$96CCCC0D-181F-433E-AD0B-EC017E8B8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb97025c54f24f24a63b0a9ba28b38fd4cf0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":444792,"id":"Q444792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614837$5E36A26C-8616-4298-9985-2D3EAA33EB2B","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":"Q3614837$00F8B4AD-6CC9-4753-BF6C-855DC93DCEC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614837$886CDD77-B802-45E3-BCFC-3CF875C59C36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614837$18C2D7CB-E130-450D-87D6-088B430C4AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614837$A9BA664B-292F-4A10-A624-6E8CE51B0220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d9651c284164e131583a05b499835927cce4a41","datavalue":{"value":"5527092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614837$388DDBA8-ECF9-444D-836A-79D65ECB1B71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d294070391b962002415601ba287094a900d7a","datavalue":{"value":"extended finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614837$E5EF73E3-A3FB-437F-849B-8FD0C9BB2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d67fcc5314845be99e809eb8e6675d7b6337917","datavalue":{"value":"timing fault models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614837$0E581D8F-AB03-4906-B119-000201CADB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33c12cebdd27ac256d7f6de213e0e6035a26e4a","datavalue":{"value":"SDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614837$AD5E45FF-7FD9-4A0E-AB7A-0207EB677C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05ce67e5da0009006b2ccc6bf64ab75ded0531e","datavalue":{"value":"hit-or-jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614837$BB75C57E-D73F-4C99-A29A-B91DE1E804B6","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":"Q3614837$982AE6C1-DF9E-4398-BEF8-FCDAB132FC41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ae011720aea0df0d6471643b35ad2b3d15489f9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73196-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614837$401DF488-3738-4366-9494-8BB6E9F5D3D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dbce4898e6831b1332c73010277698a2bffa1ed","datavalue":{"value":"W1499058580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614837$3B0C48FC-C457-4A5D-B275-32B87D30170F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614837$77823E1E-9D61-4A67-BE70-55B0084B4A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e707689157e5827c4b9ab65dbc149a31d5d10e47","datavalue":{"value":{"entity-type":"item","numeric-id":4942009,"id":"Q4942009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614837$F7E41ACF-8652-4B36-8BDC-545E6B755293","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa69d86c0e2633734e2c14f1e6023bc3b3855e0","datavalue":{"value":{"entity-type":"item","numeric-id":5900956,"id":"Q5900956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc684a78cbca2ae4b9610018ca1c94a56bdd45a","datavalue":{"value":{"amount":"+0.8133467435836792","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":"Q3614837$EA3BFAC1-DC1A-4C40-B593-C7191B883889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a398629b7283ddc66e479d311553baf64714c115","datavalue":{"value":{"entity-type":"item","numeric-id":2779767,"id":"Q2779767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9084d11a06d5205eb2cdb37060a8a0b0fcb69196","datavalue":{"value":{"amount":"+0.7539634108543396","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":"Q3614837$05AE4FCA-B50A-4058-B238-64A04AB54EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1848bd1c40ca6e0e0ee242b152e90bb4664b7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2779769,"id":"Q2779769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4fdb0ac8d16e1692262fd13056ce70c633ae6c","datavalue":{"value":{"amount":"+0.7536274194717407","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":"Q3614837$511F88A1-C6BE-4000-84B2-9F5FC3235ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04679f9cba75638db0a5e0b313ea818f8383b090","datavalue":{"value":{"entity-type":"item","numeric-id":1881177,"id":"Q1881177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012554c8381217ac18de8e4bc04629fc78ec4fb3","datavalue":{"value":{"amount":"+0.7507626414299011","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":"Q3614837$B09F4BE2-0C97-4653-8606-9D003584E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eb9900a6fd6ddbb14575d1939d1536f2a28add","datavalue":{"value":{"entity-type":"item","numeric-id":3613082,"id":"Q3613082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f027e83db32f5df8977be4ec1f73da770aec85f3","datavalue":{"value":{"amount":"+0.7360096573829651","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":"Q3614837$4010028B-F933-4E37-8CE0-4A1F3B979BA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614837"}}}}}