{"entities":{"Q5357704":{"pageid":7387278,"ns":120,"title":"Item:Q5357704","lastrevid":52897994,"modified":"2026-01-23T18:26:29Z","type":"item","id":"Q5357704","labels":{"en":{"language":"en","value":"Modal logics for nominal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774212"}},"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":"Q5357704$F66A0511-3FAD-415C-892B-1DDF246F9B8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a287ecf2a614bc6fcf261b19922a8c5b80d249","datavalue":{"value":"1374.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357704$5E343DF5-539C-4BBB-A016-857C6F91595C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$24918870-1CB1-4C20-92D7-EF853D5A47D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$119443D3-4428-4C64-9893-02FBA8894710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb89446571b6ccbfaaa6bab162f4843bdcc0df8","datavalue":{"value":{"entity-type":"item","numeric-id":3691054,"id":"Q3691054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$0291E291-0A96-4D62-AE66-2F905679DA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"496351f10d9c0dc652cb5d90e5f20fa8012c598f","datavalue":{"value":{"entity-type":"item","numeric-id":2800970,"id":"Q2800970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$99ED8B67-5A30-49DB-B07C-C13ED0EB4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$7CB066B1-7E8E-483F-BE52-A354CA87E37D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357704$AC057F2B-8D14-4CC6-8049-27AC98336532","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357704$06CB528E-2AF9-48B5-B488-394F3E6ECD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357704$577CD26A-1D32-4B42-B2B8-BDF858BD8154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357704$2DDEA935-B615-4994-A132-6F003AA73253","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"512293fa6f040b2ea4022c8f10ed738b9d8b2fbe","datavalue":{"value":"6774212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357704$E499D508-55F5-4D3A-8587-8785D9A042DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357704$47B08314-B0A2-413C-A955-43991A9470E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357704$1626E024-FEFF-47A4-A96D-2E4FF639C529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357704$B9882323-3F49-4B4A-B6E6-5546FBBEAE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357704$72B8E38E-C634-4B6E-BC69-2CB1AA33D573","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$2C481267-4FB9-49A2-989A-A7BF15A67ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$5F0FD2AB-ED61-4452-98AB-241AFBCC6903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357704$43F20DB1-425D-4813-9B27-6008CA3F406A","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":"Q5357704$08D13B1E-6513-40C4-9E1B-2C7B7A9E024A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27b6ed237562a49dce6fd8205f365e804383e73d","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357704$E31E1843-1A5B-4D02-8D36-CDE7FCA5AAF3","rank":"normal"}],"P1643":[{"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":"a8ac44151582802345d99b7c0e20d1ea6cca41c3","datavalue":{"value":{"amount":"+0.9489672780036926","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":"Q5357704$A80A7B1F-9BB3-46C9-95D8-1EBD0D790717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaa7a5124dd17c38fcef3e55807ee6c43eab9b","datavalue":{"value":{"entity-type":"item","numeric-id":5082196,"id":"Q5082196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8b7d6d3ea98fd829bf304216eb54afc7e4d092","datavalue":{"value":{"amount":"+0.8532152771949768","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":"Q5357704$E2479B38-C22C-4789-B8E4-B6939FFCD737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404f6afbb7eec6187725b2ac097aaa6232258b4","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b97fea641ab48c58325a1726b73c802dd443408","datavalue":{"value":{"amount":"+0.7885686755180359","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":"Q5357704$E198CAC6-7F84-42AD-BC1A-C16CBF3F9438","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":"8734c7e9e638021d50264b81ea77d37a71f744ff","datavalue":{"value":{"amount":"+0.785466194152832","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":"Q5357704$13497799-8568-4907-9AEB-7FCDA050FBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d516365ad3d2c93845becc1ef3955718e52ba42","datavalue":{"value":{"entity-type":"item","numeric-id":4316304,"id":"Q4316304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8a573d305a693a4caa90e3072bbc035e0da5a3","datavalue":{"value":{"amount":"+0.7818905115127563","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":"Q5357704$4E567EE1-D482-4585-86E2-DDA4099A309D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357704"}}}}}