{"entities":{"Q2891409":{"pageid":2902134,"ns":120,"title":"Item:Q2891409","lastrevid":84871307,"modified":"2026-06-02T15:36:45Z","type":"item","id":"Q2891409","labels":{"en":{"language":"en","value":"Model Checking Information Flow in Reactive Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046578"}},"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":"Q2891409$11DC07CF-0EA0-4F9C-9664-2770EED4E9DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50c52bd49e6c59f01e929eaac2f08d6562dc7c5a","datavalue":{"value":{"text":"Model Checking Information Flow in Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891409$D46F2031-61DB-429F-8F13-E05927FA128A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f84d91a825ce35abd22b4dfe99a3cdb7bf8ee79","datavalue":{"value":"1326.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$E27CC93D-0AF7-4F64-8F92-D8188A12E456","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94423fd18c445d5d74af2e4cb6b6fbeda2e93edc","datavalue":{"value":"10.1007/978-3-642-27940-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$CD9FA431-07D6-4931-B811-B447EA53AF74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$47573D50-9EFD-4870-A5A0-C7FBCBBD0E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$E509E81B-0788-4DB2-9EC3-2A85B8EC7250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd8d085dafa2071d61ebafe8dbd3e889886faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2867886,"id":"Q2867886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$7F24E6B3-AB67-4C36-BFE9-A36D325A2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$20006E31-1601-42C8-9E06-5F730714FAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$385C36B6-221C-42B4-A6C4-F5972BA29DB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$A1C6920F-567D-41D9-91B2-A713171FE4E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891409$19F237F7-C1F7-44A3-B424-FCDDD2CC2AD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0f54f13b9a8845c886b9f07859c49b390b2d71e","datavalue":{"value":"http://eprints.whiterose.ac.uk/156479/7/vmcai12.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891409$D516FAAB-1995-46B6-99DC-3A2D23DD32A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$32B8D056-47AE-44AD-B834-200184E7D55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$7B145C23-FE64-480E-8F24-F42A89704DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$9F8AD9F2-4A31-479B-9B3A-B38D4385BBFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47fdaf7ec34f3d067e7dd5c980f3eb0882756554","datavalue":{"value":"6046578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$5CD939C7-E8EC-4B78-958B-408B136E5E93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09bdb1cb590aa84005bb564e1ecf2727e6689d3d","datavalue":{"value":{"entity-type":"item","numeric-id":25221,"id":"Q25221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$4D754781-DC55-4817-8A5B-B4AC7C6FC3B5","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":"Q2891409$258C7103-42B9-4E01-ACC1-88A5E14969C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16887cd0278dbf439be190d60395e3904101d9a2","datavalue":{"value":"W1866799138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891409$EFF7A5E2-5A27-49D5-9BBD-188540741C0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$E6A405E3-3269-492F-83AA-DAA2457E9BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$D348F227-1165-4C89-82DC-54EAFAB8D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2c912b671edbcc986786d22f98c5ecb7968f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5255100,"id":"Q5255100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$6EDDEF5A-7493-4AF8-8EE7-829BFA2CF030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ecee9486b48a23af169c9be707f2514325aba1","datavalue":{"value":{"entity-type":"item","numeric-id":3558216,"id":"Q3558216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$86C18AB1-0682-49C8-B2D0-6E5FB7E2223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa100cc1bb57949a436b95c94fdab080cc1b19d4","datavalue":{"value":{"entity-type":"item","numeric-id":3591420,"id":"Q3591420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$F237C484-8FF9-475E-A14D-CCDD81D38698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$C467539C-F24E-4CD6-8969-CA6A64A2A43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$28D35D1D-653F-464D-B046-E0ED7FB65031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$B21314F2-E3F7-4C0A-B989-830F361E2988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c172e0693ee7278cc6bb4438211f8ca19d3584b9","datavalue":{"value":{"entity-type":"item","numeric-id":5434507,"id":"Q5434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$6C6AB934-BAF9-411B-AD60-8BD9F214A742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce8ab94263d75d8d64459463341cdcd187b079f","datavalue":{"value":{"entity-type":"item","numeric-id":5758138,"id":"Q5758138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891409$AED9C22B-D921-411C-81C1-189A7A945BB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0365f30d8b93f375a4c9795074de913c580a392","datavalue":{"value":{"entity-type":"item","numeric-id":2978540,"id":"Q2978540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4093ada2b1fe623fa4bdbb1b8d03467e4a085b01","datavalue":{"value":{"amount":"+0.91122097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891409$F5C0DD9A-0F0C-4921-ABD8-20EBF848B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657a1160e5de4ee7c269ded027f976c1aca8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1868165,"id":"Q1868165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d773010a72f2328e1c8f16dda98330088dea7f","datavalue":{"value":{"amount":"+0.9106804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891409$D0F0F368-52A4-4D75-825A-97854F256A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce02ebf4bf8f0302f3fed4e3d2803f62c8dc1fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5468879,"id":"Q5468879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a5ea3a3041f0d75a7248d2af62a5766b418806","datavalue":{"value":{"amount":"+0.8866274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891409$8C3CEF81-CC4C-40B1-83D1-A3FE1E350F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5540b7f65af7b728fa00a3c0416eb26b0f3b65","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f08c2698be35187518811a540b536117712af3c","datavalue":{"value":{"amount":"+0.8824266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891409$C524C8AE-0485-45FA-83FB-DB9C0BFFD753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d823862eb70dc0061ec59fd89b30f3882b486170","datavalue":{"value":{"entity-type":"item","numeric-id":596025,"id":"Q596025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bd50b3a65a3b88ce4ceeea80e28b2dd1cd922f","datavalue":{"value":{"amount":"+0.87589085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891409$2D409D26-0361-46A3-A2F1-EFC9ECE70660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bb74e226871344bde07e0f10df654185c23321","datavalue":{"value":{"entity-type":"item","numeric-id":2407463,"id":"Q2407463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbe1a88badd0ee4438a3c46eb6823ec615c33c5","datavalue":{"value":{"amount":"+0.87002474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891409$A0909678-386A-49B5-BA4D-08C54389E7AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Information Flow in Reactive Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_Information_Flow_in_Reactive_Systems"}}}}}