{"entities":{"Q7315226":{"pageid":31305046,"ns":120,"title":"Item:Q7315226","lastrevid":105101131,"modified":"2026-09-16T19:11:35Z","type":"item","id":"Q7315226","labels":{"en":{"language":"en","value":"Propagation of nonsingularity between NFSRs via bisimulation method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8241363"}},"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":"Q7315226$F63362B6-3C98-4E73-9DED-F31B8B990091","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c29033983adff001c6c0c1f7126df2381ef93d74","datavalue":{"value":{"text":"Propagation of nonsingularity between NFSRs via bisimulation method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7315226$C7A6ED4C-B596-4E32-99EE-294F2FEFA39F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39b59454ae8e4a0fc367f3847040e0860a256dc8","datavalue":{"value":"10.1016/J.SYSCONLE.2026.106538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7315226$E7FD142F-DBD8-4D19-99D2-8DFEDE15CD89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e1518ace5fc41419a99123a3f96d06561e7172","datavalue":{"value":{"entity-type":"item","numeric-id":729483,"id":"Q729483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$9F9B2C2A-5FB8-47BA-9B4A-A8A063EDDE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4496305c57ec4f1eee810c280b74d9b2b860542d","datavalue":{"value":{"entity-type":"item","numeric-id":289271,"id":"Q289271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$FF6833E9-FE32-4E9E-B3BE-1FC026542453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"677c4af885ed18702dd62a205825d1fc7265737c","datavalue":{"value":{"entity-type":"item","numeric-id":488914,"id":"Q488914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$3CA1E4FC-F2E8-4CD5-BC78-94B7ED8EE2DB","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":"Q7315226$F10A79C8-6B6D-4911-ADEE-AB9A0253960C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f8399ce1588d2ce8760d94d0532b0a4e8c7e5a2","datavalue":{"value":{"time":"+2026-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7315226$30DA86BB-C2E3-4B8B-AAA1-6800E7C3AFFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b224832230c81fa95dc2b45c93ff157f58ac9286","datavalue":{"value":"94Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7315226$6F1448E3-1596-4C1D-BDCB-C992AF668B16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a289ea7cdb804c9c0a7f4d7d32343e9eb5f1b8a1","datavalue":{"value":"8241363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7315226$FB453615-BF02-4A0E-B8C9-1343C0875CE6","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":"Q7315226$4E49E171-5299-4E60-9F98-D4107FB3D4AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"056ffe131d295f8d74a2db77dd7d92839c078d65","datavalue":{"value":{"entity-type":"item","numeric-id":3510915,"id":"Q3510915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$FEA4E38B-84C2-46A4-82B0-4330250677BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f119d887ecc1d2970a395eb42b76e81f19eb9f7f","datavalue":{"value":{"entity-type":"item","numeric-id":992742,"id":"Q992742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$4507C031-3A7C-491F-9A47-53570495E720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7aecf352edf666a2ea595b264c38418c06f8943","datavalue":{"value":{"entity-type":"item","numeric-id":5353227,"id":"Q5353227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$026E0188-73BA-4B95-B711-7B5E0F4A0635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a51871a734029a4115126bc528cf00f7c883e2","datavalue":{"value":{"entity-type":"item","numeric-id":2980437,"id":"Q2980437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$6FAE06DC-AD96-40A1-8871-8C52C610130D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2d7c97a9d2dd1453ddd6127ca40112a8ae9484","datavalue":{"value":{"entity-type":"item","numeric-id":2242932,"id":"Q2242932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$545B41F5-5D96-42AF-8484-9CB1A8C3E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc51faaf8c72296631adc9bbb04d620d49d0134a","datavalue":{"value":{"entity-type":"item","numeric-id":2178208,"id":"Q2178208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$EEDD0C19-048E-498D-B648-8ED6EFFF10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51dac2843e6c44bb7b35a35f5983afec1b734d9","datavalue":{"value":{"entity-type":"item","numeric-id":6193219,"id":"Q6193219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$DB4AB0F9-9D1D-4DF9-B438-8B08855BC255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0098cbc60d470201b7d5d31270bb7827d8cce411","datavalue":{"value":{"entity-type":"item","numeric-id":2982556,"id":"Q2982556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$FB270264-A492-4524-87E7-C6DA7AA90F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5618391ea3501cb0d17cc47470b09183205916c4","datavalue":{"value":{"entity-type":"item","numeric-id":6930766,"id":"Q6930766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$549FDD9D-543D-42D1-9DF9-2913DE008DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b42e01230ae8c33e09c9a2de1ed783c26b02de","datavalue":{"value":{"entity-type":"item","numeric-id":6078218,"id":"Q6078218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$DAAECF55-E3D2-489A-BD8A-C73EB203A04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8686cf56c88563fa56dc2182548313c7033fe51e","datavalue":{"value":{"entity-type":"item","numeric-id":6865861,"id":"Q6865861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$4483FECB-27BB-40EC-ADE6-7A5B754D467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557b9f1bdcc82c29b550de60cfb30ea54268ce15","datavalue":{"value":{"entity-type":"item","numeric-id":2945083,"id":"Q2945083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$CF1EC0E2-DF88-4FEB-BACC-1D51F153467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e06e5dd291c2c8dc1ea146fdf91e2fe41b32a1","datavalue":{"value":{"entity-type":"item","numeric-id":2130039,"id":"Q2130039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$A9291E29-0CFE-47AF-AAF9-FBFFB9D896F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1747f06b0c8b7dd8f7fd35d666d4931a0f0ca6fd","datavalue":{"value":{"entity-type":"item","numeric-id":2068304,"id":"Q2068304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$27B04F52-EC5F-47A2-9B07-4BEB43C2D56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2e8ad4d14845943a2cef106c0a34c7b3553777","datavalue":{"value":{"entity-type":"item","numeric-id":3771618,"id":"Q3771618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$D5AE6216-3FF2-4FCF-B837-DED412FA933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc10a561f7aff49a72a258b079d28089f04cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3476743,"id":"Q3476743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$88995BB8-21FE-47D7-B435-F2F9AAF58C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6126bafe283ea3d595384b0c17239779cf9048a","datavalue":{"value":{"entity-type":"item","numeric-id":1689380,"id":"Q1689380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$784374E8-45F3-4798-9B60-C30C9E1DEB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6980fac7439cf9eed541f455d84a0c49d830b9","datavalue":{"value":{"entity-type":"item","numeric-id":2667091,"id":"Q2667091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$19B96D68-0985-4B34-8B66-8C35ABCD8FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$9E790E47-8D0A-40EF-8497-CBC7C55CB3CD","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":"Q7315226$1653E143-9721-4A20-A5CA-6C262091BEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb754658c7bc3cb61d59de0c23dec64366b10e61","datavalue":{"value":{"entity-type":"item","numeric-id":4602534,"id":"Q4602534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$37954137-DE12-46EA-BBFD-446F17DDF7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b017defbb41af5013d54983a69e658b5a930ded1","datavalue":{"value":{"entity-type":"item","numeric-id":5858102,"id":"Q5858102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$1D9D1AAE-FAD9-4591-B10F-74B52A3251B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88268504bc3ecf0e42201d51005f4e784f58fff","datavalue":{"value":{"entity-type":"item","numeric-id":5103921,"id":"Q5103921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$5DC5D82D-D1B8-40F8-8D74-ADF49C9D51AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea54627447968c1ab0eb0feec7f8c2d4003e16fa","datavalue":{"value":{"entity-type":"item","numeric-id":7023747,"id":"Q7023747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$99BF1348-62BF-4407-847B-5AE4656B801B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb72e52c6f716abd508f3f168a29cdf8fe34db3f","datavalue":{"value":{"entity-type":"item","numeric-id":4040931,"id":"Q4040931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$F887EA6E-27DF-4BBB-A85A-94900FDB3E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6fd74fc9357a4e216a2caff0623fecc855936c","datavalue":{"value":{"entity-type":"item","numeric-id":1716488,"id":"Q1716488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$FAF19557-EC2D-4650-B55D-532DE155DC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606e2ac1108ee9966d599adf5bc823740cd75525","datavalue":{"value":{"entity-type":"item","numeric-id":4423053,"id":"Q4423053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7315226$653715E5-F824-4F05-A403-0B71DAE67ACC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propagation of nonsingularity between NFSRs via bisimulation method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propagation_of_nonsingularity_between_NFSRs_via_bisimulation_method"}}}}}