{"entities":{"Q5890049":{"pageid":7919599,"ns":120,"title":"Item:Q5890049","lastrevid":47845333,"modified":"2026-01-02T20:54:54Z","type":"item","id":"Q5890049","labels":{"en":{"language":"en","value":"A predicative semantics for the refinement of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680642"}},"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":"Q5890049$9553F94D-BE35-435E-B660-C848EDCDE068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45525f6ff29a3be06ef75ca2d6391282dde07d56","datavalue":{"value":{"text":"A predicative semantics for the refinement of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890049$2730ED2B-E2F1-4D12-9684-2E33906B160C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ead986bf311627db69ccf2c5f4fbb348b487f6e","datavalue":{"value":"10.1007/3-540-58027-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890049$111720EB-38F9-4105-9ADE-35477286844C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaba274761d641033c5366f150e7046109eb456a","datavalue":{"value":{"entity-type":"item","numeric-id":716294,"id":"Q716294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$040001B4-C54B-4044-94A8-AE51CA7E4229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9cdcc9d8e785a3c138557af363711b767e822d","datavalue":{"value":{"entity-type":"item","numeric-id":911321,"id":"Q911321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$7F2F7341-63E2-4831-BC7D-469CE48C07C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"598573a1a110400355ee020d90c393bba0b6f0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1331922,"id":"Q1331922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$1CF593AB-A801-4CAE-B4DC-EAE61A52E34A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$6E7C6BB2-B648-4F3E-B414-32BE4D53C166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890049$0D7BC66A-B0C5-49D2-B1D5-96818A10FDE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890049$E56BA639-B35F-4647-BBAE-D08095AB96E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890049$35F24E30-0132-4181-A789-2466380FD51A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e82ed6b4a330bbd3a2f3f432c0c5b9b941b76b83","datavalue":{"value":"7680642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890049$3D79A2FC-0B13-4A5C-AFA7-4C1E4881EDAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4197c2138bcd9ed69790046b97776c17f0305d","datavalue":{"value":"release time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890049$D0D59CA8-D415-4E67-9A8E-AA94D0A9D217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4481517714437ff63c836d4b49f0e1b5127461c1","datavalue":{"value":"proof obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890049$96F2FEB6-4FDB-4AF0-9859-A9392604F955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e18aa3cd1221849b0fa5b9c76d737a201a45bf","datavalue":{"value":"concrete syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890049$1EF6EE6A-595C-4BCC-A58E-3EB40C0C276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49028d0a2b2a72aa56b1eee8007ab5e8da591834","datavalue":{"value":"schedulability test","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890049$EDF50661-E095-46E9-AC6E-3B11687A8217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0cf3dab37b8602fecbcb91d4d62994094aff03","datavalue":{"value":"variable symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890049$ACD9DEF0-6DEA-42A0-BDAD-4753B18BE1E7","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":"Q5890049$2BA781DE-BBEF-4EE6-A33C-70D56F32B7C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a0faa889328d3dbdb5b8f81b006e52fb8a840fa","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890049$391ECF33-F273-47CD-B6E6-C48EE08F580D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d641b8ca5386ae115a549225b7ba259ee20eb65","datavalue":{"value":"W1554878687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890049$AEF68FF2-CC6E-4B9D-9C82-A466EE21E4A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3877a1f64445e2be38ffa92491ece3830dcf80","datavalue":{"value":{"entity-type":"item","numeric-id":916409,"id":"Q916409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$89281D72-727A-4385-ACEC-7F1A80D4F7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$C0C926B1-E9F5-4DB2-B8C5-4F97EC34328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$E973D62B-8F7B-4BE2-930D-53EFAEE60CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85af0a40d50f2dbf634bea0ee496c44d8f4be66","datavalue":{"value":{"entity-type":"item","numeric-id":3925868,"id":"Q3925868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890049$6CE06C94-DA5D-48D2-854A-86F4B1C1FBB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb15dbe19849588caeb895716de1ff3c5a04ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1360e0332530f82ce0b9647df852720ca7a122d8","datavalue":{"value":{"amount":"+0.925651788711548","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":"Q5890049$AF437FE6-8232-4424-B575-6D298815D22F","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":"44edf05ba5a1ec1e4e588181aea1df93f323a1b0","datavalue":{"value":{"amount":"+0.8918915390968323","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":"Q5890049$FDBE0C13-FC5C-4B87-B7BE-EECA1CD49F88","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":"af88cab44cef326150b653457e15e4346a42d09a","datavalue":{"value":{"amount":"+0.8538869023323059","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":"Q5890049$4CE1D11E-A071-4DC7-A902-337CF8EE14EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f762ea600b2be39e74017eaa99e0246aa3940f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4534707,"id":"Q4534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0aca9363a378b2ec6078f39928f2c14570f2a89","datavalue":{"value":{"amount":"+0.8538868427276611","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":"Q5890049$FD8C9F3A-8B6B-48FA-9150-6587F7B591B8","rank":"normal"},{"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":"5ffd54fb99111da54a3f14ce7a98fe01ab5e379d","datavalue":{"value":{"amount":"+0.8449270129203796","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":"Q5890049$0683B6B4-8CE0-4928-921D-BBA9612348E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890049"}}}}}