{"entities":{"Q609530":{"pageid":611306,"ns":120,"title":"Item:Q609530","lastrevid":63272184,"modified":"2026-04-11T11:45:29Z","type":"item","id":"Q609530","labels":{"en":{"language":"en","value":"Compositional analysis for linear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5821984"}},"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":"Q609530$FEA07F3B-DD87-4A82-A474-BA2470C02150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b1d91e83b4a79f67d56d0e1be8180f43add43aa","datavalue":{"value":{"text":"Compositional analysis for linear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609530$C2C147E9-FD7E-419A-B67C-EABFF81DA12D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dac10b5fcbe0f540f7286c35badcd9bd7613cbd7","datavalue":{"value":"1205.93068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$B33C2A7E-E084-4438-B9FF-2471BFCC069F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0de0b266b36e772f1460be43fe0d31b41e341916","datavalue":{"value":{"entity-type":"item","numeric-id":609529,"id":"Q609529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$B9CB2C6B-003C-4499-BD2F-F503694E6955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa4aa245e6d6101c3c2e3052787e445531a56c7","datavalue":{"value":{"entity-type":"item","numeric-id":592320,"id":"Q592320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$DE1F8EA8-C65C-4A81-968A-C423BFBB56D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$AE4C431C-666C-45CA-BB9D-C1DA78901407","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609530$C513BB30-67C8-40F2-8793-2222699288D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87f96784c076243bdc40123437c6ca51caa0d4c9","datavalue":{"value":"https://pure.rug.nl/ws/files/2629447/2010SystContLettKerber.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q609530$40AA2FCC-3209-409A-BE43-0A4CABE7A4BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$EA45217F-AB20-44BE-9ABD-B9C541C54A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$51C2CE4E-A26E-4242-9E04-AEAC80FC5B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a5c91b710d921e9ace398f00d49e0f96aacd6c6","datavalue":{"value":"34H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$B4D10CEF-0A08-4402-B2BD-364E37B8A953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$D7EE106F-A391-4D71-B8CE-4A4338629B5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f09f2b7b1f7e9674227a12f0c578ebb300380c4","datavalue":{"value":"5821984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$CC3FB4D3-30A5-4DCF-89B0-621B8A252FEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q609530$5F3AE056-8BC7-4C18-BB4A-5D6CD3DDB008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882a47b602c2bf76bd6378e68b341ea804875d3e","datavalue":{"value":"assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q609530$8E33564F-B7C9-4211-8164-B9674ED3D41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q609530$C57A2440-AE0C-4614-A684-53A61582FEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51525cdd1e42499d2503a240401823179c27c836","datavalue":{"value":"simulation relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q609530$A9E083FF-49D6-49E4-A04E-F4AF1659FB93","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":"Q609530$4C78CC29-E1B2-43D8-BD46-A06BB6F35D9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03944024480be9fa7622f2ba03c0dd44562388f6","datavalue":{"value":"W2025192585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$336DDB43-4551-495D-8250-370CA1864820","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$6C3D8CA7-0F01-4904-8AF6-64A09F8269E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$48CD44A2-8093-462E-B7A0-36B52C093693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104187ee43fbac8a7a3d2aa1c93127055336ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5273951,"id":"Q5273951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$E66EFC5E-D6C9-483F-B94A-7C38A6BC6277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605b4718f2d95ec4e9525b048d2e24f53f4de4ec","datavalue":{"value":{"entity-type":"item","numeric-id":4507184,"id":"Q4507184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$4990A138-EA54-4654-AE12-3408833BA3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d383d9f59192cefc4d4c3bcb4baf2e12563dca","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$1950168C-D10A-4E2B-97DD-4A46F80DB322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$8EAD7BE8-B3FD-4A44-A46D-2853DE2C82CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778a52275c7bb71896421b94541928e40c690997","datavalue":{"value":{"entity-type":"item","numeric-id":2985860,"id":"Q2985860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$1F798922-B74D-4AA3-86FA-582AEE8EA84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad23237a63103daacb9fd1876408892d225b94d","datavalue":{"value":{"entity-type":"item","numeric-id":504922,"id":"Q504922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609530$C6264CBB-335B-4DF3-9D4F-3C29F7E6769D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8049e5e7e6ed4171fab1375ec07e039539264107","datavalue":{"value":"10.1016/J.SYSCONLE.2010.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609530$AF7485B3-EC41-4EDF-ACA0-B829F55DE2DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaa3f97b0966c300ac349763bc435fce6b5639b","datavalue":{"value":{"entity-type":"item","numeric-id":2985860,"id":"Q2985860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a8cc36d2615cb744ad7dc708ea3d68b68c4b43","datavalue":{"value":{"amount":"+0.8977300524711609","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":"Q609530$AD9D036B-FA84-4185-8B4B-9CF4BE4206C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d5aef724273212939c08a2ae6a0bcad3c92f0d","datavalue":{"value":{"amount":"+0.7368333339691162","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":"Q609530$7143AD21-3428-46F6-AF8C-115E992E2058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3ea88938a19f77a6b3275314d80ea8ef6605e","datavalue":{"value":{"entity-type":"item","numeric-id":3511236,"id":"Q3511236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b329b295e81e996cc85673a6a7f9a68db0286a5","datavalue":{"value":{"amount":"+0.7241066098213196","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":"Q609530$13019791-98EF-44D0-AE19-1815C660A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4bea6b928dcbce424f7af586b1dcaf7f269524","datavalue":{"value":{"entity-type":"item","numeric-id":4736608,"id":"Q4736608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113bf0f81898e89e68dea94824299a3f3c85e478","datavalue":{"value":{"amount":"+0.7140367031097412","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":"Q609530$79E287ED-2EF9-448D-B974-D6EF9D9F83C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df0bc408808586def30fd147aa5e4d5240aac78","datavalue":{"value":{"entity-type":"item","numeric-id":2665717,"id":"Q2665717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beda47c27544c1573ceeb067f053adc97b8a813a","datavalue":{"value":{"amount":"+0.7128157019615173","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":"Q609530$B32C3A9A-6624-4A9E-842C-D1E3D3E0EC53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional analysis for linear systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_analysis_for_linear_systems"}}}}}