{"entities":{"Q4295249":{"pageid":6324850,"ns":120,"title":"Item:Q4295249","lastrevid":41707150,"modified":"2025-05-07T10:28:11Z","type":"item","id":"Q4295249","labels":{"en":{"language":"en","value":"TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584648"}},"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":"Q4295249$0459FBC5-2390-4B08-A3B8-064926C18F36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e217f680fc4220ebc75b36b02c98cf43b543587","datavalue":{"value":{"text":"TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295249$AAAB94BA-3C05-46EA-8A14-2A15161806B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51564806d60a6a33c2ad679196485944054f6345","datavalue":{"value":"0798.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$4A591D2D-C194-461F-AB05-5133A0BB85FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd5576a15f58fab64ec2abca70dbcaf39983e311","datavalue":{"value":{"entity-type":"item","numeric-id":1576382,"id":"Q1576382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295249$EFF965E2-85E2-4343-BD83-CEF98EB3DD9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295249$EA2B1B2E-386C-4FD9-BE3A-B8401B795CCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726a99a9e2d555a41ba62bc8bbfd737b811b3dd8","datavalue":{"value":{"time":"+1994-11-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":"Q4295249$B2D81688-58D4-44A2-A8C3-3F8DE7C325FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$5DC61102-0161-43B7-8210-F481AD1F6B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$F19B9A2A-84BD-4C4B-997F-F83A89024F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$0E3F7DEB-CD75-4DB0-927B-387CE4E768ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a831946a6c73b111a3bf924c6ad6b02ec642e5f7","datavalue":{"value":"584648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$16438BA8-6326-4653-9904-39C834AD9363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295249$0F658993-1FE8-4C9B-8F3E-EE4034E79B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295249$C146CAD4-B97C-4B38-AB33-94105E646796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a1dbc875603e0081bf4964d6f5826b0d3ac6fb","datavalue":{"value":"constructive logic with strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295249$0CDB5241-D3FB-4290-B1D5-60C87169F844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd4f85f4e283642cb714ae9a2636ade95231e24","datavalue":{"value":"Nelson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295249$23EF0447-CFB5-4859-BA74-8AAEEDD28F48","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":"Q4295249$2163E3CB-74E0-4F14-9F61-9C29C1AC299D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a88e43ed0a5d0d4c35c40fa33f68333fb93cc7dd","datavalue":{"value":"https://doi.org/10.1002/malq.19920380146","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295249$8CB88830-75D8-4FFE-A10D-C76CD42D4DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cc1bf9c11efb8898325aaed349a923a5cbdad6d","datavalue":{"value":"W1965159569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$73CB5BA7-EAFD-4B85-923E-9E39DDCE7016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8675eb657d1e24625c031167f4ca487ba4a12ef7","datavalue":{"value":"10.1002/MALQ.19920380146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295249$5D5A58E1-304F-45E2-90B4-24129F007109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a803d305836409594dc7307944ca461997be5b30","datavalue":{"value":{"entity-type":"item","numeric-id":3360853,"id":"Q3360853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e399c0a2eee4861d962aadedc39be78da3d8f576","datavalue":{"value":{"amount":"+0.99603933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$E84A0AE2-69F9-49AA-98AC-44E88C8A3F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed974c8cee2b204e56d027b784cb5372e86e51b","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88330b9f90176edf7559ef842ecc69dcd6c17cd8","datavalue":{"value":{"amount":"+0.9058922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$6C50300B-7B3B-483B-8E5B-A3C63B586096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9406b9216e52fcc446e0bcc201c0a34599820a","datavalue":{"value":{"entity-type":"item","numeric-id":3583096,"id":"Q3583096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a750cdac4e27c6368cd903c0f649c4120b26f3","datavalue":{"value":{"amount":"+0.90355486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$A3E3B41C-4558-4513-9B75-D617EE1537ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0d648fe7302b13b30c1df6c1c82c251fee47f7","datavalue":{"value":{"entity-type":"item","numeric-id":2904139,"id":"Q2904139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40aaf8e7cd1b605ee94579c5ea4feff1cc9fb6cf","datavalue":{"value":{"amount":"+0.90341645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$B5B00CE6-84BC-4122-81DC-E7BCBAFA8632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1513c92bdedb60534ccf5c31e99c384ee0963f","datavalue":{"value":{"entity-type":"item","numeric-id":4853319,"id":"Q4853319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045ad1e9845fce5d9e5523fd6f093f8c39d06c68","datavalue":{"value":{"amount":"+0.8963088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$A4A8A0B8-AEE2-4E3C-987A-0CA5DC36B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f05429549b9d951331c9213ed29711f5b19a5","datavalue":{"value":{"entity-type":"item","numeric-id":5411445,"id":"Q5411445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb2970eb231ed7e560da4bc489d422cef67cc47","datavalue":{"value":{"amount":"+0.8959186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$3CB830CC-8D2E-4AF4-A97D-17536EE08B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1b9f52cc19206ccacb0a956ce0383b0cc7e2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539613,"id":"Q4539613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3512145b27ddc0cc6158e510e3d9744406398c2f","datavalue":{"value":{"amount":"+0.8939121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$D2D55C0E-001C-4C73-9CB7-5D40558AD975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734567748f122138a210c182840a33366fe5824d","datavalue":{"value":{"entity-type":"item","numeric-id":3503622,"id":"Q3503622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd2800f876ddf9cf347fdcb46d54008f26b6635","datavalue":{"value":{"amount":"+0.8929404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$020C203B-0218-4307-9E80-5058F740470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a3b9f4e0ff43df2650d48670cfda678bfb3db0","datavalue":{"value":{"amount":"+0.8895368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295249$150BA6A5-C89F-4576-B97E-08393ECDAB23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295249"}}}}}