{"entities":{"Q714812":{"pageid":716661,"ns":120,"title":"Item:Q714812","lastrevid":63765915,"modified":"2026-04-11T15:23:56Z","type":"item","id":"Q714812","labels":{"en":{"language":"en","value":"One-reversal counter machines and multihead automata: revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093032"}},"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":"Q714812$68D7E24C-0DBD-4735-ACF0-38D9B93C4318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36fe514872b9bb6204a9fb30818707ba9d53c32a","datavalue":{"value":{"text":"One-reversal counter machines and multihead automata: revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714812$F9C8B8EB-C1B3-4BFD-B463-1A6DC2D21C7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6bc3aabf68f6d0c0d2cbcc3427bc7e3e097189b","datavalue":{"value":"1247.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714812$ECF9C9EE-6C8D-4838-819E-1E6FE61EE345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fe38f629716644acdb439cce6e5e579246c130c","datavalue":{"value":{"entity-type":"item","numeric-id":510345,"id":"Q510345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$A3601D7E-0881-44A9-9CEC-31BCEAD87B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a51171eaca2027dcb6db54ba7b9d88eac8bde4ff","datavalue":{"value":{"entity-type":"item","numeric-id":418757,"id":"Q418757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$2515B7E6-C75A-40C1-A41E-F2F8B55E0989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$69DC1A18-C1D9-4708-AE53-BDBF408F7A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"963dc3d3638677bf60c8790cc0b1d2cb86dae5da","datavalue":{"value":{"entity-type":"item","numeric-id":243810,"id":"Q243810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$71687E9A-580D-4A60-AE79-A737BF82EF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9afaa416287ab6266df9a2a191233e4c5a8394a8","datavalue":{"value":{"entity-type":"item","numeric-id":264985,"id":"Q264985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$7A472A9B-43DB-4FA4-B2DE-6AD3210B7DB9","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":"Q714812$93274F08-98A5-442C-ADBB-4331E1A87505","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714812$6FF98D07-85BF-42F9-A2BB-0FDE280A6B13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714812$653AC61B-E257-4EB9-AEB9-63F4282F2D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714812$C89711DB-814A-43DF-9569-53D2CFD98DDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c72a6b3e2a3566e21184cf48a430ec31df1e7ab3","datavalue":{"value":"6093032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714812$CE23E4AB-A38C-417B-BA4A-B20BAEB61450","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07d56e782887a4be2fd48476ebd3688555b5228","datavalue":{"value":"reversal-bounded counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q714812$F46C260F-F456-4F7D-8BB2-1621B5CDB077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c4801f02f9069b5681140d621e8bc95c5e173c","datavalue":{"value":"multihead automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q714812$517B358C-9E19-4155-972A-F498BB88F626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8027dc289f6fdd1d088abf4e26c3aa9b1f7ac7","datavalue":{"value":"bounded language","type":"string"},"datatype":"string"},"type":"statement","id":"Q714812$01454693-2AE4-4506-A38F-0358A803B86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afbee5ed4d335f4b5bf59e0403717f9ce724883","datavalue":{"value":"inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q714812$72C8F319-8BB9-4075-A04D-01A5A0989FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef287bb0d1028a1ade734d22571741152a73648","datavalue":{"value":"incomparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q714812$F90BE867-2698-4A0F-BAF1-D12EB7A8EE76","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":"Q714812$8549CB54-02CF-47FE-8D81-FBCEE8A48C97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd5ea60103651cd8577abdac2adab4c5e5488dcc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q714812$9FEACD73-83B1-4E94-BBFC-CCC2C9F883D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fabd053f30a474a31d895941af871981c617b602","datavalue":{"value":"W2028475750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714812$ADE16189-528B-4F3A-955F-4613EDECA3FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$BD5C77DE-4686-4A9A-89A8-E1FA359441A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$EAEF715C-3F2B-41A3-B6CD-12C6B762E21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae220d6f84b63b4e513440dfeebdd74487d42a4","datavalue":{"value":{"entity-type":"item","numeric-id":3674059,"id":"Q3674059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$26F0BF72-4C47-4BB4-BEDE-6A877701E65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c77e60f710e740c4b04ee617d3d071dc12eb25","datavalue":{"value":{"entity-type":"item","numeric-id":3576050,"id":"Q3576050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$7843421A-48F0-4BB4-8274-9798C5476BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30e4b6af77bfb5a900e30648acd00c64d8a6192","datavalue":{"value":{"entity-type":"item","numeric-id":269786,"id":"Q269786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$60DEFD57-B476-4BB2-90C9-2D8614C4A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682ee0541c02bac3ae8263c7dfff4dab9eaf8af3","datavalue":{"value":{"entity-type":"item","numeric-id":1872706,"id":"Q1872706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$73A3A51C-1C1E-4746-A309-2AEF6633B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cbbb077d4e748ec34c73824ea18932f05565b8","datavalue":{"value":{"entity-type":"item","numeric-id":5323089,"id":"Q5323089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$342217EE-F15D-485E-B9AC-B9CA452CF856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc96aad3681b3691e35613f8ddf5767040b63e1","datavalue":{"value":{"entity-type":"item","numeric-id":926511,"id":"Q926511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$05581F2A-1A70-405D-ADF5-DB7367CE70F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee515d0630ff7e005bb0556910bd6a81ad02be5","datavalue":{"value":{"entity-type":"item","numeric-id":5553286,"id":"Q5553286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$D758BF54-F839-4D08-BC44-CF9C94FE646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40da7e129950e1ac567da9cffa7e333f1336a511","datavalue":{"value":{"entity-type":"item","numeric-id":3075514,"id":"Q3075514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$96175F0E-E957-4539-A7F2-F4E1301B062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5756c792c95dba7c556a78f3264b7945a74c569b","datavalue":{"value":{"entity-type":"item","numeric-id":5740422,"id":"Q5740422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$EBA16609-57C2-4DE0-A397-A1BA73789974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b059df79753dba48fb66fda4ddb1cf3fa023547","datavalue":{"value":{"entity-type":"item","numeric-id":1219160,"id":"Q1219160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$3FF018C9-4B6F-48E5-867F-984FCFF9561A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5e537476cdb31f86dd6aad45b0b13e38e05f56","datavalue":{"value":{"entity-type":"item","numeric-id":1075776,"id":"Q1075776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$6168D2A0-85CB-44EB-9C5F-444997644BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$96E46E29-6381-401B-B41D-FDB58C1C4ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceffff1a02b5a4047bc8ae2d910dbd760b2f586","datavalue":{"value":{"entity-type":"item","numeric-id":1212796,"id":"Q1212796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714812$F21907AB-863E-4991-88BF-E20C85F867E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60be250430aa97b45690988150d25c58115b5ef0","datavalue":{"value":"10.1016/J.TCS.2012.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714812$DDDC9975-CCF6-4F61-9C52-34F7EF70DE37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a4e08341e5ed6b01190b85440c8d3204558cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3075514,"id":"Q3075514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d3380bdaec5fe5c26ac0068f90f7c4ad72f7cd","datavalue":{"value":{"amount":"+0.9505547881126404","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":"Q714812$AEF19C23-7E75-4C18-B50B-15BA488C723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098e78f5d017883e3818b7e6798ce28f3daf182d","datavalue":{"value":{"entity-type":"item","numeric-id":1112611,"id":"Q1112611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4567bb4e0c41d9cafb54f77fadbb01442f5002","datavalue":{"value":{"amount":"+0.8552789688110352","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":"Q714812$E1C281F4-DB23-498F-84D8-FD18F417B80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0da37db6bebb29a7d06637509e230a9cbd5ec50","datavalue":{"value":{"entity-type":"item","numeric-id":3210175,"id":"Q3210175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7777f34ad976668a82cd6730433f1afea9e823","datavalue":{"value":{"amount":"+0.8547815680503845","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":"Q714812$87EB1180-74B5-4965-928A-4EBB8C2D0476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b649a29afd8c606bdb4c35a918813d6e2dbffc","datavalue":{"value":{"entity-type":"item","numeric-id":3746886,"id":"Q3746886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffb2f81c21d0ca750ac608eb60ced2ca5bb8432","datavalue":{"value":{"amount":"+0.850939154624939","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":"Q714812$2AA88A3A-32E9-4327-8EE3-3CE9580D252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ce7fcf9273f6a17284735a12a4c4380cfd9fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4281537,"id":"Q4281537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd7e14a44cada9d3572b7b35e2035ef89042ebb","datavalue":{"value":{"amount":"+0.8377304673194885","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":"Q714812$C4BED0EF-8877-4E35-8AB9-8DA16281A613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-reversal counter machines and multihead automata: revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One-reversal_counter_machines_and_multihead_automata:_revisited"}}}}}