{"entities":{"Q2809679":{"pageid":2820417,"ns":120,"title":"Item:Q2809679","lastrevid":42157014,"modified":"2025-05-26T16:39:43Z","type":"item","id":"Q2809679","labels":{"en":{"language":"en","value":"Termination of derivations for minimal tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587437"}},"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":"Q2809679$5DCA7849-39AC-4401-ADAC-A3ABC4ECD550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d753f480d53a6878915ec6e47f85ef7d377ca4d4","datavalue":{"value":"1338.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809679$3D30B23A-D5B9-4F9D-96B7-4D5BCDD164E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f88047d510a654c87acfb0f9b656988fa90dacd8","datavalue":{"value":{"time":"+2016-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2809679$12F9E4A8-927C-40A2-ACCD-9B852FD766D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809679$374AA67E-79E7-4357-96BD-0D622E5CDDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809679$F192936A-9D02-4F18-AD3D-E3923B92FDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809679$0FD51330-1FA5-4BF1-B269-D383834CF19E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cb2a11b04b8f70f6b16719ec6aeefea20f3811f","datavalue":{"value":"6587437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2809679$D2C5C719-71D5-43BE-84A2-DF0D6BF0D8A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809679$9E6C4AA9-D5A5-48EC-A2E3-1174900F9A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809679$EED18E53-55A7-44F8-A94B-B8032C0D6045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e723f51f4ab6432e7a02f667d427daaa1140e15","datavalue":{"value":"indexation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809679$96B8C19B-BA77-4B07-A471-E1CC8316F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d0cdf80f1ba60d6b5fde546209a1a74c01fbf40","datavalue":{"value":"termination of derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809679$0EE40862-22D9-4105-A134-4220DA01048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q2809679$5C7E3C00-4B31-4DCC-943D-3DE8D07D16AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809679$B9937218-FC3D-4D88-8C1A-132A68EE130E","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":"Q2809679$F6BA7753-21D7-4F77-9F7E-8D9D62E11F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a59025c5b438d387ec14bd73b1dcf3ebac0ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3344178,"id":"Q3344178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74f31f59650a1ad7f1c27eb56078cab88bf9891","datavalue":{"value":{"amount":"+0.87845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$2AEB34B8-BA5E-41D8-803F-AEDC861AAB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b34f3c2ce9c24e4e54bec2eb00617405c21174","datavalue":{"value":{"entity-type":"item","numeric-id":5920375,"id":"Q5920375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af78d40a4fe12e1ac207c70d11c31eb9a4c628ea","datavalue":{"value":{"amount":"+0.8765961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$99417670-4B30-4AE5-9F82-68EF370A4CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d420fb72f757ebbb3a9fd5a488ec6e762825375","datavalue":{"value":{"entity-type":"item","numeric-id":5899160,"id":"Q5899160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af78d40a4fe12e1ac207c70d11c31eb9a4c628ea","datavalue":{"value":{"amount":"+0.8765961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$8E0930E9-BF51-49B6-B0CE-43040547C91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c46250cbf80b9f5613cfa2804a12dbe09b08676","datavalue":{"value":{"amount":"+0.8759817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$7DFF5DE4-4D89-4E09-8233-35020FD45345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b158c0d5ed3c1b1c14df37e42a5cacce74ba7f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2353684,"id":"Q2353684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8812cf0e014667b51042ff66230b44c87ed066a","datavalue":{"value":{"amount":"+0.87241983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$62759022-7909-4F87-8441-1FEBDCDDD079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce14981e2f375995f4633327150ba1e44a38264","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a7dac0a424fe7f7c5de62d5ab28cc8f69d9f23","datavalue":{"value":{"amount":"+0.8706416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$98E30E21-DA39-44F0-8535-10A7A2193E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a01e4e3540347809a19d72b0f19664fa641020b","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370f169c45a39371ffe858ff141ad41dbbfc77fd","datavalue":{"value":{"amount":"+0.8699318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$2EF8B45F-E37F-4521-8E8B-9633600CAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f290a2cf2fdae5b053459ee712ed208975a0151d","datavalue":{"value":{"entity-type":"item","numeric-id":4323646,"id":"Q4323646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e157351b605b0108aa6183138ac1d078af67c5","datavalue":{"value":{"amount":"+0.8683603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$966D58A4-D0DA-47E4-AE68-F9EA22E071E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b3d42fcca255e2a317041c538a8ba628ce561c","datavalue":{"value":{"entity-type":"item","numeric-id":5687411,"id":"Q5687411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55ba95a488a735fdc5f092c453a7933498273ba","datavalue":{"value":{"amount":"+0.8668791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$9BD69FC1-6627-49E1-B440-DE2B21410A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40475e6b29193ecc7c6c680bee6df5dc9e895b1f","datavalue":{"value":{"amount":"+0.8640779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2809679$0CA981B2-05BD-4DB0-A707-D52A483DD0C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de209b0daf7dc898998cb1e912e74f5589b25567","datavalue":{"value":{"text":"Termination of derivations for minimal tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2809679$2F41BCA7-EADD-4214-89D4-B16456D96328","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2809679$5DA62D9D-383E-46A6-9108-F36F2CCEAC35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2809679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2809679"}}}}}