{"entities":{"Q5747764":{"pageid":7777315,"ns":120,"title":"Item:Q5747764","lastrevid":41578598,"modified":"2025-05-06T01:17:07Z","type":"item","id":"Q5747764","labels":{"en":{"language":"en","value":"Terminating Tableaux for Hybrid Logic with Eventualities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785452"}},"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":"Q5747764$383CD5CB-8C19-4976-AD52-C3B5EBEF163B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3060b1cf95dc123ff38f6d7dc8282f87dd67c35","datavalue":{"value":{"text":"Terminating Tableaux for Hybrid Logic with Eventualities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747764$09977157-0021-4DBC-AAFC-593913D66A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a176e650836b50165b362c20e4a7c8c8e08a569","datavalue":{"value":"1291.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747764$34E69EAB-98DE-4D06-98EB-999EAB96BDBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3603675c5f27409deedd35fd8dd89fffb861214","datavalue":{"value":"10.1007/978-3-642-14203-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747764$10566245-7176-4104-8F96-50ACDA953436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b6965f702c25ca4aa2bb1fe3823f82e953c560","datavalue":{"value":{"entity-type":"item","numeric-id":286084,"id":"Q286084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$C6D7526A-3BEB-476A-A3BB-B3F61E5BCE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$6B1E22CC-3142-41AB-9546-329E1BB32E06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$077D8CFD-1275-41E7-96DE-5B1BEB8B8874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747764$BE6D5E1E-5F07-4D90-8708-756F4AFA121F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747764$F0725C24-E733-4DFE-BD01-5342965F4D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747764$395A2EE6-B051-47DE-9444-73FC12CE8777","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be51d0bdb680ee5b12c297ce8c4477274dcd728c","datavalue":{"value":"5785452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747764$B42C5AF2-8735-47A0-B8DC-46C2D62F49E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$B44D40C7-D6E8-4FD0-80C7-3367FCB1930B","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":"Q5747764$4D1557CF-A883-4847-95B9-B9A0B33B6010","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"456b627b91af953ba0ff5a4ee098958a88c15eaa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747764$2BA08DD2-A5B7-46BA-83E0-7ED11D98AAA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42990cc290585c602090e93987977a5f006da27c","datavalue":{"value":"W1549273226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747764$0E1E0A5C-0BF3-4F1D-B632-B814F5BF3894","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e53da32486790a095eef7f63d85c2068ec9b28","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$6AFC3FD1-A711-49D2-AEC3-E620ECA34F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$70F696C3-A04D-4430-8D8A-C581CC69BA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cb8288f4bd70c7a0e1a5334ff31c1e7f21b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4012241,"id":"Q4012241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$DBEAE67E-23C9-4F9F-88BA-355825796C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$734559D5-180C-4157-9E88-468F767B2461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$11BD4635-730F-49E7-BD66-1BE73B2D6790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7cec9b821e2e4c8ea02adb846615582ed2171","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$BA741760-9FCB-49D2-B71E-3C08A7405037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dbf5771994548b20fda96ec562836af82729f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$A7AB3E98-1617-404E-AD77-CF10966205ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$1BDC9AA4-A541-4EF1-81B3-FFA754B3DF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$74B6A9E6-4B2B-4325-8279-5700AF94E97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$CBA6BF7D-44EF-4499-8F46-85F815A2E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b69a52d70fff5a2cc8b737e571d9ff57ab726","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$D4968A35-69AF-4351-9EF0-CDC71E0E0608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$F5CA5B7A-1C16-4D91-8E06-8D65EA4C7E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066cd4aa2727fcf2939d8d889a4ccf4e4246bef","datavalue":{"value":{"entity-type":"item","numeric-id":2462647,"id":"Q2462647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$37C87C3E-9681-4989-9A24-EB5C87C2A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954bbe3830df2d56eef4d93b8ebdd9c070b0019a","datavalue":{"value":{"entity-type":"item","numeric-id":3541703,"id":"Q3541703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$B9AF05DC-5FEC-405F-B255-687A772BCF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8709f7df730096e9ca2c313ad48301af6b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$C8F00AAB-904A-4F25-999A-DDDCEC20B126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$E521E791-88FE-43EB-9967-1A2234C33184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747764$ACC6EB0F-19C9-425C-987C-6D3F077588D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fb46176b6712b99d7a2afe9166512817cc544d","datavalue":{"value":{"entity-type":"item","numeric-id":3541703,"id":"Q3541703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0521d3bdc9edd3a5cf118b0c2b3f98ec88acb339","datavalue":{"value":{"amount":"+0.92760986","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":"Q5747764$4FE5DA77-E178-4280-8B97-56C189DBF9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d67f8d145e9e7ec658177421e99201eb4122","datavalue":{"value":{"entity-type":"item","numeric-id":4982112,"id":"Q4982112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf969459543f128dde22973b6e5a90337efdfb3","datavalue":{"value":{"amount":"+0.9249552","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":"Q5747764$E9EB5E42-C22A-4F4B-A7F4-16A6F408E3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c9a6e5455a6bfb19136894762a784b379e733b","datavalue":{"value":{"entity-type":"item","numeric-id":4982111,"id":"Q4982111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0020a631199f6912ea3ff425477a6841371e4f15","datavalue":{"value":{"amount":"+0.91752213","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":"Q5747764$2E698A14-D910-40CA-B75E-16555159C300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c8603b2d8f201a1b66efa4ac981e09b8b947fc","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1a5d2b8e18b382e1f50c24b567ce101d67bed6","datavalue":{"value":{"amount":"+0.917285","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":"Q5747764$CFE0674D-6003-42C2-AFD6-FF28947742CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6534a4f9e39d0bd8615a13fbbff68f39e0c841a6","datavalue":{"value":{"entity-type":"item","numeric-id":5902295,"id":"Q5902295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7e73f438ca26901c5e9d7222dd5c23084d5d85","datavalue":{"value":{"amount":"+0.9126254","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":"Q5747764$C9A1494B-928A-4FB1-B9A8-45B2D5A161A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1115f4c7142b9d2291e047dabf27c136a2a91f0","datavalue":{"value":{"entity-type":"item","numeric-id":5892513,"id":"Q5892513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8b97100f1c194bbf448175db7190ac1490a5c9","datavalue":{"value":{"amount":"+0.9126253","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":"Q5747764$828E55E2-394D-41AE-86B3-598B63E01BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb47d4a654f9f159bdcb87141c1e23ab9ecda10","datavalue":{"value":{"entity-type":"item","numeric-id":3185765,"id":"Q3185765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f33cf56b7c7c088422f2eb8c793da024037ea3a","datavalue":{"value":{"amount":"+0.90881705","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":"Q5747764$FC196ADE-D14C-41CD-B2B8-5EEF22E9AC79","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":"916876a86b58770e0ee25cf5f674c05230ed4a19","datavalue":{"value":{"amount":"+0.90634084","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":"Q5747764$3FF096D1-E784-4C1F-81C7-061722136A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0701f0222d934c4ba2274344feeec9b8272d652","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de7c83e6f5f8ef8232abc4a4a32bc627671765d","datavalue":{"value":{"amount":"+0.9052825","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":"Q5747764$DB6866A0-DE53-4C5C-97D6-15AC9C9CE707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9208647288c443922163bcf800799a3dc0621616","datavalue":{"value":{"entity-type":"item","numeric-id":3100197,"id":"Q3100197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c793765e8264280665460c5012c45804f08bb92","datavalue":{"value":{"amount":"+0.90198624","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":"Q5747764$7501F78F-FE88-4620-BC71-3A9CCD4A0AA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747764"}}}}}