{"entities":{"Q5738962":{"pageid":7768514,"ns":120,"title":"Item:Q5738962","lastrevid":41630335,"modified":"2025-05-06T14:09:31Z","type":"item","id":"Q5738962","labels":{"en":{"language":"en","value":"Back and forth between guarded and modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729771"}},"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":"Q5738962$1548E5BA-EB8B-4F32-8938-3326D8F03406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79caae9f87518ce5f3f43a39996aea3c2b992bfc","datavalue":{"value":{"text":"Back and forth between guarded and modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738962$25E914F5-6D4A-47D6-83A7-BC9B30721691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd80836176e2fdd4606cc5219047bdf1fae25fc","datavalue":{"value":"1365.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738962$F0FB20F9-0332-4F90-8E46-1EE5C62D4CF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38cb8f37d8a818d7612a0becfcce046ab258e699","datavalue":{"value":"10.1145/507382.507388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738962$D9C04CE5-B168-4613-800E-DC8449E4524C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738962$D17F768E-6401-4174-A902-B1F0DBC96444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"884144bdcf2a8e30ece2433e1f8a8dba0f947b92","datavalue":{"value":{"entity-type":"item","numeric-id":2764033,"id":"Q2764033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738962$C35A6728-AED2-47E2-800D-BCA33D42E270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738962$7B12AFCB-48F0-4D29-BC3D-4EB43C321C02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738962$2AF73C54-9F70-4414-A08E-AEDEA1D204AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738962$DC283DB2-7646-4E78-B238-8A710B748C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738962$502F6C56-D89F-42C5-B152-1A94AD5D8FFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb3c5a5eedb197eef174286c54232b558ad13a78","datavalue":{"value":"6729771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738962$EE2270DF-ADD1-4ED5-BBF5-5E1C4119C7F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738962$C2B5DD53-0B06-4199-B62D-A02F7627EA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fadeb303585ca123830aa0297bf6032fec1818b","datavalue":{"value":"guarded logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738962$EA2B534F-FF18-4C6C-B68F-91EDCBE23BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738962$6CFF525E-B86B-434F-8ECC-4CDDFC8F65A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738962$31AA9884-8F60-4657-9E79-1FFD9C7E46DE","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":"Q5738962$0B33A711-32D0-42CC-BBCF-4ACE68AE777B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641bbcfe3e6af0e3f221f434a107bbc646316b6d","datavalue":{"value":"https://doi.org/10.1145/507382.507388","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738962$EF2BC50F-3E64-4802-B58C-C4FE7963ECF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891315aaaa734db3887e58c38740591f908f4f69","datavalue":{"value":"W2179506702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738962$7AAA8DC2-DABF-44FA-BB95-1B009D0F2DAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3541bdc54273d257e700ed4d7d4954bcdc84cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746a1338f8ab6c7e37560cff5fb99b68b9aa4fef","datavalue":{"value":{"amount":"+0.8997685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$231C22D0-E88D-44AB-93A0-1F5FF88A90A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe943cbf6e238a22b9a5983cb2e1f12e06be1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2669fcfcbe1b0bb327d4571a25037543dc0204a1","datavalue":{"value":{"amount":"+0.8723526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$FDCC0FCF-D53C-4F87-B5D3-67D12430414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5db2e7aff8de30376be70cb10f31c138b1d20","datavalue":{"value":{"entity-type":"item","numeric-id":4412841,"id":"Q4412841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ee81311e39c9adb732816a023a84849e954e93","datavalue":{"value":{"amount":"+0.87174463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$5CE4B8FF-A6EC-4755-B434-A4F90890BD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7bb19972e15a7516bb4865049ceb970044ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4647097,"id":"Q4647097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba17fb433e2c0fab11de8cb5e35618ecce13dbc","datavalue":{"value":{"amount":"+0.86526185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$CFB0B6AD-376A-47CE-B77A-46F4770DD580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b105c45c2228e68dd384d0a2a3587d3fd2c067e7","datavalue":{"value":{"entity-type":"item","numeric-id":3647295,"id":"Q3647295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691f0be7f865c50f0a622cd3b9ae04f51293c0d0","datavalue":{"value":{"amount":"+0.86373323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$D53EA80E-4CDB-46A1-B653-76A83119A035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2afa8a8b8ab30110e5749895017a16fbc7603f","datavalue":{"value":{"entity-type":"item","numeric-id":3746877,"id":"Q3746877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e8f91d3d10fa28effb1a4dab1eb4791f34e319","datavalue":{"value":{"amount":"+0.8605369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$7727E309-5FEE-4EFA-8145-A66A00539B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef035aa46633cd51b4517393c76c755f9f248cb","datavalue":{"value":{"amount":"+0.8566477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$4E4F4B24-E986-48D7-B34A-3E9AF747F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c27305000bea7ba6c5da6ca84e621a2e970a46e","datavalue":{"value":{"entity-type":"item","numeric-id":3768872,"id":"Q3768872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815d044d742ce6f4f39eb07472b0787bf4523c45","datavalue":{"value":{"amount":"+0.85551983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$5AD2A214-9737-4FC9-968B-B52867F9AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ad431d1d82438ce19fb21b06727626dcf54b35","datavalue":{"value":{"entity-type":"item","numeric-id":4657049,"id":"Q4657049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16242d92c4d857ccd8c7b068ff2900a041238fca","datavalue":{"value":{"amount":"+0.8553355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$161CD3B9-E655-43AE-9452-E11BB6971A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342150aec8831ed9833208108115ee0b935b9419","datavalue":{"value":{"amount":"+0.85532737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738962$B8460F4F-877A-4345-A56B-2F2087144D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738962"}}}}}