{"entities":{"Q1331923":{"pageid":1342673,"ns":120,"title":"Item:Q1331923","lastrevid":70733547,"modified":"2026-04-13T16:24:03Z","type":"item","id":"Q1331923","labels":{"en":{"language":"en","value":"A specification-oriented semantics for the refinement of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626276"}},"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":"Q1331923$6E4D1D28-D0B3-4A7B-A290-6DE728F068CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29a9bf0c33292b903b033c73ecaace414b6368a7","datavalue":{"value":{"text":"A specification-oriented semantics for the refinement of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331923$B39C6744-D88A-4886-8D62-FEB0E5FD8098","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"524be91d41cccc179f9aaa4ab3d97f2cdb4a2aca","datavalue":{"value":"0820.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331923$8C9317E9-07AE-44D3-8FD8-5D256852D6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64998e411004bd82f580c87dca486788a35ef83a","datavalue":{"value":"10.1016/0304-3975(94)90096-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331923$EE6D0F0E-7C40-4636-B73B-ADF94BB6F81A","rank":"normal"}],"P16":[{"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":"Q1331923$AB894A6E-A30E-4246-825A-6F0593A246E0","rank":"normal"},{"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":"Q1331923$0C5E84D0-ACFF-4C76-9926-CEA57E3279D6","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":"Q1331923$896496A9-2F4E-423E-B194-1FBF17B78F2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$4B6D77BC-ED1B-495E-A8C5-F7A974F2B2C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12c17d7316137b5457243cfe10f00c4bb5a56573","datavalue":{"value":{"time":"+1994-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1331923$17ACB2AC-5FD9-44E6-9CDB-D1C057504FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331923$D7115920-DDBC-46DA-8EAF-CC621677595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331923$1DECD396-768A-4725-AAF5-87FDF29735DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fddf1e1c535585781e7841ee02f5feac9977a0bc","datavalue":{"value":"626276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331923$0A58CF5C-D459-4D43-B6E2-005E6E212917","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331923$847C31FD-853D-45EA-8DDB-5F344B58E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6735da0b15f579f4a28c8daf78d9271ba9b75ff","datavalue":{"value":"temporal agent model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331923$17EC8A08-8F46-49F9-A111-1A1333A3A114","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b166955cf57ee450c8c1e026466716f5162b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":42205,"id":"Q42205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$389CC12E-F50E-403B-B5CE-4D9FE81FF7F5","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":"Q1331923$5714FB22-A74B-4F4F-9E8B-32C3DB6ED604","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f55f95a5915076193325051cb8294abbe3014a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90096-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1331923$BFA5165C-874A-4AAD-985F-687EC0A4E0B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"818a2d35c0c5d2a85cb785d60dee973488194b47","datavalue":{"value":"W2061158135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331923$5015F236-FD5A-4363-90EC-145845A16109","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c4b542989d9704ab4a5cd1b6fe32ada1c0913e","datavalue":{"value":{"entity-type":"item","numeric-id":1603434,"id":"Q1603434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$A9919C1A-910B-47C0-A028-9B33CB05BB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$C29A1963-7374-4B0E-80B9-E0B1C629133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$8CAABDCA-FF16-4B03-9398-55C92096805D","rank":"normal"},{"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":"Q1331923$13A87D4D-46D3-4AB9-A92F-FDCD0710382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab093a96ade3491ae9b52c95def4a12e402a98e","datavalue":{"value":{"entity-type":"item","numeric-id":1062444,"id":"Q1062444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$1AD43828-7824-40FC-A9D8-5CA3B040B718","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":"Q1331923$514D7447-8636-413E-B0C7-3433B8368D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$45CADF49-B3D6-4E8B-A26A-ED855E914AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855be14fb53cf1655d81fe8552b83c8c97789269","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$0BE50277-C875-465E-AC78-7BA17322DE68","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":"Q1331923$4BA79968-E500-403D-BC68-393A0D51AC23","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":"Q1331923$83150E66-985F-424A-823F-94DE68CDFE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7c13dab0f2d311a0faf57c4f2c5df8edc60ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1195491,"id":"Q1195491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331923$0D3D90E3-1AFE-4AFA-A68D-624CF453F4F7","rank":"normal"}],"P1643":[{"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":"57ac06b72f9b2ff9a028a719dc5ef5606c74e2ad","datavalue":{"value":{"amount":"+0.9402871131896972","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":"Q1331923$679AFE27-3502-423B-875E-99579D523492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b98918d6f1d236fa8d7ebafdbd3c0eb39952a11","datavalue":{"value":{"entity-type":"item","numeric-id":5890049,"id":"Q5890049"},"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":"Q1331923$FE34F23D-E2C8-4F13-9709-6D6735DA436D","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":"a8f1c5f6a924063fbd1a9223cae43b6ee3755daa","datavalue":{"value":{"amount":"+0.8849965929985046","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":"Q1331923$CA517786-EAF4-4223-A51D-C103BC2C70DB","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":"dff572f02197f2487e8a78fe91e8c9b3597c46f4","datavalue":{"value":{"amount":"+0.8541462421417236","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":"Q1331923$FA8529E4-E2D0-4DE6-934A-155A7A7E5A1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A specification-oriented semantics for the refinement of real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_specification-oriented_semantics_for_the_refinement_of_real-time_systems"}}}}}