{"entities":{"Q783667":{"pageid":785516,"ns":120,"title":"Item:Q783667","lastrevid":64302996,"modified":"2026-04-11T18:57:22Z","type":"item","id":"Q783667","labels":{"en":{"language":"en","value":"On relation between linear temporal logic and quantum finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7227679"}},"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":"Q783667$ACD13DD7-A988-45D2-ADBB-86E1BEA0D5CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"256ec6db8a1b2d183503da19f097273bbec83f09","datavalue":{"value":{"text":"On relation between linear temporal logic and quantum finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q783667$201C0D18-E153-4698-8FCE-FAD83A49D22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c56e4cc1d1dd310365bcdcf42fb8e1a003602df","datavalue":{"value":"1477.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$8BC21193-BC57-4301-A88A-5BF6B327F3BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f471349dbbb7cb9ca27ac9743db2613f42ee5e4","datavalue":{"value":{"entity-type":"item","numeric-id":783665,"id":"Q783665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$B0A69800-603F-4B4F-B382-370017A6153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c84496217abd5113b28869f4a8412e4564c58ff8","datavalue":{"value":{"entity-type":"item","numeric-id":783666,"id":"Q783666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$D384093C-69A8-456E-AEF1-6E279DD4FA85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$B3447EA3-4FD7-4EC5-8B70-3DAC2F91C90E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06f9268330469059a0e033058bcd9bd979095063","datavalue":{"value":{"time":"+2020-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q783667$21386FB6-9749-4913-ADDD-078933FFEFAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$0183893C-215A-4A86-96C2-FA50F3BEFA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$7E10D3E2-C6E6-42AB-91AC-3F4018CB7BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$71C0367F-73A4-42B7-A512-6045CEDA2478","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b40a2cef56692ba7da03b6b5b4afda163b0c0ce2","datavalue":{"value":"7227679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$7D1CB382-AB2E-4BBA-853F-1942A543B66E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b3cffee5159d866508e91b7b0d7065d76563fa5","datavalue":{"value":"quantum finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q783667$D921188F-C8F2-4BC7-8CC4-F1DE8305A898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q783667$34791D88-D2C3-40B5-992A-878343C861E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b200e49796430873d8765986a0112ef600228e","datavalue":{"value":"measure-once one-way quantum finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q783667$3CA000E6-06E2-4612-BEF9-2469CB4444E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"575f97226e4ff7f165f2d1dd795a969366976500","datavalue":{"value":"Latvian quantum finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q783667$60A722DA-3FD9-4EFB-97FF-E2E497931CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5edc5e75d8aabd79fff84a85b7198d8ce848f2","datavalue":{"value":"measure-many one-way quantum finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q783667$4CC62121-CF11-4BB7-B5B5-C2A6AACA5371","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":"Q783667$95AC27C5-ABAA-40F5-BA22-753661B0FAB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c932d105fe80cf5f3fc5fe462e7c5ef6d13040b8","datavalue":{"value":"https://doi.org/10.1007/s10849-019-09302-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q783667$EE5D5320-3BDD-4822-BDBB-C2356A6D220E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"217db693a092972fac9d8bf7bdbd777f864f5ab3","datavalue":{"value":"W2972371375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$AA730426-EA96-45DD-9DE8-29314FECBC85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e70cb07b128317f5dde8cab22a75c32f37df51","datavalue":{"value":{"entity-type":"item","numeric-id":2432533,"id":"Q2432533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$4B859EE0-EAF5-4E25-BA47-BE072FE79013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bd94933285a75c81f950c5753014c857285e03","datavalue":{"value":{"entity-type":"item","numeric-id":4452048,"id":"Q4452048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$34885E93-46F3-4E1A-9F2D-E0A65DBC636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543bd00b660dc2d433ee95a9aaaeb4326daef8fc","datavalue":{"value":{"entity-type":"item","numeric-id":2201368,"id":"Q2201368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$F240888F-08B9-47C6-BD95-B6DED1498F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee68121c83bd0bf4beeaea39b76938988179a69","datavalue":{"value":{"entity-type":"item","numeric-id":5223828,"id":"Q5223828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$D3F97CDB-E57A-4594-B9B5-0A5A827ED3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed798811703e628419a3c334260354b8878f1a91","datavalue":{"value":{"entity-type":"item","numeric-id":1741054,"id":"Q1741054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$ADF95012-4B57-49B8-B006-660456FE4409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cf0e9a3343386889cb2af6b83a5b7266d1c4e1","datavalue":{"value":{"entity-type":"item","numeric-id":3149877,"id":"Q3149877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$D3CFA70E-421F-48C6-8F72-4D8578BCE9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$54A34009-CC90-464B-859C-4C21B9BE56BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$2180BACC-658B-458F-93DB-67307AA48A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a038b82670058b0652f77749e74c952001eaeefb","datavalue":{"value":{"entity-type":"item","numeric-id":1017412,"id":"Q1017412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$28282F5F-4273-4A7F-9EA9-74FF5E4BF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$E457C846-F65E-49A6-93A8-7CB608E2B8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$A40A2E85-3789-46E7-9E5A-2548723E105D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$0928AB33-72D9-4CCA-8BED-BE10DCB31B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$CC63598D-64D4-4604-8126-C8F9535C35CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f4cbf96b0e2e32598e06c1d9c8db2b8601f867","datavalue":{"value":{"entity-type":"item","numeric-id":1566730,"id":"Q1566730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$066F145C-65B0-4F50-881C-A308E4CB9AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$60E2B203-7714-478A-B5BC-7FD5DCE59D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$61E35F54-6257-41C8-8975-1194015F6CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$CE59DB82-63D3-42C3-8C23-EFA0A42AD98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546f4d086c0636fbf1f6ee05616645e1a9d8a89b","datavalue":{"value":{"entity-type":"item","numeric-id":4251040,"id":"Q4251040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$0A6F4FAF-C0B5-44E5-8204-7C25A838D353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999e3651d9dbb8c501fad99e2534124a15ad689","datavalue":{"value":{"entity-type":"item","numeric-id":539559,"id":"Q539559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$010D2416-44C1-4B8B-9E1E-71F3888407D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8ef0ef29afdc7c37e9e05983aaec0a34499e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3166958,"id":"Q3166958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$CDE9F9B4-308A-4940-A786-CC6B58F52D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783667$05EF5509-2201-4681-BDBB-EE3533642F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89c4277fa2f7aa06f8072c7788b88ab7656844e4","datavalue":{"value":"10.1007/S10849-019-09302-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783667$CF27D32C-1BF5-49FF-91C6-06AC3484DD63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763127a0cb656d5f76d14dedda1556f1f1afdbc1","datavalue":{"value":{"entity-type":"item","numeric-id":5897988,"id":"Q5897988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50762006b90d6515d431b036726a46a627447a1","datavalue":{"value":{"amount":"+0.8189725875854492","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":"Q783667$9633CA58-D302-49F8-8D08-FCC84E5E81E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539cd2d29108ba2b9064b31e42d065cf31eea271","datavalue":{"value":{"entity-type":"item","numeric-id":1017412,"id":"Q1017412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662e6826970c658a7d7915a36b879076aa986f6f","datavalue":{"value":{"amount":"+0.804032027721405","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":"Q783667$A103BBC4-5832-4496-9F49-85FB096950C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5061f5805444213c0ddb8bf87c5a115be7980808","datavalue":{"value":{"entity-type":"item","numeric-id":2455592,"id":"Q2455592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1655d6681343b038959fd856e5bea7a40c23c4","datavalue":{"value":{"amount":"+0.760587215423584","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":"Q783667$9683A239-CAA2-4020-9684-AE1B8D634077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d3bcad6093e0e7899001e51cf8780db9a73287","datavalue":{"value":{"entity-type":"item","numeric-id":2946731,"id":"Q2946731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352b40f8843f8b3a10ff5b615529cfaf0bb00de1","datavalue":{"value":{"amount":"+0.7570012211799622","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":"Q783667$51F9A05C-2296-4F30-A432-AF1A645107B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d920a6a07de6504b02bcfd0523b367f72e2ed684","datavalue":{"value":{"entity-type":"item","numeric-id":3380985,"id":"Q3380985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc561a35e465325f9ef9bac7fc724b825e10bd4","datavalue":{"value":{"amount":"+0.7496864199638367","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":"Q783667$190B1B83-4358-478E-942E-1DA79E305ADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On relation between linear temporal logic and quantum finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_relation_between_linear_temporal_logic_and_quantum_finite_automata"}}}}}