{"entities":{"Q4589595":{"pageid":6619180,"ns":120,"title":"Item:Q4589595","lastrevid":37305468,"modified":"2024-07-30T09:34:52Z","type":"item","id":"Q4589595","labels":{"en":{"language":"en","value":"Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805727"}},"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":"Q4589595$52D3AF28-C333-404F-9B09-C5041DD62BBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daffca26dfeae42f60725adcb1a7d63e676f4e4d","datavalue":{"value":{"text":"Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589595$40CB46B0-2FFC-4DDD-BB16-E53572575D5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"910ce581efb4aa390c7d539b467862d044f649a4","datavalue":{"value":"1373.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$9C998183-44A1-49DF-8A36-F794F93394D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7816e6d0cd32205684220a878502207bf1cfbfb","datavalue":{"value":"10.1109/TC.2008.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$B2AABDB4-9283-4E2F-B8FD-661DC7E8FCE9","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":"Q4589595$FC04D815-7430-449A-954A-BACB4C30D70F","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":"Q4589595$79FB3C18-71B5-4BEE-89B1-08F218B40049","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":"Q4589595$2F8F1EF4-0487-49CA-A25B-9B86E726AC14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589595$096AAF03-9590-482B-B25A-D92EF5BEF695","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-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":"Q4589595$B22B301B-9CA4-4AE6-A67B-7F77AFD96577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$A8CE9F50-CCF5-4ECA-A92C-F02E6E8043AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$A77241BB-BDEE-4F9F-B31B-091A68239ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$FB7727FB-02C8-431E-A637-64490A56A41B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f97c5b3aa741708a66bba4bbfbae909abdef49b","datavalue":{"value":"6805727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$976D12D2-2477-44C7-9FF9-5F6172976415","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":"Q4589595$E4BD3BFD-AEC0-448C-A357-78BB6267545F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"249226c95c29071ede52468e8f3acd6a38ae53be","datavalue":{"value":"https://doi.org/10.1109/tc.2008.15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589595$121C0231-489F-4F6D-B09E-7A188FE0EF7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ad4eef551b45e7474509f86e0abd2a2675cee0a","datavalue":{"value":"W2157820788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589595$B43FFC46-6536-4991-A7A6-FA8CE1FE5536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589595"}}}}}