{"entities":{"Q5158661":{"pageid":7188232,"ns":120,"title":"Item:Q5158661","lastrevid":55938904,"modified":"2026-02-21T08:10:54Z","type":"item","id":"Q5158661","labels":{"en":{"language":"en","value":"Minimal Size of Counters for (Real-Time) Multicounter Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7413814"}},"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":"Q5158661$2B5BA2A3-1024-4FC5-9F0E-D117C2F6025C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5282804c2352fe2a9cf9466f48cea1d682792566","datavalue":{"value":{"text":"Minimal Size of Counters for (Real-Time) Multicounter Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158661$6628AC00-675F-4F1D-94C9-19BEE7CE8BD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1d6163e88aac6ac5a75e17fc7778ecfaf238741","datavalue":{"value":"10.3233/FI-2021-2053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158661$9E2A6322-B005-4722-B4A0-818B519738EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3336a40cc821600c2cc57c5ef4dc532be5780cea","datavalue":{"value":{"entity-type":"item","numeric-id":442278,"id":"Q442278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$3C340500-377B-4A9A-863A-9AF75437F893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d68cc0601e36010d3d9cf0a365a6be294be4b30","datavalue":{"value":{"entity-type":"item","numeric-id":443730,"id":"Q443730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$2EFBD4F2-019A-453E-AA28-FACDE0935FD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$4C6FCE8C-241D-400E-9780-668689DA336F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ce2f5c3131b8fb956dfb7c648fa88886ee86209","datavalue":{"value":{"time":"+2021-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5158661$83877235-4B89-4882-A3E1-2F7171059253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158661$56ED98CA-2812-4BB7-8C9F-5CBCAB498285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"449dff716c86133c09db1e891a26b78769329dbb","datavalue":{"value":"7413814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158661$A1AD9231-5863-4E88-9BB0-1B4988E1DF47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158661$A5BA75A9-D10B-4690-A525-65503AF270D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158661$5C5E6BE9-E916-46EB-96B8-6B37BD25BC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158661$69C35ECD-891B-447E-8E61-16E1BF814D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643ffcbfd4f975247ba2e3e5a8c70f5448f7eced","datavalue":{"value":"real-time automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158661$5F5B1675-B90E-43E4-AC24-B79966B0E2F5","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":"Q5158661$75E6686D-A589-4B85-8FE5-DC4759349B6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47d753588d3e15901e017390d393815c34f9ede","datavalue":{"value":{"entity-type":"item","numeric-id":5636862,"id":"Q5636862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$2BFEE998-DB6C-4E57-81EE-375F1AFF7D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926a2f82f4dfb5397c50169f4a8d2fcd0734db12","datavalue":{"value":{"entity-type":"item","numeric-id":1401238,"id":"Q1401238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$9B43F003-2057-4D94-BB3F-FAFA4E95153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde51209d4a7cf2800f173ac80551646e84b5432","datavalue":{"value":{"entity-type":"item","numeric-id":4210151,"id":"Q4210151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$948F78DD-3172-4C10-8F3B-A3E412C9E4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c017f7f830ebc5744da4e71db9d2f46bb35f4","datavalue":{"value":{"entity-type":"item","numeric-id":3526538,"id":"Q3526538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$4B33F823-7A68-4FEF-A1BD-FD3C93B59DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1773944a7d4d6796e22b1946d005c264e51a2586","datavalue":{"value":{"entity-type":"item","numeric-id":1338452,"id":"Q1338452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$2D4C9AB7-BEAE-4E50-A28E-51C5C5A24B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66856e28a8d065ae00cc1eb109ee4001e24e8421","datavalue":{"value":{"entity-type":"item","numeric-id":5582355,"id":"Q5582355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$821BB9E4-3DFF-448A-A36F-AF91A8402E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9c22b32b28aec38b3413d783efe6c67d7e1b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3692869,"id":"Q3692869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$592F9671-1A73-4E21-AC46-B0983B68D8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a8fbd35c6bbb59832881d14f76759cf07cc147","datavalue":{"value":{"entity-type":"item","numeric-id":4037689,"id":"Q4037689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$EF4DE9A5-E297-4E9C-AAE9-5E2FC06E0AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$450B69EE-7945-47A5-86AC-1A2033060743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9e0c5242d1b4b7c120be4e78a74f2deee90964","datavalue":{"value":{"entity-type":"item","numeric-id":2814840,"id":"Q2814840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$5A286FAC-46E4-4BA1-9656-7E960E169F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09ad45c310ccddabe10568a0ab5d8e2fa77be68","datavalue":{"value":{"entity-type":"item","numeric-id":3569021,"id":"Q3569021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$54C72515-2C75-4115-A0AF-FF44523533AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05025f392c3d6132c7db43d0cf1503eb32520c05","datavalue":{"value":{"entity-type":"item","numeric-id":5919539,"id":"Q5919539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$7C1AAF68-CC14-4B9F-8C3F-6C043C40E5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e485aefbdf97133b8073322784211a0cb26bada9","datavalue":{"value":{"entity-type":"item","numeric-id":5168415,"id":"Q5168415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$5ABC8F03-7368-415A-9A39-B8BF4573A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5da18e900c147617e86ef7a75eeb280395a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":5543072,"id":"Q5543072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$61277065-1BCC-44CA-BF24-312CD0BD0463","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":"Q5158661$51D32438-ED74-4739-9465-5F4915415144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8c603658a8432cdffd5622cfdf2cb284582316","datavalue":{"value":{"entity-type":"item","numeric-id":3455037,"id":"Q3455037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$2A921836-341C-4C0C-B08A-A00EC20753BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324c1d1f92659c3d6b16030614de35454a5e3473","datavalue":{"value":{"entity-type":"item","numeric-id":4365021,"id":"Q4365021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$9E4B23DA-F1C6-4FE2-B95D-B06A72B9A747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9757ce980c6f8fa87d540ce34490987cfec8474c","datavalue":{"value":{"entity-type":"item","numeric-id":1218269,"id":"Q1218269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$3CE6C8E5-3EE9-46C9-8EC0-7C0347205F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158661$7A865E61-B938-43FE-8464-EF40D995C582","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"802c814180d9092773f4e1f02cbc12c6b4574b42","datavalue":{"value":"https://doi.org/10.3233/fi-2021-2053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5158661$E2218903-C1A2-4319-9625-FE31FCB1F86C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39aee40d0a9433a6cd3c7bf5715b1c1716e4a7c2","datavalue":{"value":"W3198654765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158661$10A731AA-8E51-499B-91F4-765D74C16706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e890f17909dc546135cffd2aeca93b4b36be7a","datavalue":{"value":{"entity-type":"item","numeric-id":1647318,"id":"Q1647318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b146d58519e77490b1084572815ad816a7a986a","datavalue":{"value":{"amount":"+0.9852419","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":"Q5158661$C9CA57A7-062D-4C2D-9559-0371197D83F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c228d88a2485dcadbc4da5ea2204d8079b3ec28","datavalue":{"value":{"entity-type":"item","numeric-id":3184541,"id":"Q3184541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fcd52965be96e82e5782b416ba197bb7e91c9b5","datavalue":{"value":{"amount":"+0.8594552","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":"Q5158661$272F7AA1-4E4B-4C4D-9C65-0262F1D01C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508f5ee4bfd3aa035e5ea7bd95d3e71dcd2194f1","datavalue":{"value":{"entity-type":"item","numeric-id":3791138,"id":"Q3791138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445439bd37bfc44becce5ca98d5b034b0cbefd33","datavalue":{"value":{"amount":"+0.85316026","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":"Q5158661$739A5926-E228-47A3-94AF-9E1F7A367B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffa99d3446f6d662d8ad820528ea62fdda590f6","datavalue":{"value":{"entity-type":"item","numeric-id":5465853,"id":"Q5465853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4479d634cd0c211cf08af78d177449f7918f9acd","datavalue":{"value":{"amount":"+0.8477557","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":"Q5158661$3DBF033B-F3D3-431A-AD52-46B1F94C96CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3ec49a0002a0f4e7644df16d38e85a1ecf6556","datavalue":{"value":{"entity-type":"item","numeric-id":4871672,"id":"Q4871672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066e1b7f49bb9a21c2a82ec2d6208cbcea90597d","datavalue":{"value":{"amount":"+0.84608483","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":"Q5158661$D3FF6CEF-52D0-4B8E-BF50-67F679A7DB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66efbc024e4feb04c662878a23fb7d4c88a93122","datavalue":{"value":{"entity-type":"item","numeric-id":5464004,"id":"Q5464004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c244ad6e8cdcc932cb35b02e593cc31ef819c3e6","datavalue":{"value":{"amount":"+0.84337246","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":"Q5158661$335EF40A-CE1E-4EA8-9227-DBFE1CC05E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6cea0fe9c7d853ad18613b95847f2ae47e7e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5897686,"id":"Q5897686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c244ad6e8cdcc932cb35b02e593cc31ef819c3e6","datavalue":{"value":{"amount":"+0.84337246","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":"Q5158661$B74B7027-FA46-4265-B284-C94A6BC61482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077e34ed3152dedd3471e1a54cbc0a46e029e7df","datavalue":{"value":{"entity-type":"item","numeric-id":4281542,"id":"Q4281542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeb100ef7d72d43f3ea2bf620add4a541e425d7","datavalue":{"value":{"amount":"+0.8416781","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":"Q5158661$C138934E-7A87-4E6C-AB55-100BE38B761C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5158661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5158661"}}}}}