{"entities":{"Q5049016":{"pageid":7078593,"ns":120,"title":"Item:Q5049016","lastrevid":37455605,"modified":"2024-07-30T17:38:06Z","type":"item","id":"Q5049016","labels":{"en":{"language":"en","value":"HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614684"}},"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":"Q5049016$584F8F9C-2D41-49F3-853C-EFBDC6DC1D39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59ece4e04894772136ae249d31df8b287160b29e","datavalue":{"value":{"text":"HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049016$9E424D6A-E97E-4553-BFE3-AB12C899C08A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1de6e7b4b9efed6a7c75bffa10a15be543f85f72","datavalue":{"value":"10.1007/978-3-030-51054-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049016$14E172DF-E54A-4A64-93B5-3DD08EBB9580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9451f7b44840db9e74e6b49fa74aa9ac1ec93c","datavalue":{"value":{"entity-type":"item","numeric-id":829824,"id":"Q829824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$FAA7E6F4-A945-4DD1-A42B-7309CE092CDC","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":"Q5049016$F86BC900-527C-4FC6-B89D-308CF2D1AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$93F4B8F4-B586-44CA-BB24-EFC535E06CF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$0D514759-8997-4C42-B49E-B990D442D83C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049016$0FD9B977-D32B-4B24-8A4B-76ED405FF03D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049016$16C5CDAF-7DCC-4C43-ADF4-FE02E00C3630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d186a7ccd56ba4e1dcfa7d298595b50577f765c","datavalue":{"value":"7614684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049016$0A757E6C-07E5-4982-93B4-3630030757A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19be05a4a446c55f9189b10a2e50fee1931cd56","datavalue":{"value":"non-normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049016$A6EE1516-1C60-46A4-8944-5272D91BDF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049016$0D2D1BFF-E12E-4F74-9F36-427C5B904B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049016$04F51342-2268-4980-BBA6-CA4168DD30F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$AF990A90-A9AD-46A7-89F4-94E22F020945","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":"Q5049016$CF183CF9-3EF9-4B2B-BBB4-96554CE6C4F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ffc4ecd84684d75e5000b83c2862b41364d304f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049016$2164D31A-F4FD-4C88-A24A-3CEF0BC5A517","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c6ae1a0849b79bd661eb8a0e6d58e42690fb223","datavalue":{"value":"W3038674914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049016$F183FDDD-123B-4877-AD75-CB210E55C178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31294c326d599bd7c7caf04652c3cf8d985f5bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4586161,"id":"Q4586161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$0DCB83FB-B4EE-4845-8BD3-05653FCACC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$197F516E-2E39-4BF5-BF2E-E7B0E4721A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$ECB22E97-FCA4-473E-BBE7-CEF0B44478AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9989a38e2f16b8b4ec0a0fd5afaf87bfa7eb30be","datavalue":{"value":{"entity-type":"item","numeric-id":2177577,"id":"Q2177577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$617C1E77-DF13-4CAB-B66B-60D3E6DDEFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07a76844e8745515e3f3bbe69fb5f2e7efff1de","datavalue":{"value":{"entity-type":"item","numeric-id":5224565,"id":"Q5224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$D7F4BB86-DF37-4C8A-BB05-A9B311E6E042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ccb8c473705ab65c67365e1ffd8f1348f3c686","datavalue":{"value":{"entity-type":"item","numeric-id":4942680,"id":"Q4942680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$A97202FE-2D11-4199-811D-DCB9C9252D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e69fa5e2f2ac754b66363d1885e8388223310","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$FFF38911-BE58-4389-9A3D-F5F85FD66F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c1511fb1fc432c28789aa196173294e71b4563","datavalue":{"value":{"entity-type":"item","numeric-id":1840651,"id":"Q1840651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$6C79BC05-710C-4B95-A712-9BEC6F15A648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fdc811ae13f897200bd6750854ae2003fe9c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2180518,"id":"Q2180518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$C354D864-C483-468D-8F3A-BAAACC3E971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$68E1AA45-0BAE-43AF-B5E5-A21E5FE6BC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049016$2FF66553-7CF2-4C41-89F0-DBA5ACAE4E2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049016"}}}}}