{"entities":{"Q1118616":{"pageid":1129365,"ns":120,"title":"Item:Q1118616","lastrevid":69684972,"modified":"2026-04-13T08:41:50Z","type":"item","id":"Q1118616","labels":{"en":{"language":"en","value":"Reachability matrix by partitioning and related Boolean results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095509"}},"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":"Q1118616$ED9E5378-9650-4480-BAF8-54DCF23D50FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58049a1b45c62d0dc8916a0cf889d46c4f1e71a","datavalue":{"value":{"text":"Reachability matrix by partitioning and related Boolean results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118616$3F572022-26F3-4F56-B1D0-2BCA2AFBB12B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34e03993ac471058e5d1e6de83f3d0b98a87bea8","datavalue":{"value":"0669.05049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118616$80442D62-FCD3-4C73-B59E-697B1E9EC73B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb1abde0fc26188df5a45158d021affc14f2f50f","datavalue":{"value":"10.1016/0016-0032(89)90020-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118616$6EFB0221-EDED-4182-A9DF-C88294DF278B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a51b97a52c84c260f189b05761c3359b0f8838c1","datavalue":{"value":{"entity-type":"item","numeric-id":164292,"id":"Q164292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$81998AC2-492C-4E6C-9849-5C775F24E607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1118616$7102A62D-44B9-4904-B785-1C8DF1ED1643","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cc270663a1be3ba74212b343a988d6ea8dda355","datavalue":{"value":"The reachability matrix of a partitioned matrix is obtained, in closed form, based on the properties of the structural matrix inverse. A graph theoretic interpretation of the partitioning is given in terms of the reachability relations on the two subgraphs into which the original graph splits, corresponding to the partitioned adjacency matrix. The reachability complement of a partitioned matrix is thus defined. A result analogous to the usual method of modified matrices is also presented, called here as the ``structural Householder formula'' and its special case: a formula for the reachability matrix of a sum of Boolean matrices. The latter is used to prove that the structural matrix inverse \\((A^{- 1})_ B\\) does not depend on which maximal permutation matrix \\(P_ A\\) included in A is taken.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118616$6E49F864-3057-4110-8097-58B0B384D7F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"898109ac7e401de8fce76101fe27418b7afd5158","datavalue":{"value":"05C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118616$86D42BDB-7F29-4FD7-80EA-E98123F5D049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"134089c9402b5801e3ec7deb47cb5d827ab2d2a4","datavalue":{"value":"4095509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118616$6451F03C-4BD6-4941-855E-7F6265661E95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c61b6c32f2040749900e5f68a2d6c68a35620d5","datavalue":{"value":"reachability matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118616$5BEE9169-91FF-4FA9-8C7D-066C673AFB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a62e8ab26571e6a458d014193c54c0958fd9c2c","datavalue":{"value":"partitioned matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118616$8E88A630-0574-4FC0-916D-049ECD9588C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ae695faed68987161dfb9006e01d11daff12ee","datavalue":{"value":"reachability relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118616$236F17AB-6D6A-49F8-9818-85C049479ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2efe0ca9b804d04c8745539040d479dd0114dd2","datavalue":{"value":"partitioned adjacency matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118616$14918997-873C-41A0-A47E-5B0EEE1FE20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26737b453d69eb6a19b6fa9b5004acc0b88e9db6","datavalue":{"value":"reachability complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118616$B658C1A4-5851-4599-8BDC-A4D99E240789","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26a0a0fa23d4f01613b346f85241a103262f0f32","datavalue":{"value":{"entity-type":"item","numeric-id":752640,"id":"Q752640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$D61D354D-A25F-4A01-804B-2AB71A5476E8","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":"Q1118616$8063E31A-4705-4662-9589-706CC055BBB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f666cce20ab8657f254e147f58d62552086ef7a","datavalue":{"value":"https://doi.org/10.1016/0016-0032(89)90020-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1118616$24F2D4C9-6748-42A9-8383-CE6F53B5C15D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95895030e1534dfa2fd2e0f7d7d6281afaf26529","datavalue":{"value":"W1975642786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118616$8355712D-9F16-48AE-8A58-16158683147F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4410bd85ba93ca8638378f859367903f5b9ff0","datavalue":{"value":{"entity-type":"item","numeric-id":4083324,"id":"Q4083324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$C2E670BE-E53C-4AB9-BD09-9556A9297FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7090252016266c63c1bdf3c6daae8290bfd037","datavalue":{"value":{"entity-type":"item","numeric-id":3257784,"id":"Q3257784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$95AAE2B9-16AB-4B71-A1E0-713C2D5A8451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abfb412af9b7a5fc29a6e6de49dc6ff41fa934a5","datavalue":{"value":{"entity-type":"item","numeric-id":1130837,"id":"Q1130837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$9988E683-2EEE-41A2-84EA-1D2866DFBE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2508b233692c7793ff0069d74568d019767dfeea","datavalue":{"value":{"entity-type":"item","numeric-id":5515142,"id":"Q5515142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$0FC3848D-4799-4637-A009-A8B1C8A96B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a214f726911c14a6f9ec1d0305d2f4c0d4dda24","datavalue":{"value":{"entity-type":"item","numeric-id":599025,"id":"Q599025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$6E069573-62DF-4B2B-AC0D-BF2D6DEF65ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"419dcf1a6bc03b365cff19e2b83b3f54b780399d","datavalue":{"value":{"entity-type":"item","numeric-id":3914809,"id":"Q3914809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$44B3AF9A-A4F1-475C-A284-FA7F0C5A3855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfa7e5a0f46f6b33fcb979f01f3288eedd585b0","datavalue":{"value":{"entity-type":"item","numeric-id":1149918,"id":"Q1149918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$EEB5D202-6D62-419C-9664-8CEC12FE89EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f375680b3a1d685f689aeb5f552d9e9f7a593fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4132046,"id":"Q4132046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$B72C3C15-D0F7-4C08-BED2-2929E472D226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77878509e32b1e23f3bee760765c60f91e82092","datavalue":{"value":{"entity-type":"item","numeric-id":4769971,"id":"Q4769971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$B1BB456B-FCA4-4944-99C3-6B8C2A40CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d578b07056b4354dc3e3c684428ce59d35a10cd","datavalue":{"value":{"entity-type":"item","numeric-id":3910385,"id":"Q3910385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$DF72AE59-8C04-4737-9320-BA32E60AE832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b65e3c5803b9b68b1cc24083d3366f795bf0df","datavalue":{"value":{"entity-type":"item","numeric-id":4698723,"id":"Q4698723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$EE8BC3E0-F587-40E9-95E4-B4937C285B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafdf4dd63e2f69a412dc0559ab2b2a5683e0e04","datavalue":{"value":{"entity-type":"item","numeric-id":3220422,"id":"Q3220422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$E72779CE-9B49-4D00-9D05-959DA9E8F925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7137487ce6ae6210d02d4211e4fbac38aaf115","datavalue":{"value":{"entity-type":"item","numeric-id":3795532,"id":"Q3795532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$50C3C18E-6856-4CDE-A1FC-BA3646EF5FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6b8447f002b31d07b6e73eb207096f7b9f308e","datavalue":{"value":{"entity-type":"item","numeric-id":3346138,"id":"Q3346138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$EDDAF83E-66C0-4EA5-BD09-8C249703A16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c790a28a23b5ecff99b272336c89700604ca255","datavalue":{"value":{"entity-type":"item","numeric-id":3254327,"id":"Q3254327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$F856F5F1-271A-4ED1-999E-547AE8A1E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c054c656b06dc4ea5dd5fc631746bf523fe238","datavalue":{"value":{"entity-type":"item","numeric-id":3892126,"id":"Q3892126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$AD9C2826-1C0F-47F8-826D-0733E69AF6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430b95ab347aebedbe95b8d8232e8e955331d5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4160745,"id":"Q4160745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$28E19BC4-0770-4378-B76D-51BFA661714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a649fd6498ce061338c323dd6db4a8b6d557a96c","datavalue":{"value":{"entity-type":"item","numeric-id":4079403,"id":"Q4079403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118616$E685DAB5-18DA-4F19-AC7B-EB645ADD2137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a91f2ee7f16236f731124f9b599ee95af013df","datavalue":{"value":{"entity-type":"item","numeric-id":3795532,"id":"Q3795532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430cf53154dbf9a0d996cd687ac879b14d8b6398","datavalue":{"value":{"amount":"+0.839272677898407","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":"Q1118616$4120E83D-7507-4731-92E8-14D263B9FDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e905d813eff2ac62057167dc5d534cf91c1f4b6","datavalue":{"value":{"entity-type":"item","numeric-id":3220422,"id":"Q3220422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5287ba3cbe1c4f9da787d3d00fd68638cc603c99","datavalue":{"value":{"amount":"+0.7385903000831604","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":"Q1118616$F3A4DCD1-DAD4-44B1-BE9E-395905F9D6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ae2a65473ff0c637245bf0f4286881289f782","datavalue":{"value":{"entity-type":"item","numeric-id":2715991,"id":"Q2715991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166c22adbdd07bb1f09d111c926bf080144b7aa4","datavalue":{"value":{"amount":"+0.7117540836334229","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":"Q1118616$F916C6C2-D168-47AB-8EA1-43D0A34FDF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c708da2d98abb569f2321b2b643fe1901cf87417","datavalue":{"value":{"entity-type":"item","numeric-id":3977500,"id":"Q3977500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed0a96a1deab7e89390f17b998cd4e11225e768","datavalue":{"value":{"amount":"+0.7052524089813232","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":"Q1118616$FCE3A4B5-A9F7-43BF-B2B5-4709CDF4E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c79882411e9bce151e83011aa9830a3934df14","datavalue":{"value":{"entity-type":"item","numeric-id":3680161,"id":"Q3680161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c686673c60100bf4793ccb3d95dec498bbe8cded","datavalue":{"value":{"amount":"+0.704897940158844","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":"Q1118616$F9FBF794-C437-453D-B256-72D37BC9231B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability matrix by partitioning and related Boolean results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_matrix_by_partitioning_and_related_Boolean_results"}}}}}