{"entities":{"Q1763701":{"pageid":1774443,"ns":120,"title":"Item:Q1763701","lastrevid":72473397,"modified":"2026-04-14T05:09:45Z","type":"item","id":"Q1763701","labels":{"en":{"language":"en","value":"On two-way nondeterministic finite automata with one reversal-bounded counter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136562"}},"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":"Q1763701$30CFE2C4-3A10-49DA-A896-0EDC1FE14116","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2e952cfc680a810caf162e9867e8c0b26fa0f7c","datavalue":{"value":{"text":"On two-way nondeterministic finite automata with one reversal-bounded counter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763701$864E3FFD-55D5-4F28-8DE9-6F7B6DB898A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74a715a26f73945643c711f37230f2861208c445","datavalue":{"value":"1078.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763701$BFF2349E-B74C-4040-9674-5D8BE7D9D0CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$A515485D-2137-42C3-A1C9-0C3627B992AA","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":"Q1763701$151B41E3-3418-45AC-81C6-6022B621434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14c97ad5224b2edbeff56ccb3b746445592bec4","datavalue":{"value":{"entity-type":"item","numeric-id":189392,"id":"Q189392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$85D8E4A8-ED24-44F9-934D-94F75D64B3B4","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":"Q1763701$3A037530-CDF9-4298-B9FD-A6B4E9482106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763701$B8712B43-4AAB-4361-A97D-C339CE18D5D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763701$6F2E5E05-4017-4A69-B21E-FEA52CB31B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4dff3772dc63fbb6540c75bdb41ad28aeda1212","datavalue":{"value":"2136562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763701$DB577D9A-15B7-4149-9F3B-9323ED16E3EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8a22c06a676ba62edf3a8947560833ab69f9fe4","datavalue":{"value":"Counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763701$7A00B287-4FD4-42A4-809C-E8A8824C0244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fbeb9e08ec349d46cd7a9e6b160c25003782055","datavalue":{"value":"Reversal-boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763701$0D596FB5-13BB-4C7A-BBF0-8D1AA710D55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ebff48246f3809f30f7f8df76d7591b802c6f46","datavalue":{"value":"Emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763701$AF4420E7-FCA8-4FA1-A097-2800EC3B513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0680d60375329bba23f11d7e8fcbf6b2d2e7b63","datavalue":{"value":"Bounded language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763701$139F5FFC-6F62-497A-A09F-D0420B5A9D21","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":"Q1763701$F456D693-EAFD-4941-8FF6-19646A2D5A38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f6c76fffd23298f2e7bdb45ae75309c7fc700c3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763701$A584866D-16ED-41C2-9E03-8CDB17B2A901","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b0f0385d06aadbebf0a41b74d79e73d1089cf2e","datavalue":{"value":"W2121428680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763701$65C23A05-00D1-4C50-A5A0-09C43912CF21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39633f85c3f59cbfb465de8b6af9611f965045f2","datavalue":{"value":{"entity-type":"item","numeric-id":5840342,"id":"Q5840342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$14B5F0F7-96A8-4FED-9F23-B838D5858B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$80793099-E83E-478D-A00F-6D9FE8A524A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$F6DA725B-E079-4FD1-B69D-37CBF5D56417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16bcbc18fd74a19ac9a32b503ccd2e7113abd46","datavalue":{"value":{"entity-type":"item","numeric-id":3960829,"id":"Q3960829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$A1BA823D-DE79-4C61-ACCE-7B128248CB18","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":"Q1763701$571EE634-42F4-4D20-8638-F620D1CAD815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3373c8fa81e763c7b84568b1d121432826d2f13b","datavalue":{"value":{"entity-type":"item","numeric-id":1884954,"id":"Q1884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$AA32FF3B-0056-4150-B04C-EC97A208A2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744bcbd69b98e127a086f2b384ec2b564fb3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$CBD95259-4D48-4EB7-B902-E13F469A12C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0fa00a60f08df896b1282a2e22d240dda6a5e1","datavalue":{"value":{"entity-type":"item","numeric-id":1196686,"id":"Q1196686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$DA4DFE74-6E5E-46A1-A4BE-9C0DEB0E49F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$C4961B20-61FE-4F6F-B082-1E39542FCFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e934536e46dce563693fbf39fb886e45695206","datavalue":{"value":{"entity-type":"item","numeric-id":3267385,"id":"Q3267385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$F9BB0F25-1AC1-4A84-BDBE-8AB849762FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$97EF182F-3028-4C2D-B0EE-22AEBCB6D215","rank":"normal"},{"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":"Q1763701$80176348-0292-40D9-9264-7E6D1A3EE7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea596f1e6b119472c621f6040296665798b49ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1912748,"id":"Q1912748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763701$09388CEA-358E-4735-A447-DEEFA836E972","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b600772ba960f86949dbb9461d2726008f7ba2c","datavalue":{"value":"10.1016/J.TCS.2004.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763701$E0E23D69-4409-44EE-814E-ACD0C4DC3E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32692f97c86277be37889d9c7f4b3c04694499cb","datavalue":{"value":{"entity-type":"item","numeric-id":4425946,"id":"Q4425946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6deb1cbb0180f2f715cf6cd2264052721d406aa2","datavalue":{"value":{"amount":"+0.95469468832016","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":"Q1763701$84CB4AFB-D470-4C34-97B2-A31BE3C3EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7d2b4906eb35498ac493f6e45dc5961f495c16","datavalue":{"value":{"entity-type":"item","numeric-id":4630270,"id":"Q4630270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6a0f8082fa93eebaabe265e0a481fb7c23e354","datavalue":{"value":{"amount":"+0.8799976110458374","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":"Q1763701$CB65351E-5473-415C-BC77-0D74DD44EEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f9fa2399e874e19344e04843c3ed2cedaa6d45","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13aa40b88173aa4aa1d855a0d0c47508ee1ae07c","datavalue":{"value":{"amount":"+0.8729652166366577","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":"Q1763701$2D42666A-9CE5-4C5A-80E5-5533AF2122E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561a556981847876956a9e851274c07126fe49e9","datavalue":{"value":{"entity-type":"item","numeric-id":5496173,"id":"Q5496173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944c52f65bf19e3840056d936190f1156dde2c04","datavalue":{"value":{"amount":"+0.8711029887199402","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":"Q1763701$D4B45E3C-A5C5-419A-AC6D-B70BC7ABDEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe00150e81053a1e3b60740bd63de901ee28109","datavalue":{"value":{"entity-type":"item","numeric-id":3680282,"id":"Q3680282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e026d3200a7180d7f5200d2b31946ca513c78e","datavalue":{"value":{"amount":"+0.857582151889801","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":"Q1763701$34B9E7D5-A547-4111-AA8D-A382E1342079","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On two-way nondeterministic finite automata with one reversal-bounded counter","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_two-way_nondeterministic_finite_automata_with_one_reversal-bounded_counter"}}}}}