{"entities":{"Q1894676":{"pageid":1905418,"ns":120,"title":"Item:Q1894676","lastrevid":69071619,"modified":"2026-04-13T04:25:50Z","type":"item","id":"Q1894676","labels":{"en":{"language":"en","value":"Invariants, composition, and substitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 778290"}},"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":"Q1894676$8A564D76-58A3-49D3-9FA3-391796810795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f362f11299602a9a11939318f5c64213019de9aa","datavalue":{"value":{"text":"Invariants, composition, and substitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894676$B418D29D-D820-40C8-B7B7-49058613DDD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70d30179194f799d09a8c60914dbff0f527c4342","datavalue":{"value":"0827.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894676$187E9927-9D88-4461-A091-579C7AE39CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17493782e46fee07ecd41befb65f0ac2545b102d","datavalue":{"value":"10.1007/BF01178381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894676$36577E51-DFC3-41DE-8BF7-61938BFBB885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7e622b24ad02befeb4046612fade89b392cebb","datavalue":{"value":{"entity-type":"item","numeric-id":590540,"id":"Q590540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$57B137D4-11F2-4373-ADCF-E6AB836E546D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$20590BAD-5523-4F1C-92B2-377697257F1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"561fef158dda690e7f8fb24066d086b7abc285a0","datavalue":{"value":{"time":"+1995-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894676$F6BABE3D-A6B6-4D7E-9F5F-F47919C7A02A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28ba9c5891417489dab39bd6fa2552cade53439a","datavalue":{"value":"In the literature the notion of a system invariant has been formalized in two different ways, differing in the treatment of unreachable transitions. We call the more general notion, which ignores unreachable transitions, invariant sets of a system, the more restricted notion, which considers unreachable transitions, inductive sets of a system. It turns out that even if we are only interested in invariant sets of a system, inductive sets play an important role for proving invariant sets of a system in a compositional way. This paper shows the interplay of both kinds of invariants; particularly, we show that inductive sets are fully abstract with respect to invariant sets. One essential difference between invariant and inductive sets is that the substitution rule is only valid for invariant sets, and the composition rule is only valid for inductive sets. Sometimes it seems desirable to have a notion of invariants for which both rules are valid. We show that every notion of an invariant enjoying both rules is very restrictive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894676$623AD3B2-A0B4-4B39-921A-4C237DF43DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894676$E062297F-159D-441B-8294-0A86AF1831C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f422308704ce5d43397f6780283d1e0f5b09e9b3","datavalue":{"value":"778290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894676$311C8A02-22D3-4A92-9E6B-81670BF98F85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05b89166755caeacaa6d6ce3181acc55928016b","datavalue":{"value":"invariant sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894676$E1E3F262-5ECF-4667-A926-9E0923710C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d4f13f70b5dac95e9fdbfcf1055398f17d86a78","datavalue":{"value":"inductive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894676$B4F586D3-77EE-4C22-A1DE-0E1D4DFAA1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374ef704e86b2f2ed3be9a89790b45c46d8e3730","datavalue":{"value":"composition rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894676$2E4885A9-6C7C-42A8-91F5-D6A7D44B3DD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$7255AF26-4039-4987-9030-05F20E913679","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":"Q1894676$CCA91613-A358-415F-BCA1-510E6065801A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$307E74DC-F8F4-46FA-8E8D-0069A918A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$E17314C0-B86E-48A7-8951-7CAC4AC7ED39","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":"Q1894676$95E24C56-1D45-4F49-A37C-8727626C1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4debc30afa0178a9435a500251cfbdad03b1c32","datavalue":{"value":{"entity-type":"item","numeric-id":4385544,"id":"Q4385544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$B0BDEDC0-8F34-44D9-A618-11AE8845B63A","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":"Q1894676$B5AE98D4-4410-4C2A-B7E6-F7A37944A83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a88000eff7625e3429c794149436b41405d5bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1183477,"id":"Q1183477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$82DC073C-0A6C-4559-9B5E-630000E67C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b903410f1a6227646424166fe21e2772f833caf","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$831AEB5B-6005-4AEB-8045-95518AF5F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1661e278d4b3115deddc8fd22a4bfcf611c20cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4282659,"id":"Q4282659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$CDC7AB67-97DB-4B53-A4A4-1569A45BA294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8759c82da408d5f49d7fa96e71bb17356286a564","datavalue":{"value":{"entity-type":"item","numeric-id":918207,"id":"Q918207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$2C493009-63C6-4A9B-BC42-1C545A714F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894676$CD592CA3-001C-43C2-A0F6-0A75F67E08AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc1e5d892aa1ef0ba729895e73bdfd05b73ebf78","datavalue":{"value":"https://doi.org/10.1007/bf01178381","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894676$740A8044-C8E1-4544-9C52-A1683CB60CF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44bbf2bcf3d547b32f5ecd11e94f4d5ab1019f52","datavalue":{"value":"W4246478125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894676$4D4C6801-7928-449D-A039-DD976444D05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9714d5b5114d26f0863642400a28340c74716a","datavalue":{"value":{"entity-type":"item","numeric-id":2495548,"id":"Q2495548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4952f3db85a5caccc6401f04cc9c50a6f013742","datavalue":{"value":{"amount":"+0.8076248168945312","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":"Q1894676$9828FE0E-0082-4F02-B981-3FF6307A2C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b32426ecdbf02673d955e7c904432a7ae70eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3541017,"id":"Q3541017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f88005568d046fc82307a7f0f019ba8f43cf5a4","datavalue":{"value":{"amount":"+0.732231855392456","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":"Q1894676$34952258-709B-4E56-A750-5CADB84E632E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267032ddce5b46ba6e08d47e11fab08ad41681f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402461,"id":"Q1402461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6279cb2d03543f7eed08128b51aa563173a30051","datavalue":{"value":{"amount":"+0.7207980751991272","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":"Q1894676$7B82E701-F8B5-49BA-B6E0-662692D2A5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbe5f51c282ed5d80030a98cdb99419f730068b","datavalue":{"value":{"entity-type":"item","numeric-id":5900581,"id":"Q5900581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49523fa6d0341e9a2403015ccf48f5ed7103c8a8","datavalue":{"value":{"amount":"+0.6987302303314209","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":"Q1894676$48ECAD5B-DAE6-4B79-A851-3CDA703F2CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99afb6db6db0cbd80f174039148587c1ac07330a","datavalue":{"value":{"entity-type":"item","numeric-id":1575647,"id":"Q1575647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7ba5e7b582965aff83e594aca5641d8bd3681d","datavalue":{"value":{"amount":"+0.695792555809021","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":"Q1894676$A65CCD4F-0648-464B-8E36-F42B474C7C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariants, composition, and substitution","badges":[]}}}}}