{"entities":{"Q890788":{"pageid":892636,"ns":120,"title":"Item:Q890788","lastrevid":52394282,"modified":"2026-01-22T13:24:26Z","type":"item","id":"Q890788","labels":{"en":{"language":"en","value":"Combining intuitionistic connectives and Routley negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6508918"}},"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":"Q890788$8FDAB994-046B-4E3C-929A-0958AD1BDA1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e43f4d15b61cbe0512ee27380fb298faae147289","datavalue":{"value":{"text":"Combining intuitionistic connectives and Routley negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890788$F5A9B39F-0CC7-4875-81DE-4E0B57CF2876","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14b23776c23f2b6c18f976dff5eb169efa975282","datavalue":{"value":"1329.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890788$CB8F58B0-520F-485E-A1FB-9186749A6715","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890788$7232B14D-8A09-464B-9C52-0B1776179755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"297f0407fe0411bc487575336ea9699ef4593706","datavalue":{"value":{"time":"+2015-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890788$CCC5385A-CCF9-45DE-B920-5FE57C5A68ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"522304dd9ff3b5d2c02622cc6a11aa8b4d85a3d0","datavalue":{"value":"http://semr.math.nsc.ru/v7/p21-41.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q890788$D342B48E-E190-466F-824D-9BD875FEA4DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890788$238B370B-34A5-4B2B-B772-5958140E13A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890788$609EF539-81BC-4040-B79C-0F0FD6947A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890788$030F4F3B-F180-4A81-90F5-069754518AEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769e05dc45c284ef4770c8895ced8301309305d0","datavalue":{"value":"6508918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890788$B2BFFD61-6E4D-4034-BEC9-ACA18E4D8A7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af2f21df0ff7c7c34fef098d2ee0454b128e67a","datavalue":{"value":"Routley semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890788$5D8F68C3-2ED0-47DE-8A45-852E9CD12712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"064a26b8b5b3e63f23cf811fe73a4abbb8c04558","datavalue":{"value":"negation as modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q890788$06614180-4B45-458C-84C8-0C6C7A0E9DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q890788$F4702305-BFC5-493F-8B36-5428460648CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890788$E3AC46AA-805C-437D-99FA-3879EF33E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a8c17fbc54aacc2912bf8972444c797cf07525","datavalue":{"value":"Heyting-Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q890788$324D91A5-E9E9-468C-BE5B-1AE0D33FACCE","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":"Q890788$29883DC2-4050-4ED7-924E-D2A484678B40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890788$0869372A-F6AA-49C8-BF53-DFF1523EB82E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20aca524837c2c10a7a6bbeda41f1eb29d8cfebc","datavalue":{"value":{"entity-type":"item","numeric-id":5413342,"id":"Q5413342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a59406fb1de3d2ee43ec076ee38baf3208f6d3","datavalue":{"value":{"amount":"+0.7757437229156494","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":"Q890788$E203C94D-1AB7-4C86-BA24-F8BDD5D00F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881d6cd40dfe03a572815eecf2721a9ae2c392bf","datavalue":{"value":{"entity-type":"item","numeric-id":890887,"id":"Q890887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7cbefca5367b52aac180777a38f9b249a78a8b","datavalue":{"value":{"amount":"+0.7554838061332703","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":"Q890788$54ED804F-3B5E-4EB3-ACD4-9CD7C0B98356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f56330075b5be6ae31331537fa9c399484406b9","datavalue":{"value":{"entity-type":"item","numeric-id":5741336,"id":"Q5741336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e5baa13512bc6e6063ea79700141cd22ebc6c2","datavalue":{"value":{"amount":"+0.7381455302238464","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":"Q890788$96DE8E68-FD12-4599-96CC-0D67BB532C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6533dd50dc8c80d6d364bcc1d8aaa0df63d2216","datavalue":{"value":{"entity-type":"item","numeric-id":3392936,"id":"Q3392936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75427d5325e58d0a0469461858f2ce71aca06d0","datavalue":{"value":{"amount":"+0.7373157143592834","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":"Q890788$54668D48-1560-412C-A307-245A4E1B3DEC","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":"2209234520d7267fbaee8a7044256bdeb1a4fb06","datavalue":{"value":{"amount":"+0.7304211258888245","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":"Q890788$4F635F1C-8B5C-4801-B1DB-13C296248B68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:890788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:890788"}}}}}