{"entities":{"Q3853598":{"pageid":5883503,"ns":120,"title":"Item:Q3853598","lastrevid":81318599,"modified":"2026-05-06T18:14:41Z","type":"item","id":"Q3853598","labels":{"en":{"language":"en","value":"The Completeness of Presupposition\u2010Free Tense Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3654082"}},"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":"Q3853598$D43B1E12-1146-413D-9D34-66ABB0403E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3625c1c25d31262048d4dab64fa91bdd4b7646d","datavalue":{"value":{"text":"The Completeness of Presupposition\u2010Free Tense Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3853598$04D66836-174B-4A8D-86C7-D76FC1DA49E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88d87e50924e0a588dadb630f051a8560eb8bab2","datavalue":{"value":"0421.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853598$D28F656F-D838-436A-887D-C59B5C33B47C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18955e12864d3a3075ebb08b7050658862f65287","datavalue":{"value":{"entity-type":"item","numeric-id":3853597,"id":"Q3853597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3853598$14C9BA44-DAEF-4ED4-8FEA-0F24F747C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f7ff2f43ce936e3ad3d9a363a7384486643f17","datavalue":{"value":{"entity-type":"item","numeric-id":229736,"id":"Q229736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3853598$867C490A-0BC9-486F-8CBC-74FA9A92B818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3853598$A831ED15-1AA4-4D52-95CC-421A07379403","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3853598$E7E98978-B239-4106-919D-A426F4310E75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853598$04557FD9-202D-48D5-AA4E-682274C57DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf3764095c802067bbc8ff75f66c0df8ff93d679","datavalue":{"value":"3654082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853598$6C834086-1CE5-4797-B134-D5D40ECC9C38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e217b50616614f81c83ccf6b07919d5380c97cf","datavalue":{"value":"strong completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853598$8A79868B-B972-422F-91A1-1DA26DBE4096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"147fdbac37b55866ff2307b2150fa26fd8c30307","datavalue":{"value":"presupposition-free tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853598$66B060F0-602B-48A3-80F1-070293124CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853598$7E33103F-A8C0-4FEB-B14F-8EEECDA65DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad4e3f6b814c6ccae3bf534ee5bf1b9926354e5","datavalue":{"value":"Brouwer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3853598$BC0FD057-3A2E-4EB5-B07A-9587DFA9F3D1","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":"Q3853598$0DD73D41-13B7-4BBF-AE2F-99D75F688F91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d58fc454a4493a147aa5370ed22008798680f4e","datavalue":{"value":"https://doi.org/10.1002/malq.19790251302","type":"string"},"datatype":"url"},"type":"statement","id":"Q3853598$55B43681-8366-4479-BFE3-BA74ED65FB10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"010e4bbb0fbeee8a2eda258aabc2ee5b92bb8a87","datavalue":{"value":"W2067105970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853598$21E0E427-D57E-4878-BFF4-7C16DF6FE547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3f8a97c64f7abf31c3129482163d02d7389eb91","datavalue":{"value":"10.1002/MALQ.19790251302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3853598$62C72147-2612-49D5-BD0F-E52D1F025B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Completeness of Presupposition\u2010Free Tense Logic","badges":[]}}}}}