{"entities":{"Q897473":{"pageid":899321,"ns":120,"title":"Item:Q897473","lastrevid":77690114,"modified":"2026-05-06T09:50:59Z","type":"item","id":"Q897473","labels":{"en":{"language":"en","value":"Negational fragment of intuitionistic control logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516808"}},"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":"Q897473$E223FEEC-FF5C-4D77-9467-844586BF4122","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa7d0b596f1f9df1ab0e1ebaf344896afc2b839","datavalue":{"value":{"text":"Negational fragment of intuitionistic control logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897473$ACFF1C89-7495-4186-AB73-517475FEC7B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db58289ab996c9362a719712ef3e75f0670dd26c","datavalue":{"value":"1378.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$7D37BC4C-5C75-4217-8016-A30DCA9C33D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a05d84d5706e7a1e1d3448335c443f6e229f528","datavalue":{"value":{"entity-type":"item","numeric-id":897472,"id":"Q897472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897473$6C8927FF-5ADC-4DE8-973E-E7FDD7BD8740","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897473$AA12300E-102D-43F2-8745-BEBA0578B42D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897473$D42258B8-24AF-4819-933C-E0638357A168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86648ef22b287d34f1e27bc67d7abc038fd9d70f","datavalue":{"value":"https://arxiv.org/abs/1408.2129","type":"string"},"datatype":"url"},"type":"statement","id":"Q897473$EEC9F028-F31F-435A-8136-0D9093837D60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$0A8BAD0B-0904-4CEB-B29C-BCEBBDA48BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$FC2CB1B6-1DE0-45B2-87D7-1BA912F297D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$B6B1EB83-51BF-4D7E-A330-B03F7B597B17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48f8673569931fd0735301f9ec970e08ecd37641","datavalue":{"value":"6516808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$ECFC24A5-AD21-447E-AE61-61F284512A08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd39637d6c536bc7f7368216464a340e60fd483","datavalue":{"value":"intuitionistic control logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897473$1E2C2164-0618-4AE9-9832-3E8F91753011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897473$D2F51E59-3BDA-467F-A4D2-C9B0CBA9574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897473$1EC40462-9E6A-4E7C-BAF4-7F765602871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q897473$E57C2F9A-F2F7-4EAC-BC32-C556B19C165D","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":"Q897473$2EF311A9-2D76-459D-9702-045B3A1F2297","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba3701c9848c2eb1f9b24e5acf7e6105ac864ac2","datavalue":{"value":"W2061987055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$6471730E-EC86-4618-80E3-8F2983DB8F0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"59bce83dd2345ee1bfecf4c2ba441a45d277f9a1","datavalue":{"value":"Q59407458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$F40D6B24-6A0B-4B08-998A-08368F20FEDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe1277d56e8d2667bf278946292a62e5a104a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5271065,"id":"Q5271065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897473$1FCECD22-5125-42F9-A876-32ABD1ED343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897473$E01966CC-3AAD-4700-BDF9-1E4983486148","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da4edd0d7bfae5a1f6cd84ea31a5f06c7995245d","datavalue":{"value":"10.1007/S11225-015-9610-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897473$725124BD-E043-427B-85C5-141490430B96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1414cd67148704397dadc6b341f2e9f9bb23fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4593253,"id":"Q4593253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc477fb72d2756abae633a6b948bce8ec83d363a","datavalue":{"value":{"amount":"+0.9288219213485718","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":"Q897473$E1F458D7-F472-4FB5-9336-04B36C457F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0522efca69039012a3aed205fca5833cb13426d","datavalue":{"value":{"entity-type":"item","numeric-id":3705453,"id":"Q3705453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79826faccea70bb8cf70e1390effa0fd2f1b69b6","datavalue":{"value":{"amount":"+0.7758512496948242","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":"Q897473$A2F2DFAE-927F-4F91-BCE7-5B6CFE41DA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c0c9cc7d721a8e4e8146bda71c35d72286210f","datavalue":{"value":{"entity-type":"item","numeric-id":4636036,"id":"Q4636036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5f9bd33d25b93ee45050f95fa6fee276ae8a02","datavalue":{"value":{"amount":"+0.7465541958808899","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":"Q897473$C004E3F6-9E49-4B92-A266-445B24305D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9458a22e5116a9bbc92dcbda52ce482027f93b70","datavalue":{"value":{"entity-type":"item","numeric-id":3433172,"id":"Q3433172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f62a72b1d9a8fd58292eaac4e304ceed4045c01","datavalue":{"value":{"amount":"+0.7444958686828613","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":"Q897473$6C445C6C-C5D6-43F6-9A44-6EDB9F1948E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afcd6f189de392ec90bd219141500ed09ff1cbc","datavalue":{"value":{"entity-type":"item","numeric-id":2715517,"id":"Q2715517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a501e5dc665bb99bb96f5626b3bdf425a9144351","datavalue":{"value":{"amount":"+0.7393543124198914","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":"Q897473$67FC854F-06DB-48DE-82DB-AB36142DBFA3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897473$7DF25C00-EB4D-4D5B-83FC-8547D77B5BDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negational fragment of intuitionistic control logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negational_fragment_of_intuitionistic_control_logic"}}}}}