{"entities":{"Q764257":{"pageid":766106,"ns":120,"title":"Item:Q764257","lastrevid":64160775,"modified":"2026-04-11T18:02:59Z","type":"item","id":"Q764257","labels":{"en":{"language":"en","value":"Sequent calculi and decidability for intuitionistic hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014267"}},"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":"Q764257$0DA6550A-3DFA-4AD4-A40B-7154A51BA7C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b838704ab4f4a4156c64f2a545f2d96980c9dce9","datavalue":{"value":{"text":"Sequent calculi and decidability for intuitionistic hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764257$17E6A172-64A4-4C0E-9EA1-40833A6DB020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0333f5ed000486172072d36ba146d3ad7d12ce66","datavalue":{"value":"1243.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$B81099E7-6B96-4999-992D-AE0D57B83AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$0947E573-9328-4FDE-9D43-0021D99624ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0618ef01335eda4cb324f37481152385c7ce02d6","datavalue":{"value":{"entity-type":"item","numeric-id":262132,"id":"Q262132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$82010D78-6CE1-4560-97C3-EC4F10536CA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$96FDC816-5AED-4968-A44E-6DA6DB117CBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764257$673D77A1-1083-4197-90E0-D50C9F399DF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$022B3D32-9CFA-4946-BACA-BBD4A8094B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$77718B73-53C3-4F2F-8F53-4B8CA94E8495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$617839B0-1214-4CC7-BC33-33970689E50E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"342775c989a2ff8f461a6f7e25193273368efa9f","datavalue":{"value":"6014267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$3D393CA3-0CBD-459A-88DE-A3A7336DE495","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32d1b50f80a88650d0a7f40536f1a3848aa96824","datavalue":{"value":"intuitionistic hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764257$3B59A61B-A15B-446D-82DA-AA67B3EE4C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q764257$8335EE05-650F-4369-8150-D998038BE2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q764257$CBE59966-FDBE-458D-9514-3DB166AD917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q764257$8347813C-96D5-4989-8FD2-EA16A295EBA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$B9F8A893-A3A7-4736-B846-58D558861B6D","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":"Q764257$D88C6F3E-5BFD-4118-979D-C9693F226617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55e770d46dea9c336d2dee82ce1c5b1eaa2cb8f8","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q764257$2F1C097B-FA0F-41E0-86CE-86CC0A393B3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10e52cf56770ae61e1e26b4de896701a1b4d778a","datavalue":{"value":"W1982758692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$7A957E5B-F59A-47A3-A6CA-2D27458F7648","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$07C58C1B-802D-4420-B2D5-14E11C51F87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$EFEE9496-5237-4C69-87A6-07DEE3341CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$8B462673-66A7-430F-96C0-3C2AA1784933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$F3EE127C-A596-40FB-B2E4-D3AAAC03053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b696b21e9499f989300a49908e9fc7a459a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$BB1B6183-EDBC-4B3D-A828-5DA44FBFCA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$D47E9620-25E1-4279-AF97-0DEB68111918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de45cde59f78cc8ae923f274f1dc6c248346f2db","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$34CFE6FB-2372-4A92-BDAE-C78FE9B57A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$8654818F-40C8-4A1F-BBCC-B0CAD7BAF9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$5CBF4106-BD63-4350-A26B-C1E9E7F80ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"259f10b1729b1bdd1a2c328f24b95696b28ee3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4474851,"id":"Q4474851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$CA09414D-4935-4A29-9A67-A2D93C6DD2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4c2639ff8a2c72715d58de8e3772a0167cee8a","datavalue":{"value":{"entity-type":"item","numeric-id":3511458,"id":"Q3511458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$DF5D6DFE-26A4-4CE6-823C-5B39E7F57D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7cbdd097548afc1faabe330adaa8a87935a44","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$0BB7C0DA-8433-40B7-9FBD-81F9BFE97246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$E18498AC-C251-4EF3-8E90-D2048C61C589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d509c8c5854a3cec0f25f692d7266ee625cce0","datavalue":{"value":{"entity-type":"item","numeric-id":2772880,"id":"Q2772880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$B271F974-A3EA-4D10-B46A-EA71309886CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$1C4A5B74-C7FD-4574-9E78-F9883071490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fa3d224f560d4a51f961663e90eb3a3b75c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764257$A090C3BB-D404-4A88-A9E9-D9DE098589E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3441ef2825ca912d96f476670bb56c59a18f28f","datavalue":{"value":"10.1016/J.IC.2011.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764257$F4D5C949-C833-47C0-B86B-64A8D3010A71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbdfce5c51c9ce3a82a7768be196e18f10b7124","datavalue":{"value":{"amount":"+0.7982228994369507","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":"Q764257$9878B7BC-F667-44CB-8B4C-35D4C33D828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f295daa925ebf37a1c6a09c638bd493c340bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4612431,"id":"Q4612431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87aff4bd8294ea91ebc3e08f5314a0b476dd3e8","datavalue":{"value":{"amount":"+0.7901362180709839","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":"Q764257$57996645-5E6B-4EF4-8D38-B5CE52C69D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2f0560de11795cc9b0e10c5c44aa2bb36cdf00","datavalue":{"value":{"amount":"+0.7783584594726562","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":"Q764257$B29FC5AB-43A4-4B92-A77C-29006A2DECB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f2f70666005a6ed712af3a3ab6aed9e4d4004f","datavalue":{"value":{"entity-type":"item","numeric-id":636282,"id":"Q636282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1a649c1e24528c4e7d73b5668876dade422e95","datavalue":{"value":{"amount":"+0.7765309810638428","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":"Q764257$3A8D40B9-4646-4993-BD6B-F7C2F3E1B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9811b78e21550e6ed8e5fd6048505344b03a1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5004947,"id":"Q5004947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20aa7f985c345fd501ad635a049a40dd69d464b3","datavalue":{"value":{"amount":"+0.7757717370986938","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":"Q764257$21BA15FE-290E-4B17-9E83-2277FA5A0D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculi and decidability for intuitionistic hybrid logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculi_and_decidability_for_intuitionistic_hybrid_logic"}}}}}