{"entities":{"Q1035706":{"pageid":1037554,"ns":120,"title":"Item:Q1035706","lastrevid":66089928,"modified":"2026-04-12T07:29:01Z","type":"item","id":"Q1035706","labels":{"en":{"language":"en","value":"Focusing and polarization in linear, intuitionistic, and classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624949"}},"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":"Q1035706$7B343ED9-F0D9-4C12-8356-06FEBFF6B6B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a627dc7dc3340801109fb6b31e78cf25081182b7","datavalue":{"value":{"text":"Focusing and polarization in linear, intuitionistic, and classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035706$EBDE2C6D-7053-46D1-9816-213F1FD721C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1150eb4987b5318a02a9ca8e5bc983feba02f727","datavalue":{"value":"1187.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035706$FB6B5DF0-8309-4BDB-94C8-B8070CCAFAC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9ce3e80bb1a16307d22ed97af34d804e7fedd0c","datavalue":{"value":{"entity-type":"item","numeric-id":639670,"id":"Q639670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$A7F2C1B4-7592-4668-83DC-0E513E203179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$E9718FDC-8FD3-48BD-B025-9BF8A8407E6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$635451C1-1F33-4365-A775-40542CFBF580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035706$A541D8B6-2B97-41FF-87BF-0738175D7512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035706$EEC4BC8B-CD68-4321-AFFB-15C4728F7722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad5b1b47571e56f096ccea82ceb01b0eb1224a35","datavalue":{"value":"5624949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035706$FB2885B1-81F5-4EB0-92AD-A2B2A01D64F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a073f46e84d4f977b9d53aa0ca8a83699893b8","datavalue":{"value":"focused proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035706$9673F13F-C25F-4D39-ADFB-FA8823ACE031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035706$38D7FD1F-9C5D-4F56-986F-DF72A383E033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035706$D629E311-264E-466E-909A-44AF0D0ADE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035706$74B4FD07-EAAF-40EF-870B-95BA07FB5750","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$4421D14A-4D65-4991-8892-2679FE0986AA","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":"Q1035706$75F4CD67-2006-4113-AFDE-7573649BB1AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69f4bfbe085a1787cb997141b95f92360e5f54aa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.07.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035706$FC97C09F-EFAB-409A-8F36-CF644B205E46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d9e1c30d47a03f24a9f4c6be01f5512c7ca20f6","datavalue":{"value":"W2141978322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035706$EF4B74D8-792B-434B-A605-288A0957ED69","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":"Q1035706$B207F6F6-F156-406F-952D-1156032F47E7","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":"Q1035706$D06AEBE9-90FB-4594-B704-953319B7DA28","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":"Q1035706$9B804134-C524-4D53-8862-EB36724D79EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389c270a04975059278317e246116b16c0bfe95e","datavalue":{"value":{"entity-type":"item","numeric-id":5897796,"id":"Q5897796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$1537338B-8ED9-4EE8-809F-B75CF9C26D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$98855730-3365-4355-9A00-5EE3467CC578","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":"Q1035706$AF211C66-8452-4392-AD91-FA23DACAE2FD","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":"Q1035706$AFF811F0-B233-4F2A-A318-FA8E2B8A5939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$784006DC-0A7E-4961-8A35-2760B2E15F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da631b6cfbf07e23d25864fed3656ffc6ce36b6","datavalue":{"value":{"entity-type":"item","numeric-id":556824,"id":"Q556824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$AD8A5903-6A00-43EC-B412-16057C844AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa3f7e97d228d907b8c697808a7482aef33deb","datavalue":{"value":{"entity-type":"item","numeric-id":3357521,"id":"Q3357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$C0B37A4A-235B-4B11-8EB1-4E9A5185D4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$CD224337-2327-4A66-BDF5-57A1F591F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$FEF7DC0B-D913-40C9-AB82-D57524824397","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":"Q1035706$814FFF4D-F4A8-4EC9-A417-2E0CB1BDE8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4fc8259bc81a2dcf2a4db4deea3fc20f1f2c7","datavalue":{"value":{"entity-type":"item","numeric-id":3591403,"id":"Q3591403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$A7E8BED6-53FC-424E-85FA-82352BD4CC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$8E221E09-CA51-4781-8EAE-0B23329CFB14","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":"Q1035706$C309537A-CE11-42E7-80F6-1EE9633091A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$07120742-F04B-4F0E-A467-0382D1302A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$025656AF-F397-4623-A61D-8F49B3483D9F","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":"Q1035706$7E4327FC-F736-4BEC-8EA0-9BEAEA1D1ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5053859a8538504e0eb3025ab332314be80808","datavalue":{"value":{"entity-type":"item","numeric-id":3608431,"id":"Q3608431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$518AC3AD-D378-45B4-AD98-C91F59E806E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$CE2646ED-F31D-4A4E-AC09-118A56A90011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dca67c4f851114db70669f0c4a5e9867d1523a4","datavalue":{"value":{"entity-type":"item","numeric-id":2503319,"id":"Q2503319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$709F1719-53BB-4941-909A-A3F968903B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035706$27CE5332-B59C-4091-98DE-4D1372D292FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"142c8e95766d540d95fc00ebaceb9d4b7008fb41","datavalue":{"value":"10.1016/J.TCS.2009.07.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035706$C52E04D6-482C-4BB7-A850-CFD6E570AC35","rank":"normal"}],"P1643":[{"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":"e296fdfdabf16ea6eeb1eb166f35940490c33a1b","datavalue":{"value":{"amount":"+0.9796238541603088","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":"Q1035706$F05C44A4-E54D-4EA0-B4A1-1A1CF14A6C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a4ea596ef3e33bf0b39b29aa35df3890146c31","datavalue":{"value":{"amount":"+0.8567677736282349","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":"Q1035706$8474650C-3CF5-470A-B2AB-4985A5C7153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a7ad3822057c63fd97893fb1ae3fd5abb0f02e","datavalue":{"value":{"entity-type":"item","numeric-id":3187008,"id":"Q3187008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb75c8178805a7a2c45f488a970e303e932fe66","datavalue":{"value":{"amount":"+0.8415974974632263","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":"Q1035706$A6E1934F-B39A-44FA-B5E9-515AE316B927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536541ba594eec30f062b08fe0b93fee0d161bde","datavalue":{"value":{"entity-type":"item","numeric-id":639671,"id":"Q639671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e1a445d7f91e3b86fab03268973445ec3e05d8","datavalue":{"value":{"amount":"+0.8368271589279175","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":"Q1035706$35F78EC8-EA16-460C-945E-3D502294B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2816a2e0785ea7f14c7001eeac53eb415d9709","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e913448f7895eff5d1c7ad5335d1109d020ef3c8","datavalue":{"value":{"amount":"+0.8291957974433899","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":"Q1035706$85D3DFBD-1645-4661-8EA6-8B55BBFFF1E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focusing and polarization in linear, intuitionistic, and classical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focusing_and_polarization_in_linear,_intuitionistic,_and_classical_logics"}}}}}