{"entities":{"Q3525157":{"pageid":5555061,"ns":120,"title":"Item:Q3525157","lastrevid":50453444,"modified":"2026-01-14T02:30:17Z","type":"item","id":"Q3525157","labels":{"en":{"language":"en","value":"Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342685"}},"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":"Q3525157$1DD6D755-2E04-4795-8819-C64EA3A5024F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cddd085222384ba828e2666ffdfc631f04586b0","datavalue":{"value":{"text":"Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525157$7D3E547A-072C-44B5-8EE6-0DE4767BA6E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a048a5bda7d7a3e5fa38457ca52c253ef5bb20","datavalue":{"value":"1168.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525157$8EE36056-FF99-4CB4-963C-B238C392743E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d2f82bc82a042d27c8e8e7267d6ac27224eb9b3","datavalue":{"value":"10.1007/11921240_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525157$DE5266A1-F41C-4753-804B-38508515FAA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525157$6428AD55-B939-4594-9BF0-352C82050C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32210c49293168109ccffdb35870d9035475ba00","datavalue":{"value":{"entity-type":"item","numeric-id":865561,"id":"Q865561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525157$5E515CBE-71B5-4892-8C15-25BD052D8699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525157$82FD915B-1663-48B7-99DD-81E251B430E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-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":"Q3525157$AD72EA71-1979-4E9D-93B4-D8EB4518034D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525157$357DAEDF-BB0E-446A-8ED2-E5D22C50BB4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b7b0ca32d12526d1933ff19d7dfd2d65757972","datavalue":{"value":"5342685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525157$47F5717C-CC4F-4695-A671-DCB2E77A3A2F","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":"Q3525157$275F2A26-32DA-4DD0-ABDE-1FF397040C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c47ff9406c027a2200d9e22d010ddf1904f598b","datavalue":{"value":"https://doi.org/10.1007/11921240_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525157$93499338-2B8F-4063-9F86-9FE96D232A1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73edce94f89a83c808bc111a5cb5a5ff7e4a3121","datavalue":{"value":"W1502223602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525157$EBDABD53-AFD8-4EF6-8B96-960041A57DB8","rank":"normal"}],"P1643":[{"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":"72f59011f193594f55421e7789ed6f68d5cfc23c","datavalue":{"value":{"amount":"+0.9789034128189088","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":"Q3525157$195C2B58-9CE9-43C5-9A55-48657146F0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c298380dc2201bfefad4973b404f540978cfa3f","datavalue":{"value":{"entity-type":"item","numeric-id":5179047,"id":"Q5179047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9aab9dce3e406858a05f60b6c1ea1bf683a5538","datavalue":{"value":{"amount":"+0.8505337834358215","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":"Q3525157$4734052F-1654-4E61-84C4-1221DD982CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c85a575679df67f1a32995270e269f5457fdde","datavalue":{"value":{"entity-type":"item","numeric-id":3005243,"id":"Q3005243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efe57818f6ca60e0ac486a0469c92fcad0f4fc8","datavalue":{"value":{"amount":"+0.8205312490463257","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":"Q3525157$695C9666-27A3-4B5D-94F6-0D51F5528902","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":"ceb1cfd7ebc7a89ad4615568434a89136b043396","datavalue":{"value":{"amount":"+0.8110248446464539","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":"Q3525157$6CBCD514-F929-45B3-99A9-80C6EA1F17F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e625c22a86fd19ff3b6857a3218741837acb004","datavalue":{"value":{"entity-type":"item","numeric-id":3655763,"id":"Q3655763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623a38af83811abe1489def0f594e94a87fb27c5","datavalue":{"value":{"amount":"+0.8083831667900085","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":"Q3525157$682DD8B3-6FAE-4A36-9FBD-FC7786AF4DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525157"}}}}}