{"entities":{"Q3655763":{"pageid":5685669,"ns":120,"title":"Item:Q3655763","lastrevid":49842091,"modified":"2026-01-11T05:34:43Z","type":"item","id":"Q3655763","labels":{"en":{"language":"en","value":"Deciding reachability problems in Turing-complete fragments of Mobile Ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5656550"}},"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":"Q3655763$534FF5A1-DCF3-4557-9D2A-00C85D3DB02C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e13ab8033e0b59265394c7bd9b382d8f0ddb79d0","datavalue":{"value":{"text":"Deciding reachability problems in Turing-complete fragments of Mobile Ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655763$62F0B16D-883D-4D4C-B5CC-52552EE9A3CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1718191c9a2e357739b86beae5632d301665a84","datavalue":{"value":"1191.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655763$A03B25C3-1B58-472D-B476-A9DAA3FE4E6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"533ff78ec4cf850b16190a834dae2efb719b9b05","datavalue":{"value":"10.1017/S0960129509990181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655763$311BCBE1-8CDE-4034-805C-4F23410208AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c2bc0b6e38486e99b72183c6358e32f8811ff11","datavalue":{"value":{"entity-type":"item","numeric-id":872195,"id":"Q872195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$B56497E3-DF9C-463E-B9C0-DE7957D942B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d91e0796f4c68c98b603f92340529dc983950b","datavalue":{"value":{"entity-type":"item","numeric-id":418829,"id":"Q418829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$1A6C6467-6882-4ACD-8790-08BD93ECFC46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$5DE28118-4347-41F2-86E5-93C6985696AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655763$0953AA07-366A-4CD6-AFAA-5FE424C4B484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655763$7A909F68-86F0-440D-BB1F-66238DA30A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655763$E2EB6B7A-4880-45FB-8DAB-3176FAAADB88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"256c4b3bc45689378631eb7217b0a3f9975d6986","datavalue":{"value":"5656550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655763$FA9E0C03-CCF7-4A32-94E1-61F33A25B717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655763$C17897FD-D497-4908-BF97-35E6A84C8481","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":"Q3655763$9B3D07D7-7496-4BD7-8712-79D1C6A4DA5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5f93e880f26a351dd01f246d08f28f874f70c","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$8C5FFECA-D759-4149-ACC8-5E9E66C87FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$DB84AA9B-79F8-4E27-ABA3-B999A45681A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6ee11757cbc740a0d57faf9b39b98fe24b0a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1763730,"id":"Q1763730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$AF28AE41-CF55-417C-95C0-7BBE1A48EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$8326FA49-CAA4-4780-96B0-F4696BE13B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$C2C2A34B-A34D-4456-ABB2-4A5655210761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$AE165DED-11CF-4A02-9AE9-E0A4CD2CFCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$ECB35675-E78E-4E12-946B-65DEAAB2A481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206d5172b08e5583787a642d9ad771dad654858d","datavalue":{"value":{"entity-type":"item","numeric-id":2864197,"id":"Q2864197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$F0881A41-4005-49FC-A0DD-949A118C8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12e5cfdb62755637999bb540c48e87a03b53e6c","datavalue":{"value":{"entity-type":"item","numeric-id":1881256,"id":"Q1881256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$79964E8C-560C-44EC-8225-2DF1F7E90D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be210f6c9f59ce43a3aae6a9c14001b51cd6349","datavalue":{"value":{"entity-type":"item","numeric-id":1770415,"id":"Q1770415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$56294C46-C1DF-47D0-9A78-645C16AB8741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe11aa26698b0fcabb7b30150a2f0a1a0e21261c","datavalue":{"value":{"entity-type":"item","numeric-id":5179433,"id":"Q5179433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$DBEA815B-6631-410B-9989-DC18DCFDEEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$829D594F-C5F7-4D46-8E0C-BA1070BDECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$7137E854-1DAB-4EB6-A590-E858C4C41B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$3D627C1A-F423-4822-9370-4B2D119EB375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$16CDADDE-F679-4C87-8D99-48F5C711AD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b270385c5f87646a288a84003f4b23432d904d79","datavalue":{"value":{"entity-type":"item","numeric-id":1149775,"id":"Q1149775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655763$C31F6C04-8CBC-48AA-B1C0-D7FE2F774658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34f3e61069ab08db831166135d8dbf0a55a9695a","datavalue":{"value":"https://doi.org/10.1017/s0960129509990181","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655763$7CCFDE6A-1CFB-4A77-B3A2-2798E8ECC177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d709fcd61da664240f4504d1e769760faf241491","datavalue":{"value":"W2032182172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655763$FF712D61-32EF-4A38-8360-BC24B63D4EB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2434cb14887deea5486bcc75498553508ac9097f","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8d94629b8f8a3768039e04d7dc10645ed57799","datavalue":{"value":{"amount":"+0.8995327","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":"Q3655763$DB55344E-B061-4635-BEEF-619BD012FA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bdd7178e51bd2633997a51b156da537fdf9b4","datavalue":{"value":{"entity-type":"item","numeric-id":3525157,"id":"Q3525157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935af8e9a00d646e121cccae61d5c4769557ca74","datavalue":{"value":{"amount":"+0.8966203","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":"Q3655763$B6B9AB52-9345-43FD-BFB1-4AF5CC02AFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e730881ce021e956cea6f1281ae5e9f351e58014","datavalue":{"value":{"entity-type":"item","numeric-id":939167,"id":"Q939167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387bac78d155aa7b44b6329755f19bdc4cc5fb25","datavalue":{"value":{"amount":"+0.8906549","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":"Q3655763$8A3E6C3E-2827-49F7-8521-E0F1ED7F22B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5743fc1b7dc91bcfdf9af590ce5515d5173c15","datavalue":{"value":{"entity-type":"item","numeric-id":2769429,"id":"Q2769429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a56376c631bc1601861c479aeb690e39b06c0e","datavalue":{"value":{"amount":"+0.8711011","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":"Q3655763$1F068653-082B-452D-B070-756C5D152556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0183c391544da8dc082d4f41d9d44ca88691a125","datavalue":{"value":{"entity-type":"item","numeric-id":5316568,"id":"Q5316568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257a6113f8ccc9f9173efbe8ef5155dfa9136253","datavalue":{"value":{"amount":"+0.8617195","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":"Q3655763$205BB1CF-F1F1-47D8-9081-9A03989FC300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebacd3b6eb453f07591d701d0f3d3f77077a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2894480,"id":"Q2894480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cb1188a1b74dfc7005a8bee20906d1605cc634","datavalue":{"value":{"amount":"+0.85251707","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":"Q3655763$2142A574-55C8-45E9-9539-CA13376E375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce938ccf14270cddca319820686cd802bb4fe81","datavalue":{"value":{"entity-type":"item","numeric-id":4938629,"id":"Q4938629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5936667104101760a02d05eced73eb983bdcc260","datavalue":{"value":{"amount":"+0.82765704","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":"Q3655763$4329BF63-55DD-4541-8FBC-2C3DB8ABF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a60465bd85c9eb8cb75a14c1cbb633fcf5d1706","datavalue":{"value":{"entity-type":"item","numeric-id":5395068,"id":"Q5395068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48734e23d82d132863a88f7c3a15815fded92fa6","datavalue":{"value":{"amount":"+0.82020766","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":"Q3655763$05556C67-9BA9-4E38-8050-2C506A76AFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ae18c954f5578b50abf11ef6eda4384c98b283","datavalue":{"value":{"entity-type":"item","numeric-id":2802932,"id":"Q2802932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7099c3771558d3e8f00559ccf9b2df3812cd3a","datavalue":{"value":{"amount":"+0.8198669","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":"Q3655763$1A66DF04-F7FA-42AF-A539-8BC0D10DBD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a011037666743fed24eb625624e48c9652606d3","datavalue":{"value":{"entity-type":"item","numeric-id":1753994,"id":"Q1753994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7099c3771558d3e8f00559ccf9b2df3812cd3a","datavalue":{"value":{"amount":"+0.8198669","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":"Q3655763$BF0E1A5A-243F-4138-9D85-74C256326E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655763"}}}}}