{"entities":{"Q2805446":{"pageid":2816184,"ns":120,"title":"Item:Q2805446","lastrevid":42139830,"modified":"2025-05-26T08:07:10Z","type":"item","id":"Q2805446","labels":{"en":{"language":"en","value":"Semilinear sets and counter machines: a brief survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579360"}},"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":"Q2805446$A8CC682D-75B7-4AEC-8D93-E66686062FBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac538fff61236ddd26449817312fac8cd88c9e93","datavalue":{"value":"1335.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805446$E7AC9EFD-7251-465D-A81E-1F8A7794DA09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b79e152e4b5b9636064d3b4689b5391243acb82","datavalue":{"value":"10.3233/FI-2015-1198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805446$A77D88B8-8E1F-45FB-AA86-DFFB36B20678","rank":"normal"}],"P16":[{"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":"Q2805446$4581B508-A816-4D04-B818-164C887F8BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9afaa416287ab6266df9a2a191233e4c5a8394a8","datavalue":{"value":{"entity-type":"item","numeric-id":264985,"id":"Q264985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805446$74AC27B9-F003-4C9A-91CA-4407B51A3850","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":"Q2805446$E7F98C08-F047-4732-A36F-9827770E81EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39aa9fdf5ab62c801ce885c7d8f139e97b3cfa9f","datavalue":{"value":{"time":"+2016-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805446$F6522C48-F7F7-4371-93B9-AA8E9FDDA913","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805446$6D022588-1CF4-40B9-8E1E-5299E127236A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81875f35b942e8e68c42d3373f018344503d3798","datavalue":{"value":"6579360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805446$E393EA92-E499-4180-8187-C1D1B82ABFD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f221017ac632904454e33ff1904ed996f8e2ab","datavalue":{"value":"semilinear set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$D6F7CCD2-A934-4884-9AF8-E0B06A76B8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07d56e782887a4be2fd48476ebd3688555b5228","datavalue":{"value":"reversal-bounded counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$8BCF7151-BF34-4FF9-983F-4E86A102004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a040a5dba498a200351938de52da6e265190a2a","datavalue":{"value":"Parikh's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$9E01068E-85EC-4646-82D5-0C97CB1A6F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a80b54d7a85aa43c12251fdb8e949ba9c84fa06","datavalue":{"value":"linear Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$754973FC-0A4D-442C-A38B-4921B9265073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3ac5948a51082073fe08b55937180405a1900","datavalue":{"value":"descriptional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$5E63A91F-2032-4C76-AA79-0A5E11229B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309fff9575521b7ca8fc996e01f8ba0c6bf09e1d","datavalue":{"value":"closure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$1E3A2165-E454-4A30-8292-D80AACB88719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56648436bc69574babbc2ceb18fe05313ae543e","datavalue":{"value":"decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$0D1C9E83-D0B2-4FAD-9C14-EE2DA510B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5f18038f3eed57750472148f9f3e689e1833d2","datavalue":{"value":"undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805446$A8B7C8F3-351D-450C-AB82-5FB8488D52C3","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":"Q2805446$0D0136B0-4FE8-4D46-9C79-3EAA0B7FD871","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68fd1b7669e5abd947c7cbbc15c0d054cc5ad7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3824386,"id":"Q3824386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f606a7f839daccc3ea3b00e3189fd50f6c6e65fe","datavalue":{"value":{"amount":"+0.88798434","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":"Q2805446$58721CB0-BC42-4E1C-8DC8-C2087E94EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5188bf56e618743e1cbf672083342d2644a22aa6","datavalue":{"value":{"entity-type":"item","numeric-id":2830214,"id":"Q2830214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62b42c0b82b8009c32aabd287798136db6557f0","datavalue":{"value":{"amount":"+0.8755546","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":"Q2805446$B34FF463-B34F-4093-8A78-DBC3E9320EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8677ee73cc791d5c06f2b5b1bbd84735bddfcda","datavalue":{"value":{"entity-type":"item","numeric-id":5464000,"id":"Q5464000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946e93408c5ccfe6ef40997acd08adcb4a209a2b","datavalue":{"value":{"amount":"+0.8658801","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":"Q2805446$EE3F0897-2F61-4884-AD7F-24EABE70E9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d0510d330e2be401f3d92ed3e715ad75f6c321","datavalue":{"value":{"entity-type":"item","numeric-id":684511,"id":"Q684511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061c9aaccce296435d31dbc8f2a6196f03e8a17b","datavalue":{"value":{"amount":"+0.86142343","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":"Q2805446$63C6A342-D470-4510-B414-B7332749C7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb28b76bb2943babe699824fc889631eda625ab","datavalue":{"value":{"entity-type":"item","numeric-id":3982914,"id":"Q3982914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b55d612ac5d042288f9f4534200a7a369cd78c4","datavalue":{"value":{"amount":"+0.86135185","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":"Q2805446$0A52D9CD-4F53-403F-BBA0-B82B4B095500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13332fb71ae8a47ae570280be9a7d0025840dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5016357,"id":"Q5016357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935217e6ca8d44701cd5a5250f0a006fc0b59236","datavalue":{"value":{"amount":"+0.852581","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":"Q2805446$90C62F55-A26D-4B85-9299-5E7F416ECA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45aa58344db2c5246053be64967d84b348e5faa","datavalue":{"value":{"entity-type":"item","numeric-id":3197339,"id":"Q3197339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38d2cfdd9627b7851b2e53174ca8cc0ab5984d1","datavalue":{"value":{"amount":"+0.85224783","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":"Q2805446$EBD3F664-9A6D-4DF3-9A63-58D1FC383A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a28e37259680f58442114de8520eb89f75d863","datavalue":{"value":{"entity-type":"item","numeric-id":4441905,"id":"Q4441905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962fdc3fba0a87205318eda49a5a52d2973929fd","datavalue":{"value":{"amount":"+0.84724057","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":"Q2805446$F9253FDF-95E1-4817-AF06-DC967EA9993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c41942b9da2adae58efa283943bc9f456534eb","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb4f4fde7dba53b555752fafb62d982ca775d4a","datavalue":{"value":{"amount":"+0.84579355","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":"Q2805446$0853D666-DFE9-4809-8ADD-CBB02A8BD5E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"309f447a3e7da403dead74bd610855100d78b4a8","datavalue":{"value":{"text":"Semilinear sets and counter machines: a brief survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805446$64342CC1-EAE5-4EE2-A904-20A01F088E77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805446"}}}}}