{"entities":{"Q4302859":{"pageid":6332460,"ns":120,"title":"Item:Q4302859","lastrevid":41591503,"modified":"2025-05-06T04:19:03Z","type":"item","id":"Q4302859","labels":{"en":{"language":"en","value":"A propositional modal logic of time intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622339"}},"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":"Q4302859$7987993E-0BB8-426D-8EF1-979EB1DF5580","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9343ed82b7a0807ab0fa0bc3eccfa1b9c01d2670","datavalue":{"value":{"text":"A propositional modal logic of time intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302859$E1D70E8B-7F3D-4401-B36B-B80FE0471DD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"564defe51a489e5cdb4534ed54162896b7dba0f8","datavalue":{"value":"0799.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302859$FEC6478C-26CD-45AA-AF4C-B4AA10C507E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc8961c2320fbb24e7825cc571419d632060df5e","datavalue":{"value":"10.1145/115234.115351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302859$0CFF7D1E-5930-4C60-AB9A-9B2D37D64D06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302859$EE77CD19-938A-4196-A446-A2169F2F8D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fc2f5fad3d06b38a294e2203be88a9ce0641dde","datavalue":{"value":{"entity-type":"item","numeric-id":192135,"id":"Q192135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302859$37B5FC63-5467-4EB7-876C-8F08808BD177","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302859$F5559952-5D7E-4603-BFAE-027F838C1E0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302859$192F8B97-2CBF-4A83-BFA6-9E2BCDC4C43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302859$6AB510BF-75EE-42C5-AC8B-826878786526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302859$EC1A80CD-7DA7-470A-BD3E-306507DC07DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90f89310ea1a070fd4f273e2334046bfff539c1c","datavalue":{"value":"622339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302859$DD61638C-3C07-442C-977A-1E3F7EA3C9BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae41c8d2271a5787e2710dcea6e5b736ac1cd27","datavalue":{"value":"complexity of proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$7B4372CC-2730-4D54-9816-21CDA8042F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8aaa37ac26c916c6453d2e06c468d84a8866851","datavalue":{"value":"representation languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$BB5030E9-24D5-4B7E-BCBD-DA283C63E6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$116E693C-BB9F-40C9-B359-81973D5491E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$56388F2B-AC76-4026-8804-457890CA65EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$12612F75-FC5D-447C-B174-E09DDE6CE30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$7D324DE6-0AC7-45EC-8E55-A0773E23F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4319e065113a0f79c21c13db5cf6a1ff98e3dc","datavalue":{"value":"time intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302859$FBA73FF3-2C04-4520-A19F-D4C382F6C4F4","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":"Q4302859$886A5F76-6B85-4F8E-B356-BD4C173C4EF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5acad0ae310c3a742bcedaac66ec98b6110f638","datavalue":{"value":"https://doi.org/10.1145/115234.115351","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302859$73B3B426-C815-46DB-9351-BDED3C9436B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74be23ebd10aae417b7340ce35db21d93a7d0934","datavalue":{"value":"W1978654873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302859$564F661F-5C4F-44B3-A7D8-DCFBF279AA95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49362bb729c585498bb2f70ad707fb98a2e3adc6","datavalue":{"value":{"entity-type":"item","numeric-id":5044765,"id":"Q5044765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0148b6470670619ddddc160cafa2a2f4b8418d","datavalue":{"value":{"amount":"+0.93020487","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":"Q4302859$2E45B5B9-94D1-4DE3-9296-CABDDFCBF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94de1ea771915cc93e1107d784b194688686b3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3085178,"id":"Q3085178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd0a13c555972a88518b6bcfab541211c737c91","datavalue":{"value":{"amount":"+0.9290937","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":"Q4302859$CC6D81F7-7D3B-4925-A1A4-3A13EDA7B2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cf0f42db929e2170aba75b51484eb0b6b12875","datavalue":{"value":{"entity-type":"item","numeric-id":2987734,"id":"Q2987734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b56d43aa169918c08c8c21c351cc788ab1f17ec","datavalue":{"value":{"amount":"+0.9225562","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":"Q4302859$2C7B7963-BFF1-47A2-9D39-13395C79788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a585f657b33b68509a17351fbbbc391b9f2102b","datavalue":{"value":{"amount":"+0.9221817","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":"Q4302859$0BC06C6E-E4A7-4FA8-90D2-AF3CC30CDA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b3d8592bd8f14c79ae3559df382b59c2ff20a2","datavalue":{"value":{"entity-type":"item","numeric-id":3067303,"id":"Q3067303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572bad5b5d48c03a389b1531ad3a2cad3dedbe29","datavalue":{"value":{"amount":"+0.9205351","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":"Q4302859$E638D95E-6205-4214-9830-ACB03A4D4362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741628dfb43b4997728d5e58ca9b4db7d60b275c","datavalue":{"value":{"entity-type":"item","numeric-id":4282961,"id":"Q4282961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec80e01ef272ea0b419aa6d7d2eff2eea8c9ad2a","datavalue":{"value":{"amount":"+0.9199211","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":"Q4302859$CA91873E-8C94-4CF1-9C35-2BD0D112309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d37c4de50b725032dbb4d1984e3cea148729648","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d89f618be6b4466375fae3f120b42df5bb6e6f8","datavalue":{"value":{"amount":"+0.9179354","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":"Q4302859$67B76157-0F68-4E75-8080-393127B69794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb58043c56c81218071db6050752bf441a23616","datavalue":{"value":{"entity-type":"item","numeric-id":3012536,"id":"Q3012536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86486f4be1156bd06ec90baa0abae2cdc614f29e","datavalue":{"value":{"amount":"+0.9159117","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":"Q4302859$C3967B96-6F5D-48FB-931B-2387BE7634BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38793aec28cbe8ffd4a23923324d01b8c523cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4999269,"id":"Q4999269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ea506a12beca97488f89b4b23e420032457e85","datavalue":{"value":{"amount":"+0.91501766","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":"Q4302859$656329AB-933B-4FE8-9702-6C11609570E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302859"}}}}}