{"entities":{"Q6535947":{"pageid":14147090,"ns":120,"title":"Item:Q6535947","lastrevid":55604941,"modified":"2026-02-17T19:35:55Z","type":"item","id":"Q6535947","labels":{"en":{"language":"en","value":"A parametric rely-guarantee reasoning framework for concurrent reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817371"}},"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":"Q6535947$F2D48867-BFB3-44F6-AAB7-5BEC59DB46AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"352d5ecfe98d9413ccc0f53b5fd77285621d51f9","datavalue":{"value":{"text":"A parametric rely-guarantee reasoning framework for concurrent reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535947$690E8B5D-D6C5-4F26-974D-5F70A7EA50CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65f87142bb9e5d65d96e8151434795a0967511df","datavalue":{"value":"1539.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535947$23238338-488F-4608-8E53-76FD1635015D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87af177ac4da8e5301982a70113f9f80311fb85d","datavalue":{"value":"10.1007/978-3-030-30942-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535947$5CAB5932-D278-42DD-8E27-CB609D47D785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20d3a04f61981f60aecf35de06919ba33f717c4","datavalue":{"value":{"entity-type":"item","numeric-id":488397,"id":"Q488397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$B81CF515-72C4-416D-9EB4-E45D2CC5FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a952aaaf69ec7d1e12fb25db578dd88a813b537","datavalue":{"value":{"entity-type":"item","numeric-id":835782,"id":"Q835782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$D7C68B57-57D2-4301-886A-2FC6745B7AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ec4b15df2542014efabb8782cbe6dee55cf66b","datavalue":{"value":{"entity-type":"item","numeric-id":2024369,"id":"Q2024369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$297D6188-1694-4A67-89BB-1D3DA6CB0C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$339CBE73-3AAE-422C-BC26-5E103B0EED73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535947$86F99677-C28D-4EFE-AA91-BAD53BDB3EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535947$E35EF427-8783-4B83-A5C0-F56D43B8D38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535947$969680A7-B15C-43C8-8A93-3CB1FA997981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e95848f2c52242faee6aae7d9a85e8cb609610","datavalue":{"value":"7817371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535947$62B85874-9AA6-4153-B8B5-75982E2DDABE","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":"Q6535947$DF8F2618-B020-4980-B9B5-D0A04B4105FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7b9da18e16cd970511c07ad5cdb803278d984","datavalue":{"value":{"entity-type":"item","numeric-id":5294155,"id":"Q5294155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$D316B213-6E2D-498F-88A6-0A75A6E180FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$30032D15-1DF9-4524-8612-C0FD50828E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2ad74d59ba7f7f79caac5dc6c1697e36f2ed64","datavalue":{"value":{"entity-type":"item","numeric-id":1918935,"id":"Q1918935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$62C71041-EF83-40BF-95C5-B3148E5EE644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88a57b571aad5fe61522ac3c79104b3b56da86a","datavalue":{"value":{"entity-type":"item","numeric-id":1293883,"id":"Q1293883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$8B5AA2BB-D03B-4635-838E-008C2CF53BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c3aaf9f1dbb79e1fb178ea20ee6d383e3a41a9","datavalue":{"value":{"entity-type":"item","numeric-id":4417819,"id":"Q4417819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$7FABD817-0493-4455-B28A-4E21EDF1CF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$2EC8868F-FE19-4D27-A0DC-ED868DE6FF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309e188ad760a88b4574ef759d6e2cb79dca59b5","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$4A045757-3332-42B7-86B4-DD7B32B85469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8b9acf5c0941429f9d82771001b6bfd7ff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2281642,"id":"Q2281642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$E4748C15-8182-46AF-A0B6-F0306E837D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$809AA917-60D0-4C6D-AB4A-16A1C7A5D017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cc2e5d04fda1757aaac285be5ea8feb9004592","datavalue":{"value":{"entity-type":"item","numeric-id":2942895,"id":"Q2942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$9FC4414C-A825-4A35-B71E-647FD26BBD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c3e9d2aaa3b076c04e44188e92a5a39a71ffde","datavalue":{"value":{"entity-type":"item","numeric-id":4916056,"id":"Q4916056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$2881BB8C-2D78-4B1C-B002-F3F58BD1ADD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$695F8ACD-B1C8-425B-B883-28B4E730C91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ef9fab9931aeafd0d3a3ca39a098e120e3a610","datavalue":{"value":{"entity-type":"item","numeric-id":3303910,"id":"Q3303910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$9BCFDED1-19B2-474A-AA89-D80324081D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa80dfc69cb7be6c303c7e26d95ab3fd5950e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$CCBA1843-4EA5-4C7E-BEF2-96365E06F5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535947$B19CAB1B-EF10-4AA1-9458-53C91CCEA84E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b31e5b56cdb4b1672f35d0fc7eb95fa54be027a","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3de45efa08c1864c33515632d1c102029f158df","datavalue":{"value":{"amount":"+0.7509447932243347","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":"Q6535947$B83B87A4-7A40-4EA2-B0DB-F60E7DA21280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f80d538e67f3d4c92128b15b3e62ad8bdce68e","datavalue":{"value":{"amount":"+0.7266799807548523","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":"Q6535947$92303D53-2491-4089-B8D8-45FBF0085E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4dfca60695c7eeed0eb1a816bdfbb03fb604b","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c30d2abe19a3122a2c3d3f0eee32da9e0716e2","datavalue":{"value":{"amount":"+0.7250055074691772","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":"Q6535947$B655B0C2-6BBD-4841-BB44-B49EE6F0BEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f3b7cd8ee4334fbdc2f1a186f3bf0cf6ffb12","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467be019af326c947c5801c9679d601ec52135d6","datavalue":{"value":{"amount":"+0.7233667373657227","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":"Q6535947$6827EB68-0224-46F7-A9C0-43845DCD7712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db81411044f214ee03f51cdaf724783f5e47df87","datavalue":{"value":{"entity-type":"item","numeric-id":6535633,"id":"Q6535633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18791f427fb79e22cc5671c5dccd675cfcbdb48","datavalue":{"value":{"amount":"+0.7171338200569153","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":"Q6535947$CB0E718D-763D-46FB-A8D0-D699006479D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535947"}}}}}