{"entities":{"Q2871862":{"pageid":2882582,"ns":120,"title":"Item:Q2871862","lastrevid":51900713,"modified":"2026-01-20T12:22:02Z","type":"item","id":"Q2871862","labels":{"en":{"language":"en","value":"Practical reflection for sequent logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244437"}},"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":"Q2871862$557FE63E-E92B-4353-A1FC-CBBA828E751D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a8608e194eb49cf7ca7542650f56ae2d5f86cac","datavalue":{"value":"1278.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871862$DBAE9976-D27E-4219-851A-D04F22CFFD84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871862$92B34527-5BA8-4DFD-B57A-A8B5FC0BF257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81de1f38937c23ea2433b8e896b60349b01c6737","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107002332?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871862$8A83958C-D21E-4D29-9727-CAB1F045AAA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871862$65AD571A-B61B-47E4-B7E6-493656875F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871862$69E262AC-1FD9-4334-85E2-9F04AA2BDEE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebfdf4931be18f66a0c772a1ee831a8924f386c1","datavalue":{"value":"6244437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871862$D7D00185-73B1-4BD7-9AD9-ABC1AFC52D4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$6CB686E5-7F40-47E6-AED4-A007F86A47BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$185AF6CC-344A-4D4A-BB85-E6FE2E1E5A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a900f8b49d829f483bbdc0ab592dbc55362613","datavalue":{"value":"meta-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$51E4415B-0662-4D04-8F6E-4C92E52ECF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$12EC423B-1170-40E7-BEAF-EC51122C3055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f253792cf53496a2d1de160e901284465ff597","datavalue":{"value":"MetaPRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$B6BD23C3-022E-47F2-8464-680D3486DBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e686a41d01a468db385452624afe2f1a7127b02","datavalue":{"value":"NuPRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$78634FB5-337B-43F3-950F-5218FD611D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99de118b7262da381e77ffe40e8f93933f193fca","datavalue":{"value":"languages with bindings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$13D8E2FF-04F3-46B7-8511-27BEB34383A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fece5b20889a2078780548497bf4af8c0810a216","datavalue":{"value":"mechanized reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871862$77F2240D-574E-4644-A438-5DB18E4D5A80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871862$3C4CA0B4-3220-445F-B046-5FDE35E0B7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871862$5208A9D7-A7D5-4197-96DF-2AD30BEA6C50","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":"Q2871862$4082E73D-F337-434F-B355-FE73302D395E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c59f50d985c22e47051ba5d524f4d924c14e07a","datavalue":{"value":{"entity-type":"item","numeric-id":853739,"id":"Q853739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871862$E17B72E5-9655-4260-BEC7-065436D314A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aea3f0ee8e6f275caea106ffc7919019f79c719","datavalue":{"value":{"entity-type":"item","numeric-id":853740,"id":"Q853740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871862$02F5E1D3-0120-4E16-88E1-BF39B70CF192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb3cfb70b5ffd20786da27308d302808774a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":6149746,"id":"Q6149746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871862$1EC1C760-37F4-49DE-8CFA-E3359203BAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baa4141332c0d0cf2406bcfb36037e2f1d3ea4af","datavalue":{"value":{"entity-type":"item","numeric-id":4376055,"id":"Q4376055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871862$60AB8A6F-FE2E-4B7A-A7CA-B243AEF7FE87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaac7b2ff92a8fedbea141ac24ee12543e794fe9","datavalue":{"value":{"text":"Practical reflection for sequent logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871862$8FE9E4F5-481E-4E92-B3A4-B49C9EB380A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ad2f7d559ac72ca56692849302e698f40fb374","datavalue":{"value":{"entity-type":"item","numeric-id":5501464,"id":"Q5501464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b0245f6ce3acbb568859f7216e2ca83175f355","datavalue":{"value":{"amount":"+0.7359639406204224","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":"Q2871862$FFEF204E-DA5F-494E-8C7A-29BCFCF34877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e41f12bad3c63310badc0a557394268b22e9e7","datavalue":{"value":{"amount":"+0.7279682755470276","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":"Q2871862$CE1FA967-8E9F-4D83-8CF0-D6CC95B71F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7411f5a6bc9c7796f16d1ab14fc24becf49f20","datavalue":{"value":{"entity-type":"item","numeric-id":4012173,"id":"Q4012173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc0626fc49314b5ea7bf5c9f2a9ac8563b63867","datavalue":{"value":{"amount":"+0.7252196073532104","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":"Q2871862$1419FE8E-7FB3-40B4-9027-AF4D32A5B6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b6938522f6c6bb589bba8ed3dc1bea5db47f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4647552,"id":"Q4647552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d1e094ac30983ea993306d84393cffe36bc36d","datavalue":{"value":{"amount":"+0.7245521545410156","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":"Q2871862$C87BD5C7-163A-4F21-9ABE-FBF8A8E61E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a3953779ae87934461ed4b9de866e5a861420e","datavalue":{"value":{"entity-type":"item","numeric-id":5464663,"id":"Q5464663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3264f4f9fe1c7a1b66f9d74ef632274bbc4ec90","datavalue":{"value":{"amount":"+0.7234893441200256","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":"Q2871862$93235968-D88B-47C3-9256-AFC0F5259419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871862"}}}}}