{"entities":{"Q1580655":{"pageid":1591395,"ns":120,"title":"Item:Q1580655","lastrevid":72243834,"modified":"2026-04-14T03:35:50Z","type":"item","id":"Q1580655","labels":{"en":{"language":"en","value":"Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512006"}},"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":"Q1580655$6730845C-B10B-4213-AEB3-110A5860F0D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07aab44908707da1a70fbc4959587b45aaa977ce","datavalue":{"value":{"text":"Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580655$85C70B18-D52C-466D-B78A-939ACDF27B7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71d9e0942ee6e72037dd6c46f48ecae159cc1609","datavalue":{"value":"0962.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$85F83776-2874-4025-AF07-9A4DC59A8CB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f22f78d4a89bb4e0502bd7ad1422a0b4860a413d","datavalue":{"value":"10.1023/A:1005077431494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$A085D2E7-BC61-4A23-A897-F71F8926F3F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580655$9747DD19-5BE4-4547-87B3-F45DF357D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580655$3559A4B3-2865-471D-9629-FB5253B1B862","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580655$C46B6B96-1EC1-4F6D-977D-5599A23EDB90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a558bf24d5f00d94b5bae7f77cc1862c3e2d13","datavalue":{"value":{"time":"+2001-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580655$0315AB9A-D454-415E-AFFA-F0F3E7F8FC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$53C8235D-5F68-4919-BFAC-919A49D8C0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$5372DCC9-A394-4FDF-BFD1-D5D05A276C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$21F800CC-1AC0-4832-A770-168B9142FF50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19cea02385e38c7e61deaa81756664a4b5815b98","datavalue":{"value":"1512006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$14A2E307-F180-447C-982F-F3E3F6C063BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$96DFCE5E-3409-4040-AFC4-3CE5AD907EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$84E7B2DF-5FDF-4EA6-8346-B14EF8459AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32ca705c4b740e3b05091ed13b61147ec9ed98ed","datavalue":{"value":"strongly analytical proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$BA11A1E4-47E7-4E83-BF6C-14659C3E19AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ed36076191da4d9c0157b5fcfd2958c2c5c119","datavalue":{"value":"goal-directed deduction methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$5E2B509E-C246-49E9-B863-0C6023A50A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a923ea1f19a48fa7c587d0d5d3770914bf9e90","datavalue":{"value":"implicational fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$BF34DA72-67E8-4A7B-8E22-0BD869084673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47594b3862f88abb6f9794b5fe19ef05ee90c8f","datavalue":{"value":"strict implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$A55B2C0A-FCCD-4A18-8487-CDE12B3CE2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$AB048182-0BF8-47DE-AE04-3B002843A0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$3A268BFF-B006-4783-B3DD-0ED1A7E6F566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13956ae599655e1ea795e9d8a73fdaeaf2c95dfb","datavalue":{"value":"goal directed proof theory for nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580655$0E713974-1024-499E-BD52-DEFBAFCDFD9B","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":"Q1580655$EBF6D61A-9D30-46EF-A171-982F55096F6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa7c54b758e3a9151eda8c0e5eace07ad6e647eb","datavalue":{"value":"https://doi.org/10.1023/a:1005077431494","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580655$DD2861DF-2744-4F43-B19D-7E1851C26117","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"279c3f92faeb1f484b3610ab7b8890f357fd44f3","datavalue":{"value":"W1509743236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580655$C54DB096-DF90-4C1B-B484-7746A6A8353C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22765ac8ffb85a071291794fae9576134e29d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b23ce323f0e4669bb0fbaa035a094e2678db7f2","datavalue":{"value":{"amount":"+0.8168430924415588","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":"Q1580655$93A8FB87-1DEE-414C-8BE5-63964088338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24382fdeb19defab946e5e12effbea1228dde8c4","datavalue":{"value":{"amount":"+0.8157840371131897","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":"Q1580655$64B51131-0F9F-4291-B38B-F6D2DB3A42B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523ceda9c46f837435b012e3131d159e916a802b","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c4fe8da215316bbcc142331b00ab136c3454d0","datavalue":{"value":{"amount":"+0.7966901063919067","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":"Q1580655$39C4C90C-CCC4-452B-B80E-76F7F0C62572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a3d0ceb0b3cd32fb97e71d8584ecb9e6f3311e","datavalue":{"value":{"entity-type":"item","numeric-id":4281686,"id":"Q4281686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5a8c678ba5506d94c2cf1012a811d8a800beae","datavalue":{"value":{"amount":"+0.788605272769928","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":"Q1580655$AA51B2C9-9E22-439B-99B5-E673C2D5AEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2f57ff74cc16c6d2e4cca08d4f026a7fbdc47e","datavalue":{"value":{"entity-type":"item","numeric-id":5702666,"id":"Q5702666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f53646c0d2bea50c68e4b309ba6ba552f697cc0","datavalue":{"value":{"amount":"+0.785276472568512","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":"Q1580655$F2294CFF-CC6C-4BD8-9F16-5110F70414C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic proof methods and cut elimination for implicational logics. I: Modal implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_proof_methods_and_cut_elimination_for_implicational_logics._I:_Modal_implication"}}}}}