{"entities":{"Q2637258":{"pageid":2648001,"ns":120,"title":"Item:Q2637258","lastrevid":51923366,"modified":"2026-01-20T13:26:43Z","type":"item","id":"Q2637258","labels":{"en":{"language":"en","value":"Formal verification of temporal properties for reduced overhead in grid scientific workflows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256643"}},"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":"Q2637258$6727AA7E-1C21-4987-A8FE-42B8FE8780C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2956d658a018b69e93bde88b29935092f4e5ee24","datavalue":{"value":{"text":"Formal verification of temporal properties for reduced overhead in grid scientific workflows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637258$8FEC3526-D235-457C-A739-77ACD56F9F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2d8ee65322572567985924039c31f7527322ec4","datavalue":{"value":"1280.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637258$25BC2B53-CE29-467A-BF47-4B49A21226C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52463200a3210cf47b617ae908547ffafdc5f20e","datavalue":{"value":{"entity-type":"item","numeric-id":1618658,"id":"Q1618658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$8367E969-95AE-4744-AD62-3EAA3FC25935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6cc4ae5aef721a2d92f62cc8cdc148e3a5ae951","datavalue":{"value":{"entity-type":"item","numeric-id":264413,"id":"Q264413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$6CBC6B8C-6EED-41AB-A482-084FC6120012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3900f1dd72936e9a81983c93c23516017666df8d","datavalue":{"value":{"entity-type":"item","numeric-id":300229,"id":"Q300229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$0E5AA2D8-14C5-4202-9277-E7E5C3E2FA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1315e90d9ed9f52c0f5b197d46de63a366f7504","datavalue":{"value":{"entity-type":"item","numeric-id":2637257,"id":"Q2637257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$284C40B4-075D-4C52-882D-4BF4264219F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41aaa3bb6adfb7ca9db40bf1c64c4b8e7391b21a","datavalue":{"value":{"entity-type":"item","numeric-id":319505,"id":"Q319505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$FFBCD93D-7F1B-437B-8D31-74B52C3ED923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$CB0A5EE0-C42E-49F5-BB8C-67EE52025986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5358adfc8d76e07392e1442ff748721538588ad4","datavalue":{"value":{"time":"+2014-02-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":"Q2637258$E62D37A4-F8BB-4897-9ACD-2CC1CDB0B391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637258$30A9CE37-1436-4695-AC21-143A9DC0E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637258$E86BA1CA-ED60-4076-A14F-9BB087AF348E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee1f171e6904b9840c8c8e91b2ad130cea8d5ba5","datavalue":{"value":"6256643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637258$1686E9DC-78E0-404B-880A-FA842E4057D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef6439dc5c99f7351dc9755f92b75d2057eb4eb","datavalue":{"value":"grid computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637258$6D5684C8-79D9-4181-A4C4-50B0F74BFCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7008bf2bcdef0e7a3adc4de3dc5a487e2f96ca13","datavalue":{"value":"workflow management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637258$A6EE6894-2DDF-4B21-B57F-CA278849A534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637258$D80875B7-C83B-4E23-AC6F-9F40D0C58C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a8e56abd2916c711f71c66b6d9bad2bc92eef7","datavalue":{"value":"state Pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637258$22132D41-94B2-4BE5-8A80-BD4AB47B91B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$CAEDFA1C-0B16-42FD-85F5-33FFC09B35E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65853122bfe69b0351d20902cf31e38e3ddc77a9","datavalue":{"value":{"entity-type":"item","numeric-id":20444,"id":"Q20444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$39821BD4-71B2-40E8-A43F-F1051D62B3CE","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":"Q2637258$3D5BAF71-5962-40CF-9770-6EAB97577273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b352cf25e2404744db5020eac4ff00633550be5c","datavalue":{"value":"https://doi.org/10.1007/s11390-011-1198-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637258$D4E9640A-B390-483C-AE67-ED317D96E762","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d0d18023e118c6a5422977ffa801392e0b79be7","datavalue":{"value":"W2128438161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637258$765150C8-FEC0-416A-B36B-9209F622C519","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d3baed4e88ba2924eeb0884609b9b8de9930d6","datavalue":{"value":{"entity-type":"item","numeric-id":2644410,"id":"Q2644410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$00D995DE-4B24-4B78-8D32-3A8E0101AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$FBD890F6-17BC-4A06-8E9D-7E1C895DF9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637258$171D7BEC-EF55-4674-B3CE-A23E5BB1C474","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efda387fa89f390a68a6039fb19a614e121a6b52","datavalue":{"value":"10.1007/S11390-011-1198-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637258$83BCE4D3-C7B8-469F-805B-261A3B9B1E0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225a7da59d29b98a613162f9a906f329b0193db5","datavalue":{"value":{"entity-type":"item","numeric-id":2644410,"id":"Q2644410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd3daddbd2e8f267120f0f14787a85a10894f38","datavalue":{"value":{"amount":"+0.7395874857902527","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":"Q2637258$B6E3C424-9349-404A-9C5D-80C6BE482362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fa69a0980eeabd2972da2ca4235f77c2d6cbb6","datavalue":{"value":{"entity-type":"item","numeric-id":507759,"id":"Q507759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0393cff758868e2bd31453a04e34120861eeb852","datavalue":{"value":{"amount":"+0.6960726976394653","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":"Q2637258$63DA78BC-AD1D-4FFC-8136-5618C533B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb51feed1464eed916d0ae899b9bc03f33bca360","datavalue":{"value":{"entity-type":"item","numeric-id":5200483,"id":"Q5200483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cd9589af7b58f26b30328f55e620d2d4136d2e","datavalue":{"value":{"amount":"+0.6873324513435364","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":"Q2637258$812E99DB-0BE3-40B4-AC30-01B4528A2941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d8345832f30af4879dd58c959535d44cc2f76d","datavalue":{"value":{"entity-type":"item","numeric-id":2961558,"id":"Q2961558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9261b8c299d8a8744830d43de332f65b1de3f0e9","datavalue":{"value":{"amount":"+0.6765792369842529","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":"Q2637258$495194B0-219A-4188-A9B4-2793BC18F6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11e5ae3dbb6281a837da9b0d3b5443db23c8145","datavalue":{"value":{"entity-type":"item","numeric-id":2441713,"id":"Q2441713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e172af734e336ca6a9c67a4561677d8c241ed7c9","datavalue":{"value":{"amount":"+0.6765631437301636","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":"Q2637258$4D0AA140-916E-45BF-8659-F1F20B172757","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2637258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2637258"}}}}}