{"entities":{"Q2960118":{"pageid":2970843,"ns":120,"title":"Item:Q2960118","lastrevid":44790234,"modified":"2025-11-26T14:12:03Z","type":"item","id":"Q2960118","labels":{"en":{"language":"en","value":"STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6681664"}},"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":"Q2960118$FE13C761-23AE-4D46-A525-B5E14D36B90B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b45195f83fdcf9035613b50c0afe9a3c8b53c98e","datavalue":{"value":{"text":"STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2960118$5B62B363-5FF2-43B2-B703-B9F6C4D435A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b181621c8a49d1173e141f3f036bf62a7671bf3","datavalue":{"value":"1354.93094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$9E67159A-98C3-469F-9303-ADCED350B945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dc849a8f904765d03441c145e9236da10f3ab0f","datavalue":{"value":{"entity-type":"item","numeric-id":1633054,"id":"Q1633054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$C3176C73-5EA7-4A25-9D5F-BC881BAF1F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a6c7da6633a4a3830aad8033f8d1e6cefec175b","datavalue":{"value":{"entity-type":"item","numeric-id":1712570,"id":"Q1712570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$C0FF24B7-9BBB-48E2-8D3E-6C9542E1446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc44401bf19fb5b4c0e299b0936f871671d2771","datavalue":{"value":{"entity-type":"item","numeric-id":354058,"id":"Q354058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$A6093268-1AE3-4585-B057-5364CE33D85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c4546bb0a3f4163fe9f1a336c8eae5c1ca372","datavalue":{"value":{"entity-type":"item","numeric-id":1622233,"id":"Q1622233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$D0223A06-8947-471A-AC74-470B8131ABE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a339d38578f9ea3c4a810c6814ca082b0d20b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2789888,"id":"Q2789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$5330B9E4-2B1A-41FD-ADE4-68B7E0938573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f5598da38e5abc7c85a2d1789026ae36e393d1","datavalue":{"value":{"time":"+2017-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2960118$369F4060-5D53-4E22-9BFB-22E495F3767A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$CA8B2160-65D7-485F-94ED-10F92C305481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$CDFC2C1A-5BD4-42D8-A3A8-39DAC9AE597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$D3511020-0BA2-493C-BBFB-9AAD2A67584F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c790e97c87f9d1b9fa51ab56c8066e3161ab59c9","datavalue":{"value":"6681664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$2BD512F4-F95A-4A55-978B-F227015DC502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd508fda26dcc9021bd1ed7529845a72bbe17f4","datavalue":{"value":"discrete event dynamic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2960118$22BC3C57-C360-4131-84A2-52CC41A5EAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2960118$A3AFAF08-132F-4BD1-9C3E-A46288BFDBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a590add30bdd0b565f3b13051bc4622e4635bb","datavalue":{"value":"controlled automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2960118$C67C5B4D-2D5D-484A-9A76-620755B8A49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e92141a16f9be5ce62bc09e6005fde5c405255","datavalue":{"value":"matrix approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2960118$9E8A7933-A910-4148-B1DE-C9077F67066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a792df8df4072357c3919997992aec2b578667","datavalue":{"value":"semi-tensor product of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2960118$7E50A5A2-6950-47A7-843C-FF52B5F4219E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$200433BB-9133-4B57-BF1E-B1354C387D09","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":"Q2960118$D16AFC4F-7650-427B-93BC-8BBE8CB458CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26bd097bcd82f8ba914b51d6bf23d6023beb05cf","datavalue":{"value":"https://doi.org/10.1002/asjc.1294","type":"string"},"datatype":"url"},"type":"statement","id":"Q2960118$0940C0B5-8522-4CCB-A70A-28187FDABBB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b4502535d6afd751cc0723ef1a1b31bcd9edd69","datavalue":{"value":"W2324132233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$36CDF7F3-B9AA-47E8-BDFC-9421EEBBAF3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$5DEABB27-56E1-49D6-8A4F-9A524B52FBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$6977929C-18E3-4601-9B77-CAB486FF7E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f0714afabfabab4e9bd2b5341b70fc9e1c35c","datavalue":{"value":{"entity-type":"item","numeric-id":2348373,"id":"Q2348373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$29C48B8D-FA07-4719-87FD-6D7F833995B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7b48f048f6e2f7aa0ac26fd3fe776d6aed0a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1939629,"id":"Q1939629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$378A771D-83CE-4881-9DA4-0BB6D00FAAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d34ea0223ffd3a1d4f461b80b1cf20f7d9a3","datavalue":{"value":{"entity-type":"item","numeric-id":5398017,"id":"Q5398017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$1B682BCA-D1F2-46BB-A1C7-239C4F9F39FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926218674066a36f7de37c1528e95a430fd6be5d","datavalue":{"value":{"entity-type":"item","numeric-id":5416864,"id":"Q5416864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$37ADBD33-BD07-4EDA-9DA1-BDB339078F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e9747e376f1e2933210dff59e4d675f2b3c132","datavalue":{"value":{"entity-type":"item","numeric-id":5347565,"id":"Q5347565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$9E79A507-0D40-469D-9419-94B0A0838E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef2a5f43c0691d53d716e4bdaf0d36d57932652","datavalue":{"value":{"entity-type":"item","numeric-id":459435,"id":"Q459435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$6E2E4376-0F1E-42D5-ACFB-BD7A40937809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931f536832c163c57da3ff0f99358e2578860864","datavalue":{"value":{"entity-type":"item","numeric-id":458983,"id":"Q458983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$FD6B9BBD-CD2F-4B1B-9780-D6CD8C0E6D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79f593a306871df817971cb6c9076507e2d2f06","datavalue":{"value":{"entity-type":"item","numeric-id":732792,"id":"Q732792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$4FAE9648-868D-4E1C-9CBA-C6625297E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d83a76e043fc50a5df394249fbb3ec11738405","datavalue":{"value":{"entity-type":"item","numeric-id":445938,"id":"Q445938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$41103E98-9B29-45A9-B2F9-619740E272FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a0a881660ebf7ef78a976bd0160bb2c18aa8f5","datavalue":{"value":{"entity-type":"item","numeric-id":1854295,"id":"Q1854295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2960118$C849FCBE-A94D-467D-AEE9-2801B3AD2041","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9ac78e32772696a9c683eab22c828ebd111573c","datavalue":{"value":"10.1002/ASJC.1294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2960118$E9DD233F-DDBB-4E71-9205-28C3B4312E59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90d12cd15eef3127b129eb2d643aaf88e206f37","datavalue":{"value":{"amount":"+0.8589572","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":"Q2960118$39AA6C23-AE8D-4665-B70C-3E86C854393C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2de1bb61295ae634e88168f3a5ece2d07ee79b","datavalue":{"value":{"amount":"+0.85544246","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":"Q2960118$D12330C3-22AE-4B61-AEA2-8E0C399E1C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f2a87004dcbf61eb71b62fbbfe2a87f23f2270","datavalue":{"value":{"amount":"+0.84599805","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":"Q2960118$917F9EA7-F0CD-4D22-AFB3-E3BB4F489E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821256108d413c43841696d533605225bf9b19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4818799,"id":"Q4818799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381a46e8278b90e7a8c6a3f33e94076388b83ffd","datavalue":{"value":{"amount":"+0.8413891","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":"Q2960118$0B1020F2-E10E-426B-B6B6-C1612E61E9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e578152d142332966c83c85525f9a825de0a5a4","datavalue":{"value":{"entity-type":"item","numeric-id":1721288,"id":"Q1721288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63f53b7aac087e12510607c59565473e33d6580","datavalue":{"value":{"amount":"+0.8413168","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":"Q2960118$8B602667-839D-4C3D-9728-86E39376FF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f392fb608bdce4f143012172db5adeffcbae3250","datavalue":{"value":{"entity-type":"item","numeric-id":5404926,"id":"Q5404926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33350632e101aea7c180d231c7d4d5aee535e80a","datavalue":{"value":{"amount":"+0.8400549","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":"Q2960118$496EC56A-AEB1-4330-AAD8-BF6790D80C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f2a2ba8ef5350655d97fd947cb8f1393b11c01","datavalue":{"value":{"entity-type":"item","numeric-id":515687,"id":"Q515687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d6b5596250724c550ad946d022a4476a560f2b","datavalue":{"value":{"amount":"+0.83905387","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":"Q2960118$FB8949F8-005F-4843-9759-DDBDA579B934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e1a17b6ede5f4486fceab805dcd3a513a79743","datavalue":{"value":{"entity-type":"item","numeric-id":3150206,"id":"Q3150206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687b492d4893d4dd4e3a8500b29cbb2a165d23ae","datavalue":{"value":{"amount":"+0.8385435","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":"Q2960118$6E07293B-68A7-4D75-9E13-12E3EEDCCA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e83df22c58da52bdb6c9627cc12b0934b726ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4917080,"id":"Q4917080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687b492d4893d4dd4e3a8500b29cbb2a165d23ae","datavalue":{"value":{"amount":"+0.8385435","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":"Q2960118$7CE2A7C5-8F56-4C10-B3EC-EC25AD7007E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2960118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2960118"}}}}}