{"entities":{"Q4812316":{"pageid":6841896,"ns":120,"title":"Item:Q4812316","lastrevid":74695680,"modified":"2026-04-14T23:56:32Z","type":"item","id":"Q4812316","labels":{"en":{"language":"en","value":"Hypersequent Calculi for Godel Logics -- a Survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2097559"}},"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":"Q4812316$905BBBC7-C15C-4388-9974-DF4C6645361E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b4b75385b1abec6d7df36ae15b644a056518216","datavalue":{"value":{"text":"Hypersequent Calculi for Godel Logics -- a Survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4812316$745C0B32-3580-43CD-8051-4623CA764C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93909b6c342354f686c3f5716a5b6bf4f12122a4","datavalue":{"value":"1051.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812316$A781B9F5-D2D0-45F4-B90C-F51DFDE1382C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812316$A9AFAFE0-A6E0-4F70-B74E-49A0DAB3CA53","rank":"normal"},{"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":"Q4812316$FED6D3C3-CE1D-400D-A60A-89EC7B460536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812316$80F6906E-53EA-46EB-A869-F0E091C8F59B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65aed4952f0ea543318f530fb41d65bb13a32cde","datavalue":{"value":{"time":"+2004-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4812316$88DCDAF6-F0B7-4239-9EB7-E141CCB338E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812316$72FD9DB0-F4D9-492D-BA91-F1D38CB27A96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"973b59385b31d88ee0eddd932fb2290cc4c11ca2","datavalue":{"value":"2097559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812316$76C4EE22-063D-4C39-BA6B-B828FD2278B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812316$5FD77688-FC64-429F-BB72-4BC16CD5C741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812316$E3C840C2-0657-435C-8346-D69861BC98DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812316$9FFAA166-8333-4746-99FC-FD508C06CEFA","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":"Q4812316$BFE5246C-AC0F-4C4D-A2AE-CD35E92F27FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90de92d2078b174d97670dc64f049ec46eb86ea1","datavalue":{"value":"https://doi.org/10.1093/logcom/13.6.835","type":"string"},"datatype":"url"},"type":"statement","id":"Q4812316$75E039B5-1195-4614-A24A-67275A4688D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18a0b2f769d4c782f41104bada6073046a5690e8","datavalue":{"value":"W2037330115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812316$BE2C5FB9-D02E-4113-8C73-A0D1668DE0E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd5d97602a5fc3b4ab35585b5f68af7e65d8be48","datavalue":{"value":"10.1093/LOGCOM/13.6.835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812316$810DD9E0-C204-4ED8-AC09-1F83E8D717BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812316$B57E4E3B-9910-401B-9E30-77DD3C0E7CA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef12981b7d772c62c5751c8271b4d08fc06b0cb","datavalue":{"value":{"amount":"+0.92241406","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":"Q4812316$FB4D570A-91CD-4FD9-8D37-F1DE117C6E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a6df946741aac7e3a61dcd2246cab81e389cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4933294,"id":"Q4933294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa97a5e304f7546c0f1df4ae0f4e72c632a707e","datavalue":{"value":{"amount":"+0.9212712","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":"Q4812316$36DFF528-1654-458A-91A4-D6E70FC3CE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24577c2ed173d4323d9c2c754adc27e85515a815","datavalue":{"value":{"entity-type":"item","numeric-id":2721190,"id":"Q2721190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddba652615edccb491ea5b6b9a77cc71d8477e0","datavalue":{"value":{"amount":"+0.9163653","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":"Q4812316$D9AF8743-D910-46EC-B6BB-18892B52AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d9ca920b7e6c28c4da82bb1ca1701f0978c6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3010373,"id":"Q3010373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e3c70758045f1044be4f9f5e2f7eabd1cef7e2","datavalue":{"value":{"amount":"+0.91582966","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":"Q4812316$5A5D91C6-AA36-4E47-8D63-1E53EE0C3D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32172d5b0fd562ee6c87aba9e59cf108f60e47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6fae8d4b629472f3c33eb423ff57b432046e62","datavalue":{"value":{"amount":"+0.9109507","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":"Q4812316$9A1885CE-2162-46F2-BFEB-EEFFA50EB0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28072f9ae2ee374d09451c9f68fb69e4584e785f","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9072d163f6501d79ac4435fceb8fbf85f00489","datavalue":{"value":{"amount":"+0.90317994","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":"Q4812316$76E35E08-7F51-4745-ACE4-2524BB6527CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba83f0b2237ad7a4f39e4ef1513c75920945eb28","datavalue":{"value":{"entity-type":"item","numeric-id":3007648,"id":"Q3007648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91b08b5120abb2ef22600d6553d7f54bf655734","datavalue":{"value":{"amount":"+0.9020351","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":"Q4812316$0D164BE2-234E-40F3-B07E-A2305B5C2304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc6216207f2eb67389a854c1d29a5515242c051","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3175fe8e08dceeb588452b711e598bba682a1fcb","datavalue":{"value":{"amount":"+0.9019476","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":"Q4812316$E0AE45A4-23BB-4101-9B3D-979AF43D6CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a96c2032ef0ebbc0b5d7aa29b07d4d217cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992ef7add903d4b0783ac583331e6b7e1b5d1e1b","datavalue":{"value":{"amount":"+0.9012263","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":"Q4812316$A17137DB-8FA8-4A62-A96C-E449B62C96C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68e8c7fce1511dd882a1df18b4dfc5008db2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9138fdc8afafbb365e80382da9348c18a11c16","datavalue":{"value":{"amount":"+0.8996949","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":"Q4812316$F62EA138-00F4-42EA-8759-F793E01026A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypersequent Calculi for Godel Logics -- a Survey","badges":[]}}}}}