{"entities":{"Q1610340":{"pageid":1621080,"ns":120,"title":"Item:Q1610340","lastrevid":70970769,"modified":"2026-04-13T18:36:13Z","type":"item","id":"Q1610340","labels":{"en":{"language":"en","value":"Efficient computation and representation of large reachability sets for composed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1783545"}},"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":"Q1610340$96E4BE87-C27E-48D9-B59C-EAB7AC450CCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b37a9a9feedc4771b3b7eda2581434deeb6b0af0","datavalue":{"value":{"text":"Efficient computation and representation of large reachability sets for composed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610340$CC36003C-03AF-472F-9FD3-6F5AE9F70225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc70cff23066ef083fe59cb5675b287c91b357d4","datavalue":{"value":"1048.93065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$9A89086F-C580-4F06-A412-624173B56F27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2abe3d6d1ef3e431c919f5ecea05c23b2abb5584","datavalue":{"value":"10.1023/A:1015669415634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$E346D536-D86C-476F-8990-B9D6A3A22B86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a10f8ca607a66cb57d88af99fb30af04ba9e14","datavalue":{"value":{"entity-type":"item","numeric-id":243731,"id":"Q243731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610340$2350D7F2-3051-4349-8696-58FFD5601975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc554af82aeace6ef028cd07372e98335f8e16fa","datavalue":{"value":{"entity-type":"item","numeric-id":243732,"id":"Q243732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610340$CEFE1F10-6ACA-456A-B793-EEDA59DB1B62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610340$374A25CD-0E2C-484A-8997-2D244088571B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0004237905b7322cb3b10a20c84f2f03323c8c30","datavalue":{"value":{"time":"+2002-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1610340$44393473-A90E-4412-8227-89F5F06FFAC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$FC043FD0-37ED-4908-986A-E9F65A242683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$34EBD9B8-C189-4938-A9D7-B6E78B6BD4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$BC2CAE7F-AB8E-435F-8A31-683F6DE9FBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$DD805163-0427-40E5-8F11-83067AD5D158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80e4c03390fa5b6fc231682f81273b17b4f6ca00","datavalue":{"value":"1783545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$E5435212-3A48-41D0-BC3E-2204B169560D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba79c10361efaa33da8fede14b536749a48e85f2","datavalue":{"value":"automata networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610340$181D7CD1-4D7E-4A49-B10D-CB1A89F28C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610340$426849BF-1F79-48D8-A79E-AC1EE2112253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e0b99825f902a099e63efb192661c954884375","datavalue":{"value":"Kronecker representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610340$7E436EBE-E274-4A1C-A2B7-51B9DD15FA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6071bfb348638892c69a130869ef38ca763397dd","datavalue":{"value":"ordered natural decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610340$6FECFB92-9ECD-4442-BEA7-C1F3DFD0FADB","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":"Q1610340$B1674A0F-EA1D-46CF-B055-01483B715CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e569e8fc265fe160b41a1631e30f6db88ff09215","datavalue":{"value":"https://doi.org/10.1023/a:1015669415634","type":"string"},"datatype":"url"},"type":"statement","id":"Q1610340$E2723C41-EE83-456C-B330-9C6C32FD8E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8059677ec28c0f7c1fe348ad0dd9eed49aeae7ec","datavalue":{"value":"W1505796501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610340$99EBE949-3284-4244-80AA-573480991DCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa10cae2ce7b209b1074a7c692f4c7b96a8eb7f9","datavalue":{"value":{"entity-type":"item","numeric-id":4782023,"id":"Q4782023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5ba5d365c1334d20717271682bf59852aa7796","datavalue":{"value":{"amount":"+0.8954761624336243","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":"Q1610340$AA726A17-DD8F-48FE-A5CC-DE8DF1A770A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2537c2ac4305aa200b2dab5040f483df0c5915","datavalue":{"value":{"amount":"+0.7576271891593933","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":"Q1610340$3142BEDD-76CF-4511-B27D-97B51028F3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b485f3e05a3cbf6542bb04069cc169924ebd4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1871862,"id":"Q1871862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0193cc50f09e92bf9e60875cc2e10b1a2209a915","datavalue":{"value":{"amount":"+0.7503650784492493","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":"Q1610340$2AB4E4BF-0C6A-4309-A420-444EDAC19212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86143496b7694da2b070cd064d1e635635881d25","datavalue":{"value":{"entity-type":"item","numeric-id":5500560,"id":"Q5500560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0edec4bf50c5c03fc28cf7bc9eccdf6952e076","datavalue":{"value":{"amount":"+0.7462881207466125","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":"Q1610340$7119A5AD-B385-46AC-9C18-D1B27C4F8AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79a54a5aacae3f5aca66bd3ea851788946fe8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4633167,"id":"Q4633167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b6784d2343f6501fb716d79c7802b88d28990d","datavalue":{"value":{"amount":"+0.7297618389129639","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":"Q1610340$7D65BF9F-3A18-4F50-BC00-E337F2B425EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient computation and representation of large reachability sets for composed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_computation_and_representation_of_large_reachability_sets_for_composed_automata"}}}}}