{"entities":{"Q1744415":{"pageid":1755157,"ns":120,"title":"Item:Q1744415","lastrevid":53070197,"modified":"2026-01-24T04:09:13Z","type":"item","id":"Q1744415","labels":{"en":{"language":"en","value":"Multi-focused proofs with different polarity assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862948"}},"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":"Q1744415$98D7860D-F878-4EE9-B9E8-151D4581D7F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"519f1908ad718928f4e0058b8af2a32155676406","datavalue":{"value":{"text":"Multi-focused proofs with different polarity assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744415$B69A7B3A-B6BA-4D02-860F-841BBBD69012","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dfa545bd40a794fabb561ce9f3f958130b25692","datavalue":{"value":"1394.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$F48C2760-2B89-436E-87F6-239641D3D0D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$A85B7BAC-28C8-4E3C-A992-A2E1FF1FA804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$A07D88E9-9DEE-44FB-93F4-C312D6F2737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f90de3812590293fbe8f4890c29328275e4ac6c7","datavalue":{"value":{"entity-type":"item","numeric-id":1744414,"id":"Q1744414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$4A933420-0970-4BF1-9C8E-0B859F225338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744415$E1E7F1A2-0EF1-426D-9A7F-6B21F7366715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$69966F90-DE06-4D88-97A9-D0354205B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$39AB2473-1B52-4D01-B9F9-AD16BC6827AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$36F28B0B-459B-40DB-8628-C6C5DFA92D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$53FD2433-29E0-423D-9E84-9300D6779064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"597d67718900e3299f2b2d9356bf3b95e1e2f32b","datavalue":{"value":"6862948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$F5FA6B39-A087-4B9C-9C84-EED0AB3AC4F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744415$849DF33B-029A-49D4-B8B9-D8F9F28C97DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744415$7E1BCD71-347E-47B7-9163-0320A3CDD1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744415$4A8AE2BE-CD20-4A04-A7D8-C8927D3BF118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeedfbe2cc116d22a334a3935e3954c6415bd6c","datavalue":{"value":"identity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744415$3E4C7DA0-CDAD-47CB-8011-E133552F90BE","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":"Q1744415$A48976A4-01A6-49CC-85F3-2441F794437C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfdfe47583c64e55a3c859bb77b24cc7aed5a40f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744415$34D8313B-200D-410E-B116-0CBDC7886230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ece1b4ad358251ae6224059f4d5683237441769c","datavalue":{"value":"W2465546786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$E02B785F-AD59-4B92-AFCB-2BDE4C555AB8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9c8bb81e323da97dea24961a25e55d8281b86b08","datavalue":{"value":"Q57850714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$69792DBD-7162-41A6-A031-731C3A0BBAA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$78308586-F243-4404-A30F-C0029D33C61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$3A0DA79B-4616-4A5C-AB21-E71186CB753C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d7d5977ac7146adde6b128096ab9b2e6724459","datavalue":{"value":{"entity-type":"item","numeric-id":5971394,"id":"Q5971394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$21FF9431-08DE-4374-A323-5EFAC0D32EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d0438f456f344bf82d82a74150ccbdcf6c667e","datavalue":{"value":{"entity-type":"item","numeric-id":4649546,"id":"Q4649546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$15F2AAD3-843C-4D28-9316-AEBF77000A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c9d090643b66ab61947250d83f48f8f8ed8ea","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$D3FD1BA2-36D3-458E-848D-10E96E0A7A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$7C88EF53-707A-48A3-85F9-5CBE463C466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$A9A763EC-E5E1-4F68-982D-C815DFD7C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea338e7a34d3279c31927d4ea978ac68f017141f","datavalue":{"value":{"entity-type":"item","numeric-id":530853,"id":"Q530853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$174C06B5-CF39-42D6-905F-962FB10EE645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$3486A507-757E-4C1D-9B6F-A7E6832D28E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$5BBA138D-3562-4981-85C9-1C687DD80F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$80FF98DC-0815-4E0D-8525-1274C0119733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$B05AAC9B-AF07-4DCA-9661-8AD7DCE9B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$B6F83776-4F52-489F-8196-A0D2067DC95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22e68338ce91d5f7b421aaf2ecefb70507cdce","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$424DEBDD-8EE9-452B-8161-973CAD41C538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16cf29a6be511b5490d0e9bb1ee22c0133e4fb4","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744415$437810B2-62ED-4DF2-97BD-D7A41635CF90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8531f87e2cf5846f15256ebeb7df6a5e667ebb","datavalue":{"value":"10.1016/J.ENTCS.2016.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744415$7770EFBE-9481-4613-A148-C28E54F6E4D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09063f52d3e9a6fdeee1e2c7cb8b8be41418defc","datavalue":{"value":{"amount":"+0.7970873713493347","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":"Q1744415$BAE25725-B797-4581-86D1-253001B44774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56acd44d28973cda8515b6a2672c71e99860b1ca","datavalue":{"value":{"amount":"+0.7905936241149902","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":"Q1744415$743617CE-1F00-4D96-B46D-A671A03D87D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54139f930430c44bfddd66e87c6f88b9f5f6beaa","datavalue":{"value":{"entity-type":"item","numeric-id":4637625,"id":"Q4637625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0893f9221b61a02f294c667f0a93ec35b995b674","datavalue":{"value":{"amount":"+0.7521798610687256","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":"Q1744415$EC581180-6BFD-410D-8985-97C158DA0A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4bfbb76ebb9103acc4b60198da1f53dde5387d3","datavalue":{"value":{"entity-type":"item","numeric-id":5015210,"id":"Q5015210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd915d10acc4b4aabf6aa5c9cabc76827e3ba74b","datavalue":{"value":{"amount":"+0.7345533967018127","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":"Q1744415$A04854FD-5BC8-4509-9DBB-1B47B78F3051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b59ebcba5f5cd513bd950f5f05359111a86127","datavalue":{"value":{"entity-type":"item","numeric-id":4223027,"id":"Q4223027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47812a9fc750d2bc68292af2c3fd27621af7c3e3","datavalue":{"value":{"amount":"+0.7282384634017944","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":"Q1744415$198A0F70-BE33-466C-8898-19650D5B7FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744415"}}}}}