{"entities":{"Q2475307":{"pageid":2486050,"ns":120,"title":"Item:Q2475307","lastrevid":50300867,"modified":"2026-01-13T19:04:17Z","type":"item","id":"Q2475307","labels":{"en":{"language":"en","value":"Formal verification of multitasking applications based on timed automata model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5246633"}},"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":"Q2475307$E22BD5AF-E808-4453-9AE5-14B9A827DEFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56caa45a32ed714cb31bdb56699f148d609faa3a","datavalue":{"value":{"text":"Formal verification of multitasking applications based on timed automata model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2475307$29C24014-EAA0-473C-96BD-1061C8C3150B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d5d9ca3488c89c2c89316375c1b3f0b91c0645","datavalue":{"value":"1133.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475307$CAFCF248-54E3-4ABF-BC0A-2F718604A88C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c99722e0a3614df4d4f2fe63a5ca398169032","datavalue":{"value":{"entity-type":"item","numeric-id":2475306,"id":"Q2475306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$D98E75A0-B39B-4D76-AFC7-296834D0B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4913fb4c1523cc01445acd4a1740a3594a985f9","datavalue":{"value":{"entity-type":"item","numeric-id":322730,"id":"Q322730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$69B4FD60-AB75-4394-A1A3-C32BBC19D01D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$B1F7C916-BF4C-4EC4-96BC-7A2FB42527E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-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":"Q2475307$01128906-A5F8-4385-9AFC-D1DC595A685F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475307$2CF36FC8-B116-4B91-91A8-0F4821DAAB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475307$191AFB99-93E4-4C7D-8364-BD8ACFCB8836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9b025e416f2281a11469c1c063809f1c0d08572","datavalue":{"value":"5246633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475307$C68E969B-8625-4F33-B575-7DB251C1F5CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475307$D578E7AC-D7EF-448F-8009-02244D6A0F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475307$83876A4D-1524-462F-B5BA-AFB4FB63C8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475307$65664547-C05C-42C7-B312-79E34504DEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475307$07917BD6-4B7A-4FD5-9D6A-D94F188C94E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96be5c50b0347969618e11ebcd643d03c8f38133","datavalue":{"value":"OSEK/VDX","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475307$B1238EB0-D174-45F1-949C-149CF9DB2E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"039304fd85ec985c6571533ad3d88bba12d9cdf2","datavalue":{"value":"Multitasking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475307$6927EFD0-620F-43F4-A5AF-9546135F1E1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"689ad4150e09014a03728855f81aafbcf13d494c","datavalue":{"value":{"entity-type":"item","numeric-id":52814,"id":"Q52814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$B96DD8E2-0AC3-454E-A955-45A7A8E0E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$F521DD5E-65EC-45D4-8C93-700C110E5A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$32647E24-0937-4839-928E-F36B4533B6B1","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":"Q2475307$FCEBE4EA-58B4-4878-8F89-CF8D02DC522D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71198c9d045c15c9a2698a511b6477b26fb3f9cc","datavalue":{"value":"https://doi.org/10.1007/s11241-007-9036-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2475307$DB961145-A1A8-4F58-BE5F-CF90B1684947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b1f861921c4e6b44932929fcb0eafa4db271a01","datavalue":{"value":"W2157927392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475307$A0BA3284-4003-40E0-A12A-621FA271E1AD","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":"Q2475307$F8A37E38-41DC-4A0E-B15C-4A1B480DC3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$4F758524-373C-4282-A623-D5C6F42F2116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abcf33b3577d97109519d5d7a197420b0fb645bb","datavalue":{"value":{"entity-type":"item","numeric-id":1870173,"id":"Q1870173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$17B3C8BA-83B9-4D33-9115-AA9F2B8EAAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$79B0984D-B252-4C6E-8098-C1C04F1DC30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa3cd6802cd2daefa9fdd5f1e3ac29633dae76c","datavalue":{"value":{"entity-type":"item","numeric-id":4371833,"id":"Q4371833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$C1AE6262-EEBC-4997-80CF-583A58A2CA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98378a4e7104bf16de15fad2bc2166765523421c","datavalue":{"value":{"entity-type":"item","numeric-id":1856174,"id":"Q1856174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$DA32132E-98C8-4722-934E-0E2A8095EEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c28cb0c60d36a6b02cff002e350a60a5cd6bac8","datavalue":{"value":{"entity-type":"item","numeric-id":4472228,"id":"Q4472228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$8C865294-C78E-45A5-A56F-23B56317DDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c229fee535a77692e21857c8fc3b91b2557c748","datavalue":{"value":{"entity-type":"item","numeric-id":4417925,"id":"Q4417925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$2196F206-65ED-4320-9471-E8D145CEA835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$52963117-78DD-4035-A519-F78E7EE3ECD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aa159ac1f9d40e22274f73d435d75f99dbcdef","datavalue":{"value":{"entity-type":"item","numeric-id":5308410,"id":"Q5308410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$F9AC82F5-1BBF-4EEF-A534-F605B6667D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$5996B4AB-2D5C-4F5F-81CA-731CD32806AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696b4604bcdf2ef71d5d6c1e9945d55987888719","datavalue":{"value":{"entity-type":"item","numeric-id":1431366,"id":"Q1431366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$13228617-DACE-41B0-9D2E-45C8AA971A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9332cb84b4c12f3b0b8cba5c81569fd772e3edfd","datavalue":{"value":{"entity-type":"item","numeric-id":1395684,"id":"Q1395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$BE72FFDD-5418-4FD5-835D-112A3B687CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2113fd5471d3fab30cb86363a15662b8b3222e01","datavalue":{"value":{"entity-type":"item","numeric-id":1770567,"id":"Q1770567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475307$BD68FDC7-C0CE-4A9E-B8A4-A0AF76EB1E8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6828c012118f9c9f810138988bfe8332934dccaa","datavalue":{"value":"10.1007/S11241-007-9036-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475307$92AF0946-1276-41AD-8FA0-BC0E038D2442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc452a87a25e174253c7287851cab47516a32457","datavalue":{"value":{"entity-type":"item","numeric-id":1395689,"id":"Q1395689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f8406ae4842e2a0ce39af86fda7a5d92afdb98","datavalue":{"value":{"amount":"+0.779227077960968","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":"Q2475307$65EA0A41-CB04-4C06-8B11-4E2220CD1A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eae3263cf97ac54a37c33745518d4b7eef300fc","datavalue":{"value":{"entity-type":"item","numeric-id":2948229,"id":"Q2948229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea553c21efa2e5403175cd50cb41d7addc2d189","datavalue":{"value":{"amount":"+0.7679080963134766","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":"Q2475307$DBF9B0BC-5465-420C-A712-4AA7EF1B784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d37e76f8a87372189813cf599bb38cd85936c81","datavalue":{"value":{"amount":"+0.7540280222892761","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":"Q2475307$50D9DEA4-1C0F-4FFC-BC83-229A4DBBDBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6490f51bba235cdf6ac5489e1f63daec07fd0255","datavalue":{"value":{"amount":"+0.7531245946884155","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":"Q2475307$85B4972E-978C-47EF-9312-B4473EA13C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d827d82ea15ecd9fe68a31e3576dee0375c87c","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776cc28d9a2ec1996b100dc62b8023c36cabc328","datavalue":{"value":{"amount":"+0.7516499161720276","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":"Q2475307$8102EC07-B691-4D05-9019-6CD99C128565","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2475307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2475307"}}}}}