{"entities":{"Q2797868":{"pageid":2808606,"ns":120,"title":"Item:Q2797868","lastrevid":79401947,"modified":"2026-05-06T13:49:28Z","type":"item","id":"Q2797868","labels":{"en":{"language":"en","value":"Completeness and decidability results for hybrid(ised) logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561963"}},"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":"Q2797868$B3CB1ECB-B2FF-4EE1-AEEE-4989B45DDFD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aca7239f34451f0d91c220e9a687d8e937be2262","datavalue":{"value":{"text":"Completeness and Decidability Results for Hybrid(ised) Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2797868$02B2B52C-B81D-4075-A6D4-8CF1D2B1CCA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c57a110e9e4ad9f39c672957a567c5b21a8734d","datavalue":{"value":"1335.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$A60FDD06-1AD8-451D-897C-F649611438F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d6e237da2a315a23ade1f054612be53094a654b","datavalue":{"value":"10.1007/978-3-319-15075-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$F08999FF-B782-4CED-B5BE-F23B8FAC35D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4dc930638fdc7f7582e64e1732a369265c010e","datavalue":{"value":{"entity-type":"item","numeric-id":1786566,"id":"Q1786566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797868$EAFE39A3-4E51-4022-87A5-38156ACAF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797868$D057E25A-70B6-4FE9-891F-24E38194F05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797868$A7FD3644-717A-4AA6-AF5D-1C5621D60C30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797868$46DD4F16-2176-42E0-BD6F-10F0117F051F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016d40ec0ad7082f724ffc91cfd4611759c1ca20","datavalue":{"value":{"time":"+2016-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2797868$D179BAF3-19E5-4EA3-AF5D-9FC449C3155C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ccbf9ca5225bdeb2f9e8420651e56b4a0130c59","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/6821","type":"string"},"datatype":"url"},"type":"statement","id":"Q2797868$3AA2E02C-FFA4-450D-BB33-BAC42CFABA88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$B3D2EA59-05EC-4936-923C-64E25812A647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$2AEEB3A9-8CD7-4C35-B8E1-E92BE7ECBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$F9335221-7D85-41FB-97CB-DE60671B6E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$F7B58EA0-16F4-48FF-8666-78DBAAB2FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$1EA7C04C-6AE6-4871-80B2-DDE05F31D426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf1abdcea55c01c7ff1930421c7955c1e7029376","datavalue":{"value":"6561963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$6714DB17-F7FE-4578-BB73-06A4F107BB2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797868$32D6A985-F1E2-46D5-8A3F-FA386703B61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797868$8BB9415D-58AB-4C6E-BD4E-B5018103ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797868$0A371DE5-69E8-44AF-80DA-06B0686F78AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797868$3250BE9E-A8AD-47D2-8E4B-EBCD92F798F3","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":"Q2797868$24AB053E-539F-4F93-9DFB-D1ADCDE2F373","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4526e0bfb04847abd0f2abac11b24695eca7a6c2","datavalue":{"value":"W54964128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797868$756ADA30-806C-47E5-9E37-1C914786A368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8316ca9a6ec336550037e70961f9ce39be9709a4","datavalue":{"value":{"entity-type":"item","numeric-id":2355385,"id":"Q2355385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9fee888071939c4a01187056457ea72ab24bb3","datavalue":{"value":{"amount":"+0.8500230312347412","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":"Q2797868$D52ABACC-163D-42FF-957B-E1047D6C0CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7170831365a126dbdc69154a6e602f08c6e436","datavalue":{"value":{"entity-type":"item","numeric-id":4554399,"id":"Q4554399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c3b19e290694fff9144e595de15a60a122beec","datavalue":{"value":{"amount":"+0.7917404174804688","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":"Q2797868$4DC895D1-8069-48F1-92DA-A16FA2A4A9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f2239c8c300b90c265840d37d8ce1c382d9e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3090875,"id":"Q3090875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31c235aed55cf22876fc53b943ea689be5e88ef","datavalue":{"value":{"amount":"+0.7854329347610474","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":"Q2797868$CCDB7129-11C2-41F4-80AD-DBEB4D8DA882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cbf21ca5940dcd4e12af4280665dab6786d71f","datavalue":{"value":{"entity-type":"item","numeric-id":3452675,"id":"Q3452675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd1da58e6e4e4890cad934286d491473d5ff01f","datavalue":{"value":{"amount":"+0.7776070833206177","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":"Q2797868$5E0E7042-8C9F-47AD-81B6-B260C3F3E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddf0c39f44e8f276e9c14c8b22e10cdbd61cedf","datavalue":{"value":{"amount":"+0.7653923034667969","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":"Q2797868$DA376761-CE72-456A-BDDF-A700D427C562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness and decidability results for hybrid(ised) logics","badges":[]}}}}}