{"entities":{"Q3086939":{"pageid":3097654,"ns":120,"title":"Item:Q3086939","lastrevid":51218132,"modified":"2026-01-17T07:23:29Z","type":"item","id":"Q3086939","labels":{"en":{"language":"en","value":"Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872404"}},"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":"Q3086939$E6C17EE7-C5AB-44C2-A578-EB52461E4F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aa9e454146c2485ce94f51acdb46b60a9f7f4b2","datavalue":{"value":"1244.03157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086939$79F569F2-7AC7-424E-98ED-F72D5B14F237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086939$85F65925-32A9-4A05-A6AC-6EDFA3EA11AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8379e444a374a0b4591c044a269fd6ffeb0f306","datavalue":{"value":{"entity-type":"item","numeric-id":2904052,"id":"Q2904052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086939$199F7923-74F2-400C-81F0-4E56C0F61D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086939$E0DD8CD8-07D1-4111-91ED-86083CC5DB2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086939$19648B4E-9F79-4B5F-91B6-8AB12001AC93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086939$0219A81C-746B-4128-8A94-68B814CD35AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086939$0B2D7CAF-AE3C-411B-95BE-FF29C73A8EBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e80b695a9f837c63fc9228c2cf676e8883bd984","datavalue":{"value":"5872404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086939$E1AC7467-B47F-4FE3-A33B-ACD1FC18795F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086939$5DD8E9FA-73A2-493A-89DB-AFB7AB8D0CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dac3f71529fb2da55f77888198d2650dd710a18","datavalue":{"value":"display calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086939$CAC7BA83-7F9F-484D-A04F-3EE269F50899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086939$3F3610D6-6807-4DF0-8DF8-7AC96629755E","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":"Q3086939$5934E523-8541-469E-B418-786E6D83ACB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326f6f1612366704ae4ead1eb751699729e6bd7a","datavalue":{"value":{"amount":"+0.8649357557296753","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":"Q3086939$B8EC39BC-A5F8-4781-88F1-CAB6B3443CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cfa5af66bc27ee03eb588384d03f7a83d4acd6","datavalue":{"value":{"amount":"+0.8591515421867371","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":"Q3086939$3A3E0647-1E7B-4ABC-8B06-FF9CAD2CD1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89ef05c0f7e3c19a9146f82007b89a968e0317","datavalue":{"value":{"entity-type":"item","numeric-id":3638293,"id":"Q3638293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4309a936313c586471d08431236a52cfd569ffda","datavalue":{"value":{"amount":"+0.8571324944496155","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":"Q3086939$B5B493C1-43E2-4FC8-9864-D8380EBAD29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee71b9090ea73b7d9699f84230da8bf7ebd17b9","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894049dde85fdf38a6b4d8f2d137fc235297a295","datavalue":{"value":{"amount":"+0.8553987145423889","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":"Q3086939$801CD80B-6D6B-4B77-A66E-6268C9473A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20897afd5b0052e26f40cb20f82ba7bf2afec2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33c01cefcf4a47bacc87bbac3dda426f47d2d47","datavalue":{"value":{"amount":"+0.8501936793327332","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":"Q3086939$36F3DAEA-BA5B-4CBD-9A08-B9175F63AAAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086939"}}}}}