{"entities":{"Q5903071":{"pageid":8013159,"ns":120,"title":"Item:Q5903071","lastrevid":48918832,"modified":"2026-01-06T04:34:40Z","type":"item","id":"Q5903071","labels":{"en":{"language":"en","value":"Some Remarks on Heyting Matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946124"}},"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":"Q5903071$D7C5710C-15E6-41B8-B2E6-E3EFA7BEC55F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e50e8c91af738015df8137a2534fe96b384d2526","datavalue":{"value":{"text":"Some Remarks on Heyting Matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5903071$062A7047-AA7A-4792-A58B-24383DC925D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ffbf18bdc72456d6b746032d626fb1f01d42c34","datavalue":{"value":"0589.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903071$3731802A-9C4A-4A26-96FC-4605F96A39CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc8dcbf968ebff5e32c9bfc9430cbef55065afb","datavalue":{"value":{"entity-type":"item","numeric-id":218967,"id":"Q218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903071$57E6651C-FBDF-4F08-BE4E-D5E7E139B352","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":"Q5903071$3DD58770-1DB3-4052-B403-F50872DFC1A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5903071$6F1863A5-BA37-4E0D-A40F-8721D047DAAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"743a4436d479391f0810358944f430b47dacbbce","datavalue":{"value":"http://hdl.handle.net/2445/151659","type":"string"},"datatype":"url"},"type":"statement","id":"Q5903071$61D80966-85BA-4D75-BD29-7C52A8D35D46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903071$0F58DD19-1597-44F4-A127-8ECDDBF6C888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903071$B7213213-91AF-4DF2-8448-3E8691096793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9039ce837d9cf1449b23e02d4738f9a82a2470b","datavalue":{"value":"3946124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903071$E1C3C090-68D7-4A21-ACE3-E9D257CE8B70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903071$CA32B3F4-5E4C-4A8F-9435-E3EED17DE341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903071$267B62F5-1755-4BB5-A9C8-0E9FCB062A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903071$8E0E5154-09D1-4D69-89E5-015335BBCAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715e999f3db4b614135f51d96e771f27e09985f7","datavalue":{"value":"semantic consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903071$650CB009-31F2-4960-B7E4-AFADC4272373","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":"Q5903071$4772BF8A-F2C4-4D3E-818E-635CBD30F4BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8b29d5b52204f006e269bb335bf668e1013c6c","datavalue":{"value":"W2009382485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903071$F8443B87-CC64-4936-A5E8-5FDB1CE2AB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9fbd33d7007fc6a5ed984476e9a97e732f86c12","datavalue":{"value":"10.1002/MALQ.19860323104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903071$596D1CD6-8CE9-412A-BD77-1E8A6828211D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144539b0b7daa5eb9a1a587da3d5516ecfb90607","datavalue":{"value":{"entity-type":"item","numeric-id":5903399,"id":"Q5903399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fdce281cccfe1f9f673bd4a95260d712810e33","datavalue":{"value":{"amount":"+0.8769327402114868","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":"Q5903071$BC85E437-D0B7-4A4F-8775-42042BBC4D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b9b5c934709efd014283e75e2a3c7e5bb1de","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a0be6d58f8f945a3ba2a3d1131da7854f6775d","datavalue":{"value":{"amount":"+0.7421807050704956","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":"Q5903071$597936EA-6786-440D-8FC7-352E7842709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae3d0f7971d8fedb0a61482afd4cca0396faf07","datavalue":{"value":{"entity-type":"item","numeric-id":792325,"id":"Q792325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b41295542e7a2fc04afe16f56943641c80430ba","datavalue":{"value":{"amount":"+0.724368155002594","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":"Q5903071$A7F6F0E5-8B1C-4A3B-A62A-46C6F63A96C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbafb5ff70359e77f6039163fe9e133eb232b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4709580,"id":"Q4709580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa57f36ebc69b923ee809032a943ba6f118c16ab","datavalue":{"value":{"amount":"+0.7208333611488342","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":"Q5903071$47F45EE8-862F-4D87-8763-E9CAE7031612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052cee0778262a36500115ee5837331a157194d3","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1a1184ffeb7d9905b8d8821cdc21d115ed0bf8","datavalue":{"value":{"amount":"+0.7192837595939636","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":"Q5903071$6E917C05-53CD-46A4-A6DD-F1F3EF405099","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5903071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5903071"}}}}}