{"entities":{"Q5179055":{"pageid":7208627,"ns":120,"title":"Item:Q5179055","lastrevid":41061701,"modified":"2025-04-18T01:54:19Z","type":"item","id":"Q5179055","labels":{"en":{"language":"en","value":"Universality of R-automata with Value Copying"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416856"}},"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":"Q5179055$4FD83FBB-D860-406E-B279-1189DB0D91EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be754c083d1d33934aca1176987a54bfe8375eac","datavalue":{"value":{"text":"Universality of R-automata with Value Copying","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179055$A7B7D642-8F2F-4990-A2CA-1DD25A0D3936","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"996215eac0195f272647bc609f6e26f79066f640","datavalue":{"value":"1347.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179055$92F117EB-8330-447F-ACAF-FA50526F3EA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"882a0655ead82a1e3f119f06f5fc57ead7f0368a","datavalue":{"value":{"entity-type":"item","numeric-id":2643077,"id":"Q2643077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$985071AD-9513-4BB4-B89B-E54572A6C5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$FAFD6442-8358-489E-9716-703C51B6A0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$E2DB0EEC-064D-47A1-BD6C-E060500B56A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$18D2FBDC-FF5D-4423-8763-4EA0D0CE34C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179055$1436547A-E611-4796-BBBD-A730308C593A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179055$576E681B-8B39-4640-8341-1DB6A387F8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179055$0A2C837B-A6B9-46A5-A730-2F0D4C09DB27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b248df954058992d0749161533b1daf2f294f244","datavalue":{"value":"6416856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179055$2ACF93DA-F286-4099-8AEA-CE8569E2C1F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abe307793b367eedc61546b10436880c71eaa515","datavalue":{"value":"distance automata with resets and copying","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179055$A7145E29-3859-4014-A42D-357BD52EB48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179055$A9AE519F-CC00-4B39-9889-5AD83207A00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179055$B4B9D408-E34E-4573-A8FA-76A52CC2B807","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":"Q5179055$0441E606-645A-4E5E-9E5F-FA78F5E1583F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2309cdf24034ae627fe3a30e2772bf92d575b06c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179055$A878DDB1-C5AC-4D1A-A6CD-0A3BB67C1AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89751da28cd912e223578fff6c4d306c9169d253","datavalue":{"value":"W2114978526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179055$5FD85DE3-9873-41C5-B23A-69979EAE6460","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5106de16a01f67dee1cef2f03099729770d987f","datavalue":{"value":{"entity-type":"item","numeric-id":5758054,"id":"Q5758054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$5E526A56-0666-448A-9BF5-24BEFDB1D38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79d65030a0f7ada32994b7e009bca33f31bf81a","datavalue":{"value":{"entity-type":"item","numeric-id":3541011,"id":"Q3541011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$31A7E815-0BD5-49C7-A6B4-B67531BFBF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb113aea665eb4f65d07e8135d818e2226616e6","datavalue":{"value":{"entity-type":"item","numeric-id":4596779,"id":"Q4596779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$C6962FB3-ED49-45A0-A8C1-998F00293B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a358680bf0e6b29ad972a10da07c284c97e546fa","datavalue":{"value":{"entity-type":"item","numeric-id":3519517,"id":"Q3519517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$85F5F41B-FFF7-413E-BBA9-2C84C637EDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb4ea7a76f7cf2b3906ae87a0e36b6fc1c7e103","datavalue":{"value":{"entity-type":"item","numeric-id":5444963,"id":"Q5444963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$DE51913C-CDEA-4FE1-8682-EF0D25D310DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45c55685aeb3eee476841187e535c18086c49af","datavalue":{"value":{"entity-type":"item","numeric-id":1050772,"id":"Q1050772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$C37D5EB1-763B-475E-87B3-BA0064C348F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a4061650e279890b4b5973c9e523511622605e","datavalue":{"value":{"entity-type":"item","numeric-id":908702,"id":"Q908702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$78D0167B-05E9-4AE8-AF34-F773168248C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cccc62ee8cb8f01108c1237d24f913a76bf5f8","datavalue":{"value":{"entity-type":"item","numeric-id":5308455,"id":"Q5308455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$AE54CA8C-AA62-4AC4-872C-642D50467DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c36dad8ed8bedb8c332b46f2630912d3155674","datavalue":{"value":{"entity-type":"item","numeric-id":5313718,"id":"Q5313718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$63700B17-11FB-47EC-8EF1-F8BCC387537F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15744995f7cdcb1b651d1683f9112676384ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5897779,"id":"Q5897779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$D632AD8D-8ABA-4733-B20E-FEB0336AD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67a402cd3b4201d60b10ec617da34534b3cac64","datavalue":{"value":{"entity-type":"item","numeric-id":807031,"id":"Q807031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$F6F2C9F1-8E90-449D-A14B-C0B484CA887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ce6e2dce453173a6d2c2b0b16444bd88bf6e5d","datavalue":{"value":{"entity-type":"item","numeric-id":908712,"id":"Q908712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$EE16DA35-DD09-4A6D-A4AC-28F97EE2D398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e9f14b28bbd8eb226e48d3402b7f0f8977c681","datavalue":{"value":{"entity-type":"item","numeric-id":4365014,"id":"Q4365014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179055$ECBD05E5-F795-40F6-BFB3-73B4703ED00D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57279ff41428d7b62ec8ed34bfc5864169a525d4","datavalue":{"value":"10.1016/J.ENTCS.2009.05.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179055$391232FB-308C-4850-A086-557CAD13BC1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edd1f9010d75d18332fa763c82e68130c4695bc","datavalue":{"value":{"entity-type":"item","numeric-id":3692876,"id":"Q3692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ee570a15c772c3e2d5e1c8e4aabc2122aa84a6","datavalue":{"value":{"amount":"+0.8321506","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":"Q5179055$FF28F90B-4894-4D1B-A66B-C6FB7B938753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e3379449f4ae726be8b4e81dce7f0a52fd0347","datavalue":{"value":{"entity-type":"item","numeric-id":3541011,"id":"Q3541011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9daf8124cf748e40e9ce73b68a8eb0148836714","datavalue":{"value":{"amount":"+0.83065784","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":"Q5179055$FE1EBCD4-596C-40C2-BEAE-2EE2AEF7BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2383e2ebf321810b373695d5a3ca0767ea0d6d82","datavalue":{"value":{"entity-type":"item","numeric-id":3350775,"id":"Q3350775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6789252921d0876da4d8dfa3af0b31e4fbbe50","datavalue":{"value":{"amount":"+0.8286631","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":"Q5179055$5A59F061-5C1F-491A-A3ED-354EB809E72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2bbee3b11c3e867886d5ddea1daf01ef36fda9","datavalue":{"value":{"entity-type":"item","numeric-id":3597129,"id":"Q3597129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6d6a4021b5497c1283de4afe2133b87c89fdb6","datavalue":{"value":{"amount":"+0.8220898","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":"Q5179055$4DF1D98B-4C12-4406-8E1A-DA94F5ED6957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03b3d076b59f626de6aa7dc0887bd5629373164","datavalue":{"value":{"entity-type":"item","numeric-id":2538107,"id":"Q2538107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1235cc13377bf6a9c6639045847dfe5f90187dc","datavalue":{"value":{"amount":"+0.81976575","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":"Q5179055$39554049-F374-43ED-B800-3FBAC7BC0CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a606917230110cf856e3b06314ac1d23aa0128e7","datavalue":{"value":{"entity-type":"item","numeric-id":4453206,"id":"Q4453206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ea8f080b4dbfa867093dbb260fcdefab8fb542","datavalue":{"value":{"amount":"+0.81904453","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":"Q5179055$C04B4813-3338-444F-9BAC-7EA88011F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccdb95516dff0b9b46a6bb02e0ff1379c6e6fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3835031,"id":"Q3835031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ac87f048dc1e67d1247adddc9ca48128db7161","datavalue":{"value":{"amount":"+0.8186288","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":"Q5179055$19300B45-292A-43E0-A769-7E0379D76868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a1439d45360b244fa74edd6b37a54f087b4b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4986665,"id":"Q4986665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56872abcbb520e3fd91a24ef0c759410b2b316c3","datavalue":{"value":{"amount":"+0.8184528","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":"Q5179055$CA61BCDF-7548-48B8-B2D6-8516F880EE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81026153fcce88c7d2cc42fb9c7acfd7489b3a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2979419,"id":"Q2979419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fb75935e89d503e8292911329ac36384d332ca","datavalue":{"value":{"amount":"+0.8177193","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":"Q5179055$C099502D-3EE1-4D83-B666-8D2CCDBE131C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f70b31e668d2547440ffb1813ec43276803cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2404807,"id":"Q2404807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9ed9d57dfac82118c2432aca578846ce5114b0","datavalue":{"value":{"amount":"+0.81647897","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":"Q5179055$75E78EFB-B4E2-46B4-B29F-86DD7A76E360","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179055"}}}}}