{"entities":{"Q5221855":{"pageid":7251425,"ns":120,"title":"Item:Q5221855","lastrevid":53700818,"modified":"2026-01-25T14:08:54Z","type":"item","id":"Q5221855","labels":{"en":{"language":"en","value":"Craig interpolation via hypersequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185550"}},"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":"Q5221855$F0369C76-D877-45A7-A039-60525A54ECD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0c4ca198c18d2481667eafa557df81f598f63f8","datavalue":{"value":{"text":"Craig Interpolation via Hypersequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221855$7469042B-F7B6-4BC8-BA9E-EE5AEEF45002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d5d9f1adaf444f55a938a4042cd413fc9d480e8","datavalue":{"value":"1433.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$DBD92D79-EE3F-4C83-9E34-48AB5B411BCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a66787ef44d55599fba15603d74d971a45f36d6d","datavalue":{"value":"10.1515/9781501502620-012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$4DFA934F-CFB2-40BF-B4C9-9F3EB747C04C","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":"Q5221855$F6BEC4DF-95E3-4340-B0FF-C7843B021FDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221855$3D6C15AD-7C7B-46A8-B363-D7EA42C36129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221855$89DE9F4F-D0CF-4E9F-9EA8-E4688E7304A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e361cbab67d16025af6f949ba768ae646f8568a","datavalue":{"value":"https://semanticscholar.org/paper/e22c65ec5e0460dc028dd885cacc125ec6ef0f09","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221855$32804FE1-9D92-4315-83E8-229ECFF75010","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$1A6C2C61-9FDE-43D6-B841-AA48B5D96F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$5E46CA30-E922-4B88-97D7-F087C30CFD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$8ACE2E60-A605-46C2-AD47-2D9A40FEF2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$D5C71709-9050-4680-8E30-5B92BF991ABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"119a437b10b7164c7fe598424685fd5bda420490","datavalue":{"value":"7185550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$21918817-D369-44B0-B110-733B8C54B3B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221855$2A162CC0-7F31-4B18-977A-9954797C9549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221855$0A125DBD-2857-4805-AE57-CE647646BCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221855$5B07E02A-CB22-4DEC-B868-47448F1CEE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221855$A9500D08-3925-471D-8526-373EE45719A6","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":"Q5221855$77EAE724-428F-4C3D-83A7-5167BF98DFDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb7e4d14e13099087805d1d03fa90f1a2f443443","datavalue":{"value":"W2497518941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221855$E7AC69CE-E42E-454B-8409-59531367F40E","rank":"normal"}],"P1643":[{"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":"619030e770e83c9e8703305baab1e5c4f53add3a","datavalue":{"value":{"amount":"+0.8729971647262573","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":"Q5221855$D76931AD-90FD-4A1C-8652-A843C8791CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266003543121ea6470d12f665fa5285e7c2e346","datavalue":{"value":{"entity-type":"item","numeric-id":5283429,"id":"Q5283429"},"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":"Q5221855$F455939B-7588-498C-8736-DA00C04A5193","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":"c48a16b3e75158d3b8cf6ab96e45336e43ce60af","datavalue":{"value":{"amount":"+0.8083063364028931","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":"Q5221855$429235EE-7F09-41ED-BF05-7CECACB2C931","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":"2464fc2e1e71f27f546355cd30eec7e0e505a71e","datavalue":{"value":{"amount":"+0.8029379844665527","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":"Q5221855$FF938357-F92F-4ADF-B481-06CE1DB5B500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e9b1f7c13d34d8ee20637af16cccb2306ed42","datavalue":{"value":{"entity-type":"item","numeric-id":3160549,"id":"Q3160549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65895cc8ede8a7297b4f6d97621d796b770fcee5","datavalue":{"value":{"amount":"+0.7943850755691528","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":"Q5221855$F9913B1C-786D-472A-83F8-86A5D7CEE6A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221855"}}}}}