{"entities":{"Q3084992":{"pageid":3095707,"ns":120,"title":"Item:Q3084992","lastrevid":45413554,"modified":"2025-12-07T14:40:48Z","type":"item","id":"Q3084992","labels":{"en":{"language":"en","value":"A Paraconsistent Linear-time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5870683"}},"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":"Q3084992$3D8CCE6D-41AC-45B1-8BE7-144A58B49175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03ac4383f65855f20219b6e8d0a40b5fcff16b35","datavalue":{"value":{"text":"A Paraconsistent Linear-time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3084992$DB11124F-29EC-48D3-9397-F42A822BBB35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6ca01b3ad6f78c96c8cf92600d6a4291aa2cce8","datavalue":{"value":"1228.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$FD4D251B-BC41-451F-BA16-6782D643E1E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f50e9344a4ee57dc961ba324ca1d697cb15f8aa","datavalue":{"value":"10.3233/FI-2011-374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$498A7B68-8DD8-4754-B582-6E441A269C9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3084992$5D65C06A-DED6-4164-BB92-FF8DDC209237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3084992$A1641BBC-B016-4BDD-A439-62940E5F6FB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3084992$95080D18-0AE8-4100-8238-3FB509742D6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86a51260412b40e5c53c8066fdea67849229bf08","datavalue":{"value":{"time":"+2011-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3084992$B7331FF6-4BA4-451C-A525-AC7BF6170698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$19B2DF85-7F6D-47FC-8A14-D65F1169CC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$D866C8AE-1B5E-4F60-A2CE-24845AFBCC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$19E3FB90-1B7F-4B7A-B878-35A9656AA755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$E4343E7C-ED7E-4E0C-83A7-758EFC82AD43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64140973ddef87b5af55902dd9a071df618acaa2","datavalue":{"value":"5870683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$F2AF1985-8EFE-416F-B62A-5E7961D3F4B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$EFCFF4AF-CF6B-46CF-A68A-8382DE02B01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$1708B739-2607-43BE-8734-C9FA0E98140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2340491df6332f615cb44ebf10b11c3e6671852b","datavalue":{"value":"paraconsistent negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$C5782759-CCE1-457A-8D48-143ED1AC94AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$4BBF8836-74BF-4BB1-963B-4CE3D6DA7CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$45B0BD77-0B68-4157-BED9-BCE7920B322C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$0E874B44-21B7-486A-B331-F172FE4B15BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084992$E67185EB-01E2-4647-B4EB-F1DF010B8EBF","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":"Q3084992$54F6F892-F3C7-434E-8F07-E29DB8FAE92E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76f04ebf56b8009c87a7eb818263a4744c7a0949","datavalue":{"value":"https://doi.org/10.3233/fi-2011-374","type":"string"},"datatype":"url"},"type":"statement","id":"Q3084992$2CEEE058-653B-4F4B-9B68-6E1B74542655","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ed851a9ae1c830f86bdc90393d58ddfe415b967","datavalue":{"value":"W1948104915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084992$D5D5702D-7449-467A-A191-40703EC08A24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f45c6bbe778da0fbfad36f8c1f04028922d0f9","datavalue":{"value":{"amount":"+0.9593648","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":"Q3084992$DB6B118B-5F0E-4070-A301-DAE6CFBD8663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2298a232ea5d8cdf7fc544291c9b92831eb4b722","datavalue":{"value":{"entity-type":"item","numeric-id":4609353,"id":"Q4609353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a530e2a9b0ec89d95c703de54e551ebd57ff851e","datavalue":{"value":{"amount":"+0.9526354","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":"Q3084992$E3B09D40-C8A8-4DC2-8FA9-EAE979A2B9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abea9dddd9752f0f29a15676b0ef510b84f403ac","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62705f4fa1e967df0d66da92c4387d35bfcd5700","datavalue":{"value":{"amount":"+0.92932534","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":"Q3084992$5E556B7A-B06B-4824-BDD7-21F8675136A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25330bca07cd5b497ba3c27d4ed9493be5f77807","datavalue":{"value":{"amount":"+0.9284852","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":"Q3084992$E513F85F-0A7F-4B44-A72F-123385003CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0bcb01b7bdfaa52630d13c2e2f20a478617510","datavalue":{"value":{"amount":"+0.92368275","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":"Q3084992$A8F0A8EC-EA4D-4C04-A514-2C763A5FCE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9335eb23f7131179089b0d9b8df6b26603ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1989330,"id":"Q1989330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ca3e6ec537cd2982342e5b3c9f5135cc79a197","datavalue":{"value":{"amount":"+0.920886","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":"Q3084992$4D2DBCB6-7D9E-4F24-B949-CBC13B7AE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6194f416d2385352b92d51a75642edf3f76343","datavalue":{"value":{"entity-type":"item","numeric-id":764266,"id":"Q764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8629c051c1d2c7d5a179f8c9caf6eb40e7958e","datavalue":{"value":{"amount":"+0.91888845","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":"Q3084992$AA900867-0A80-41A7-90DE-B90404F5547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cf132fac16140fa6c77c2055c4013873139411","datavalue":{"value":{"amount":"+0.9188147","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":"Q3084992$267DEDCD-F2DD-43B9-AA44-42795E0990AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c3d09b71c61e036c6d97b6c086cb4a7fdf2936","datavalue":{"value":{"amount":"+0.91825867","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":"Q3084992$95E1896F-456F-4DAD-BCAA-D76881D1E2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5e0720c6e60cce891371751aad32d08953a87","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8170ea2d649f378f13c47231d855471079d865d8","datavalue":{"value":{"amount":"+0.9178927","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":"Q3084992$D5A8368B-D63C-4DDB-A7BB-DBD84AD27D05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3084992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3084992"}}}}}