{"entities":{"Q5111184":{"pageid":7140758,"ns":120,"title":"Item:Q5111184","lastrevid":94289684,"modified":"2026-06-05T06:26:09Z","type":"item","id":"Q5111184","labels":{"en":{"language":"en","value":"Fast(er) reasoning in interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204309"}},"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":"Q5111184$C7D5DFEE-BB4B-4D47-A6C1-E772AD2CFC4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6538103c8c02c29b6dbc7c5af7f67628985568c6","datavalue":{"value":"1434.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111184$93BD2C76-940B-48D2-A069-A359A8662F92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111184$566FFC5D-92D1-4B01-8053-BED0721316BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111184$75721AF9-DC78-47A0-BED8-0E65C74325D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111184$008937BF-1CBB-4A45-811D-2E4151466169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111184$A9E45CE2-1309-4662-A1A6-EB5AE3FEAB4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111184$C0712A5A-BCD7-4A1C-A7E4-7C32F9687666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111184$8715555C-5F00-4136-A94F-773346812740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111184$EA1F7B39-9BD2-4DA6-8598-4652D469FD1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8346d0ec7dae7a22475a76e7bd84637bdec96d40","datavalue":{"value":"7204309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111184$132269BD-28F4-455A-8F38-0EADBA49BCD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111184$7FBD72D7-A5C2-4AD0-BAC0-F45E0E37C3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec674fd59f0886543c62073b8f9cb120423d25db","datavalue":{"value":"Horn fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111184$99EDEF7F-65AE-4C9B-B4AC-5BDE3D3529D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111184$1426833D-D7F6-4D0A-8F2D-F4F611FDCD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111184$9F6CB016-54C4-4C2C-BE90-CF65670A54E1","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":"Q5111184$AD173D0E-C65B-4EBF-A19A-77FAE119AAFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537a05d8e04f3ede5e1b8dd82b89b70ce9988ea6","datavalue":{"value":"10.4230/LIPICS.CSL.2017.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111184$234DA3AA-EFEA-4DC8-8E8C-0183496AADC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6c8a2302d5ac75ea95a38c82d33a6bdc4d770f","datavalue":{"value":{"entity-type":"item","numeric-id":5369240,"id":"Q5369240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a7a2c8837b613f807cabee4deace168a8b9491","datavalue":{"value":{"amount":"+0.8097341656684875","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":"Q5111184$C6F6F7E5-550C-4B99-998B-807DF3135875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde4f01223aa4a2f314b8ff49ce60160d550ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2938489,"id":"Q2938489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5dab8addc56df2950cb529cf5b784126ae82be8","datavalue":{"value":{"amount":"+0.8061946034431458","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":"Q5111184$54FFB401-BA7E-4820-B72C-3C7DF93CB12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9018f377fa2e90bdc459499163ec4ce02607840","datavalue":{"value":{"entity-type":"item","numeric-id":5432670,"id":"Q5432670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e04cfa8ef8507941e1a78f4976ff98efd1e2653","datavalue":{"value":{"amount":"+0.7943021059036255","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":"Q5111184$E7834FF3-653C-45F3-9B72-9D91C1B8E470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb65c41f604503f2f935bfbe3c50aa3dc1486ed","datavalue":{"value":{"entity-type":"item","numeric-id":1740653,"id":"Q1740653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6e61b16430831d0480378ec5f217d14adbb2da","datavalue":{"value":{"amount":"+0.7891397476196289","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":"Q5111184$0DDA9484-70F6-4145-B6B1-17121DB37978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df07cdeb834ec5f510a143d6dcf63ddc08e0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0544425aaec6ef3fce0d65d6bff97852c5ed24cb","datavalue":{"value":{"amount":"+0.7864682078361511","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":"Q5111184$98023EEA-8A72-4B9B-A420-7D06704C2C67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast(er) reasoning in interval temporal logic","badges":[]}}}}}