{"entities":{"Q1770418":{"pageid":1781160,"ns":120,"title":"Item:Q1770418","lastrevid":55938877,"modified":"2026-02-21T08:10:28Z","type":"item","id":"Q1770418","labels":{"en":{"language":"en","value":"Multitree automata that count"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153211"}},"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":"Q1770418$E971D962-7F9A-4066-A51C-3C11E2078202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9aab848e55042241745a2a40db5035247f424b9","datavalue":{"value":{"text":"Multitree automata that count","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770418$653D390A-E6C7-4F01-A396-4AEE41365FC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53d3f7ee0598139f565e074d28ecb0082d56d784","datavalue":{"value":"1070.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770418$93F809A4-5DD2-4AB9-940E-FA715E7878AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$0C7CB8C1-2EEA-44B8-9DE6-E4423C40B159","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":"Q1770418$61842E89-1761-4BD0-A603-B38BB7011E40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770418$64975E06-9B0B-4FBA-B8E4-F5A3429544E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770418$C0A66934-ED26-44CB-B641-03893833D548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770418$4B2F4579-DF66-4219-80C2-C2C9B640BE82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48d7c1a1882ff981cc73ba12e94e902feaf73856","datavalue":{"value":"2153211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770418$94B60BEF-9A61-47AC-B1DE-D5C88E29DA63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f435e784c00879d8b50ce6e53f8f5069beec6454","datavalue":{"value":"Tree-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770418$C99E3408-6769-4DF5-91D9-8F2164611396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770418$4B96494F-1499-418B-A3FF-EDDBD172E561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8eb270d4ed4b446b915ab174a0d0120cef86df","datavalue":{"value":"Formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770418$D114DC72-73D0-412D-ABB7-1C41902DD517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770418$72CBFF0E-138C-4B9A-8F4D-40AED32A9634","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":"Q1770418$AB318806-0521-4431-B2FC-8EC22AB0A13B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"792547514b9e48033d3d3092d5284c4feabdd399","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770418$4026BE1C-FE3D-4925-9FA6-8E98D98129C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de61c2163b00d4b18eb81ccb2cdc1e6c6863ed17","datavalue":{"value":"W2012833332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770418$AFE1B1F7-F496-4E8E-967B-3F3DE97E1971","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ea43f4539b07f56dc7ca504e383937ea706cf","datavalue":{"value":{"entity-type":"item","numeric-id":3696522,"id":"Q3696522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$C2D3C11E-CCB4-48C7-B1B0-BAE9AC0D2229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$F533D4F9-A646-4A94-96DB-9DC89BF6A5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$B49AFAE5-8F6B-4C8C-BB96-4120562FF6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed3cc28811a5e3f4dd5352c6cd345f8a75b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4632446,"id":"Q4632446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$5D426C74-9081-4243-8DC2-1AD9B4123B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0647c2491022da205d2c9d5b5f13c7408dafb0","datavalue":{"value":{"entity-type":"item","numeric-id":2842873,"id":"Q2842873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$39DB28A3-1463-43E3-98CC-B70D1F0F9DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e6541565e61c7c04b1ecea6dc57283706c32cc","datavalue":{"value":{"entity-type":"item","numeric-id":4942651,"id":"Q4942651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$53840038-C87C-4DE1-A086-2BE93A7F9D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e4f267ecbb634fe58013f3c2fe17aa3baf48f1","datavalue":{"value":{"entity-type":"item","numeric-id":4447237,"id":"Q4447237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$03CED9D1-35B2-4DDB-ABBE-EE379A4D022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$9FF872D0-A00F-4D3F-B4AF-7AEDA2EE40AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$283CE7FE-332E-490B-AA5D-A9E59FFBCDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$BDA787B1-F922-41E1-817B-33084B680A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$4632C459-E463-4E74-B01C-A2118C1AFE7B","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":"Q1770418$A6B135AC-110A-46F8-ADB9-E8FBFD69AD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099f903d754597f75cfa502f7dd5dbe5ef103411","datavalue":{"value":{"entity-type":"item","numeric-id":2373699,"id":"Q2373699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$C7316CF1-9575-40AD-B3F5-FCBEFC00998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$9F39F266-B734-4536-8612-6FF9A90C6C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3057cc9fdcc6e5cd2f75615403ab03b360a156","datavalue":{"value":{"entity-type":"item","numeric-id":4417868,"id":"Q4417868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$0EE9D223-BCE3-462A-B167-5C27372CA32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e10fde38a5d61fa62a315260fa7cf62a3e1368","datavalue":{"value":{"entity-type":"item","numeric-id":1892141,"id":"Q1892141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$B10826D9-C1B4-4D37-B6FA-6E33A1EA53F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8134014ec66587618daa12c3e4f16188b62a133d","datavalue":{"value":{"entity-type":"item","numeric-id":4338318,"id":"Q4338318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$A05292EF-36A9-4FF0-AB2F-24C9300C606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549f278094c99a32f5d7bcfc091803de10c902b7","datavalue":{"value":{"entity-type":"item","numeric-id":5044748,"id":"Q5044748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$5082B08C-CE33-454E-B622-65A3CA3B7E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa2ea8cc60ed953e0f39a76480fda2908167358","datavalue":{"value":{"entity-type":"item","numeric-id":4783330,"id":"Q4783330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$5FEBFF66-E8BF-43A7-8289-24992CB4A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54aeda675825e19ed0e07f9ed082b2acdca93cb","datavalue":{"value":{"entity-type":"item","numeric-id":5570936,"id":"Q5570936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$30046EE8-4B0F-489A-AC8A-E3B6B2087CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8519f05d71806176ed17827268c9bb314aec3ff","datavalue":{"value":{"entity-type":"item","numeric-id":4447233,"id":"Q4447233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770418$F4E5750B-815F-404D-BE9F-6985EB8A7B10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74dad530d7092286c0792ef58beb1c85dd94516f","datavalue":{"value":"10.1016/J.TCS.2004.10.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770418$31849CF9-A733-4C5F-9013-D7C8094D037D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7df9b2f9af899fdb3f656f07bf71579032f1ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4417868,"id":"Q4417868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09b0846ced8b3fdba28bd3a2d4d2c53642b7fb5","datavalue":{"value":{"amount":"+0.928159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$85888897-D812-4C25-9EDC-0639D3B6DF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ab7b04b44474d5aaeb2d9d8749129bcd852ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5044742,"id":"Q5044742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76d6239b157127402cdc2420648f8e5f23c7877","datavalue":{"value":{"amount":"+0.8976871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$0E0F417E-F39A-48D7-A4C0-6C45D6390987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447fe2e269d7fe02738482df3cf0ade21543912c","datavalue":{"value":{"entity-type":"item","numeric-id":1898484,"id":"Q1898484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76d6239b157127402cdc2420648f8e5f23c7877","datavalue":{"value":{"amount":"+0.8976871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$0020D826-E135-4D77-8127-2551E44C6E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61004ea8e4f7b0c70b1994a76a44468198461be","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5bffc9e92d169e0e88f10df5065217ca1cf16b1","datavalue":{"value":{"amount":"+0.889297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$5615E0CE-FDC2-49D7-AB22-4F3AB2CE5ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f050ed4ab60c36104be5fde193343566d5d68c","datavalue":{"value":{"entity-type":"item","numeric-id":5418248,"id":"Q5418248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ed898a47349e9e8bf4f14abe85023b5e9b3391","datavalue":{"value":{"amount":"+0.8892968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$27038D8B-D765-4387-BA5B-38CAEB5066F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838ff3ac919655953057b9480deb683f0db86db0","datavalue":{"value":{"entity-type":"item","numeric-id":3541869,"id":"Q3541869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282ca4c5502e579cf25fb6cd9fbb6cb5d52c2b32","datavalue":{"value":{"amount":"+0.8792384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$5C31E8BA-4439-4BDD-B8E1-C93D9AB1AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee16c4da9d8a110453b73af45735ab0804b672c","datavalue":{"value":{"entity-type":"item","numeric-id":2074209,"id":"Q2074209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090629e57332227f882b99e98e3a1bd1166c6517","datavalue":{"value":{"amount":"+0.8788412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$D69208BE-5D86-4CE3-99DA-DC0CA2BE21E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa48d7b865552a646ab447cb936f821d285a0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2289075,"id":"Q2289075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09eee79e906a3544d6631217e86c1c5597914f65","datavalue":{"value":{"amount":"+0.87454116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770418$8584BD90-E70A-4891-AF4B-873113341E8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770418"}}}}}