{"entities":{"Q6860384":{"pageid":20658937,"ns":120,"title":"Item:Q6860384","lastrevid":84251432,"modified":"2026-05-14T05:23:24Z","type":"item","id":"Q6860384","labels":{"en":{"language":"en","value":"Analytic proofs for tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8157973"}},"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":"Q6860384$03B2B61B-4A07-4B21-9F0B-2EE29C1F5FD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0ff6125e893ec20fa8e1cd7e3a7692ad39838fa","datavalue":{"value":{"text":"Analytic proofs for tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860384$E3D1E468-2EEC-48B5-ABA9-3725CFCF94E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"991b21a52b3d3faa2a47cc0959feeee329423bb2","datavalue":{"value":"10.1007/978-3-032-06085-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860384$14CCFB10-6B94-448E-A70E-AD259C57CD52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$3D501127-A496-4B6F-A50B-115C09A8F39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4648823819593688ed4d5c8cf234cbfd0e332c66","datavalue":{"value":{"entity-type":"item","numeric-id":1694452,"id":"Q1694452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$E361CF6A-93DA-4BDA-A46E-472EAC05EA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$885ADB6C-1107-49A4-BD49-A83C3D9F5B53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860384$40EA8B55-EDA5-4C90-83A8-E018B86384DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860384$A72EE3FD-A5EC-4988-B2BF-ACF7F2E8E249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e96337c81d36c77775e6c6f38adc68326b50b447","datavalue":{"value":"8157973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860384$970A9E46-B07C-486A-9250-102E575EF2F6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$309A5872-A364-40BA-92DD-562EDDFF1B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860384$E127FF7A-BD8D-489E-A6E3-446957D02740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816fe1e1d20b6985ac5dc7555ed114b5e3f58656","datavalue":{"value":"analytic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860384$EF839C77-AE36-474E-98B3-21B465B60676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860384$60C08B43-D07E-4012-9973-7685113770A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfadb45b40aa3bfc846d1737db71b4f6d9e5cf4b","datavalue":{"value":"analytic restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860384$37902E93-0749-4E4A-819A-05AC1D97659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860384$F520E419-29A5-43D8-8517-855966D766B6","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":"Q6860384$E3FC7C44-5FDB-450D-BF80-1BA919732293","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$948D5F0D-23A3-4BFF-86D7-85295D1374E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf5efaf63f9c462dcdd45d8bf21b25538f54951","datavalue":{"value":{"entity-type":"item","numeric-id":2946716,"id":"Q2946716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$F71BDB0D-3EBC-41A5-99E9-516FD6F6337B","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":"Q6860384$22919B6B-E509-4C6F-BEE4-A1E60297979C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$2224FF57-88B1-44B4-9D21-926573EF28C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708636260013c130c709f541fe029a2a24c45452","datavalue":{"value":{"entity-type":"item","numeric-id":5159492,"id":"Q5159492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$587161A7-5D83-4874-AAB6-0E62CAB70109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b607bc4ec68e53d9a901ba518a24d9735d508d7","datavalue":{"value":{"entity-type":"item","numeric-id":6851677,"id":"Q6851677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$EABC3AE4-0B27-4745-8C23-A3FCB018E1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b587f31d9eec581de7e0ab9fd5e78fbc582eff1e","datavalue":{"value":{"entity-type":"item","numeric-id":6583053,"id":"Q6583053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$412B90B0-2427-4DC0-9EDB-99616435FE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$DAEDD060-8582-4B21-8C31-0FF32C65C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6475b514aff12c8b9ca3d758ad5bd58f4398d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1253651,"id":"Q1253651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$9786F058-8C45-46AD-82F6-E5BC97528E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$F1C4CD17-F3E3-4B42-AAF6-97B153D8DBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$1A452A59-493A-435B-A224-BFC61CA3AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39788aabc93964e018beeb94e5c007aaba372bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3003326,"id":"Q3003326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$3A4A5621-33B6-4A16-8E81-C7D06E0EECFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4829fd07b9b49631e42171c8fc19ce2487bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$196B58AA-8116-4BAF-8B4E-55A12D6375F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5e736fdb59c09be039bf4467a4ca6c3513913b","datavalue":{"value":{"entity-type":"item","numeric-id":5216979,"id":"Q5216979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$A28C8D15-ACC2-4327-B31C-6C048460E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd40713ac929df22dc670083e2a4362a4a6c67fc","datavalue":{"value":{"entity-type":"item","numeric-id":5274878,"id":"Q5274878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$7E85E4BC-5AD4-4825-949A-0D2D1A70FD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$4C3557F4-D37A-4062-B299-97EFB179A0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$B6837332-3991-4825-9B2C-F9B6E4B6D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb71ef34d1853cfbb25dad548087d8fa70b79e85","datavalue":{"value":{"entity-type":"item","numeric-id":1145691,"id":"Q1145691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$A6771216-1E74-4C89-8405-C5A731B153EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e66564df4ebecebd5f3393730b20c73da5434","datavalue":{"value":{"entity-type":"item","numeric-id":5570912,"id":"Q5570912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$DA42D65A-3509-4E87-AD2A-5DFCA2AA4E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$12F1F6C6-EB07-420F-B6ED-4F2D5D5F16A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a1d06ed85cb002ff60f8b4ae67069993114de0","datavalue":{"value":{"entity-type":"item","numeric-id":5241399,"id":"Q5241399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$4364041E-CC7E-4990-A133-58A2F73692B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$6EC3316D-EAA8-42F2-B18C-4349593073D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$420F2680-E179-4BCD-98EE-199A0C3DE202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$AA3F25E2-62DE-48F4-87C2-20CB13705B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c08abdce84bc42d9a4b1ba80fa892bde25ec2e","datavalue":{"value":{"entity-type":"item","numeric-id":3762309,"id":"Q3762309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$D3B1D57E-B8A8-4F9F-B8CF-E50E56301A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860384$E1A887F7-4ACB-4A53-AAA2-FEEB289A059A","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":"Q6860384$09D2E3E2-AA14-4D7B-83F6-2C5736DECA69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic proofs for tense logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_proofs_for_tense_logic"}}}}}