{"entities":{"Q1407321":{"pageid":1418061,"ns":120,"title":"Item:Q1407321","lastrevid":48176149,"modified":"2026-01-03T21:07:19Z","type":"item","id":"Q1407321","labels":{"en":{"language":"en","value":"The automata-theoretic approach to verification of reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1981965"}},"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":"Q1407321$BC04AC12-45FE-4857-9FD1-80EA2D038405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d346fea7656ffdefbcb9e482380cd2c7ea80b8de","datavalue":{"value":{"text":"The automata-theoretic approach to verification of reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407321$3AFCF119-2FDB-47FC-86D8-D847E3DFB521","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45c4a83c7fa5a10b5e35caaf69e85726a2f12815","datavalue":{"value":"1029.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407321$05B57243-AF73-466E-A5CE-368BDD7AF377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddaaeba7ff856b3cbe6074bcd101f61e1c21c1d2","datavalue":{"value":"10.1023/A:1014573629895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407321$44C44173-B585-478D-BC11-21D9B1BDBAAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407321$295C60F4-14D1-4A5D-A29B-346B2BF28F8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407321$AA4E237A-3111-41C5-994B-88D58BE2D15E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407321$42D906F4-FC93-4183-9282-B100D828BBEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ceb2e583b547122d3588b38ba59373f6cc4d0a","datavalue":{"value":"1981965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407321$5DE5E774-FC78-47DA-BA73-27511A7537CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407321$11D5F3A9-E494-496D-811D-2E2C803A9A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679f1e8b4203d9fb6e8d1f3aba14d486f4d43fed","datavalue":{"value":"verification of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407321$BAC3BAF1-4EB4-40E5-BA80-26054BB332B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be0193dde1ec887037e652157e16a613f44b18a","datavalue":{"value":"formulas of temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407321$A4D25943-1F2E-4E9A-B2E3-2C0B7F8AB159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64cbe49b1d328ca604fa03567dc9965ce904abc0","datavalue":{"value":"construction of automata from formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407321$B3DA04F3-8AED-4FE7-8CB2-E87BDBFA0EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20875029241de1660d542fff676ae379c2892fd4","datavalue":{"value":"reduction and verification of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407321$50C2A362-796F-466B-9E94-369622FC9A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407321$56797105-E26F-48FE-94AB-F81E25E7C2E3","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":"Q1407321$7D94452E-A51C-4861-B2AA-24F5B7C78E7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de0cc76bc8a04e9780f3d3927e4b77ad5b84408a","datavalue":{"value":"https://doi.org/10.1023/a:1014573629895","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407321$68ED9F40-CF37-472B-AD64-DDC58F81FA3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"202a4d54b8c088401f9463eedfdcd8e6410b7e9f","datavalue":{"value":"W1590644632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407321$4F76CDB7-8DB9-4817-A327-D36617B3750E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f9d7747c9d80ff170b782b26fb981d975b5b59","datavalue":{"value":{"entity-type":"item","numeric-id":5435639,"id":"Q5435639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d8febc528d55e2be89e8811cad253a4010ef41","datavalue":{"value":{"amount":"+0.8521230816841125","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":"Q1407321$87AFDBEA-44EF-4A7D-B760-385915FFA24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5324859d8ea2e71894be82fcdc29fcab927e853b","datavalue":{"value":{"amount":"+0.8464111089706421","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":"Q1407321$FE727F61-B47C-49D9-A35B-DF0B83E21A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b887e5b040e19a71c8ed380d5c4d631e486087","datavalue":{"value":{"amount":"+0.8238036632537842","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":"Q1407321$AC820BAE-3D7B-462D-9B49-17A515627582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e255e1edfd496b6c0c06872a9f46862fecab57a2","datavalue":{"value":{"entity-type":"item","numeric-id":4503922,"id":"Q4503922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5d56b4ecbaf76381cc0549f5931b68feeb203f","datavalue":{"value":{"amount":"+0.8156129121780396","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":"Q1407321$0D07753D-9B07-4A3E-8CD6-5F585AEC8656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5d56b4ecbaf76381cc0549f5931b68feeb203f","datavalue":{"value":{"amount":"+0.8156129121780396","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":"Q1407321$ECCCE519-655A-4EAD-BAE1-2DA6B47D0686","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1407321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1407321"}}}}}