{"entities":{"Q5747765":{"pageid":7777316,"ns":120,"title":"Item:Q5747765","lastrevid":51080426,"modified":"2026-01-16T13:41:05Z","type":"item","id":"Q5747765","labels":{"en":{"language":"en","value":"Herod and Pilate: two tableau provers for basic hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785453"}},"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":"Q5747765$0D8D2EBA-DFB9-474F-BF19-387CA06883C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f4c6c491adba00ec8a3f17a7eb02ad11b1717c6","datavalue":{"value":{"text":"Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747765$AD580F78-1B82-4383-9923-3E24A7AAEB60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24c72e8474fa337a98c65354a7fe7ef7eb6d9463","datavalue":{"value":"1291.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747765$3212B064-81A2-402E-952E-9E645E463B94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55e9118615a998bd7877bc2c419ea062114ee8ca","datavalue":{"value":"10.1007/978-3-642-14203-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747765$A6C238E3-1E76-4A91-9E7D-8FDBCCF36FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$F0DDB5BF-7AA3-4AE9-A575-99584D5AE22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$CBC34C65-E36A-4362-8A3D-6D7F76D0A4B7","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":"Q5747765$57008EE6-5B88-452B-8359-356DB8107909","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":"Q5747765$D8544813-826E-4034-AD28-6F78E39F6E1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747765$ECD71502-5A5D-408D-A99C-335CBAC05BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747765$F51D81D3-620A-4B9B-A425-3BBFAC982399","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d3c0c1f07c3d49791a3afeaae1c38d9f441dee3","datavalue":{"value":"5785453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747765$07670D27-D6CF-483C-9D36-D220FAF97D1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$F23FAF59-9115-48B5-8DB6-0AF9274283CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b04f91a7fcba9845ffc13d007dd510c5cbf74970","datavalue":{"value":{"entity-type":"item","numeric-id":21429,"id":"Q21429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$37DA25AB-2403-4540-A665-CFEBD60FFBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ed0997ee0b7d4441438016c2ff078abeca16485","datavalue":{"value":{"entity-type":"item","numeric-id":21428,"id":"Q21428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$C6688CB1-9ACD-4130-BC72-9C1A5AC829F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8aa5e3607f194cc9e2a2385bcc561c907f66374","datavalue":{"value":{"entity-type":"item","numeric-id":24355,"id":"Q24355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$13A4758D-9A57-40A3-8262-FAC2FAC83794","rank":"normal"},{"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":"Q5747765$5645F290-734E-4945-B10B-664AE43C26DE","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":"Q5747765$D52875C6-8415-4D1F-A11B-194C88B2F158","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b998656f4e920d09ceaea1783f9456e04ca795c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747765$C076FCAF-3B06-462C-AA04-DC5017E3D3C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab6ad47e79dd96ead28cf1ac28a9900aa3d92c4c","datavalue":{"value":"W1539127213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747765$135124D0-455F-4636-95EF-236B30D309BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$44F313B3-61D5-420F-8764-A545D7DD841A","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":"Q5747765$993BDC25-D050-4FF3-BF02-E64B73E01A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117100ad668e7d01042edb616c9a93e429777fce","datavalue":{"value":{"entity-type":"item","numeric-id":2901189,"id":"Q2901189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747765$AFFF94FB-5F36-4D87-8244-0A35A76F35AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebef7fb5cd261c0c63e36e3f3fe203fa620567f3","datavalue":{"value":{"entity-type":"item","numeric-id":2901189,"id":"Q2901189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48ce94593dce3697ea3ce1274b097e3ebfb1095","datavalue":{"value":{"amount":"+0.8127431869506836","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":"Q5747765$0D01C04C-0DEB-48F3-A1D9-E3F8EC9B8FF2","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":"96382ff8ffd51de73feb58962874de02aa6e517d","datavalue":{"value":{"amount":"+0.7822055816650391","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":"Q5747765$58991189-31C7-40B1-9246-B50164BA0D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b704e7b4321944ed6fa6b08979ea207748c7b44","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96382ff8ffd51de73feb58962874de02aa6e517d","datavalue":{"value":{"amount":"+0.7822055816650391","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":"Q5747765$228EDD0D-7922-44BA-A0F7-BBEADDD56AAE","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":"b21d2129d1286bc05b996c2c7914449d732fe588","datavalue":{"value":{"amount":"+0.7775000333786011","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":"Q5747765$5C469ED4-8168-43FB-B4BE-2812A26E04B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3404477fa4a67601e561a14d17c6c39eb0d456b8","datavalue":{"value":{"entity-type":"item","numeric-id":631086,"id":"Q631086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bba11e7c49e2edcc97e9b3630fce19d1fc4c961","datavalue":{"value":{"amount":"+0.7691479325294495","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":"Q5747765$B917833B-A731-4E5E-A066-F55F6C540116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747765"}}}}}