{"entities":{"Q764264":{"pageid":766113,"ns":120,"title":"Item:Q764264","lastrevid":51433547,"modified":"2026-01-18T05:28:59Z","type":"item","id":"Q764264","labels":{"en":{"language":"en","value":"A modal logic internalizing normal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014271"}},"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":"Q764264$7944BDCA-E3B2-4DD0-BB5B-E8D95DA62957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d089b6866fae948095527950c64e8a45e3464be3","datavalue":{"value":{"text":"A modal logic internalizing normal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764264$2B731ED1-F02E-4A25-8479-8834B6BF0402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88dce04abda0261d9d06ad62137b633b68671835","datavalue":{"value":"1248.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764264$EB2E430C-F029-412A-AA89-F695B39B0968","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"960ec5db08fbcd49fa89ffa814c6eba04b6e40f4","datavalue":{"value":{"entity-type":"item","numeric-id":306394,"id":"Q306394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$580965A0-CCB2-4019-A5C5-BBC7A9CD90C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1703327de734f035a9c809762b93bfb6c7d61d33","datavalue":{"value":{"entity-type":"item","numeric-id":454942,"id":"Q454942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$6C3109B8-EB22-4289-855D-6A2CB32B64C8","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":"Q764264$5E1FB39E-23D7-4B35-8A8E-13DD89B358CB","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":"Q764264$20310D82-20B1-486B-B095-853AA89713EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764264$272FB993-E419-4463-AF6F-6F3BE69566FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764264$8F64A3D3-446D-4EF8-971F-644B8B1311C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a76e5f1365b1f9c226adc57ae5b0b5522cbf425","datavalue":{"value":"6014271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764264$7E5D23AC-9880-402D-852C-862EFBA5A13F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b0e68cf55ac13d5f4a80cb98ce814564115107","datavalue":{"value":"normal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q764264$96A6F981-0F87-4DAE-98A3-AA6BD97AE6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764264$C47499C4-4990-454A-BE11-9C37B5DA6592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q764264$495646BA-05D9-4433-A11D-94A8E7D45D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q764264$7A6FCD92-8118-4206-881D-2482970AF56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7260bfd00e568317e417718360dd15b27f9969b5","datavalue":{"value":"reflective system","type":"string"},"datatype":"string"},"type":"statement","id":"Q764264$4D7F649C-13F5-445D-95CB-C088B4C663C0","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":"Q764264$6F522F07-FCC6-46DF-BD36-D6A9CA403439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63ca6c704760db184edfbd6592498fb966d8519f","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q764264$19A47ECE-F3E1-4B14-BC1C-8A57916A8399","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dff8d5702c6a8910ee19d155c0b32867d6e3b00","datavalue":{"value":"W2151686212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764264$3501FE44-F969-4BCE-8EA8-BCC381ECDDAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$0B40BEB1-CE36-424D-86B8-5C25C376FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$EEF6EE1C-BED2-4DA5-91E1-B81983D14532","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":"Q764264$5EE6ECBE-0CA3-48CC-84C0-91C7EDAEB0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66644560ff5d19bd637909a468277de233de6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4436024,"id":"Q4436024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$4788EB40-0F4C-4476-B73B-8A8C8DAE0DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$D8DDBFFA-F889-4DC4-AD1F-25D38466B6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0da085c5ba7c2d74c15c881175d88c3db27924","datavalue":{"value":{"entity-type":"item","numeric-id":5168931,"id":"Q5168931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$D56F0057-6D84-4F1D-88DE-7D43C23AE5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764264$0988A09F-DEDD-495C-AAC0-DCEC1B1C7D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f58ce859cbee86f88aded8c62c83c7db21925954","datavalue":{"value":"10.1016/J.IC.2010.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764264$E537CE35-CA42-44D1-ABF9-E4C739E8C877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471b8946b189fcdda126d0309192b33442b0ab67","datavalue":{"value":{"amount":"+0.7820821404457092","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":"Q764264$6B2B1249-C071-4096-9D3B-2689A3C3F953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edc2b63b8ace38103683a5c45b7fc327c235210","datavalue":{"value":{"amount":"+0.7819339036941528","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":"Q764264$3F9CB885-109A-46F7-907B-50BC2068DFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa2766298d4a67b56a1f300df3b109a9b40f45f","datavalue":{"value":{"entity-type":"item","numeric-id":5704814,"id":"Q5704814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20da07ec5101347afb86ef4803abe393dc264b76","datavalue":{"value":{"amount":"+0.7803698778152466","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":"Q764264$8F237E28-8562-4CD6-89CB-4CE8D36EB95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e7fa814db69e4e837d904344551cfb9f61dec","datavalue":{"value":{"entity-type":"item","numeric-id":1708100,"id":"Q1708100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bbf1c5cf8eeb7a1fb68dafd9993c9c79fe0329","datavalue":{"value":{"amount":"+0.7785937786102295","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":"Q764264$56EB6E13-BD1C-4BF0-B89E-66A96B096D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea0717caa48048b072a57d2a30d88874b90315","datavalue":{"value":{"entity-type":"item","numeric-id":3786477,"id":"Q3786477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427fda6a2912de2d812f76921c2476de65f6663f","datavalue":{"value":{"amount":"+0.7748750448226929","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":"Q764264$2E3A15E4-06DC-4A96-AE0C-5E74B91BEC59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:764264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:764264"}}}}}