{"entities":{"Q3613082":{"pageid":5642988,"ns":120,"title":"Item:Q3613082","lastrevid":88531412,"modified":"2026-06-04T14:46:29Z","type":"item","id":"Q3613082","labels":{"en":{"language":"en","value":"Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527887"}},"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":"Q3613082$46CBC3F9-27C0-4F88-9EE6-00A096BE992E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7be69a9f8a0f3630b2263b9072b2157983672104","datavalue":{"value":{"text":"Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613082$656AB015-B064-45A5-B817-872B530C6228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8882fa6360f35e8ac428ba7a62652443ce4f526f","datavalue":{"value":"1225.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$027738AD-7C3F-4948-9923-88DAC2F4CAC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3d0fae2cb99a7c62ad66cb797ac03ed7a5030e5","datavalue":{"value":"10.1007/11888116_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$6786AF27-DE50-4FCA-8E74-C26113D6C5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ad4647081cebf487e43eb38397c4509c0d7057","datavalue":{"value":{"entity-type":"item","numeric-id":347400,"id":"Q347400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$B8D70AEF-F884-43BD-A509-FA7CBB32A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$F5C30F9B-33A2-44C1-9B5C-7A5D76811F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$D186EF70-212E-4E93-91B2-77DD138CF56F","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":"Q3613082$D5E062C5-C76B-4E7C-A9E4-7AC2A15B1C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613082$8A418847-17EC-4D11-8DE5-3DD74D8813CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$411E91E8-956A-4EB1-A6B9-08A35341D9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$91423113-732B-4DE3-BE01-1FAC7F6DA42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$377B35F6-2B83-42FF-A1C2-0B62B31C2971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$85045C62-7F21-42ED-9883-BAD012D2F86C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be14f7da071dd31659c39daad7fa9f9e43507189","datavalue":{"value":"5527887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$4AE8904E-082B-40D7-9388-C494D8B3C0DC","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":"Q3613082$C7D6EF2A-BBAD-45DA-BFF5-A080FECDB28E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5ee355ec74b5b08b39c1f17979a3891c352c6e9","datavalue":{"value":"https://doi.org/10.1007/11888116_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613082$8E54D0B4-8F74-4E34-B880-81B5390FF932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8480efeaf3a6709e7a88a1e09c5f0372d026176f","datavalue":{"value":"W1752357427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613082$37204490-7975-42A3-9D17-C8541056B08F","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":"Q3613082$AC15DC34-5FE7-4969-A04B-ED1D2D77FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0d944de5134cba5441f0e4f3e611aa83f7c905","datavalue":{"value":{"entity-type":"item","numeric-id":4532083,"id":"Q4532083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$37B6AA25-7465-4301-A924-E86C27A3C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfd20d690180050fd0bfc67b80c871451703f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4437066,"id":"Q4437066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$5D7E9BBA-147D-419F-91B8-1A6F2F500211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a5b542a26c9830119833ba603cb7ade04b4dba","datavalue":{"value":{"entity-type":"item","numeric-id":4422061,"id":"Q4422061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$7029E19B-A7B7-4BC9-AAE5-3C608AE6FB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7ec5551a9c2c6954b9443c0afe9bfaf43606a","datavalue":{"value":{"entity-type":"item","numeric-id":5900959,"id":"Q5900959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$C2C53362-48A0-4C7A-AECD-99791D655B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"259e559ff0801c160c2e17c4e8602b041f763aca","datavalue":{"value":{"entity-type":"item","numeric-id":3434605,"id":"Q3434605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$E8F9D4C8-EA96-4154-91D2-F07D9059099E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88634057391c15bdf90f5f3e64269fb32b047644","datavalue":{"value":{"entity-type":"item","numeric-id":4532084,"id":"Q4532084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$B3BBA1CA-9570-45A1-A446-0110EAE4C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$F0276684-ACC9-4EAC-AD09-A7DE48264920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613082$612CEB63-54B9-4A70-9466-ED308BF79C14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6b018beeb31b6000a2e11fc68359ffc6c1fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb8a8bb253aff3af35b411250f54c096e0bd701","datavalue":{"value":{"amount":"+0.8281415104866028","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":"Q3613082$39B83D73-B3A6-405F-8BB2-E8189F907482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37201260dda8637b86b0f772f1d4e29b216e5197","datavalue":{"value":{"entity-type":"item","numeric-id":2873605,"id":"Q2873605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29525a524ebd7364f3932597b7acf1df67fd5ff8","datavalue":{"value":{"amount":"+0.7909395098686218","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":"Q3613082$E7A0548E-939B-44FF-8570-A0C174C6915A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e094ac94cf223b49466fa4701cee74556d56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3522091,"id":"Q3522091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f465366b5614e3db68f9967cc290e1204f2eb83f","datavalue":{"value":{"amount":"+0.7818188071250916","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":"Q3613082$1E896CD5-7EB1-4CB4-9696-BF098DF9A8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cda114d09c299d529cb506d3f7e40b71c61470e","datavalue":{"value":{"entity-type":"item","numeric-id":3613674,"id":"Q3613674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653068cb8d6c277d248a317183c17cf1defea771","datavalue":{"value":{"amount":"+0.7665544748306274","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":"Q3613082$A9B6E2CF-919D-4634-967C-22F8E190D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902659823dddfc2fd0264b51d4763181ebb01bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3434605,"id":"Q3434605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8217b3e50c40dae15e1a3c41a73f7117c8ce863e","datavalue":{"value":{"amount":"+0.7623421549797058","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":"Q3613082$FF2A078E-B11C-4CF7-900E-D3ADCE767847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts","badges":[]}}}}}