{"entities":{"Q5458061":{"pageid":7487620,"ns":120,"title":"Item:Q5458061","lastrevid":50332925,"modified":"2026-01-13T20:24:22Z","type":"item","id":"Q5458061","labels":{"en":{"language":"en","value":"Multiple-Labelled Transition Systems for nominal calculi and their logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262036"}},"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":"Q5458061$B5877C8B-F7DD-4B10-A5E5-42A8EBC07EF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"931109fd01ceac862d0bbeb86acad9b64d5a8680","datavalue":{"value":{"text":"Multiple-Labelled Transition Systems for nominal calculi and their logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458061$E3B121EF-1C78-42E2-B524-7DBBEB2293E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38982efa59f361d1a62220924c6169c5ecd12dd0","datavalue":{"value":"1141.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$2318F661-D443-4749-B3B5-4140BCE245D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"627ae0aeded2c697124c10a1a66c56987afc4fa1","datavalue":{"value":"10.1017/S0960129507006585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$FBCDB100-45AB-4C07-A0E4-88B2A4C4DBE7","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":"Q5458061$6AD45799-C00B-4265-86E1-6DD2BFC45DE4","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":"Q5458061$55E841C1-BC8F-404D-B806-C96E4E53AE53","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":"Q5458061$679EC31F-56FE-4B75-B715-FDED926E18E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82c68e2887d99211d0a3e890ee79d206b638ec05","datavalue":{"value":{"time":"+2008-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458061$5782E931-AC34-46AF-BD7F-7FB255DF81EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$AAD69092-2EEB-4BCA-A7A1-59218767F1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$1167EAD1-1BD7-44E2-AF30-B02511F59C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"998009b90283ea8bbeb0da419099d13da26110c0","datavalue":{"value":"5262036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$95E7A7E9-DA1C-4909-9DB9-DB292F06C3DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66af80b7d816f1267cd738508d6c54ebed5be815","datavalue":{"value":"\\(\\mu\\) Klaim","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458061$0DFDF0FE-9BDA-4B5F-8D2A-53702278C749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45ce9a19e92df7a849521cf7ea08db2f046da3c","datavalue":{"value":"asynchronous \\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458061$B28FE85D-79C5-4EB4-BE76-1DCDF0E947A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f908a21c21c525870550d1dfa4f733b19ce0d2c4","datavalue":{"value":{"entity-type":"item","numeric-id":21995,"id":"Q21995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$CEC42555-8249-412A-B2A2-DD8C8B2F5915","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":"Q5458061$3BAB8D56-A7BF-4CED-84EA-017D2FECE98F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1db7accad120c4b531acc52a429bca146d830e23","datavalue":{"value":"Q124439110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$4369C2F1-BF0E-450B-A8DB-08597FA86DB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$41F39A62-E660-47E7-A761-344E0EE508D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$008F003D-2739-4D88-BC32-8E8D66FDB66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d36bbf83616714d044d5fbaf7637bcd122a92f","datavalue":{"value":{"entity-type":"item","numeric-id":2566220,"id":"Q2566220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$CDFA4EEF-D684-46DA-9EB1-36129602C38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af79af8a5360c658a9dff92981abd14628e9d2a1","datavalue":{"value":{"entity-type":"item","numeric-id":1857293,"id":"Q1857293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$AC7017FD-7024-4F9F-AB49-40EE80794863","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":"Q5458061$DE3179F0-96CF-4096-8FED-80F7187C9867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$3E0F89FB-AF22-4E93-9EE4-3106631D5694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$18B552F6-63E9-42E7-8629-F3B755AB3DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$91FF01F1-711A-43AF-A43A-452045505A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458061$0638E7DC-7AFA-4375-AE78-0846FC043832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a81a188dffff2aa3761cd0b8a315e505c2cef612","datavalue":{"value":"https://doi.org/10.1017/s0960129507006585","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458061$B6826702-FC2A-4C15-A8C2-98F944E18AF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89522d8ba84cb5d20377f9e913c26e8e4817a6e5","datavalue":{"value":"W2067783335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458061$8B33BA32-D35D-4CC3-A58D-AECE05CECBA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dee2d807f2c9cac112c2f3f54ac4dec327bdf6a","datavalue":{"value":{"entity-type":"item","numeric-id":2863915,"id":"Q2863915"},"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":"Q5458061$50A87887-3BEE-4EC7-84A5-E75715636858","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":"fdb779f578758411f1931c6b56f785593597b9a4","datavalue":{"value":{"amount":"+0.7731565237045288","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":"Q5458061$B04C77E8-E53E-4B91-A20F-2E1CFC870CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b13fbe63f630451e523787abea34522ae1b7b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5856409,"id":"Q5856409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecd6bdffbae33848f8fdccbeb957c67da44e6e2","datavalue":{"value":{"amount":"+0.7573005557060242","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":"Q5458061$79CDFE11-AEFB-45C8-81C9-854130F2C2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96503734333ec57c13a5e181df5be530f9ea8122","datavalue":{"value":{"entity-type":"item","numeric-id":5897447,"id":"Q5897447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8535ba99d79011bb36546d00b71edef2c9f2e791","datavalue":{"value":{"amount":"+0.7524861097335815","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":"Q5458061$47047B42-3BA2-4143-A1C4-4C6B9A934BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d35e66ae173685390779ef823801b2b2ae8626","datavalue":{"value":{"amount":"+0.7414672374725342","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":"Q5458061$ED2CAB84-DEB9-46C2-B12D-315E3B1AF95F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458061"}}}}}