{"entities":{"Q537953":{"pageid":539720,"ns":120,"title":"Item:Q537953","lastrevid":62587194,"modified":"2026-04-11T07:06:20Z","type":"item","id":"Q537953","labels":{"en":{"language":"en","value":"Programs with lists are counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5898959"}},"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":"Q537953$FC4AB083-A050-4E0C-A842-26BB27A86346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"805afd8749a97ebed5e972e74e04733315c8538f","datavalue":{"value":{"text":"Programs with lists are counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q537953$9C7CDCC3-4CC2-4040-AE7E-A5F86140B5E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6c3d6a26237bc2f800029cc9697d6a47c32e629","datavalue":{"value":"1217.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$6396E733-E184-466C-8980-4FCC7EFEC40E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$1C3002A4-5A8E-4A88-8A4D-C103731DFEA8","rank":"normal"},{"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":"Q537953$6BCB0528-EE71-4556-B34E-B95F0DA54E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$6FA09C26-14C2-4C04-A3DA-D32BAB05C9BC","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":"Q537953$22A7B5DF-30B2-45C6-970B-7CABA779EBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afdc2ee9687d80ea8c905f4f4d5f04b9ae04c2bf","datavalue":{"value":{"entity-type":"item","numeric-id":537952,"id":"Q537952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$46C945B2-EF1E-4B8B-BF90-FCB34B138F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$94A39AA8-7BC9-4AD2-AE14-47A583E07AA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$7D09056E-4299-4243-AB1E-785EF3480189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987c10c6ecaaa604cff66f7d8ee6e24b6dd4dc1e","datavalue":{"value":{"time":"+2011-05-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":"Q537953$2C377B28-D1A1-4E2A-9CED-82DB1D4C036A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$BAE8C548-4880-4517-AF43-11CB24297229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$6D095B77-87AF-4EE7-B277-86723DED6CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$B6F4DD7E-F9F8-4131-8C5D-FFE74AB52193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$F666A45A-DDD6-408E-A88B-4495C68DF5ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aa3ef07e0efd088c0a35823c1cab70868be518a","datavalue":{"value":"5898959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$92920063-407A-4B07-90C8-B43A5442CB75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q537953$E5A880D7-EB88-489A-A69F-9C728A071F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3577b6c3585c9d027b2f2949bf54588e4961055f","datavalue":{"value":"programs with singly-linked lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q537953$4E2F57A2-174E-48B0-BBFE-75B630A347E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc7c0b9963b9d9ed6e35ec935a67814f2ebe7d4","datavalue":{"value":"safety and termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q537953$574F9D3A-D1C0-4BE7-A794-41D56B6B8B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q537953$E83E8366-42AA-4D41-9166-E4AADBC09307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q537953$639E6780-F048-4D1E-B7C4-9BD7A620B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260b2f0dfb46520d8ec5f325036d3e9cb6804d6a","datavalue":{"value":"lists with ordered data","type":"string"},"datatype":"string"},"type":"statement","id":"Q537953$F87B4B7E-E0F4-4E7C-8060-4ADF191B3C9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$7682FD8E-8EDB-4B98-AE57-55775E86630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$B555FEBD-E705-40A8-8919-89CCE57771EB","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":"Q537953$5891E60F-E0A6-4AD3-A95A-F10C26416136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c9f3d7c3906d5668c2b4f17c4369ba38bb905c6","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0111-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q537953$E81FE8D6-F307-4CBE-81E8-0444C002B426","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71ba3bcb9ef35f4a40ebed70f204e76dd94a2a11","datavalue":{"value":"W1981273171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$F12A8991-5A9E-482A-9A42-B9EB9131879D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ba291de6e6c288287b7f3a4d3e3a545b2c1853","datavalue":{"value":{"entity-type":"item","numeric-id":3512503,"id":"Q3512503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$5844E334-A1F8-44B7-AC5E-6D08E2244D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$36626FCA-A799-4149-87B7-E5364AC562FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564cac3cecae500a03fe5c95804baa48e6236dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$4F3E0B85-3A1F-4D71-B552-B230A8F24F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$993B68C2-5F18-4378-992E-0411F683E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e727b0a3ee59bc4e1c091872c304fb00780206","datavalue":{"value":{"entity-type":"item","numeric-id":3189800,"id":"Q3189800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$4FA5AD6B-8AF3-40CC-889C-29D8B3653AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$2EE49FF0-EA42-47A7-AC93-5CBBFFA52889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$C265382B-C2F2-4317-AE0F-194B08C5CA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$8AA4A5A9-5EB0-4A5E-8E8D-30630287E3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f76f741c9d879772047a2f068275875df3dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5705902,"id":"Q5705902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$2F39BE8D-CC4C-4883-BA58-E67E3B9D062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2e7a9146a33c0384e41fb8dc30bb359c0a335c","datavalue":{"value":{"entity-type":"item","numeric-id":5452602,"id":"Q5452602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$CC69FD7B-C77A-4764-BDF3-8A60E208D212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7884973ff241a221c90c774886de6753ca23e7","datavalue":{"value":{"entity-type":"item","numeric-id":5897503,"id":"Q5897503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$DDA725AD-4221-49CD-B938-57550EFE1C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$6E7C76E9-6C1E-4DDE-9120-C5C8BCAD4ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46b42c26ff95c25a123eade860f8ec11025b448","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$188433F9-5FDB-4A39-BA9E-B2A78AFD5A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$E5738015-AD14-438E-B5F6-2FF6A51F234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660b5e0223d8e7f90650cde2251fed5bbb578fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3510793,"id":"Q3510793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$9113F06F-A502-49B8-99CE-0BEB70BAFC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd8bff27d5fbec176507b9ef836e3c148f2614","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$A3C0889D-BC40-432B-9326-05B7D38E2A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b0d5580692c696fb3dc09deed3fdfe7457ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":3613390,"id":"Q3613390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$9EFDC5A3-33F6-49F2-8A5E-3AFE4D69117D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1175367724993f3e0249db2e141c79883c1c01f4","datavalue":{"value":{"entity-type":"item","numeric-id":5711490,"id":"Q5711490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$9721C73B-3CDE-4B59-8353-8BA72CE73311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809c39f447085694cde430904653e748ed79a45d","datavalue":{"value":{"entity-type":"item","numeric-id":4417895,"id":"Q4417895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$8ACF8630-6805-4268-8D0F-41C76273E39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$2365DEE6-AC30-4DF1-98C9-E0DACEE58410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02f728e7a7db53f3c813c52dbe4e8fafba4a359","datavalue":{"value":{"entity-type":"item","numeric-id":4411951,"id":"Q4411951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537953$3E5A52FC-99A3-4236-9A48-97145E0C254B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37fd01af883b20d12cab90189e5ba4db96496add","datavalue":{"value":"10.1007/S10703-011-0111-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537953$0A4B09D7-311A-4FFB-AC03-29C4AFDCD11B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b8187d92d16a347cf658f11507e25fa7229462","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd98e60b742fe187e2b30eea1107eb3069fbfbd","datavalue":{"value":{"amount":"+0.972488522529602","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":"Q537953$C44F26D1-8B4A-44E2-9380-41A728E5B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2d65363eb91bb98ef74b0f835b99483297e283","datavalue":{"value":{"entity-type":"item","numeric-id":3644794,"id":"Q3644794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990d8e0e016569e30bf35bead5eda3e89bce6cd2","datavalue":{"value":{"amount":"+0.830970823764801","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":"Q537953$5C1C74DA-0A29-4F60-9CE5-1CBEDA2E93BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6586d3c93cb4c27e573ea8a6ef201cb15a40f63b","datavalue":{"value":{"entity-type":"item","numeric-id":5452602,"id":"Q5452602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0584fbb8474d3894b17229369d2c7c99e0043de","datavalue":{"value":{"amount":"+0.8098293542861938","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":"Q537953$495FAAFA-9021-40B8-B274-E469C14891CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efe42f5de4f93ba6dc9404899c99f5726c3c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05267d17ff8783784665e7af1d74cbb17ad4fb03","datavalue":{"value":{"amount":"+0.781173825263977","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":"Q537953$D7A228F1-C248-4F72-B2B8-F82C6EFACB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad59caee798ab25ad911393394c35fdf9e3e197","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a155839b371d2934509f99c382bdd4a7ac594a30","datavalue":{"value":{"amount":"+0.7586333751678467","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":"Q537953$BA2AE536-61F4-41E8-8D68-36B49A8A24E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programs with lists are counter automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programs_with_lists_are_counter_automata"}}}}}