{"entities":{"Q2863877":{"pageid":2874597,"ns":120,"title":"Item:Q2863877","lastrevid":51885020,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863877","labels":{"en":{"language":"en","value":"Typed mobile ambients in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235741"}},"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":"Q2863877$7A808471-3726-48F1-AC01-519915409C09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20cac3ae47c313dfc5d5bfcfb1ac8edd103392db","datavalue":{"value":"1276.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863877$903D0CF1-6DDA-4514-BDDE-92BD0E511623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af934de01236ff6769f9de152ad7c0dc72bd9980","datavalue":{"value":{"entity-type":"item","numeric-id":529042,"id":"Q529042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863877$0708413F-8C41-43A4-A40A-5D75BD2FD852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fe0d5d94c9e0413608077b92ea1c7fc83d2414","datavalue":{"value":{"entity-type":"item","numeric-id":2437793,"id":"Q2437793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863877$1E8FE518-CE25-42E6-BA69-F248AD716EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863877$279CE382-B1F7-4D05-B704-7C57C9A1B1F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863877$20FAF866-293C-4BF6-8FD2-D257CEABB07F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"741b55b622dc29baccbe54526003bc1b3343f652","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000387?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863877$D78DB083-25F4-4566-92F8-8027623497F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863877$95E89AF2-A5E2-4ADE-A89D-5D4C3AE5FC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863877$92A2AC72-F4D5-41E3-8C36-C3B4EAA1DE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863877$0BEC4105-4661-4EBE-B5A3-941EC2920BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863877$207D7DD6-91B7-4DA1-82DD-61309274D575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83c8e35d54dff3344b670cf5a2c4a1cb6f43f77d","datavalue":{"value":"6235741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863877$89D97678-A730-41BA-A78D-70F257F42B25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373ae8a92dd7f60bcd748f53e3a1c8b890713df4","datavalue":{"value":"ambient calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863877$275BD09F-662F-4CC3-A548-5A064A20F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863877$9D42FAD9-8DF7-4A64-A158-83E7F53EB352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863877$DEF8AB45-C822-4120-8592-BEC127D6C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863877$E1162911-D654-4DD7-B256-17187921BA85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3d2d7015a07a03ecfb8d219a56ffb124afbe8d","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863877$0E61B7C0-F042-4384-92F4-01BF17EBE31C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863877$D382985E-8ABA-4CA9-949B-CBF5FE70F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863877$9DA1ED0D-A177-49C2-9B5B-5808621B2EC6","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":"Q2863877$4BB9132D-C0E7-43F3-A0EA-900106332F4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eaf8193df5c2b757068c4d59d9581211e006d95","datavalue":{"value":{"text":"Typed mobile ambients in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863877$04B50141-3A53-41CF-A125-67F2DD6BD1D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be720b63400f43790e1e6472af71a6fa3b956db","datavalue":{"value":{"entity-type":"item","numeric-id":1869977,"id":"Q1869977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759c412eba2db86a0b1fc54e3eb1dcfd91c14162","datavalue":{"value":{"amount":"+0.8028215765953064","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":"Q2863877$2D976E33-FBF9-4F5D-AFF0-49C91666E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ae437a11d36f48c8d32d49b2e21d09756e1aa5","datavalue":{"value":{"entity-type":"item","numeric-id":2843918,"id":"Q2843918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e622875be7e944c2159c5082fcb32096ca36d569","datavalue":{"value":{"amount":"+0.7861483693122864","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":"Q2863877$575347D4-756B-4BD7-9244-5C08B00F32F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6502520ed902b77647d4575af8957496756819","datavalue":{"value":{"entity-type":"item","numeric-id":4508315,"id":"Q4508315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d205b48a68c00be3a7e6106488bdb436c7c5d161","datavalue":{"value":{"amount":"+0.7838294506072998","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":"Q2863877$A1211461-D212-411E-A011-636EDB4F0A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065f683fc679d0029af9b309407cfe9a5920954f","datavalue":{"value":{"entity-type":"item","numeric-id":1029816,"id":"Q1029816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9a18bd52304f40eb94d6091455022ebcd6e4ce","datavalue":{"value":{"amount":"+0.7802188992500305","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":"Q2863877$A5C04951-A666-4D1C-AC75-C89026ACE427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686e847a401f3ad8c793c7578c2ea552d248ab02","datavalue":{"value":{"entity-type":"item","numeric-id":4536624,"id":"Q4536624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3ce94d7c7cbbbc3807e65a7b25129ad0883f13","datavalue":{"value":{"amount":"+0.7758429646492004","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":"Q2863877$501F5A45-1CEE-4488-80F7-2F3551F5EFC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863877"}}}}}