{"entities":{"Q1017412":{"pageid":1019260,"ns":120,"title":"Item:Q1017412","lastrevid":66112122,"modified":"2026-04-12T07:38:04Z","type":"item","id":"Q1017412","labels":{"en":{"language":"en","value":"Mathematical logic and quantum finite state automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554710"}},"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":"Q1017412$3CF94BC5-EE99-4DFD-AFDB-06DA5F8A7313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f485e1e6450de7e6cd333afef70cc9a28115ff5","datavalue":{"value":{"text":"Mathematical logic and quantum finite state automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1017412$52190D83-D8F0-48BE-B6C5-D9A12A656A6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf907641700948bc42a442810a73dba497be534","datavalue":{"value":"1163.68324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$38818081-46C9-44A1-BE02-BD59BE8B1933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b147c07ac9c0913858207637684a5f651662f109","datavalue":{"value":{"entity-type":"item","numeric-id":1017411,"id":"Q1017411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$67BBF15B-007E-4EEC-B920-3C8513BCCF01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$73B67890-5968-4E8C-A421-9BB3917E5E72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d3962b9c4ed96b5a56d8f3a4f6aaa12b336b467","datavalue":{"value":{"time":"+2009-05-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":"Q1017412$44840E3E-70E8-4767-BB61-B943EEEBF467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$4F43215C-649E-4525-B119-D312BF0FD2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$5DE28C66-B8DE-4DAA-854C-6B48C2B4DDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$DB7C1630-0354-4785-A73F-246AA046B221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$3F3B419B-7457-4249-BE86-8BD3EC34F134","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb0324d3d98cb6448da79308fb42e684165d549f","datavalue":{"value":"5554710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$B90C47CE-9A49-48F3-840E-BDCD18050426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092d77112262cd840d1b1dbde944d956df4eb1ad","datavalue":{"value":"quantum finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1017412$454500C2-DC39-451A-8308-D4EF50E31057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1017412$2E1D3F6A-3A9C-48DA-A40C-89CFB8596D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170e43ca6bcea59139a446b3848787558bcdcfc0","datavalue":{"value":"modular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1017412$9C3D9EE9-9B4B-42C5-A876-15890AA94B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c4aa8849f5ed6c0c1d8bf7ab183f7fae084f7a","datavalue":{"value":"measure-once quantum finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1017412$C5C99AE6-A786-434E-98A5-23122C9A0CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6b84cc569113102021c4b6f391c231f5663e12","datavalue":{"value":"measure-many quantum finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1017412$283B5176-CA4A-4343-96E4-773B96D7B533","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":"Q1017412$28B0B68D-ADD0-4D79-A6A9-93A23D5338BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ed093f3ccaee0f258d1822ef8a4ff394706aa33","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.01.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q1017412$BAAE1A0C-8DA7-44CD-A017-F094B5265FE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3af45b05b646da4d781baedad7bd1d338a33e66","datavalue":{"value":"W2298616885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$7A8B9DFF-BCD0-4775-8766-C12ECDFE8EDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c8780ea2705b7ddea65f0717e4eb2d02fa3cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4542516,"id":"Q4542516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$4B9408F9-681E-4E48-889A-3CEB75B32CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab35c0f620b696a7b81c92e110930db36d26ca12","datavalue":{"value":{"entity-type":"item","numeric-id":5309690,"id":"Q5309690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$C14FE8C3-A6FA-4518-AFBA-2331D470DADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81510c9fdcb9710cc6c6ef6fd7a3e72d23bbb25c","datavalue":{"value":{"entity-type":"item","numeric-id":4938665,"id":"Q4938665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$B9E12500-BE9D-416E-ABB4-2C137E3BB770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ee7456698740c024cb5e91f4d8d3af14be7396","datavalue":{"value":{"entity-type":"item","numeric-id":1401229,"id":"Q1401229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$4D61BE12-C23F-4151-A4EA-908DEC595DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6908f74deb3d34013aaf7662b4f00d9793d085","datavalue":{"value":{"entity-type":"item","numeric-id":1853472,"id":"Q1853472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$DFC3B269-0B5C-4B67-961B-DC3BD142F36A","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":"Q1017412$522C80AC-20DB-436B-AC89-5ED1FCDF8953","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":"Q1017412$CAC98AC8-3091-4C2A-8013-0258460F886A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$56E91032-F263-4E97-8527-04738A25FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c15b46e465b263f5378a57f5e58a5ab023bb06a","datavalue":{"value":{"entity-type":"item","numeric-id":5897988,"id":"Q5897988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$9488608F-F3F2-4278-802C-BFD8E1588790","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":"Q1017412$EA2B4A4C-F089-4004-AF0A-EAEBCE337E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$83632BA2-EF21-4A35-9774-81F9AC912983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$55160EDE-465A-4ACC-96BE-B10A15A95DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$2F73FEA3-F27D-4BA6-8FE5-A27865A80E43","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":"Q1017412$29C38EDF-D063-4FAC-959F-2EA6A1F8AEF5","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":"Q1017412$59E9F612-16C3-4675-8DE2-8273904EF275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$CC8EA433-8C5C-4574-BD32-8F35C599DD5D","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":"Q1017412$5C83FE3F-831F-4811-A349-58D084ADA897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3626f68b3e5ec0492e6a80f03a49c491f73d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3806849,"id":"Q3806849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1017412$3DFBE42F-E1B5-439F-BA39-BDBEF81C716E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba5318cb24d4cf049a6798a27491717a9f8f5323","datavalue":{"value":"10.1016/J.TCS.2009.01.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1017412$77619980-FFF4-471F-A949-CD756E4CA332","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":"6af6260095deceb5b3d9c22671f711654e289055","datavalue":{"value":{"amount":"+0.8673105835914612","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":"Q1017412$8F4EABED-7C0D-4934-B23F-E3689AD39BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ead280aacfe2339b2a47ce955f3467dd2cd40a","datavalue":{"value":{"entity-type":"item","numeric-id":3098037,"id":"Q3098037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d02ccbd9100294c0d72935e92ecb97a2f911da","datavalue":{"value":{"amount":"+0.8141121864318848","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":"Q1017412$0AA4E13F-C825-4D12-A99E-7DFC1F4B0C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cba628ed8956452d40e9fe2f93e098c36f25c0","datavalue":{"value":{"entity-type":"item","numeric-id":1586380,"id":"Q1586380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbeaac7d23a22f376c1a36b8048d03b757f1c7f","datavalue":{"value":{"amount":"+0.8092411160469055","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":"Q1017412$154721EB-541D-4F2D-BDE7-285CD58EE637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc15a795800502da4ebbb53d7fdd2f18910d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":2575078,"id":"Q2575078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbeaac7d23a22f376c1a36b8048d03b757f1c7f","datavalue":{"value":{"amount":"+0.8092411160469055","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":"Q1017412$E5019A7D-93CD-4BAC-A44D-C37D82747E94","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":"4de017071820c766071ae004ee49f234b3efa4e2","datavalue":{"value":{"amount":"+0.807572066783905","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":"Q1017412$DDD7B79A-F69E-4142-B31E-22E5E43AEB5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical logic and quantum finite state automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_logic_and_quantum_finite_state_automata"}}}}}