{"entities":{"Q2914726":{"pageid":2925446,"ns":120,"title":"Item:Q2914726","lastrevid":51558077,"modified":"2026-01-18T18:56:28Z","type":"item","id":"Q2914726","labels":{"en":{"language":"en","value":"Automata with modulo counters and nondeterministic counter bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084475"}},"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":"Q2914726$F1FCB1FF-00FC-49DE-A841-5763AA15D206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c90a50535605c0f3f801b86800ae7e7117c56f","datavalue":{"value":{"text":"Automata with Modulo Counters and Nondeterministic Counter Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914726$1046327F-60FE-4CB7-8D9A-18C6F49A3904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dfffc440b8b5ca7b863957b51d41052a03c1ff9","datavalue":{"value":"1297.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914726$0DB8FCF5-0BD7-41B8-8EB2-042D48C558DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fae9b1dbd4d3534a099769326e5681a4966f3f9","datavalue":{"value":"10.1007/978-3-642-31606-7_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914726$2C1A497A-DA82-4FDA-8ED8-B16549D9D1AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67caf897d68a28c033b3c643bbbe09eda01b859","datavalue":{"value":{"entity-type":"item","numeric-id":340551,"id":"Q340551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$095811DE-9CFF-42D2-979D-C8DC95461515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08bd73b8f826c8dbdeb6470e2a97e95c375ab926","datavalue":{"value":{"entity-type":"item","numeric-id":315523,"id":"Q315523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$CD2AEB4D-94B5-4640-9CE4-795F0521464D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$D40F8E8A-B79B-40B0-9C75-471ED2077581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914726$B348AE51-5361-4617-AADB-AF096958116A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcf2dc49a6ace081557b3592abb6ba3c9225f7f0","datavalue":{"value":"https://dspace.lboro.ac.uk/2134/10358","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914726$81E501E5-05D6-4368-852D-7F83DD9314DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914726$9C59390E-80FF-44C8-9336-501E9691F830","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a49acf229383c5c5886451cbcfbc79fd02dcb61","datavalue":{"value":"6084475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914726$E3A47945-B0DF-4983-B3B1-16A968FB2EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91243e53f8c46927dc165b116b35cdebc260795","datavalue":{"value":"multi-head automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914726$3B0F1A05-E9D8-4EB6-B298-4AFCB30D58B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914726$E939ABDB-6A49-4C2D-BF55-5BE51194D132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ed239594ffa8998b88ad8aff6782fe5104a479","datavalue":{"value":"modulo counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914726$02647205-5374-4B1A-A682-C44F5B0393D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c45e27388111043613bd03f187323b2dc7225b","datavalue":{"value":"stateless automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914726$06C80C87-590C-4961-AC0C-CD0CE6249AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645a659376e00060ffffbdc14b3e411867b439b8","datavalue":{"value":"restricted nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914726$B7FB12FD-1492-4E33-B62D-D945AEBD307F","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":"Q2914726$EBBD4931-9B1A-4422-97AA-9C9C2604111D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"631b5af38218b5c3c873156368c3cae58df33199","datavalue":{"value":"W141970373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914726$322D87B5-7666-4C9C-86B2-ECE45EB4B7BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad03ab02a222ed5fc4f2106dcdfb8f973c0809","datavalue":{"value":{"entity-type":"item","numeric-id":1088408,"id":"Q1088408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$D034351B-AA49-4BD9-875F-86FCB4F83E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8085efc168b771edd069942eb26bc8ef33feb6","datavalue":{"value":{"entity-type":"item","numeric-id":3637229,"id":"Q3637229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$7CC8F472-5961-4969-9656-047890ACC8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be8379f7b1dfb9112fc6c6550fe59888f6875bd","datavalue":{"value":{"entity-type":"item","numeric-id":616495,"id":"Q616495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$82D22FB5-629B-4AA2-A189-123257BCD3F3","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":"Q2914726$BB871D96-CCC3-4190-8C97-31FBD67A888A","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":"Q2914726$0EF26994-CA35-40C8-9EF0-0817B9F6F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb0bab710013dd6152f24ade8e8dea119b96d11","datavalue":{"value":{"entity-type":"item","numeric-id":844888,"id":"Q844888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$9D0EAE39-ACF7-4EC2-9EB6-B63EE18B772E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64c484d00114ac6daaecc5bff5a8836afb1c7ad","datavalue":{"value":{"entity-type":"item","numeric-id":2490819,"id":"Q2490819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$E75C91F5-294D-42F4-8301-961BA7EBBBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da53f321e5f5d18f3d41dceaa9fad169b946fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3056279,"id":"Q3056279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$5C43F208-B74F-46F9-8E2A-2E670F82C22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c3ec42f7298cc5bc87787b6d3b98d85b4ebf8e","datavalue":{"value":{"entity-type":"item","numeric-id":3885190,"id":"Q3885190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$B35C66AF-7EE3-431A-AF82-3DAD69F57F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf5e6d4b108d40b00e81080ea266ee13e8baa31","datavalue":{"value":{"entity-type":"item","numeric-id":3073643,"id":"Q3073643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$0D713F7D-F1F6-441C-8ED0-71DAA26662EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57784749ba6d7408b266cc505cfb00bd1bc700a5","datavalue":{"value":{"entity-type":"item","numeric-id":3542882,"id":"Q3542882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914726$394DEE87-EF1E-4686-B49B-A56CE88449EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376925cbb4ef5e63b4b5d5b66b18a9d4ad22e239","datavalue":{"value":{"entity-type":"item","numeric-id":5416362,"id":"Q5416362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9484637535911a209f2ab5dfb6798535e376f141","datavalue":{"value":{"amount":"+0.9955936074256896","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":"Q2914726$44A16A8A-78D6-4441-BF5A-0845862A4795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf156223f28ec968585aef7479d9958608134e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2333810,"id":"Q2333810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635d9d767f808e854a1a3f0573d8f001da852e9c","datavalue":{"value":{"amount":"+0.7486842274665833","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":"Q2914726$CA27418B-A01B-4E25-B1A3-B6093F79F30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68022ec70cfcf9446b023bcbeddd2947e892c07b","datavalue":{"value":{"entity-type":"item","numeric-id":1763701,"id":"Q1763701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da377ef7be08955bf95e2ec35489dc1a55e94c8b","datavalue":{"value":{"amount":"+0.747453510761261","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":"Q2914726$57EFDA0A-8D5C-4C53-B950-B80A50CF62F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d04f6b9b2d7463ca24ad2f551492b84fae8143","datavalue":{"value":{"entity-type":"item","numeric-id":3167588,"id":"Q3167588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec98c6b3ba24abb2e33c2131d089005a8f2257a6","datavalue":{"value":{"amount":"+0.7464519739151001","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":"Q2914726$E3B8C303-A101-4F95-9492-3E4E3FCBA27A","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":"2057d401e434200da444a29d7d731e7f461c4c51","datavalue":{"value":{"amount":"+0.7365135550498962","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":"Q2914726$DA315EE3-E985-43FF-B5A3-E8050631DE88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914726"}}}}}