{"entities":{"Q2429992":{"pageid":2440735,"ns":120,"title":"Item:Q2429992","lastrevid":44074101,"modified":"2025-11-19T17:16:51Z","type":"item","id":"Q2429992","labels":{"en":{"language":"en","value":"An event-based fragment of first-order logic over intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5874570"}},"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":"Q2429992$60A779DD-3A8B-4FD5-8047-2D12B82BCCC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6052b4b91f3004005371cb7c2b0ba9a0e8a9aaf","datavalue":{"value":{"text":"An event-based fragment of first-order logic over intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2429992$57587F98-5EA4-48CA-A02F-1E8EF2F0DF66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"066323f833c43fdcf485e0ec081621ed94dd95e5","datavalue":{"value":"1231.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$73CD583F-9C7E-4DA1-9F88-F27F01CEB9BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac85871ea116b7f29545dcb6ed5421fbcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":1749167,"id":"Q1749167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$3FD100C4-9B4D-4A99-8863-8E90F91A3E1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$A874D6BE-EAC0-4CA2-A04D-79AE010F5C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b25fd71e890a291922acd90c65898775ceff0d51","datavalue":{"value":{"time":"+2011-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2429992$8C9FDDED-76A0-4B2D-96D7-705C4002C893","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$08E7676A-187F-469C-AFB7-FB3558AC2186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$2D53369E-08B2-459A-99BB-2BACF75662FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$8272E064-6506-4E65-B484-4172F94D99A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$28C7EE5A-0097-4106-B0B5-E7ACCA70CEAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d44ac2a5833b0d9ff293c8cffe751f40d19c4dc","datavalue":{"value":"5874570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$D8B3F03B-B0FA-4E0B-B77E-7C633D7B93E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cba5308b9bf4928d45507ef335ccc4f8b73160e","datavalue":{"value":"two-variable fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429992$6AE3A989-BE4A-4A4E-BD3A-D7E5C24345C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429992$0F7DA8C9-5AD0-40ED-9C36-5F04B6BAB9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429992$7D7B71CF-77E0-4E50-A464-DAF868FAA5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac5f87c2452a4bb9221668c72755935919ba5b","datavalue":{"value":"tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2429992$46648A4A-4A1B-4E9B-9088-E5B03BAD2DF4","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":"Q2429992$BA9F9CE3-0591-42BB-99B8-FAE6C3D9EDD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f2096100979f4c4cef88d79bdccf7f17f578882","datavalue":{"value":"https://doi.org/10.1007/s10849-010-9126-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2429992$6895774A-EBED-432B-9FD4-6AE3AB24FB96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85e3518c421bd387b494b3540bb09e052025191a","datavalue":{"value":"W2083567520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$3E24F812-50E9-4CB0-8F39-9DE132144315","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3e69cdcca7384fabc1c1a8e32f234be1bbc87","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$E162E7F9-8762-4185-9EE9-DDFC97E423D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249a894dab2a39153d08ac7e25364e55c580150","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$848221B8-DD27-4EC9-9275-407F01BE4724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6116352a25eecccad3b9af02c59f1ea6b1cb1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$E3AA13A7-7403-47D2-81C0-08C44E2E5CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$5A42A5F1-0700-40CC-AE60-E750AA1563FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$5804174F-99D0-4272-99DF-251B99506249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$E547EDB8-A1F4-47DC-8801-0D2773F12E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$52437151-DB89-4D18-8EBF-607A4B4D2094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40750dc057ea49e042f137c7dec13881bce1ac8e","datavalue":{"value":{"entity-type":"item","numeric-id":3085166,"id":"Q3085166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$7F6AA5E5-EEE6-4D0C-8C02-5DFFA51FF67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$D1D84183-F9F5-4128-AE1B-9F2C50A2CEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$A519D63A-D5B5-49E2-9582-EFA7028BD1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270debc58a83d27d2f963b637f5e7485684a1270","datavalue":{"value":{"entity-type":"item","numeric-id":2457655,"id":"Q2457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$EE03972C-2392-4766-BBCC-615382DD9E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2429992$FA09B2B3-FAC9-442C-B9B0-7E1C9047E180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb8ec36ce22c03dc0dab6c595ff877d89036dec","datavalue":{"value":"10.1007/S10849-010-9126-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2429992$2F8F27B1-5B0E-4BF7-8EC6-3374642ADF82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a67e363680c02d17936ed37d33b2bef54e39bf","datavalue":{"value":{"entity-type":"item","numeric-id":5190784,"id":"Q5190784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f509775741be5c69907a67f34594a2740bf2f46a","datavalue":{"value":{"amount":"+0.88055813","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":"Q2429992$82E0068F-1C76-48D0-8EB9-19BE09C88379","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":"8ef02ce9e3b900de068132665624999a094a4b63","datavalue":{"value":{"amount":"+0.8744827","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":"Q2429992$41C3D0F5-03D4-4236-8242-BD53325B0AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b038fe2e9982d2837f9bd86e3c167a1d66cffe","datavalue":{"value":{"amount":"+0.8742523","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":"Q2429992$EF804690-7757-477D-8D74-8C70285ADE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bf0867401dc2e92f9bb67fd800983677cd749a","datavalue":{"value":{"amount":"+0.8741715","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":"Q2429992$B97957CF-8500-46A3-B090-833F98483CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7af6db943233379bdc17fe306a84901e27a2225","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682d1222e553934d5ce79d381584d22a5ff7742c","datavalue":{"value":{"amount":"+0.87417144","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":"Q2429992$2FEBC170-EF4C-43D6-8EC6-4035A0BCC563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c69860fc2e6fa162f5652e438785fa228faaf8","datavalue":{"value":{"entity-type":"item","numeric-id":4316294,"id":"Q4316294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8c8d42d7f6d4c5bf6fc07d2b602e33b12d34ec","datavalue":{"value":{"amount":"+0.87232685","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":"Q2429992$2CA93D38-E709-488B-A307-3E4BC082CCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b3bbcf44ebba125b46519fdedde1c3c634f23d","datavalue":{"value":{"entity-type":"item","numeric-id":514239,"id":"Q514239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40dbdca2b873ecf7912aad7e54ce88e4ab7e9c7","datavalue":{"value":{"amount":"+0.8721052","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":"Q2429992$37AA2D2B-D0A2-48B1-8C9C-8640C9A639BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d62b29d65b802a3ea75e46970dc08b7619182e6","datavalue":{"value":{"entity-type":"item","numeric-id":3785913,"id":"Q3785913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3272ec4abf85fcf09c4e5d36c39ba13a5f293f","datavalue":{"value":{"amount":"+0.8698407","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":"Q2429992$7EEF86C8-FFB6-43E0-9793-9924E149E920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b0070732133ea7ef32d51a53aa38a2b37e2ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4659506,"id":"Q4659506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50b476a79c09711373b6a44e7f56548835b1b83","datavalue":{"value":{"amount":"+0.8655491","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":"Q2429992$5B11611C-767F-497B-B0EC-FF6CB23435FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213aa7d7278f729b3c15367b78ed6b706ac01e3","datavalue":{"value":{"entity-type":"item","numeric-id":3084982,"id":"Q3084982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c472a0013982a3bfeff785b3f8a5d71eea99da40","datavalue":{"value":{"amount":"+0.86474","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":"Q2429992$9D5FCDE1-0A6B-4365-B23A-1F86C9689D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2429992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2429992"}}}}}