{"entities":{"Q5283429":{"pageid":7313003,"ns":120,"title":"Item:Q5283429","lastrevid":52864508,"modified":"2026-01-23T16:23:41Z","type":"item","id":"Q5283429","labels":{"en":{"language":"en","value":"Interpolation method for multicomponent sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751240"}},"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":"Q5283429$7A1CE6B1-D1A0-4B32-87E7-B9E996B22D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e376bddd1c3275c4feac695a97d6cfb4ff371693","datavalue":{"value":{"text":"Interpolation Method for Multicomponent Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283429$9C54851E-D7F0-41C6-80C3-6FEBCB8F5CEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de31dfc9a58af722ece76cd1a37aade6ba922f90","datavalue":{"value":"1476.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$F97A7507-E242-40F4-8460-70007CEC29D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91712be3af6994095f792433a3da882abeead6b9","datavalue":{"value":"10.1007/978-3-319-27683-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$6A4D36BD-BC9B-4F5E-87D7-2AF7815B8607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$4C1F77F6-7531-47A3-9376-2E16E3D52B2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$E2193D68-5BF4-4268-90BB-D53470850E86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283429$8FE61C43-2D1C-4302-A939-018190028FBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$D6578C21-C1FF-4C16-B878-B2C69870935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$E2193339-DC6F-4BBA-9474-F76A6AFE3D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$EFD64152-05C1-471C-ACF2-0D8C3F58C100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bddb5ea59342692f61276f2ccea9a98c36064d33","datavalue":{"value":"6751240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$0DC6B8CB-838A-4BBE-A903-ECD985AE0350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283429$21FF53FE-9F52-449D-B944-E66D62FC2FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be08ae207a4e468d36bfadaec3f53eb5b57f403","datavalue":{"value":"Lyndon interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283429$63B8CF80-342D-4DB2-915D-D96E64F3E9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283429$8D178E92-141A-476F-B5D9-2C640DFED5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283429$50DD1276-EA1B-4FEC-B711-EE19AA149B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e93b05f2760ce03893ebe04fc560a8dbd4b2e3d","datavalue":{"value":"nested sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283429$083FD932-E0C3-4C78-9ED5-4A3D28AFA05E","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":"Q5283429$F95B9040-CDD5-4523-A307-0AC871373885","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c4c56e86a0ffd55a4eb0eef5f143ea02512cf91","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283429$768887E6-6513-4391-A7EA-1B7F373D1F6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"396ec1f80626ca46f78e1450ea766a9839742f51","datavalue":{"value":"W2295945753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283429$81D6EAFC-2C1D-4426-9117-D2607736489E","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":"Q5283429$53723FD6-E89C-486D-9554-22E3E33DB9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$DBBF9404-AF9B-45B7-8375-600AD1C28264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$3DB03817-6309-44AF-8A50-AD7442F92BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$AC04BEFB-D0BB-4DD8-BD31-16ACA11230AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfa94eea956d33ac288ccb0c350492b183e589","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$8E006E43-BA66-4F70-B113-562F04261B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$059AB476-5362-4983-A8A3-266D29C00004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6571429adf4eeaa76cf774ef46f34e7d1d3a1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$EB73E408-4190-4FED-8B96-D55A0BDF9A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$EC826FDD-5821-4510-BAF6-06FF8239FB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$C27A2C17-0C03-4083-A303-FCE0786EB801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8e772175204814e2cbcc356cdc9eac133624cc","datavalue":{"value":{"entity-type":"item","numeric-id":1077401,"id":"Q1077401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$1839880F-2C84-488F-9B05-7EA5E4F18B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283429$4AD1CE39-52A7-4280-B743-34299114952D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db726689842ed79b5cfececf0e623f1a5c6ad7a1","datavalue":{"value":{"entity-type":"item","numeric-id":1799040,"id":"Q1799040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b833a7d6b9893f8b12376c0754722511ddb8a008","datavalue":{"value":{"amount":"+0.907553732395172","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":"Q5283429$7860E204-5761-4349-8981-D523C50ABE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6306f0e0e82f3db9e3d8b660ff2108d7b68b70f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfa789c4f0faca56c0354d978baed0b6cfdc229","datavalue":{"value":{"amount":"+0.8307895660400391","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":"Q5283429$83EC920F-1EDC-4A9A-BF6D-86A5EE3CB9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e555e534aa0d7da5f2098bfd68195a0a21517f2f","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ddd28bf4b42edea302f3c680d6417d30c3de4f","datavalue":{"value":{"amount":"+0.8271639943122864","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":"Q5283429$D992481B-2F61-48E8-AFD0-AACE3412656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8638591b2a5b512b02ec352f80b9240dfd22b3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b701043599a66861e1de5f92cb36532df8e282","datavalue":{"value":{"amount":"+0.8210104703903198","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":"Q5283429$D6AA281C-99C4-4295-A8F0-503134AA3F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d4847d0d339f0afefdb049455eaaf956d0e95d","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2379803f5a61f3dae06c166cab8e7c971044356","datavalue":{"value":{"amount":"+0.7938413023948669","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":"Q5283429$8CFDB5DF-5D99-4612-BE95-82FCCB6C61FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283429"}}}}}