{"entities":{"Q2863915":{"pageid":2874635,"ns":120,"title":"Item:Q2863915","lastrevid":83936492,"modified":"2026-05-07T14:35:01Z","type":"item","id":"Q2863915","labels":{"en":{"language":"en","value":"Multi labelled transition systems: a semantic framework for nominal calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235777"}},"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":"Q2863915$27F826C1-5E42-4850-B5BD-77771A7FB7D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5d5b72326603ec08bf7173cee409ae0e3dfa720","datavalue":{"value":"1276.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863915$BD3A6B90-491B-405F-B537-7F605EAD8FBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863915$2574F66E-D784-4C04-947F-078BAF6D6858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863915$8EAE4831-E166-497E-AB68-705B96A07354","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":"Q2863915$42FE8116-4FD9-4183-A6D3-103FB7940DDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fa85b11f06a78360f36cb85eb4c85c5e96c0424","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107003362?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863915$6C50045E-1579-4C3C-B680-54FE4A9C2422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863915$20AE3B59-5909-4BBA-8163-D9CFCD0DCE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863915$F215FBBE-8870-4986-A8A5-56C22268DD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863915$E529A7AA-5EE3-4409-AF41-DBA25657708C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863915$4FBAF8E8-FD8D-4565-A9C3-1D2C2BFA2AD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d29fe8f1be9731692d6684df0701785ba4442b5","datavalue":{"value":"6235777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863915$C73475F1-82AF-4F83-B130-2D3F9AF51930","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf7cc74cb3d23cfc53da4791b1527fa98e5a445","datavalue":{"value":"mobile code languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863915$266176E2-6767-42EC-9D39-833A4829F8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aab0e01cc9bebd3e9424fa8aba46e511433654","datavalue":{"value":"temporal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863915$0132AAFE-6B4F-4DA1-88D3-F137B8AB3142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee41036f72035072cde6c2a90c0bd741dbc491e","datavalue":{"value":"coordination models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863915$A597688E-BFA5-4EF1-B945-47FC307390CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863915$D8E6A4B9-DB57-4B8C-8F60-EC4B4B8678F6","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":"Q2863915$6C9B4B21-C2F3-41E7-BFA5-33D498403737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7189578038f8ef7e870550f8d22f5a5df654958d","datavalue":{"value":{"text":"Multi labelled transition systems: a semantic framework for nominal calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863915$BE6DAD18-AE7A-4E54-B510-0E8B0B193CA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b39845a2214ad6d1bc8328203339741e3d2623","datavalue":{"value":{"entity-type":"item","numeric-id":5458061,"id":"Q5458061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb80b3bebe037b7aad093d7e955cf35d24cf44be","datavalue":{"value":{"amount":"+0.943865180015564","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":"Q2863915$7E5E133B-9406-4471-ADE1-E92659EAEE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1acf4de9a36edb2b053de268254593a9642a8f4","datavalue":{"value":{"entity-type":"item","numeric-id":4703892,"id":"Q4703892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e904972c4b4dd0113a72501e9f0ee4754e4679a","datavalue":{"value":{"amount":"+0.7584028840065002","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":"Q2863915$B6724480-7BE4-4ADD-9E5F-7CEBF2FD6D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c03ae80b24e87edcfffe94a928ffb46195c7a6","datavalue":{"value":{"entity-type":"item","numeric-id":5111622,"id":"Q5111622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08f70f9ac4e1c5df1e5f7c9a605f0bf87bbd071","datavalue":{"value":{"amount":"+0.7473016381263733","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":"Q2863915$B56BF5D4-7E62-4273-9637-B83AD84BB0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297acb1c2498070a6911b004240eb0e77b3f478a","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd7a196562471edacd4fe0b9508ce0a6b828a04","datavalue":{"value":{"amount":"+0.7472754716873169","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":"Q2863915$F001A25F-8C59-4808-B018-CDBF98C65622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1007059c1d8aee5f8de6064d7b17258f8341dc","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851e2eb806a744323ebbea89d976acbf0cfc7409","datavalue":{"value":{"amount":"+0.7446494698524475","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":"Q2863915$DDBB039E-564A-4EE9-BB97-BFD19978BDCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi labelled transition systems: a semantic framework for nominal calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi_labelled_transition_systems:_a_semantic_framework_for_nominal_calculi"}}}}}