{"entities":{"Q763323":{"pageid":765172,"ns":120,"title":"Item:Q763323","lastrevid":51432374,"modified":"2026-01-18T05:20:30Z","type":"item","id":"Q763323","labels":{"en":{"language":"en","value":"Semi-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013481"}},"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":"Q763323$83C60DA1-A052-4F28-9810-D3B13AAF647F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c047daeb653ae0b60a5788816b947936c49c3e2","datavalue":{"value":{"text":"Semi-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763323$2898D6E5-3297-4FFD-9CFD-3536059C74EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"788533b24ae619f1642096bdb277ed09324b67e5","datavalue":{"value":"1273.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763323$3E8D622D-D83E-47DA-90ED-09F04BFB4CEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff60f539800112c46879724c5b88cbb0551f5780","datavalue":{"value":{"entity-type":"item","numeric-id":495843,"id":"Q495843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763323$20D3CC1E-0AE3-4424-BFD6-ECD49734C2E1","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":"Q763323$428023CA-26C8-4C5E-8B82-2C50EF0224FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763323$44532260-CC72-4DA1-9999-262CFE5995D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763323$4D5C648A-A440-4327-AD5F-1F51A02275A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763323$AC5D1160-3E41-433D-9091-D11C299F09BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcf8c00289c9fb2131251d1940535e2c89f9c403","datavalue":{"value":"6013481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763323$8B6013D0-FCD8-41B4-B1B1-3300190635F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q763323$133CD38A-7412-413F-9F01-C22246DB9736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763323$083A372B-885F-4C88-964D-70B253F8E322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f91923718aafa6282d2e7e5ba773fcd1e17386","datavalue":{"value":"semi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763323$4CB4B7A7-278F-4E33-A4B6-72CB28C4EDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3375cc65232131077f60ae439076659220404684","datavalue":{"value":"semi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q763323$183D72DC-214A-4E6F-9B1B-DDA4A84FEFA6","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":"Q763323$E5B61C6E-51FB-47B2-87D0-88E46778BBC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c7bb6992384c74b42ad864a3ae84e0b4f2d3d57","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9321-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q763323$80D66CA6-68F8-4B65-8349-2CC3BA10E87C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf17b03d632dc93075e77bb378fa54abdfe457f4","datavalue":{"value":"W2094693809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763323$BA1BF2DE-3643-44D9-9F89-A01949B1B78F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1553aae584dd2ca876ec4105e45dafd07b135d","datavalue":{"value":{"entity-type":"item","numeric-id":432182,"id":"Q432182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763323$E3131FCE-B418-43E5-B17A-5950B25C67BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763323$48BB4E9F-E19F-4453-8674-F6BE52877922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763323$C2A4031A-9A7C-4DA3-B8DE-6CFD97D446C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33864f2609cd187583da6f98a002fd3b1d05fa9c","datavalue":{"value":"10.1007/S11225-011-9321-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763323$65EAA7EF-A974-4FD0-9360-C4997C818E1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0df752ae40977c6188917f03a4a76c474633120","datavalue":{"value":{"amount":"+0.9053002595901488","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":"Q763323$CA522FC1-9D02-450B-9204-852656CE1EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245b8fce78c2d75aa4f7382e91e634c74a04f607","datavalue":{"value":{"entity-type":"item","numeric-id":495844,"id":"Q495844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5273bb771b9dfa0a14cbf7f8f4b990a2317eee0","datavalue":{"value":{"amount":"+0.8416759371757507","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":"Q763323$5B322B8E-C714-4F01-9420-667A186D5C7C","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":"7a65ceb9e69c4756e9401dfcee654d8eb63094cb","datavalue":{"value":{"amount":"+0.8318415880203247","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":"Q763323$0CF804FA-8411-49F9-8CC7-E270BE375149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19513ad3ae5d22c6f7aa34a7eb4c838b2107e8d","datavalue":{"value":{"amount":"+0.778598964214325","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":"Q763323$8CE555CB-D66A-4BFB-B9B0-C005EA097DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a058fcd746c7089283bd55497ece760690c93ac","datavalue":{"value":{"entity-type":"item","numeric-id":2045003,"id":"Q2045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c4706485d67f2f029046b4aff13cf779150159","datavalue":{"value":{"amount":"+0.7611032724380493","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":"Q763323$1BA32CE3-4D55-4DC4-BC4C-736C57D5FBDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:763323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:763323"}}}}}