{"entities":{"Q5902108":{"pageid":8010868,"ns":120,"title":"Item:Q5902108","lastrevid":97620503,"modified":"2026-06-05T15:06:36Z","type":"item","id":"Q5902108","labels":{"en":{"language":"en","value":"Flat Parametric Counter Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5568673"}},"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":"Q5902108$3502ACC7-17E5-42C5-91EF-AF6CE5367DD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21f31255f7fcf77af7d6a68f94e0dba0e477a028","datavalue":{"value":{"text":"Flat Parametric Counter Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902108$A1A9CA32-771A-4E1E-817F-73FC029F4903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecfb46b79fe8e606d7eaf23bcd86de201d38ecd3","datavalue":{"value":"1189.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$D8B0EC32-955B-4A9A-9292-B74B247B4746","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c55e61f591b86dfd9ca014b0b4205751d4604ee2","datavalue":{"value":"10.3233/FI-2009-0044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$ED5B31CD-A681-4C76-AD55-068D722C37E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902108$8D783791-934C-4E6F-B36B-92F8F6285CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902108$73F21882-F32A-47A7-9974-78067B57A119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902108$9CE91450-5C9C-4B52-AAC9-4DEAA4957650","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":"Q5902108$63D47472-56AF-42C5-B9B4-AF26B3DD3CF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f66a2f08b182488ffaf8c1a4c74cdffeb2d3409b","datavalue":{"value":{"time":"+2009-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902108$C25910B4-1B62-4E7C-A032-662FAE75C728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$B6133A75-41A8-4BDA-BD4E-35771B4BB7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$9575582F-485F-410E-8CE1-C8D8B4455832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$9966C817-DADC-4064-845D-1D08C6E45091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$B2856320-C4E7-4AB0-BA9B-C6E36846BD13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1076ee0952ecf16171afd50f46e12448b1bca84","datavalue":{"value":"5568673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$839DEC5F-1B16-4FFE-97B0-1DF4AF61AE46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902108$E602BDFE-0045-44C4-9C20-1EDB68EEC0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902108$79F01887-9A0B-49E3-9021-5989B4C3514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902108$B0B91D99-E0CD-461A-B224-EE8345B0794B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9066ab16cdf03145c97887f2a66b037baa0b49e5","datavalue":{"value":"linear Diophantine equations with one parameter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902108$54C45094-870E-4911-A104-B2945E50DAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902108$29D9FC42-C568-45A5-BD5A-3D3BACF000EF","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":"Q5902108$473300BB-DA2B-4727-8388-B3508EB2263A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a7a20fbdcf3ad6da5dc94f49c03d93e7c6c95e3","datavalue":{"value":"https://doi.org/10.3233/fi-2009-0044","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902108$2A937231-F48F-4103-BF18-3A52C40AB8FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8a5084e7f9b79f18ce045e771913e34cd259721","datavalue":{"value":"W4214650869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902108$6923C4C2-9B4C-40BE-8B31-E0CF19E7C70B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551cc467d0f107639dbfeaeaafa1a23264736806","datavalue":{"value":{"entity-type":"item","numeric-id":5901227,"id":"Q5901227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8f1e94c33c9df881d9eeffb48039ebd659b2dd","datavalue":{"value":{"amount":"+0.9029431343078612","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":"Q5902108$26545CBD-96F1-460F-B696-DB1EA537AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc4591d98ee4466c4eb0d2dbc8a227b92db3578","datavalue":{"value":{"amount":"+0.811736524105072","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":"Q5902108$3473A0EE-0BC0-4894-81F0-8FB481CBA221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157269a7c87aa5c58e8e0065b9dbf87d6ebb0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400d16adfe3077348fee325f6e2c73f70c4c5712","datavalue":{"value":{"amount":"+0.7597851753234863","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":"Q5902108$6DFEA430-A392-46E9-A850-B420FDA9354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe37c6adb2d02fca697ffe04d0d07a47db5a4bf","datavalue":{"value":{"entity-type":"item","numeric-id":515666,"id":"Q515666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671324fddcd84a240b63998878c7b1a732015c88","datavalue":{"value":{"amount":"+0.7560634613037109","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":"Q5902108$C5AF2E8F-7107-4DE3-99A7-2BCAE0FF1EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60123ea2bad0d2585ce6609bfe388b087a4ed3f","datavalue":{"value":{"entity-type":"item","numeric-id":1884954,"id":"Q1884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250300988377534d276d46201decd48666414654","datavalue":{"value":{"amount":"+0.750885009765625","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":"Q5902108$8C303934-BA5C-4861-902B-894E969A9A5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Flat Parametric Counter Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Flat_Parametric_Counter_Automata"}}}}}