{"entities":{"Q858908":{"pageid":860756,"ns":120,"title":"Item:Q858908","lastrevid":77787104,"modified":"2026-05-06T10:03:22Z","type":"item","id":"Q858908","labels":{"en":{"language":"en","value":"Procedures and parameters in the real-time program refinement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5115479"}},"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":"Q858908$B3B21BC6-54AF-4722-B910-C438C53216ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615988d141cbbc80a14b66a8e866372139fafae4","datavalue":{"value":{"text":"Procedures and parameters in the real-time program refinement calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q858908$4353A902-5318-4638-AB50-5EE685344500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d51a540611a60f65f4145a352eaff7d5e65b286","datavalue":{"value":"1178.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q858908$B44C7922-0BD0-4659-93C8-BDB77E0D3B1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q858908$1319EA1E-1E66-454A-B474-E8E6135C46F6","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":"Q858908$51E24C80-C732-434A-8654-4558A0690B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e2bf25ad524fc43d672bc2587bd535911f4f3f0","datavalue":{"value":{"time":"+2007-01-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":"Q858908$F6D3CA2B-8B1B-4D37-8EE8-2D3EAE05DE63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q858908$8AA75A3A-7ACF-4F4E-8992-DA212DA1490C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5545cd1fd04181022008adcfff4cccca071b5a1f","datavalue":{"value":"5115479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q858908$2FDE1991-1D52-45FA-A231-486B879D34C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$3272E578-2DFB-49C8-A7E5-971C250E9DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$67E975C5-18EF-49EC-BD47-1252F1846912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3b572bd892b2622817e6c73e89f06227fcfcbb","datavalue":{"value":"real-time programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$3705973D-8454-4826-9B87-832F7403E28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$C38833EF-61EC-4AA9-A40A-263D662505BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ac0a0affeda64c34f0fac4c056afa6d5063f80","datavalue":{"value":"machine independent","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$C3C17549-538F-453D-B72B-D92518FC411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe003aff5e70e8b5f0d4c004aa1be5a4195153a","datavalue":{"value":"platform independent","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$96C24906-A81C-4D2C-852E-2D68AC0BFC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4289e523c968275011f07b0ddb3e2dca16831f0b","datavalue":{"value":"auxiliary variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$8EE58FBE-3CDC-4425-99E9-8FC8CFFC6B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59fd887a70548435aeb69fd27fc45a953c8471af","datavalue":{"value":"auxiliary parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$B74FEBAF-4722-4FC0-8CED-8D02B09E037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c019636d603acdd3d851350cb14feafea63adc8a","datavalue":{"value":"deadlines","type":"string"},"datatype":"string"},"type":"statement","id":"Q858908$559B13E6-FBE4-4E03-B2E7-4DB36A33500D","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":"Q858908$8CFF4C4B-F5BA-4842-9C50-5DB4BFB307CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bbb2028557d02f883bc70e3c0b3ce2c083944c3","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q858908$8CDED9C4-0400-4670-B6A7-4AB1E88DD54C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c09d664d9fa4e49dad7b5812e5e142aedde234f","datavalue":{"value":"W1999441534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q858908$CB453DDD-D7E5-4401-97C0-6468FF243BBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c13af15aa28f713fe602665caeb583629f62c427","datavalue":{"value":"10.1016/J.SCICO.2006.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q858908$8F936F44-F9CC-4C98-BD88-FF473F3A9864","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2e886a8e81f37cefd0585c58652d99bb490acf","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13e763f84b98d83a5ca0599db87e83639053509","datavalue":{"value":{"amount":"+0.8859150409698486","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":"Q858908$C92C3E00-7032-446D-8142-0A04D073A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edc66d0a68825b409aa6bb830be19897bcd4181","datavalue":{"value":{"entity-type":"item","numeric-id":2766649,"id":"Q2766649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13e763f84b98d83a5ca0599db87e83639053509","datavalue":{"value":{"amount":"+0.8859150409698486","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":"Q858908$DE1299F9-C7FD-42E5-AE61-C48BF4E941B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dd76e0879cc8ae2814ab56d990e5a9ef997b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3045250,"id":"Q3045250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff450e7f166dd2b21fec719441751dda6fbd574","datavalue":{"value":{"amount":"+0.8827451467514038","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":"Q858908$9BDE071F-DB0D-4D68-92A7-164FBFDA7126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f99c6abd86ee78b4ee3550770894ab574c5dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4412515,"id":"Q4412515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401d32a81bc107a4c2a09931fd89eca993801a3d","datavalue":{"value":{"amount":"+0.8338872790336609","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":"Q858908$13A5DDBC-D35C-495C-BFB4-9527F5BEFFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e08046a39bdebe032df12315f6f8871bc3a4f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815342,"id":"Q1815342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7226c9e77cd031ec45559821e9c975a9643ffa2c","datavalue":{"value":{"amount":"+0.8338871002197266","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":"Q858908$BD34A6D2-D7A7-43F0-8A68-148F2F83DBF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Procedures and parameters in the real-time program refinement calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Procedures_and_parameters_in_the_real-time_program_refinement_calculus"}}}}}