{"entities":{"Q4609353":{"pageid":6638936,"ns":120,"title":"Item:Q4609353","lastrevid":97860677,"modified":"2026-06-05T15:39:14Z","type":"item","id":"Q4609353","labels":{"en":{"language":"en","value":"Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855128"}},"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":"Q4609353$84237B83-7D10-428F-801C-45F794598AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bc8e9aa80a13e10193c60cb44efdfc0459d9389","datavalue":{"value":{"text":"Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4609353$E7412D68-5A6B-4E93-A9E6-5E871E8A1261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea6df46d86d2ec7641c1e1cbde2ce500ad0d04e","datavalue":{"value":"1420.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$5459F963-F749-45E1-8570-5FE1BF727C52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6d0f1469381414740bf99ec06757fd78ebed7e3","datavalue":{"value":"10.4467/20842589RM.17.001.7139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$1770E963-362C-42E8-8C74-273B0B3293E6","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":"Q4609353$044826B2-4EA3-4901-AC56-CA477224E017","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609353$B138A904-CC3E-4314-8D74-C597BE35DABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3c7a1512e9f937cd8f2a23c9198445c7d7808b","datavalue":{"value":{"time":"+2018-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4609353$D6326FBC-407D-49E9-AB70-CEEC6833DA08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$9E632F5B-CE87-4647-855E-341B525F928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$137094CD-1826-4AA5-8263-8C884696E208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bffbcbe8047b3ffb49c7df9561f5bd84643efee","datavalue":{"value":"6855128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$1D1F68F5-8D77-4336-8F33-84E03C389FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4609353$6C919968-427E-4D25-A86A-38BE4FB55954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4609353$9D4E8FC5-3DB9-4BD4-993A-AFF1155A1FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4609353$E2335D08-E9F3-4E72-8891-5BF493ED93DE","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":"Q4609353$2C7E86CD-7CBB-425B-93CA-E1484190D4C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af7549e076468b7daf12bb86df32d6adbad1731f","datavalue":{"value":"https://doi.org/10.4467/20842589rm.17.001.7139","type":"string"},"datatype":"url"},"type":"statement","id":"Q4609353$E6D35B44-8900-4941-8087-44B3546D0872","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5e48af7f470895396d70bb9d663e0129ba8eb54","datavalue":{"value":"W2767820149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$1A99BB90-2CF7-4CEC-B871-BAB6A8A008DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a7cd97ae68fb59e2bb87f79bb11d67b248dfcff1","datavalue":{"value":"Q128740718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609353$04566A5C-12CA-49B9-8A02-FB5515BED90C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d98a27be73cbfe26a7d18bdfdbc90b293935eda","datavalue":{"value":{"amount":"+0.903748333454132","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":"Q4609353$FE173EA1-73E8-4F87-9F50-73D370574EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8a7b2468bf3d6bcc9feabe5a7593fe19668887","datavalue":{"value":{"entity-type":"item","numeric-id":5437779,"id":"Q5437779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804164f511ce523e37997f1c56517f0db2cfdc82","datavalue":{"value":{"amount":"+0.8986430764198303","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":"Q4609353$2B0883DC-2CFE-48D8-981D-1445DB32D6A9","rank":"normal"},{"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":"f9621996e36246aec387dc635f88bce3c76ef869","datavalue":{"value":{"amount":"+0.8303545117378235","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":"Q4609353$FE39D047-B6DF-490D-A888-239D24E7599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8374f83de29dd68784c5c188c01105f7ae0368d4","datavalue":{"value":{"entity-type":"item","numeric-id":1758667,"id":"Q1758667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03513f911c38bd5af0f2d9cd917f6a21eed46094","datavalue":{"value":{"amount":"+0.8291051387786865","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":"Q4609353$21C75D5B-2F04-4F7B-8F37-77B984BA0728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3e55f688d86493f7ea9ceca34fd564712f2725","datavalue":{"value":{"entity-type":"item","numeric-id":3165753,"id":"Q3165753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6f087dd0db3c03d65a55bac8699897b44f3c87","datavalue":{"value":{"amount":"+0.828779935836792","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":"Q4609353$648804E8-7568-4671-8205-1012FA6C8718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Paraconsistent_sequential_linear-time_temporal_logic:_combining_paraconsistency_and_sequentiality_in_temporal_reasoning"}}}}}