{"entities":{"Q5271065":{"pageid":7300640,"ns":120,"title":"Item:Q5271065","lastrevid":100559387,"modified":"2026-06-05T22:26:36Z","type":"item","id":"Q5271065","labels":{"en":{"language":"en","value":"Unifying classical and intuitionistic logics for computational control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738808"}},"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":"Q5271065$D4C6009F-22D5-46BF-B79E-883702E8C7AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3833ed9a59610cc5179d59be51102af163cde52","datavalue":{"value":{"text":"Unifying Classical and Intuitionistic Logics for Computational Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271065$6928BB59-DB6C-4688-BD83-4CA2E1CE6CB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40525c70b2a6d0091b15a3f04e00be6264c8988a","datavalue":{"value":"1367.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$6388D4A1-66E1-44C6-BC8D-CCFE31025074","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48393f2ff1b03f0a914dcc4febd32128f45de649","datavalue":{"value":"10.1109/LICS.2013.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$81BFB897-F3C5-4E15-900A-D9319EC25FA2","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":"Q5271065$89BF7B89-3C40-4B13-AB75-A158F31FA3F8","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":"Q5271065$8BAFF098-AE3E-4046-B06F-583F35D562B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271065$1961F74C-62D8-4120-8BA9-F46DABB11E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5271065$6A5577C8-3D9B-42CC-BC8E-A91E1C2BC514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$DAE37FE0-3CD6-42F5-A600-244A5033E57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$1D6FC754-D568-434A-A771-8D4AF92ED46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$738C429C-A30F-419A-8FBB-524CF8C264A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$9BD5AA45-E43D-4926-B3AE-8FEE499B86FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$4B526CCA-B4B1-4026-99F7-D8BA31149CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be5679ff81e52d8ca14821ed5b49634fc95f204","datavalue":{"value":"6738808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$5CBEDDA1-6363-4C3A-8B91-69827CA577F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271065$7CD22D89-2578-4284-8B9F-353B15F8DAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271065$D650D953-5FEC-428D-8191-982105562BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271065$42492096-8763-4F90-A01B-7214B6D0DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7aae60329f5713fe73ec776550790888359431f","datavalue":{"value":"Krikpe semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271065$59F35E3C-BBB3-4639-A2D3-010444E4293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271065$4D999775-F165-4114-8B19-F8EC6624BFBE","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":"Q5271065$16F84DDC-2FD4-4F40-946D-57652F624074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"028704b3f59ed81e7e80a4752af22cce2dd9170d","datavalue":{"value":"https://doi.org/10.1109/lics.2013.34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5271065$3023C729-8302-4B11-AD0D-EB599BEE938F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec2d69655cf5ed08d454a21a554115e02c37ffa","datavalue":{"value":"W2068955034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$A1FE65B9-A981-4A46-9E7F-419D40FBF325","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b45c78230ad719413d3ce4f522db7492494801a0","datavalue":{"value":"Q130888063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271065$3664A417-5670-4A74-8F88-D08546561E6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29433b34c53c4b5ea9158a769a116b86a672a7c7","datavalue":{"value":{"entity-type":"item","numeric-id":4635871,"id":"Q4635871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7832607908e8e6adf15a11566d537b4b424f56","datavalue":{"value":{"amount":"+0.7349614500999451","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":"Q5271065$37810840-4C12-4067-8CB3-C1D2B7561E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec16b81c8bad4e17a82f67080a61057bc5e408e","datavalue":{"value":{"entity-type":"item","numeric-id":5236553,"id":"Q5236553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0394dcf242ed4192fb1c7bb816cd73239574b047","datavalue":{"value":{"amount":"+0.7344787120819092","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":"Q5271065$EA6961EE-026E-49BE-AEA3-5078BAF0A326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d7a4c256c3c1bcab56be27bbeb35e38a950226","datavalue":{"value":{"entity-type":"item","numeric-id":5302644,"id":"Q5302644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73757db925f62af7b18ea471d844f3d3bc2ec82a","datavalue":{"value":{"amount":"+0.6496521234512329","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":"Q5271065$19A64B28-AC08-428F-A48D-4EC0F5327D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2150cc9456cb464de816daef2708699eacaed243","datavalue":{"value":{"entity-type":"item","numeric-id":5394569,"id":"Q5394569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55323071a82f24bd1760eaef5773133bb9154cc","datavalue":{"value":{"amount":"+0.6472384929656982","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":"Q5271065$87AA075E-35C9-4143-B731-66FC20978C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ad71b7847300159073ef1854714d916284717d","datavalue":{"value":{"entity-type":"item","numeric-id":4449226,"id":"Q4449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208c94094c5e7fab9242a67cad5c6193a4761612","datavalue":{"value":{"amount":"+0.6467179656028748","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":"Q5271065$1A1AB1FF-63D4-4909-AE57-576F7FEF491F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying classical and intuitionistic logics for computational control","badges":[]}}}}}