{"entities":{"Q5163983":{"pageid":7193554,"ns":120,"title":"Item:Q5163983","lastrevid":54138167,"modified":"2026-01-26T08:04:16Z","type":"item","id":"Q5163983","labels":{"en":{"language":"en","value":"A strongly complete axiomatization of intuitionistic temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7423147"}},"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":"Q5163983$FA2AADEE-2F36-47C0-A39C-81E1AA5A4C97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20458ca5da39143193193bdb6c92008b5f1681fb","datavalue":{"value":{"text":"A strongly complete axiomatization of intuitionistic temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5163983$6586A1D6-7ECB-4CD5-A940-B9AC5F6A7E92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"295610881abaa8f8811c360b3ce2fdd8a680bbc0","datavalue":{"value":"1489.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163983$8EE0A55C-C61A-4667-99DB-A74F10E72687","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4851b9d6c4bbdc493725883653f81b96e8b8767f","datavalue":{"value":{"entity-type":"item","numeric-id":5066803,"id":"Q5066803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163983$C293F439-F553-4B11-9F29-EC31E4CC1188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163983$68C8D49F-58D0-4DFF-B2FF-1E1E8FAB1C7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e8877531cc3beb8833806042dffaedcc047af9","datavalue":{"value":{"time":"+2021-11-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":"Q5163983$FD5728DD-2B88-45AB-A5B1-64055385E496","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163983$19C0596C-EE7C-414B-9C4F-D370FCBA4D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163983$05AE699C-3B39-46EE-95B7-80AFEAF3386F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d14bf059eda1b65a33cab12a0d76bee018987585","datavalue":{"value":"7423147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163983$69B39C99-9A69-4183-A765-5470E712A0E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163983$D422FCBA-4AD3-437D-BFE7-01448AF0BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163983$39387E83-EDB3-4A76-9A9C-E4284BF2A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163983$85810EC5-FD34-482C-8801-6A18AE987EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d394c86b7d8ef8332daea6d7ddd37b143574182b","datavalue":{"value":"non-compact logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163983$4A4930AB-CCE5-4661-BE5E-A5FDF55FEF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6805cd779fb0b2cacd6147aa42cec0eee9b2950","datavalue":{"value":"infinitary proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163983$7A7C1B1C-2270-4F2C-B697-75BFC060D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163983$E2876832-51FA-4E24-BA76-B690078A9412","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":"Q5163983$6D5A3220-DA49-46E2-A3A1-7B3D730D1454","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d50f9ef43537cd5d3f36457b59618efaabc3a66","datavalue":{"value":"https://doi.org/10.1093/logcom/exab041","type":"string"},"datatype":"url"},"type":"statement","id":"Q5163983$2567E56A-B6A5-4DAA-A367-0473317F00E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98a5e3c511bf0c85ce7d66d21df2329f54207136","datavalue":{"value":"W3186818574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163983$2A1BBE7B-1DB0-469E-A6F2-B4125047CECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2dc5fd45be60336430146b673ae9d3f2b4d64f0","datavalue":{"value":"10.1093/LOGCOM/EXAB041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163983$22545C8B-74D4-4561-8B79-8AB394E64F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163983$BA048B62-9DB2-4AB8-8BA7-5DBB71E83A76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70341c4e8d318cf5335765182d721d8aee7881a","datavalue":{"value":{"entity-type":"item","numeric-id":5100046,"id":"Q5100046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3caf8fea6f71fdc8da935f1249aeb99319c8cd","datavalue":{"value":{"amount":"+0.8466206192970276","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":"Q5163983$5DCA6DAA-FFF8-4A2F-BD7B-D57438B9B291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff2fa52f544dffe4627d58a6885a6b6dfba98c7","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e3819eb6d0b6c07ec3a699029c295478cadcb0","datavalue":{"value":{"amount":"+0.8255125284194946","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":"Q5163983$67A3E117-1143-4D17-A441-19CDE934DD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba933d92f5fb0917d504d73dcfa7fcac11717e3b","datavalue":{"value":{"entity-type":"item","numeric-id":5224567,"id":"Q5224567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9806c559e3ac058ab09dfd264936720ae5b8b724","datavalue":{"value":{"amount":"+0.8035081624984741","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":"Q5163983$3694AAE2-5079-4842-8597-23BE6286A183","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":"5e3a19e007a9b074abe969082104f7074ae1dbfa","datavalue":{"value":{"amount":"+0.8009491562843323","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":"Q5163983$5FE9DB28-008C-4DA0-87C7-78FF2F6EDAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efa17ce764cedf22884c09901cabe9430db29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e36263a7216650ac1bea5caa2bcdab6a20117d","datavalue":{"value":{"amount":"+0.7986712455749512","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":"Q5163983$EE692A30-14DF-48E9-80B6-A506E551E783","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5163983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5163983"}}}}}