{"entities":{"Q975875":{"pageid":977723,"ns":120,"title":"Item:Q975875","lastrevid":51009614,"modified":"2026-01-16T04:56:46Z","type":"item","id":"Q975875","labels":{"en":{"language":"en","value":"Combining linear-time temporal logic with constructiveness and paraconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5720211"}},"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":"Q975875$B2D257F2-576B-4D30-A346-0EFDF5CA02A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"755604aadaa3b3c83af9e0f69c2b2714d08d35db","datavalue":{"value":{"text":"Combining linear-time temporal logic with constructiveness and paraconsistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975875$F180191E-80C2-4328-8B67-5CA08901A796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dff4aca9dd94feee2f6a961a3cc9d7ec13d9b7a","datavalue":{"value":"1207.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$E1CED88D-45FE-431C-A4DF-4B2030DBE466","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":"Q975875$8FAA27D2-088C-4777-8AEB-55701ACCCDFE","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":"Q975875$35175C79-024D-4A42-9EEA-DADD2D744863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$C5B3AC83-5319-4839-9B96-DA0AD7385142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8330f0162b04ee97697b5c3b59dea76e14d14e04","datavalue":{"value":{"time":"+2010-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q975875$5A7C9740-F36A-42F9-BF3B-B22D1C0BE595","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7ab3b787781574693e0abcc178d3fb792c0aa32","datavalue":{"value":"The linear-time temporal logic (based on classical logic) is known to be useful for expressing temporal reasoning in computer science. From this viewpoint it is interesting to combine linear time with other aspects such as constructiveness or inconsistency-tolerance. In fact, it has been pointed out by Maier that certain intuitionistic linear-time temporal logic admits an elegant characterization of safety and liveness properties, where the logic is presented there in an algebraic setting. This paper provides Gentzen-type systems for intuitionistic and paraconsistent bounded linear-time temporal logics, respectively. Their time domain is bounded by a fixed positive integer, so that the logics are shown to enjoy faithful embeddings into intuitionistic logic and Nelson's paraconsistent logic, respectively, while almost all useful temporal axioms are available. The authors establish for them some fundamental properties such as completeness with respect to Kripke semantics, cut-elimination, and decidability. They are also formulated in natural deduction systems with normalization as well as in sound and complete display calculi.","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$69F07F3D-A0F2-4337-A13C-539AA5A7B3BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$FFA883C6-62BB-4850-8520-AAEF0F5F4855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$044867DF-233F-4153-B28F-C3AB3FC432D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$C23381A6-0493-4308-871F-3398F4776CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$1C3DD309-8AD5-438B-BDAB-E2C81A7AC51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$FA1D4A3F-2EC8-44DC-9CE2-B7B94A3FD249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6091a1420a52da96f002f47da8bfca2f6825e855","datavalue":{"value":"5720211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$079FF32B-0EAB-42AF-B4ED-151255D49254","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$1CBD8500-3815-48FC-BAD2-129D80EB299E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$186BC978-0D81-48D1-A33E-D59100C3C2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$0A1B9EF6-923D-40F8-AED5-E50AF1206791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89afa7eee83d7c2d37160b7be50f2d8610126a54","datavalue":{"value":"sequent-style proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$851933ED-8FC8-45CB-87E7-640288502FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$2E2C4B28-60E7-4182-BFF1-273A92A37890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$50CA139D-99CE-42CF-A07A-9AA83BBD39A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$B7ED2327-6FD0-43EA-AEA9-0C0BA591F4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$560CCB2B-D08C-4131-9CD9-BBA306831224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$8992CF36-0992-40E9-A1FB-FEAAF351244F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q975875$9335217B-2EF6-4D89-A22B-F8A06888614A","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":"Q975875$E97DDB0A-BE7E-40EF-BF58-93666D48BA99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7be1046b00ec2e5338fffafe54ef822ffcbd2c27","datavalue":{"value":"https://doi.org/10.1016/j.jal.2009.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q975875$7C9339B0-AEDA-463D-9F70-2087A33DE209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bbb070f3ed5eb5a1b8b25911f75eca143316bf7","datavalue":{"value":"W2075692041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$39D5665C-832F-414E-A2F4-7B412F72A45C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e926cc27747dd7c9fc2a4ab8ce1a9d428b66d8a6","datavalue":{"value":{"entity-type":"item","numeric-id":4471865,"id":"Q4471865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$4FBB8163-891C-4CA8-81CF-6AFD9BB4E9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$C4B2433F-F80E-4769-A799-DBD95559A0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$E79F552B-AF04-4FDF-8DA4-19EE89F89CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$84B56EA9-5A7F-4B90-90F0-7FD388AAFD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65052e69ffd5c3594dd70b3fcf84972030e57ce","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$3D1094A3-8EC9-4EF0-A006-412176CAD917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a45a747987605de7892fbed09e314bbb40e837e","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$C2F8D4C9-3DAC-4630-B479-2141EFAC4C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$0F49AB8B-2CD9-4CEF-B0D0-74E9247BF4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b241ab4e5c49c6c8b78c67f0b011644270d52184","datavalue":{"value":{"entity-type":"item","numeric-id":1229706,"id":"Q1229706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$9B130A98-2560-4D9F-8CC8-6524145BAC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2521228d7077448c0e0fa1cafa87fe47147ee5","datavalue":{"value":{"entity-type":"item","numeric-id":3647236,"id":"Q3647236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$C83BAAC8-E661-4AD3-B76B-6C94D1812D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1b567d0562bf33afe8e81e212f024b5c5a9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3393380,"id":"Q3393380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$45E0FFA8-903C-4256-89EC-CB3DA39B29CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$D802AF75-4CE5-4A0E-BA10-D5B611861DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07116ceefeba08b4048eac03ce0bdd36a0c65f15","datavalue":{"value":{"entity-type":"item","numeric-id":1234163,"id":"Q1234163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$0218625B-6D81-4F18-8637-C1882E0D790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$7E7E57F4-BF5E-4FAA-B9D3-7FCAFD321AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$B2936F6A-9ACD-4FBB-A072-E0523F4F1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$A5FF0C24-687A-4567-94F7-3EDF3418F498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91008a0f6911f9bf2f953bb0f9bacec6f7c6a225","datavalue":{"value":{"entity-type":"item","numeric-id":4463936,"id":"Q4463936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$AAA060B1-AFCE-404C-A775-0640B6E61020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87135399135ab61a988f7bb2677c6a432e0d257","datavalue":{"value":{"entity-type":"item","numeric-id":946573,"id":"Q946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$7CC785AA-6E64-4C15-8F4E-2631F60FD932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$0AB7C3E6-34C3-4AAE-92F0-AC88C2A0ED27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$89E03F8D-844F-4AF4-BD80-4FA32CB516DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1647cb3113e31824a69694c102dc4518c93e257","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$9661D363-39EE-4B23-BC56-75A553BCBB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$F1EC1D8A-37C8-4735-88BD-233144B1E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$B8FF9B3D-F343-4899-9E8E-B99ABF32DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$D3257120-ECF9-4B9D-AD89-50B6067C479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$3958EAB0-62AB-4FBA-A1CB-CF732E358504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d8155aa74e24e3d6dc8efa37444225b2367a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1322438,"id":"Q1322438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$7DEF0512-2350-4DC1-AC26-C5FCECAE37A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$8E1F542C-6174-43E5-A05D-57FB2056D575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90b14006522509129d31f0cd522d98218fa2222","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$3B41CF2D-2AB6-49D7-B101-B09D6F5C2CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f236d8fc7e363b4b1fefb363aedaa046e9a1e058","datavalue":{"value":{"entity-type":"item","numeric-id":2488268,"id":"Q2488268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975875$E2BED33B-8D22-43D8-8239-50C62149ACD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe8ea8e6562c4a2c1b59afc3dae8d63b97c088f","datavalue":{"value":"10.1016/J.JAL.2009.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975875$C731BB6F-C3B9-47A9-9176-D4608EE3905A","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":"1cfa004c458a4afc53069f615cb0f539ce1fae6e","datavalue":{"value":{"amount":"+0.8697799444198608","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":"Q975875$C4D50D47-BD94-44F9-AA81-AE6702188E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84bd545647dad02509086e195823bbe1f5db783","datavalue":{"value":{"entity-type":"item","numeric-id":5412171,"id":"Q5412171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fb68f7e8f78988f60edb42628f05859c9b1381","datavalue":{"value":{"amount":"+0.8444801568984985","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":"Q975875$2C997671-3627-4F9A-927D-FECBB5D00B0B","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":"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":"Q975875$F6F4C8AA-0139-4303-B919-CF3764A38ABE","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":"7bc8d56e9b4f6a172135edc6fb6c5575f5396aed","datavalue":{"value":{"amount":"+0.8044579029083252","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":"Q975875$FC634BBC-581D-452E-994F-E9DF9DC9896F","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":"dc6bef7bb3ee083511c7dae69bb66d5491ae4e63","datavalue":{"value":{"amount":"+0.7810171842575073","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":"Q975875$01A2B14B-64BD-477A-BCF4-D4540B895BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:975875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:975875"}}}}}