{"entities":{"Q2804332":{"pageid":2815070,"ns":120,"title":"Item:Q2804332","lastrevid":42137738,"modified":"2025-05-23T17:05:13Z","type":"item","id":"Q2804332","labels":{"en":{"language":"en","value":"Semantic investigation of canonical G\u00f6del hypersequent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575043"}},"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":"Q2804332$F3A1D0F6-09FF-4B95-AFD8-B17BBA0D0839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9875b30578d1b4d98f93a933279d2ede34bd7cf9","datavalue":{"value":{"text":"Semantic investigation of canonical G\u00f6del hypersequent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804332$4D47836E-A2AD-4582-93A5-47A6DA2F7F24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a539da77d3c59bdd428e0391a74134e7a1e2eef","datavalue":{"value":"1396.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$3880ED6D-5148-46AF-B519-A010D98B02FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804332$8B9B8106-55A4-41E8-B150-CD6BF452AA50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804332$803CD961-737C-4736-94FA-8CF4ABDFC526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"760a6b2b52f47d27bfea0dec4a125492f369969c","datavalue":{"value":"https://semanticscholar.org/paper/1fe95d4eba72cb5795bd06771efa54ba6e2dcccb","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804332$0B6C545D-D015-4BB3-A1ED-5292745AA24B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$0F4DBA58-B6C1-469C-8BF5-895862E2AA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$040DA852-4458-48C5-B468-9D7A85770760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$1BE7C2C1-6728-4242-8D3B-8FC1A98DB01D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7193f7eec3a952e8a7410bdcaf8f6aff0d7cc4fa","datavalue":{"value":"6575043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$FE3447EA-B087-44FA-9854-77FAA31D4641","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804332$C16BDA36-32C5-4497-8F36-7A65B5468B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5457baa26552f25d57d3abd6dcc0d62befb3b0ee","datavalue":{"value":"nondeterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804332$B3A154BD-1F46-4476-85A6-2D30F71C9FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804332$2F1E9864-2DF4-41D5-96D1-9ECA8C2C36A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b0bdb0d34b374b5db897e31ca9a19a4aaecc60","datavalue":{"value":"canonical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804332$71BBA100-952A-4B51-B9AD-199FD70C5F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804332$DE34ACA4-7B9C-48E0-9C4B-5CF0BC242EB2","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":"Q2804332$B660092D-325E-4DEF-BA06-1CCF36B4AC15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43054e2cf6a4fa192a709b0afaa4dcf49ba26833","datavalue":{"value":"W1994019960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$432FC672-11FD-4549-8CE3-469C3A4BEDA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80cd1672d3c69fed6b686567535b39b15739df14","datavalue":{"value":"10.1093/LOGCOM/EXT029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804332$A18577E2-D93A-495A-8466-BF59B4A2C0F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3469f3e5bb650f7d98de513d1221f93db3a0069e","datavalue":{"value":{"entity-type":"item","numeric-id":4513599,"id":"Q4513599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c5ad2f29d22e201b8257a3874c983a3503892f","datavalue":{"value":{"amount":"+0.9011693","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":"Q2804332$16EAFDEE-9379-4512-BD41-5735A521A5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6bad4292e19ffd364fb1bbb2afe4aa06bbf2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdd2f5e27ce236cb73b596c648ff8971cf0b33a","datavalue":{"value":{"amount":"+0.8872589","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":"Q2804332$F157FB02-814E-4F47-B407-A0840A388717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57b2de266f147de1852c5eb4da297255d247c9f","datavalue":{"value":{"entity-type":"item","numeric-id":6088602,"id":"Q6088602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c99bb66d7a48a5ccd2dd16bebbb7d60433626df","datavalue":{"value":{"amount":"+0.8859855","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":"Q2804332$B24792EB-CFC7-4494-BE5E-FC123E5BB734","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":"af76631df793132206933dac00cb1cc48506bca2","datavalue":{"value":{"amount":"+0.8843631","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":"Q2804332$25DB9F78-CBB3-40F7-89DF-AC553CDCAAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49a67d78ecf055635b2d47e651476de87c3a8ff","datavalue":{"value":{"entity-type":"item","numeric-id":4428309,"id":"Q4428309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c812d644d260780ee6eb52a7e3ea757275d36b","datavalue":{"value":{"amount":"+0.8744768","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":"Q2804332$A6B0754B-7F2B-4B5D-97D4-184BEC4A456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792dc24384b23aadd7bba5d6081db99c5aeb2428","datavalue":{"value":{"entity-type":"item","numeric-id":5197384,"id":"Q5197384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3fecc49170fa96453050365dd203fd1c0d3b1d","datavalue":{"value":{"amount":"+0.87001795","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":"Q2804332$27149F8F-D072-47C0-AFA2-AAB332D146B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ffb149e3455263fb5188f7a2a8c30a04c1f04a","datavalue":{"value":{"entity-type":"item","numeric-id":4242460,"id":"Q4242460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd0f7ed75e5b2ab6049e50fb05fd83f2c607397","datavalue":{"value":{"amount":"+0.86810625","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":"Q2804332$0BC108D6-CF09-48F9-9501-0AD754F7A2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa18b6f77bebf480d3dd284a7d6cec4cc3afda6","datavalue":{"value":{"entity-type":"item","numeric-id":4649546,"id":"Q4649546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6187be82111fd58cbd3aed28c2f126cc288be65a","datavalue":{"value":{"amount":"+0.8666647","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":"Q2804332$9FC4FA61-0B5D-4665-B6BC-3D7484E225B2","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":"612d2024bfa9dc1182c68ed95c98c5f3295a8d1a","datavalue":{"value":{"amount":"+0.86184967","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":"Q2804332$336868DE-5649-4D8F-8B68-9E1EBA522CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3b1324343736628cd474910cf5055760109211","datavalue":{"value":{"entity-type":"item","numeric-id":4369426,"id":"Q4369426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b147f09c046a939f30f1afcd69e66c66c340c91c","datavalue":{"value":{"amount":"+0.8590294","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":"Q2804332$47D4A5E5-C999-4DDD-A528-F3B5F2A28974","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804332$3742B25D-4599-4942-8FF5-2BF868EEC760","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804332"}}}}}