{"entities":{"Q1201150":{"pageid":1211899,"ns":120,"title":"Item:Q1201150","lastrevid":66341151,"modified":"2026-04-12T09:28:11Z","type":"item","id":"Q1201150","labels":{"en":{"language":"en","value":"Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97374"}},"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":"Q1201150$154F988B-B51A-4FDD-8216-70F3691A5E10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b2790a666f9a973bbf93104d9593cf3809ecbbb","datavalue":{"value":{"text":"Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201150$564FB7FB-3DB9-4775-B16D-F5AFC8708D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fee25a2212911b9f080ffa144ea48f6974471f3","datavalue":{"value":"0769.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$4D5EE42B-9C57-4D29-8BFF-83B22C80EB0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a63e4524b8d044a7c69f327c8cd53bfae094826","datavalue":{"value":"10.1016/0022-0000(92)90045-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$5810AD93-F79B-462A-B213-9F086D50A6C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$4D4E36DA-807E-4B2E-B442-E20885EEA23F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201150$77276416-95D5-43D5-80BC-171D1D19205B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$2DEC31F7-69F2-4418-8C78-A86DBB9053AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$790FC0FB-91E4-492F-A770-1FCBC12235BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$06348F46-1B2C-4A44-9E25-E165732E2EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1234a7a38dfbefb58f50725cb0fe39edc9609c69","datavalue":{"value":"97374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$EBF77FE7-468F-47D3-82E2-ADCE33B662D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260bcbf0d3fff270326573eac1d98ab56d7c5d6a","datavalue":{"value":"non-deterministic two-way finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201150$EFE4CC2E-699F-409E-BA4F-443F05A10EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12a0c0948538b7fefe0a0ba36f1faefa9f180dc","datavalue":{"value":"deterministic two-way finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201150$0F276745-5A64-4D1C-9F9E-22DEAC7832CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc0cd31d36f0ac6a1e4cbb2ecda440630586e55","datavalue":{"value":"finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201150$35AC9398-C237-4622-A911-F713E42C9BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddd7465e7faeae66e5b18c986af38077744df05","datavalue":{"value":"alternating two-way finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201150$D3180C73-A9D0-4D89-A328-D2AEE867DC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"513c6aed0600838b7b51087b82e3736286cba1cb","datavalue":{"value":"alternating one-tape linear-time Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201150$1FE862E5-A3DF-4924-AA6C-50093BD9A61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a23380992fb43ebf2beb3c71733aa9d1d4632a0","datavalue":{"value":"one-pebble automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201150$34A3D81E-7508-44E1-BA32-CA2494F58514","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"86cd8db26198987d7e9aea7cfcfad5212e89f470","datavalue":{"value":"Q123298544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$D6E7AF83-93DA-4994-BC22-975D44A5D83B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af85c7b2f6fd07526dd5f6ad7e9d1c876779e29","datavalue":{"value":{"entity-type":"item","numeric-id":766115,"id":"Q766115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$9474D16E-65B9-47E1-8672-7587C5060B07","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":"Q1201150$7D398889-85A8-4915-8684-2A4FD27DA3AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"780610de9d89a23766447be07e4aea603f57ce42","datavalue":{"value":{"entity-type":"item","numeric-id":798783,"id":"Q798783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$3F830EC3-089E-4477-A432-7F33B061B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4536c1e09f407e966e52f156385d56ca1cf105","datavalue":{"value":{"entity-type":"item","numeric-id":1115636,"id":"Q1115636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$DE7BBE1D-8797-4BAF-ACEB-B25C566A478E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$4B396A9C-328B-4EB9-8D49-34D1DA8F2BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$102294C8-0B54-44B5-B562-A85BCADF221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$5087BE5B-DF95-4DB4-ABDD-213ECD5F5F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d079ea5b7e9094817b5e7160831dd78ee1de1b","datavalue":{"value":{"entity-type":"item","numeric-id":4133162,"id":"Q4133162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$76B0AB4D-9B04-40B3-8EA7-63B988CBCB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb011395b085a0ad4513663cab5f1c04c8f557","datavalue":{"value":{"entity-type":"item","numeric-id":5638291,"id":"Q5638291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$C5860BF0-105E-4429-B4BA-DC2C8BFB217A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$EA07A9C4-3CDE-4924-ACBA-CBB40B5697B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c2e166c21268174f22435e129942ae345904e6","datavalue":{"value":{"entity-type":"item","numeric-id":3325044,"id":"Q3325044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$597EF904-4C00-43B7-8D32-08FB33DFD892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f113656be205a13de084c6d4c668c3f361c37fc6","datavalue":{"value":{"entity-type":"item","numeric-id":3741089,"id":"Q3741089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$B902B541-904F-4833-BF07-EDDB988932B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860b87b066858b878998e02330dc3962c2ade9e8","datavalue":{"value":{"entity-type":"item","numeric-id":5526130,"id":"Q5526130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$5B5FA904-6DBA-4C1B-99BC-E294472C024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2895d38e84959fa044f17e857d94d9610315ab03","datavalue":{"value":{"entity-type":"item","numeric-id":5541340,"id":"Q5541340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$D1024605-444C-4420-A997-E516DAEDCB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c6229f4b94d10acb3721769855cfef4d3336a","datavalue":{"value":{"entity-type":"item","numeric-id":5402568,"id":"Q5402568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201150$2AF964E3-F00A-4C1F-81CF-C38713AC2843","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c43e10c76cba581f75706f014d6840dc35630ad5","datavalue":{"value":"https://doi.org/10.1016/0022-0000(92)90045-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201150$53A6DF56-69D3-4589-A905-C642012605EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a39e2148c74059f305a0a0aabff8e812c4e8fd65","datavalue":{"value":"W2079856360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201150$8C1A828C-75F4-4151-8368-9C26ADBC76A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e2734725cccccc8a68d11aac9db14e8502415","datavalue":{"value":{"entity-type":"item","numeric-id":5747095,"id":"Q5747095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5258cbdd29d98fea41ca24eac9e29e179850180","datavalue":{"value":{"amount":"+0.7883569002151489","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":"Q1201150$CC036EEE-B3B5-4652-8A31-B75025E3D75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a439db001bbe3595b7e59340c3ea7f165eb390f","datavalue":{"value":{"entity-type":"item","numeric-id":4986301,"id":"Q4986301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193f6c5e0dd8bb68f1860a19b3fc795e62dab6d5","datavalue":{"value":{"amount":"+0.7833314538002014","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":"Q1201150$F82B8BF6-5860-48C6-ACE8-B6A1F493423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2518e7e972b1ecef5afed44dac35de8ecd95281","datavalue":{"value":{"entity-type":"item","numeric-id":1401248,"id":"Q1401248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c5b9a602bb13f8d7a2f8902e09e0f980acd7f1","datavalue":{"value":{"amount":"+0.7490609288215637","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":"Q1201150$07EC5571-0F94-4C27-86B2-20675C679638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23eb758babf5a568bd732c67e428108c7dfd6347","datavalue":{"value":{"entity-type":"item","numeric-id":4779176,"id":"Q4779176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5746e9ce8abb2b378d9ef3602d337f573b190e7c","datavalue":{"value":{"amount":"+0.7487993240356445","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":"Q1201150$DB947FE6-0521-49A1-AF7D-70E431C5CB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f308a8f5be8d1b718250f092fc3757c6e46b68ef","datavalue":{"value":{"entity-type":"item","numeric-id":4503152,"id":"Q4503152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cd490a56d66ddb2e3da4f982184be8c5f433fc","datavalue":{"value":{"amount":"+0.740979015827179","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":"Q1201150$1389831C-BACD-4A79-8E1F-9F8511FEA3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positional_simulation_of_two-way_automata:_Proof_of_a_conjecture_of_R._Kannan_and_generalizations"}}}}}