{"entities":{"Q3519494":{"pageid":5549398,"ns":120,"title":"Item:Q3519494","lastrevid":50430374,"modified":"2026-01-14T01:07:30Z","type":"item","id":"Q3519494","labels":{"en":{"language":"en","value":"Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313316"}},"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":"Q3519494$BEA58CA3-BA80-4135-AE52-87C28F01635D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f8b4226ee047c6fe1394952a7cce47f71633d37","datavalue":{"value":{"text":"Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3519494$A3547182-D9D3-415E-A5C7-E964DE9EF2CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"002df722e8a91e1624d6f5790ad2468b53a06905","datavalue":{"value":"1155.68472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$0014183B-A567-4915-A775-043CA9FD581F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d89cbe1ad6a3f35ce426087b3686f91cb6aa11f","datavalue":{"value":"10.1007/978-3-540-70583-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$4F09DED5-D8CC-4FC0-B3CF-052D62DCA7BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519494$680A8658-839E-4D46-A5E8-F0815CF0266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519494$7F91B669-7371-4547-BD11-B1623596D29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519494$A0D5926D-2B85-4681-B812-DEFF8DBD4B22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519494$BBCFF2AE-72D0-4632-B943-3757DA6539FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368aedbbcdb07b61d4f2acae84ab7ae3e3751f97","datavalue":{"value":{"time":"+2008-08-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":"Q3519494$5607C1C4-2DBE-4BCD-B9FD-EF5F0DF6D1BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$1216A47D-E5CC-46A6-9286-32BEA18E96C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$C764836E-E42D-407E-90BA-DCDC39EBC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$546E29AF-06C2-4957-A947-067ED716A38F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3233f47036326c8461dc1f353fc83a6e802b8e4d","datavalue":{"value":"5313316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$ADA3C751-1EEF-4DDC-A458-9DA04B0D56BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519494$EA05E2BE-E4A8-436C-83B4-E6CB7CC37906","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":"Q3519494$049A6268-E8F9-46A7-B807-408CB43A615F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0e6eadc4a0bec5b3fe4f8bae9e554e74df96705","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70583-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3519494$A8558834-6EE8-487D-BFBE-26F81C3C8088","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7b8d7abad0027fe4d6506f239b3cd54a766247d","datavalue":{"value":"W2133307747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519494$0831B879-ADFA-4796-976D-608E66C42667","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db71107ef1e1cce2fd163e5a593455b9334b1955","datavalue":{"value":{"amount":"+0.7804064154624939","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":"Q3519494$4646B10B-555E-48C5-B355-79C048A6DD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db71107ef1e1cce2fd163e5a593455b9334b1955","datavalue":{"value":{"amount":"+0.7804064154624939","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":"Q3519494$32528388-3A0C-4137-B392-F52637FB090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936dd111760f9187a1d0067c171b0e3933072ce6","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353a08288a8f5654bc5e31f764708a5bcbee47ad","datavalue":{"value":{"amount":"+0.7668046355247498","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":"Q3519494$66997D7A-F685-4C0D-91E0-0094565BA12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5132b204e109c22b6bcfbffb9fb188fe18f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":5178034,"id":"Q5178034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b243b4753647a5253fab0a273181452e9dc35059","datavalue":{"value":{"amount":"+0.7667852640151978","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":"Q3519494$94014DA3-6C7A-4CD2-B71D-19BA8C5E10A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b4b586b71edbf9fcbb042a6ee37c5de2856a33","datavalue":{"value":{"amount":"+0.7664145827293396","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":"Q3519494$91D4F311-D2E0-47E9-8D8F-82D51A7217F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3519494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3519494"}}}}}