{"entities":{"Q3081447":{"pageid":3092162,"ns":120,"title":"Item:Q3081447","lastrevid":58106112,"modified":"2026-04-03T20:08:40Z","type":"item","id":"Q3081447","labels":{"en":{"language":"en","value":"On constructive connectives and systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862395"}},"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":"Q3081447$461713F5-05F4-4443-B3DA-3A29FFA3217D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09821d5d0ee5472febe202eb4e36ecc250cbefff","datavalue":{"value":{"text":"On Constructive Connectives and Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081447$C64B0D89-AC44-4DB1-A345-B55EBC069ABA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef15117a9e9ab2a3c773fc09a615e5170e131d8c","datavalue":{"value":"1213.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081447$B7CE9746-2325-4C3C-9341-FED71290FB17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"388149b806763b56f316eba080d32cbe3feeed8a","datavalue":{"value":"10.2168/LMCS-6(4:12)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081447$05C18994-8C0C-40F1-BC5A-34F25DB762E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081447$A1ACD29F-A22F-4E26-AFC1-5D0000C9BE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081447$ABCF21B3-5C0A-4F31-B6C7-ABE0B2A5DD99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081447$97E6B0C9-F12F-4DA6-9B99-21217CFBE610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7583b1e3be50fc6ea49700c35e083b5398d19a","datavalue":{"value":{"time":"+2011-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081447$71C6D539-9F5C-4D7E-BF56-E7998FAF30D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b788ec7bc3eb7be33d14ab28a50860e7c3176d54","datavalue":{"value":"https://arxiv.org/abs/1011.4384","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081447$5249948C-CE4E-4073-BB5C-B729F01E9049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081447$875AC889-6CBE-4170-9DBB-87725B258E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adad8aaa7d2c3f2d0a80cf4dfa6506219b14c249","datavalue":{"value":"5862395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081447$C7E0322E-ECCE-459B-8558-8058980C8FA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081447$9871787E-3FF9-4F9E-8980-2E98C239BDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081447$FFBBE131-AFBB-4330-A5E3-C9F3584E2B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081447$D68CB3F4-F472-4180-91DD-76CD3E4DC537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5457baa26552f25d57d3abd6dcc0d62befb3b0ee","datavalue":{"value":"nondeterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081447$F85E887D-352B-41A6-8F5B-4E7E33933307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081447$7B9D41CF-1006-4B46-AA9C-2C28A34A8E27","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":"Q3081447$AE6DCF3B-72F4-4BCA-AF5A-2959C87B16C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4790188b056e1c8cc057819dd8c5198445cdc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3585998,"id":"Q3585998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26d2f7379ec531eff8d5b0950c006ca6d6695ff","datavalue":{"value":{"amount":"+0.9178407788276672","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":"Q3081447$5609EFE1-A416-4F72-B14E-54C50B98090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3dceb7f95ef0e167d5027c8c0123ba04738c55","datavalue":{"value":{"entity-type":"item","numeric-id":3648721,"id":"Q3648721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79d47c16ec88e808bc6e268db0c03cd1847e3e6","datavalue":{"value":{"amount":"+0.8968228101730347","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":"Q3081447$857635A3-17F8-4C53-8FD5-A113C0AE1C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4874711864e7ac0ebbdeb0eb689ea26a8804e77","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b563b63f3637dc2159c83e43c0707695d562457","datavalue":{"value":{"amount":"+0.8320409059524536","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":"Q3081447$07FBC903-394B-4EC9-BAAC-88F03DD54051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db957db2630db9c00c109a386240cfa3b76cb022","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3d99f44dbe90d801c5e30adf663c9fab70da56","datavalue":{"value":{"amount":"+0.7968607544898987","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":"Q3081447$0F2A0E3B-7B5F-4F54-ACBD-6453C83570FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66401da7bc4d3e39136b3448e104e23791aa319d","datavalue":{"value":{"entity-type":"item","numeric-id":3010364,"id":"Q3010364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a434e3a8077cc269d24bc508658c2a29134e71","datavalue":{"value":{"amount":"+0.7911989092826843","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":"Q3081447$DF46766D-1C3C-43F8-B605-FCCE00172455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081447"}}}}}