{"entities":{"Q3754596":{"pageid":5784502,"ns":120,"title":"Item:Q3754596","lastrevid":51682880,"modified":"2026-01-19T11:24:36Z","type":"item","id":"Q3754596","labels":{"en":{"language":"en","value":"Intuitionistic tense and modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002065"}},"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":"Q3754596$6C400C2A-2B15-409A-B52A-D51882F65B96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11431c67c1e255b767de24d5dec4908d1ac1f9e0","datavalue":{"value":{"text":"Intuitionistic tense and modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3754596$47B0EE6E-F802-44C3-8730-B69768149712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c2d5753a5973ddd7de654b5dbd7597059ee397","datavalue":{"value":"0618.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754596$0185D3B5-40F5-4B3E-A074-2DAD313F1815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0df0db941b0cb8323d1984801c1c4c0565aebba4","datavalue":{"value":"10.2307/2273953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754596$1E4524DB-E708-4B7A-8FED-B2D191497D25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad85e3735bae1cb6f87d7f2e8f80ea6bb41b6be","datavalue":{"value":{"entity-type":"item","numeric-id":3367320,"id":"Q3367320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754596$30C54DA3-61DF-46EB-A8E4-D9F6ECD94745","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754596$E5EE89CD-8A67-41B8-93AD-3EAD14B66D05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3754596$9E1276E6-4FD7-4D9A-A10E-9F3B6FA9E26C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754596$7161596F-4E41-4A10-9ABB-FF9084C6F91F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e1eb4c0c2b196eb95c8e6a050a14cc94d12a26c","datavalue":{"value":"4002065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754596$8F155976-5424-43DE-A56B-60BBA791E0C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dadf3bd896af0b9eb7940df62ce9d55f10cdc9","datavalue":{"value":"intuitionistic tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$E0898B55-DA23-4DF9-8626-60E6A8775156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$4E72EA2B-8E14-4260-98CB-55D8AA00C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b04a25ceaaae374357d1bb8aa8bfc5c1f747d6c","datavalue":{"value":"intuitionistic tense structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$27C735A4-43FD-4C59-BA81-5EB8BD51F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3af64fc3c8d899b28e90d55a8c1a8a611efc7ed","datavalue":{"value":"states-of-knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$C0E7CBCA-E492-4D8D-8329-05A76EB3EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$34D11756-FBA2-4A98-82CC-7118D18AC474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$CFAE7DB8-7A64-40B1-B013-9F691D9EEEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754596$C34A2A9F-3DF2-46F1-9AA8-D4CF186F383D","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":"Q3754596$EE23EBCC-8F9F-4CE5-B084-A0F7D7772C36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eec0bf3f33cd2a25c28f60774370495294d47294","datavalue":{"value":"https://doi.org/10.2307/2273953","type":"string"},"datatype":"url"},"type":"statement","id":"Q3754596$D4C67BF5-D8AC-4254-953D-9E1FD197E3C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc642ecbf4cc733a2a0bbe8ccc7c0b1239df9c73","datavalue":{"value":"W2033025891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754596$B9702B99-9552-42D8-B2E9-CE42F94A1330","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754596$CAF08167-E80D-4903-9953-0C0E0F892E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754596$2691438D-ED4C-4981-9D74-4CA53D6A346D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f66e709c29e2f30c04c2958f49949aef6610cea","datavalue":{"value":{"amount":"+0.834389865398407","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":"Q3754596$23BF11DB-C05E-4C03-9322-D9A852FC8D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78f01d16bbe87c9148738dd36b5a0b1b57ad617","datavalue":{"value":{"amount":"+0.8268232941627502","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":"Q3754596$D2346550-DCCA-49D1-B7A3-0F02F18709D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745dd45c6a26e1e110914753f80272b2474a7ece","datavalue":{"value":{"amount":"+0.8157616853713989","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":"Q3754596$B45F8CF3-366F-429A-958F-25BE823443E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd49034f418630eb2080eb498816a62cd138565","datavalue":{"value":{"entity-type":"item","numeric-id":3333006,"id":"Q3333006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea77834705200e75c0d93d1c4ef770e961baf38","datavalue":{"value":{"amount":"+0.8099292516708374","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":"Q3754596$8F5E4DFC-CDBF-4A83-9CF6-4961662837A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a031070547ee37b56a376a24332ade6c80087ab0","datavalue":{"value":{"amount":"+0.7969194650650024","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":"Q3754596$583E2D5F-3ADF-42E5-B0DD-96C5341AAAED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3754596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3754596"}}}}}