{"entities":{"Q5477453":{"pageid":7507012,"ns":120,"title":"Item:Q5477453","lastrevid":41259306,"modified":"2025-04-25T17:51:27Z","type":"item","id":"Q5477453","labels":{"en":{"language":"en","value":"Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038540"}},"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":"Q5477453$E5546607-2C3E-423A-8722-24A4AEF62734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69c363700fd84fa9ac3c95ea7a42aa20b8f7260d","datavalue":{"value":{"text":"Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477453$24A70EBD-0636-4572-B1C2-64FB874BD714","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"577bdc7a9cf956db094ac49967e2e674c634eca4","datavalue":{"value":"1101.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477453$AC7B19DF-9FBD-46BB-8B51-4BBE6140F3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477453$60A09214-584D-4A23-A764-27D301D3FC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477453$96D97CF5-892E-4A8C-9376-D55631E71335","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477453$B9C5A20B-E82D-4E87-9247-CE30B62A07B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477453$ABA8E2B9-46D3-4748-870A-A030BDB0778B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd276cb0695b6fbbc6df33ec1178e3500304d76a","datavalue":{"value":"5038540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477453$BA164B46-1438-4450-AC1C-267D2E99A909","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2cf96d7e636ece65e4e6d4dc2640da1077e9c","datavalue":{"value":"hybrid modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$547F947C-B5B9-4076-8D63-09B37AA9D172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$047E111E-BFDF-490E-8443-0C524A6AFF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$B38E6485-DBDB-474A-94FB-EEEE1D11CA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$B69421C6-2341-4035-9188-5E8343973513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$319D3153-F530-41F3-81FF-12C744521B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$4F85E25D-2A30-4276-9BFA-BC13986D604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477453$1C0BB6A9-9C2F-413E-8783-35C4873CF0E3","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":"Q5477453$6E357020-C280-4B28-A370-5376557222E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65f70a020af75019d17ccdc301b9ecd9c34807dc","datavalue":{"value":"https://doi.org/10.1093/logcom/exi056","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477453$65C2028E-9330-4FEB-81CA-81F700CDAFAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"240daf31580fce9418ed360dec4ba994a3f28b0c","datavalue":{"value":"W2101263826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477453$DF328B42-8F24-4DC7-9749-C3D33CCD93D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c4503a7a294c085034b9b5c53d655200ebef4c2","datavalue":{"value":"10.1093/LOGCOM/EXI056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477453$2AB7AAA9-CFD1-4E9A-BA53-A2070825E276","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477453$4F40A8F0-A403-42E2-AEA2-6F2B10AF29A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489f8dcd5e821ee534349d8578ce55e7c3491fce","datavalue":{"value":{"entity-type":"item","numeric-id":631089,"id":"Q631089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432687eb9581ef41615bebc4d2c98157b38573f5","datavalue":{"value":{"amount":"+0.8552185","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":"Q5477453$16395A9A-2A81-46F4-8ADD-55D4548F808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d979d59a9e58c7a6537acc54eeea4fa86ab922","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332f28d7e473f2e78bb9c6b3412d1a9c4879e59e","datavalue":{"value":{"amount":"+0.8485154","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":"Q5477453$A6F84168-2CBC-4092-AD3A-5EB86914DC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cbb8867661bd9b972deef99da8a79a25f2d06f","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4690afd7dfc8f124a458870adda94c88787bef7e","datavalue":{"value":{"amount":"+0.8472841","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":"Q5477453$AC91BB53-ACF1-4065-91AC-F07A07EBDB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449754d3a234dd87bda45b6de02cf9b83d4f163c","datavalue":{"value":{"entity-type":"item","numeric-id":5869599,"id":"Q5869599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d7cf5d5f68b252da466c9615bdf6a66182d2d2","datavalue":{"value":{"amount":"+0.8466361","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":"Q5477453$87390F13-F9E6-417D-9214-274A6B82B7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226a51c741adc5a4c4b8ee9f6d388ed76827d62d","datavalue":{"value":{"entity-type":"item","numeric-id":2983399,"id":"Q2983399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8995f6f487bfc76791d3c7e2820bd7d8df8cbeda","datavalue":{"value":{"amount":"+0.8461716","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":"Q5477453$A404129A-4439-4288-9F10-9EFBF5F4C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8ec5e218234488c4ceb54e92027039b8c0495d","datavalue":{"value":{"entity-type":"item","numeric-id":1372357,"id":"Q1372357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63346139692ad098f56df1db924361b32db1bf7","datavalue":{"value":{"amount":"+0.84353125","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":"Q5477453$D026A59F-44C0-4DAA-8EB3-54A829C7AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004bea8e86052ab97302d8e7e8200a98dd167144","datavalue":{"value":{"entity-type":"item","numeric-id":5294718,"id":"Q5294718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcbb98b9035f825f4dd5af7d993c24021ab9049","datavalue":{"value":{"amount":"+0.84302884","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":"Q5477453$7B2D8ACD-1F26-46A4-B80D-CCF8EAECDD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417bed6147d49f9d2af38be109b51ac4b393ec02","datavalue":{"value":{"entity-type":"item","numeric-id":1047797,"id":"Q1047797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ebcc48ca8d078caefb6793b55f605633330690","datavalue":{"value":{"amount":"+0.84104085","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":"Q5477453$53E1676F-317B-484D-9B4C-2F24F02BD924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218a30a15e6631b8aec86a85ea5ae858dee50360","datavalue":{"value":{"entity-type":"item","numeric-id":2810014,"id":"Q2810014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b638b258546f6fdab7a99de6ac008255add44b7","datavalue":{"value":{"amount":"+0.84073263","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":"Q5477453$7B0CB5F0-C6E7-4200-B263-0E742B5DBBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3f3b590637254a92a6fdc59a46f9643a0051a0","datavalue":{"value":{"amount":"+0.8405976","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":"Q5477453$BDE68669-03BA-4B22-9D39-7D32DD70B5B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477453"}}}}}