{"entities":{"Q1815342":{"pageid":1826084,"ns":120,"title":"Item:Q1815342","lastrevid":69032334,"modified":"2026-04-13T03:51:52Z","type":"item","id":"Q1815342","labels":{"en":{"language":"en","value":"Real-time refinement in Manna and Pnueli's temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943662"}},"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":"Q1815342$9A4AA7D1-A0A1-454A-AD23-7094003A56C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b30498af779e6ea00a5ef31f602aac85060b6eb1","datavalue":{"value":{"text":"Real-time refinement in Manna and Pnueli's temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815342$33A8D40C-DD55-4620-824C-D847FE84729E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4e61844de3b855e871b4be426617d0ad19c0053","datavalue":{"value":"0857.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815342$CBA4CC99-B26A-46E8-8188-25DE0811D0C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b7179feb2d0068556cc65771e0587db29e4eccd","datavalue":{"value":"10.1007/BF01213532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815342$B74CA65B-6FFB-41F0-B8AE-EE1B6BC48B2D","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":"Q1815342$077DFA03-AC5A-4B9B-9BB2-39C845DE4FF8","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":"Q1815342$7262E5D2-62D5-4670-8821-A0799D8A047B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a57270832a5fa2aef2c433a8fb31702b3e548c","datavalue":{"value":{"time":"+1996-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815342$5BDC1017-6E1C-44AE-ACF1-8E860F32B908","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815342$E98A8DA2-EF31-4062-97E3-B9CF7AB61245","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce74b1c5693f93b41aaced01ea054f2b9b64456d","datavalue":{"value":"943662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815342$73D4E2EA-D2F0-408E-8FD1-CBE0A7D00997","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6735da0b15f579f4a28c8daf78d9271ba9b75ff","datavalue":{"value":"temporal agent model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815342$18C544E7-6F82-40E5-B615-7636C2BF4E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815342$59B0737A-ACBB-47C4-BCF6-222617399C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815342$4381EF39-25FE-4252-92DA-56906611CCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944d43a4fc3549012646c833621cb32b051c8a94","datavalue":{"value":"TAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815342$989F3551-6F13-4F15-BC5D-99B65442F119","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":"Q1815342$13ADE990-715F-4CC5-B6C3-3F9C62A685B3","rank":"normal"}],"P223":[{"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":"Q1815342$654FC3D9-506E-430E-8BCB-3C3E25A9102C","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":"Q1815342$3498D5D4-CABD-4C4A-A387-5E2479D441E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6e8044e1ce25d903b208ba71585994bb6de082","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815342$9D53A62E-1A92-4C1D-AD9C-FB5EE8AB6A41","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":"Q1815342$4135EDA2-7035-4417-892E-78BAFB431667","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":"Q1815342$DBA91211-38BE-4F35-9C2C-B0EF03193F3A","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":"Q1815342$8E02A7CA-9F9F-485C-863B-5AA0A2438D4B","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":"Q1815342$8DEC265D-2661-4F5B-9E2D-24CDA1DDABBB","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":"Q1815342$9FCAC249-5BC3-470C-A86D-7999EE0F1E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815342$11C389C9-E048-46C0-BD5B-A080346A3BD9","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":"Q1815342$62CE385B-A84B-4254-B443-C78D72EB518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949e790961c3e16a147fe269e6af37ded7bb7e20","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815342$B62B9134-D51F-4675-B37C-C4B224E105DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815342$F1504A9E-C4C5-4E33-A119-D6C74B5F193B","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":"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":"Q1815342$89B08B99-713B-41F9-AC4D-46BD9595B557","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":"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":"Q1815342$3EF3E69A-E756-4104-8182-0F7E1D9D2241","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":"e3efe6d58418c5b4fc4c5a5b13dd6c4c24513570","datavalue":{"value":{"amount":"+0.8730160593986511","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":"Q1815342$D40ABD1E-ACB0-43EE-848D-8AC929650AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1654cd2fa4b38f24b063ba188fb83fbe421dd40d","datavalue":{"value":{"entity-type":"item","numeric-id":4798476,"id":"Q4798476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2138cd384300a15ed041ee44e9ed92b74f762409","datavalue":{"value":{"amount":"+0.8377463817596436","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":"Q1815342$D7D5C285-4934-45B4-87C1-FE95883E0B90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real-time refinement in Manna and Pnueli's temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real-time_refinement_in_Manna_and_Pnueli%27s_temporal_logic"}}}}}