{"entities":{"Q674008":{"pageid":675857,"ns":120,"title":"Item:Q674008","lastrevid":63483549,"modified":"2026-04-11T13:28:18Z","type":"item","id":"Q674008","labels":{"en":{"language":"en","value":"On using temporal logic for refinement and compositional verification of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985888"}},"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":"Q674008$6B7D333C-4EFE-4DC4-83BF-1AC51EFF3367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e5b199b3befbb502f0d823c2a4da5364ceee43","datavalue":{"value":{"text":"On using temporal logic for refinement and compositional verification of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674008$BA6D797C-B5A6-448F-A7A7-98CD59145559","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b6fbdcc45bafb0d75f010caf76e96c76f0d8d8f","datavalue":{"value":"0874.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674008$B2BE926C-CA56-4BC7-8E8D-B9065C510839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc4606a3ebe4c3b03b55890405187f8d823ed5d","datavalue":{"value":"10.1016/0304-3975(94)00206-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674008$712A3C07-BF69-4A32-A656-292051FF0432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40625566bbc3447ecf3e09eb5189acbafbffbc7e","datavalue":{"value":{"entity-type":"item","numeric-id":674006,"id":"Q674006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$A1468500-E2C5-45F8-A476-EDD9B9AD5E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$7B9C2663-9B32-4CBF-9ECF-10D5A9B3D868","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":"Q674008$EF47893A-8BE0-4E17-9D40-42CD3CEF179B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q674008$05B33ED4-7E1F-46AD-A55E-3435CDECD667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674008$5C6709E1-8CCC-4FC5-9ADE-F1CB50BE57FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1db5531237a047aa1763c3c8a0366517488d2a8","datavalue":{"value":"985888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674008$5831AAAF-0DCA-4B5D-ACFA-34EAA69E9169","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q674008$6F83F0A8-001D-47DD-AC0A-76DECD9F61E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67f9b074ff4b1f550383886e54298457ac69cc7","datavalue":{"value":"temporal logic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q674008$D2CFFA86-2C4B-4E63-8712-0CFC9FF53AE3","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":"Q674008$F216D573-E5E5-486E-8AC2-5BE6D1C36803","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$0EDFF298-D533-441F-8168-C26675BA980B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833161313161c3723ccbbc15c3a12d4e69a54f46","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$FED7DB58-EAB3-48FB-A0F7-90CA02BC45F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3a418fbaddcafed1884dac6bf4b839b94ad4db","datavalue":{"value":{"entity-type":"item","numeric-id":754637,"id":"Q754637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$48774201-3CA9-49C9-92C6-08D99E776192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$BBA0A2D1-AEF3-4BDD-AE58-96241E34BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7919eed50aa7e0862444199698a05262d0b45b91","datavalue":{"value":{"entity-type":"item","numeric-id":3763581,"id":"Q3763581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$BB27B730-4969-43B4-A105-A8E25BB4CE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$DD26FFFD-06B3-4253-A210-CF81EE1BCC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$2F06F3A2-D442-4E86-A8C5-DAA6A322DB53","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":"Q674008$20EAF720-F93E-4183-8985-9C2D52C5B91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020a8d9692c597ea4b1a6dc1c4e3ecbbeeb0da1e","datavalue":{"value":{"entity-type":"item","numeric-id":4518435,"id":"Q4518435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$BE178489-E079-4E24-A5B4-3DC88DEB3263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$4733B80E-E14B-4948-8C95-CA2CD0668B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5410069e8abd75acf0c4dc99bb1a84758ddd17bf","datavalue":{"value":{"entity-type":"item","numeric-id":4187287,"id":"Q4187287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$6A2D403D-87DD-4ACA-8AB7-22585BA1DEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$35354A57-5AC9-425B-AA04-DE0D27AF34FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6677ff68ddafeb7a383b19df7a9fd04197d4eef","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$F82BFD8A-3866-4F1C-90D2-A44C9F7322F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674008$4163576A-29CC-495C-9234-608B221298B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45669f9aabecc614972cc964372f18a57223f4ca","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00206-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q674008$1B7A5B7D-7FEA-48B4-A2DC-29C7434EFBE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"809440ebe9e6096ec0e2cea152e2fe0ca464ddd1","datavalue":{"value":"W2076889468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674008$F48871BB-AC43-403C-AE68-3FF872185B6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8724dfa93bedce383aa0daa85e046c21965a4570","datavalue":{"value":{"entity-type":"item","numeric-id":4518435,"id":"Q4518435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1162c742c544c35be6fb71af02e20c33527042a5","datavalue":{"value":{"amount":"+0.9032874703407288","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":"Q674008$7A9484E2-C60B-459B-8F13-61F195AA6B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e01841c5aaee7439fb985d58027be7ac70fb","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b52a346b8eb731250f3a3efeb1c487cabea02f","datavalue":{"value":{"amount":"+0.8483599424362183","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":"Q674008$A25269F0-1D29-44D4-A04B-A1C10D5F5EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61f9d65540f1d0e3a632fa363ff64ddcfd48f5b","datavalue":{"value":{"amount":"+0.8190498352050781","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":"Q674008$0ADDE149-022C-4562-AE1E-5FC88F43C5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74762df50c30cf5e6f6a1b2fa1a25df43b1cfcc0","datavalue":{"value":{"entity-type":"item","numeric-id":4353628,"id":"Q4353628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b92ebba4decfd73ab8701e4021b011fc3549eec","datavalue":{"value":{"amount":"+0.8130152225494385","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":"Q674008$4D97E062-7D7C-445F-90D1-59FC28149FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0c5e17199ea4ca71a2528218a862e7ec9adda7","datavalue":{"value":{"entity-type":"item","numeric-id":4338866,"id":"Q4338866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00294a603ea4fc0b2a9c2dbc1faa6a6e5641e0c","datavalue":{"value":{"amount":"+0.7923293709754944","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":"Q674008$57651075-6F63-442A-94FD-2FA0B2535D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On using temporal logic for refinement and compositional verification of concurrent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_using_temporal_logic_for_refinement_and_compositional_verification_of_concurrent_systems"}}}}}