{"entities":{"Q955710":{"pageid":957558,"ns":120,"title":"Item:Q955710","lastrevid":65647896,"modified":"2026-04-12T04:01:27Z","type":"item","id":"Q955710","labels":{"en":{"language":"en","value":"Design and verification of long-running transactions in a timed framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369878"}},"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":"Q955710$CB67C49D-5A13-4774-9D37-4C98B0DA557C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6e73a909e6306f9717ba2771b66661d69d787f2","datavalue":{"value":{"text":"Design and verification of long-running transactions in a timed framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q955710$FBC6C36A-903D-41FC-878C-BCFF7B4CE307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62e93f1b66989823af375f579cc1321823048a99","datavalue":{"value":"1170.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$635310C8-F2E4-410B-8709-63B9CA8D0517","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955710$DB05930B-79E5-47A4-A513-AE43A249033B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955710$A9AD6A71-4AE5-456F-B26F-6E08AB5E9FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955710$731E21C6-87D9-4E57-BE22-F306AC079600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24875f9ec8cab93424313cc3583a741f82ef4ce","datavalue":{"value":{"entity-type":"item","numeric-id":418835,"id":"Q418835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955710$B1C9C7E8-C7B5-470E-8F2F-4890CE2876E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955710$6D98D6F1-95E1-4C1D-A3CA-C44911D45924","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q955710$3E7A16E4-E628-43FD-9C88-6C50D37FE1BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$277BFBB8-BB1C-4DD5-B6B6-221F40E0E071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$21E8889F-2DBC-4D13-96FB-D3AC15862A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$8E5F8ECD-FFD8-4D80-B139-EC06B01EF074","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5b1a213c7e6017584691edc6ca21734ca5f7951","datavalue":{"value":"5369878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$20714C66-327B-4F2A-A688-C0ADA536722B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c71c634e4fac61b815fd4218e7bc7e85cc5f3db","datavalue":{"value":"hierarchical timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q955710$E1CB47DF-F8B7-4FF7-B0BF-11BB7DA4E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7368c20a0eaee8902d5b1d578068ac5613c80609","datavalue":{"value":"long-running transactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q955710$73C720DD-2910-4ECA-B8B4-5F6EC52371EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb660cf60e2a4517fff25acf8bc475ab2a70396e","datavalue":{"value":"compensations","type":"string"},"datatype":"string"},"type":"statement","id":"Q955710$C7F7D5F9-1C1D-4C69-9D9F-05A0F1870E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q955710$BBA603DD-05F6-45A7-AC78-39454B15BD2A","rank":"normal"}],"P1463":[{"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":"Q955710$0A493FC5-9368-4B77-B842-A56B7403C73B","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":"Q955710$7053FE37-E5A2-4ED8-8340-C614C4921760","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":"Q955710$15ED4249-8A5E-497D-B442-8CB857A4A80E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22602929f30ee66d1c206e8d499655ad893f6046","datavalue":{"value":"https://doi.org/10.1016/j.scico.2008.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q955710$D10692EC-6144-4897-8FF7-54125D34DE0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"996618732235af53758ed48e953080aebb6660d5","datavalue":{"value":"W2150977952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$49C1D37A-8656-460A-9D85-BEC0B9D6B682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0284bbcbc21e6e169049991cb22f26d67121a86","datavalue":{"value":"10.1016/J.SCICO.2008.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955710$10D43426-C44E-4F6A-9A03-2C88921CC8D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a94caf4a723dc8108e72a72397dfbb5be309ed","datavalue":{"value":{"entity-type":"item","numeric-id":4989486,"id":"Q4989486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714d43159914b0a6ed413c51bd843b14d971bfd4","datavalue":{"value":{"amount":"+0.9269855618476868","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":"Q955710$35462B47-B087-4896-B867-44825D8134FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6672f5cdf3da96a9328956cb12cd7ca9102163","datavalue":{"value":{"entity-type":"item","numeric-id":5709384,"id":"Q5709384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f513edecd776482daa554e4a66536fc6f642c53","datavalue":{"value":{"amount":"+0.8029872179031372","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":"Q955710$3F2DC15B-694E-4848-9604-31CF30105EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8590f948bf6c81bc30a271012ef91ba7ee36edb5","datavalue":{"value":{"entity-type":"item","numeric-id":5902545,"id":"Q5902545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e684ba57f62757a0e351c7e7ba100992fbbb7219","datavalue":{"value":{"amount":"+0.7848308086395264","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":"Q955710$E6C97EB5-692B-4C4A-A0CA-53A4D3D7F921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12395432abe8ead96fdf2181fb1327eb384f050","datavalue":{"value":{"entity-type":"item","numeric-id":5506367,"id":"Q5506367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c458f21fbf39dd7a7fce8dc98eb2b9328e7a0c","datavalue":{"value":{"amount":"+0.782844066619873","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":"Q955710$B32C8B09-4B92-471B-BB74-368367CA6069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbbdcd2f0697611dd68ef514456cab8da760e77","datavalue":{"value":{"entity-type":"item","numeric-id":5740633,"id":"Q5740633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24ff65f370e4b9dc41fb82227bd8e8e7a203db4","datavalue":{"value":{"amount":"+0.7354121804237366","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":"Q955710$B677856E-B142-49E6-AC14-58ABD07F1121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design and verification of long-running transactions in a timed framework","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_and_verification_of_long-running_transactions_in_a_timed_framework"}}}}}