{"entities":{"Q2481207":{"pageid":2491950,"ns":120,"title":"Item:Q2481207","lastrevid":73333863,"modified":"2026-04-14T15:28:32Z","type":"item","id":"Q2481207","labels":{"en":{"language":"en","value":"Streamlining progress-based derivations of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5261532"}},"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":"Q2481207$1CF60D1F-0310-4E54-92AB-269864F15F51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"298adddd7f66dbe0bd1e716a2d1283152fe73a99","datavalue":{"value":{"text":"Streamlining progress-based derivations of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481207$DF4DD3A7-6DE8-47D2-B863-1B7E28EC07AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6783eafe6ea72d0ec7f101a76bc53bc5c5445bc","datavalue":{"value":"1141.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481207$F7DA461A-290D-4F52-BF85-1B2CA90C52AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$845DDC7F-A26F-474C-AB2B-138846B97BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4949bfe7f241ceec9481e901cd77fa06baaaab72","datavalue":{"value":{"entity-type":"item","numeric-id":736455,"id":"Q736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$931DBC5A-F757-437F-BAE0-4CF0DC881DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$B25B7A6A-7E8D-4791-A9CC-143BD19B03F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edcb7406af4ccdd87408073788784b63fbc742a2","datavalue":{"value":{"time":"+2008-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481207$8DA0052C-AD7D-4F92-A3F3-63A23F743623","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b0909f436a7e2ab7e6bc917579bfe76ea7e37c2","datavalue":{"value":"https://espace.library.uq.edu.au/view/UQ:7824/attachcover.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481207$D7C5546F-8F4A-4051-8E2E-BA0908A0CBC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481207$5D0F11FB-0C7B-4913-911C-FECAC4CE13BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481207$603CA95D-34A4-42EC-B339-38E3BA81F4EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad40f4de1eac37450d13b85305305165f4cd400c","datavalue":{"value":"5261532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481207$AD9411D5-59F9-4059-9409-245E35955FD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544163769c479a605c004ff63fe92c499d6df37f","datavalue":{"value":"Concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481207$BB2FA851-2007-414F-AB86-6E80A44EADFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37616e191017b2546df696a6a28952646a27607","datavalue":{"value":"Mathematical techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481207$3431AA8C-5850-4EFE-8F9E-CF9F2936214E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690bf2527396c5365464a2f5c7cf7ed252dbfad1","datavalue":{"value":"Program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481207$FEB7D54A-0B4A-440C-8C51-C32148704CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7272bf9b7793b0da52e4ca27a1d8f5319b8e2e9c","datavalue":{"value":"Progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481207$1B38EA81-2FA6-4A58-BC4F-D4BAA384E1AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$95C73B4F-DD7C-4195-949F-9938F2F40CA4","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":"Q2481207$86DDD92C-37D0-4E96-AD05-D67D87670000","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"415b6c706eec208bc6a0d1fb296680983dbe9e6f","datavalue":{"value":"W2068520368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481207$939C91B8-9073-4420-B68D-56B9A9A4B054","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8858812cbf05af136502f46be7f427f4a22130","datavalue":{"value":{"entity-type":"item","numeric-id":2943768,"id":"Q2943768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$57E3ED82-8D32-44BA-8599-04541160282F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$04659EBC-9477-4285-94B9-FBA614DCE751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1446921ca66af9cf74808b58adb43d57d2d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5310653,"id":"Q5310653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$2791C923-A5C0-4087-988F-806620AB1671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$E0FE4043-F96D-4ACC-BA09-57115082580D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f3c01ce240e547a74626486147f932152fd36","datavalue":{"value":{"entity-type":"item","numeric-id":3618819,"id":"Q3618819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$8FE8D848-5327-4C0F-B4EA-9334DFF53F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacbf51de93374262c0fa3e0c7807f350477bc90","datavalue":{"value":{"entity-type":"item","numeric-id":4258224,"id":"Q4258224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$57FDDF7C-D783-4515-B49F-730471BB7A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$95677A9F-6914-468D-944F-F300A8771B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481207$B5B96402-E3A0-4DE4-AA9B-E0A62B6DB5EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41e68cbf8da20e3d5ac07bd527ad860ea37d33aa","datavalue":{"value":"10.1007/S00165-007-0037-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481207$9EF53B58-6C94-4298-9802-4710B847DE05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbe4357032cb0663fd440db1db2e334c69eb58b","datavalue":{"value":{"entity-type":"item","numeric-id":3618819,"id":"Q3618819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c974b36f12e2b7b5c9a91dd8466cad83fa9a893","datavalue":{"value":{"amount":"+0.8203499913215637","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":"Q2481207$7BD9799B-6A22-48CF-A283-FE7D14A71A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85feb6d72bacd0346d3f76ac1d9e4a39005e0079","datavalue":{"value":{"entity-type":"item","numeric-id":5310653,"id":"Q5310653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb456ee8c60eb4e356dc66ae87ceaae82d1a845e","datavalue":{"value":{"amount":"+0.7722949981689453","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":"Q2481207$C536F593-546B-471D-A8D8-B789391A0D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83df204fba48b96d25944b421a5b581e31a5c93","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4db84db9e3b31241a4a754ee29815c772b0dd8","datavalue":{"value":{"amount":"+0.7423414587974548","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":"Q2481207$40E4A9F7-57BA-4B7C-841D-8F3535767DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec691ca6b94f8362541f7a20d08563e9b7b24d68","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5afb7e0778e9bfed574bc6c638656a2de81351","datavalue":{"value":{"amount":"+0.7381543517112732","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":"Q2481207$2D89D4B2-FC9D-44EA-AF05-720C41DEA3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f1a25686d91e22c8675c85f41b5bb02d2d63f0","datavalue":{"value":{"entity-type":"item","numeric-id":1199832,"id":"Q1199832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d17e873828483f2a13ed3a616d3193eaaf0fdb2","datavalue":{"value":{"amount":"+0.738110363483429","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":"Q2481207$8F824C92-9BD4-4B59-B004-97078C4B099D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Streamlining progress-based derivations of concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Streamlining_progress-based_derivations_of_concurrent_programs"}}}}}