{"entities":{"Q2669249":{"pageid":2679992,"ns":120,"title":"Item:Q2669249","lastrevid":44598909,"modified":"2025-11-24T06:08:38Z","type":"item","id":"Q2669249","labels":{"en":{"language":"en","value":"A tableau construction for finite linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485818"}},"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":"Q2669249$81E9C705-3F3A-4C4C-9CD2-C2EF4159CD7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e00f8b10af840dca65b8d407ff1445ad9945dc0","datavalue":{"value":{"text":"A tableau construction for finite linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2669249$BC3927C6-C9DD-40CE-814C-6002328C2008","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$24669F3F-DF60-436F-84EF-6FAA5F016C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$3B3D035F-77CF-49F4-890E-C2BD6B77FB91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2669249$868FA772-0B08-44A3-B596-E951E3E95A23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18a0bd49dda5ede9cfabd51d939b1bde155f8aa4","datavalue":{"value":"https://arxiv.org/abs/1910.09339","type":"string"},"datatype":"url"},"type":"statement","id":"Q2669249$F3895EC4-2749-4681-9706-A25BA7BD7565","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669249$EE23840C-C003-411A-91EC-B33DEE31A914","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeae7002f3e00e768e8d533924b9853f6f84c257","datavalue":{"value":"7485818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669249$CFB48C34-DD6C-4417-8DF4-BA9D83CAD8DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$4B09544C-68E5-46A2-9EE8-9E98B02EE614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bad50cc646370f61bc64770b866bbcf238ca4717","datavalue":{"value":{"entity-type":"item","numeric-id":13684,"id":"Q13684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$7EBCC057-3E05-418E-AFF3-74E0F9D639AD","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":"Q2669249$40E240F7-508D-4699-B2F7-3FDAF4DD8388","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99ce4a0e69c92a63f5402354bade9ac96d37798f","datavalue":{"value":"W3216746143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669249$03C5D492-B05F-4676-B31B-A1EA48D57637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$D74C947A-B2E8-4E3A-9ACF-5B206FD9EA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$0E161DBA-5311-4608-8966-89084553C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ded28dfcddfc12e7756640329f103bf1a26e17","datavalue":{"value":{"entity-type":"item","numeric-id":2754106,"id":"Q2754106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$AD4B7442-25AB-4A38-BEDC-DAA18D00FA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$13F71CD4-C285-4C71-B4A1-6F580AA611DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0fe4d293bc64fa515b22073a2acd19968a504d","datavalue":{"value":{"entity-type":"item","numeric-id":5391524,"id":"Q5391524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$87C43FE8-E9FB-4C8C-B81E-6DDA3C1166C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$FC55E9B0-9711-4CC5-9229-95FC64E6FB15","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":"Q2669249$9CEE1965-1C67-47AA-A795-B052AD9E9B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$4C5A6415-3456-4CD1-8435-2D628C3873C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b32a578d3c568e0bbc4ca3a458619127605be","datavalue":{"value":{"entity-type":"item","numeric-id":835826,"id":"Q835826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$F3A5B280-A6D3-49F5-B714-FCE8EE821670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$E16C318F-939C-401E-A701-0C5EFDFF5A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$6433B3DE-3D68-48A8-936A-60A8A05DC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1c441e67987c933ff1e535b42d1baa6d784f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1667649,"id":"Q1667649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$6197927C-DEBE-4DE4-9A2F-2EDDC325BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669249$F6EC7ED6-44A7-48AB-AEEC-8CEEBAA53787","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72740eb17160ba68c71f88121b887f821b356e06","datavalue":{"value":"10.1016/J.JLAMP.2021.100743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669249$9C48BDFF-2218-4F82-8D18-C5F5BAA59CB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b4d444d72870639f2e26d67de9f91668568954","datavalue":{"value":{"entity-type":"item","numeric-id":2863170,"id":"Q2863170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf018ebb70ea319f1fd773b7f512cbfe213d758b","datavalue":{"value":{"amount":"+0.95201457","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":"Q2669249$A4238390-B814-48FB-B8F9-5475AF7E504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecbc645569234c9381cb958f9150f90893eb011","datavalue":{"value":{"entity-type":"item","numeric-id":862830,"id":"Q862830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bafb372bbac932a3a409ea70000a1986ce4d482","datavalue":{"value":{"amount":"+0.94370914","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":"Q2669249$866EA9D5-D4C7-4430-ACEE-2BF12710E619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566670aa85bda58f20fb1f91d4bc697f892388cf","datavalue":{"value":{"entity-type":"item","numeric-id":2766661,"id":"Q2766661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7767f3eaf5288dacb482036ca2b0aa61ffc594","datavalue":{"value":{"amount":"+0.92529356","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":"Q2669249$427A15A2-1B36-49F6-9F18-5CBF5A7E0202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14ae3c76b6b64d654224b87e9519c7853b32d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4333381,"id":"Q4333381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfa0735dfa50f533e3bb1a519764fd73089c751","datavalue":{"value":{"amount":"+0.9216556","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":"Q2669249$DEA0C24C-D9AA-4F3E-9F0F-79722FB651BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa5b9f223ba233991c37151bee3019dffd1bea8","datavalue":{"value":{"amount":"+0.92125773","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":"Q2669249$64BBB346-15AC-4CC5-82E9-BA1877C8296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081f354e5fc809597cd1b174c84f9cc080d00287","datavalue":{"value":{"entity-type":"item","numeric-id":2701983,"id":"Q2701983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bc54aead547329d95b6589c50e2d63218d0361","datavalue":{"value":{"amount":"+0.9211972","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":"Q2669249$A4E542E6-CC93-452C-B879-C42967DD1900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf5871484f06828e55a312f2e317c0d131c6e48","datavalue":{"value":{"amount":"+0.91410524","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":"Q2669249$B82D62FA-A576-450C-B66D-54CBA34F70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a9a22b522268131b02ac8f43ec71543d6e9723","datavalue":{"value":{"entity-type":"item","numeric-id":3384170,"id":"Q3384170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f2828d63058a7c49e1e9ee61c1a228733d77cb","datavalue":{"value":{"amount":"+0.9140909","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":"Q2669249$0336743F-8D81-4F5F-AF13-849BD1B2CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810cfb9242c1d7ddbd087374f5e2d2447045a57","datavalue":{"value":{"entity-type":"item","numeric-id":5900701,"id":"Q5900701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659562adc1e351e692678abc745495769fbcd4b4","datavalue":{"value":{"amount":"+0.9137198","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":"Q2669249$99B09DED-6DA6-4430-9791-6AAE4E691823","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2669249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2669249"}}}}}