{"entities":{"Q5411674":{"pageid":7441248,"ns":120,"title":"Item:Q5411674","lastrevid":51984677,"modified":"2026-01-20T16:47:31Z","type":"item","id":"Q5411674","labels":{"en":{"language":"en","value":"Blending timed formal models with clock transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288101"}},"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":"Q5411674$F65C7791-EDB5-4999-8B3C-846B4A79784B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84fba4a7bc64ed16028ee86f2f79498c130ad143","datavalue":{"value":{"text":"Blending Timed Formal Models with Clock Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5411674$4C316F29-8CE3-4449-B2A9-DCC6BCCF7944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f91662e82467271c5e2e77f21dbd2e4baa01b7b2","datavalue":{"value":"1408.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411674$1FB3348F-12F4-46BB-BD58-193C0E26DFF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a194e95ccd12cf2368a132b8ae58c6e73b96a3","datavalue":{"value":"10.3233/FI-2014-962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411674$C9C9CA02-BABC-4F2B-B761-FC7F386232EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f6d4e3ff7a13e54a54a40f8cfa4f07e93586982","datavalue":{"value":{"entity-type":"item","numeric-id":673005,"id":"Q673005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411674$9825AF00-A9D4-45C9-9BD7-E1506E4A3593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411674$32BD3417-3159-48BA-BA53-1A394CBF248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411674$19470EA0-38E6-4E0B-9DD6-BC6A16077949","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411674$C006F079-7863-4BBA-BCE4-35C80178DD86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5411674$B32F17FC-BBD9-4743-A9D1-BDB016606082","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411674$220687E1-3FB0-40B6-8BE6-19ECC7ABDD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411674$89742BF5-B16D-4F17-A471-5371DC5D570D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"642c52776a3716e80c1f13da97f18b1def620932","datavalue":{"value":"6288101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411674$1FE9C10F-141C-4713-8E92-A3B344EEEAF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5411674$28423AE3-4994-4708-9BFA-534D86BFF42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab0cb3c50f782b0386834a5e88503cffc9f67771","datavalue":{"value":"timed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5411674$CF14A005-656F-4950-B9C8-ED9E9EF25922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5411674$7F8517E8-8933-4C63-8DBF-E9F4C3910EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5411674$0706215C-163E-4744-8AC3-926C4947C4E8","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":"Q5411674$291F07BF-025E-4F7C-BDE2-D627A042AD1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1665162f9296739df8045e017df19942e484ffeb","datavalue":{"value":"https://doi.org/10.3233/fi-2014-962","type":"string"},"datatype":"url"},"type":"statement","id":"Q5411674$06F22401-FDCD-49A8-8460-841204D7703B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e2c173fb6a37328836c6ae910abf754e09217dc","datavalue":{"value":"W1582911296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411674$70A6F201-1E98-4EA1-8E1D-171919C0163E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b637eb862f4f9dbac9ed947fd49bd1e0523530","datavalue":{"value":{"entity-type":"item","numeric-id":5758109,"id":"Q5758109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17365148f20e58256dd371dc73e56aac760b2417","datavalue":{"value":{"amount":"+0.7901957035064697","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":"Q5411674$D07B022D-8409-4C29-ADE9-BB75A824309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596a796beab486fce6a2bc78702ef83257ba63c9","datavalue":{"value":{"amount":"+0.7811764478683472","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":"Q5411674$6B671A08-6F6F-466F-B53A-E5332CB6C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33620ac50fe46dfed038c765f4f59c28e8967748","datavalue":{"value":{"entity-type":"item","numeric-id":2493434,"id":"Q2493434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a39bf896d6241f7ef3483300ce100b469a4bc30","datavalue":{"value":{"amount":"+0.7806024551391602","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":"Q5411674$216F4337-D1BD-4B30-8C92-024A8154E09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7f4aa2a5dcafb57278e26806450fc866dc980d","datavalue":{"value":{"amount":"+0.7762801647186279","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":"Q5411674$99E42FBF-4FEC-4C22-85D6-9E6C6A2DA4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392b8c4cd3eaea600c27df50dc6c4b403619481d","datavalue":{"value":{"entity-type":"item","numeric-id":3543285,"id":"Q3543285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3a27f1003cbb229e91d2ecfbf1bc2efbb0cddf","datavalue":{"value":{"amount":"+0.7755197286605835","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":"Q5411674$DE51E93E-F6DD-4447-B8C2-BFF694CBD860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5411674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5411674"}}}}}