{"entities":{"Q551372":{"pageid":553139,"ns":120,"title":"Item:Q551372","lastrevid":62691567,"modified":"2026-04-11T07:48:17Z","type":"item","id":"Q551372","labels":{"en":{"language":"en","value":"The largest solution of a linear equation over a complete Heyting algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5926651"}},"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":"Q551372$5EB7400E-A486-4F78-996D-3FDD77D5787C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb81bc5765a5e82ae8cd2073d7b2d8ff90e7fe3a","datavalue":{"value":{"text":"The largest solution of a linear equation over a complete Heyting algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q551372$CAF11C91-00B9-420C-8277-506763476E6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a72559f3852e54b1a44b6b84d08aac3dfa676ea","datavalue":{"value":"1240.06037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551372$6CF3FF59-052A-428A-889F-1EDE399B55FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb361c256c73db112897efe3d32ec9d8b01561e8","datavalue":{"value":"10.1016/S0252-9602(10)60080-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551372$C6D3DA93-5594-4195-BAA4-6B62463FCA70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5202046f402fd7da842069c905d875379e1e0ea","datavalue":{"value":{"entity-type":"item","numeric-id":551371,"id":"Q551371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551372$7E79251C-5A98-41FD-8FAC-54585FA99A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f15a1eb3c252513b7c6682025955cdc7d7ca297f","datavalue":{"value":{"entity-type":"item","numeric-id":929436,"id":"Q929436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551372$EF6CC242-2692-4915-AFF8-DD720005E328","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e2015506caa2c2bb781628c52d899a6bf2aa1d4","datavalue":{"value":{"entity-type":"item","numeric-id":210200,"id":"Q210200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551372$0E68DF0D-CF40-4592-8D68-267E4CABA5EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31178e5ce36c889b8693b47a1db458ac7d81a215","datavalue":{"value":{"time":"+2011-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q551372$CF8F3D7A-D63A-49D6-8BF5-700EB8AD7517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551372$1ECA8857-F8EF-49A5-A8D3-9C60F9863FF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99317a1680332967ae5beaea916ccefa16aa9452","datavalue":{"value":"5926651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551372$7B2B33C6-5DF6-4717-AD94-FD12957A72BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q551372$473F1736-6595-4EE5-8183-A7A292A6403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q551372$F81798C6-C7D5-420F-A5BC-162F9EDAF052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53626d25964b55292ac367a150678c16fc7a7025","datavalue":{"value":"linear system","type":"string"},"datatype":"string"},"type":"statement","id":"Q551372$880A58A5-8CBB-4C01-8204-090606B8A3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4faadb31350605029863fa558e0377c57c8f4a7d","datavalue":{"value":"minimal covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q551372$EF8106C3-0AE1-4BFF-BB73-65BF18FAB746","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":"Q551372$26A2EE54-141D-423B-A851-622932B69A00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b265ccaf3a704a9b215739ae599e5b709ac209af","datavalue":{"value":"https://doi.org/10.1016/s0252-9602(10)60080-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q551372$672B9F5F-652B-4883-885C-2E9AB77B0B79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ec3213d9d396f44c74116c5f7d6d2d280d577ee","datavalue":{"value":"W2088264919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551372$8C67581A-0D17-4840-8475-E0A04FB16BCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded06bec67e9bd2a64048a215194941c2635ad84","datavalue":{"value":{"entity-type":"item","numeric-id":2788157,"id":"Q2788157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b90747e513d9a75e118b7994766da98fbee088","datavalue":{"value":{"amount":"+0.7092313766479492","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":"Q551372$CABC3019-4383-4765-9CB7-3B978BBC942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce073149f361dbdf68a6de048a9c45e6eb280b0","datavalue":{"value":{"entity-type":"item","numeric-id":913838,"id":"Q913838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385901791a7c15da4f906ab2c236dae381fcb8cc","datavalue":{"value":{"amount":"+0.7081382274627686","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":"Q551372$E295A421-A441-4601-B9FF-5FC913C86BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c04f78bc28b14c390d5ca0ee0384e04241f0160","datavalue":{"value":{"entity-type":"item","numeric-id":3008340,"id":"Q3008340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3788561a056c0da486f96d06e97ffb51930292d","datavalue":{"value":{"amount":"+0.6948400139808655","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":"Q551372$1B96A2CC-3B53-4D1C-9A09-E17B05F82486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493470d2fdc1ba635cf84eb5a3b06482311e7a82","datavalue":{"value":{"entity-type":"item","numeric-id":4906709,"id":"Q4906709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21293014f23105687b1fde61e9e975047b3252e9","datavalue":{"value":{"amount":"+0.6948121786117554","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":"Q551372$FC721F59-6C4C-4F92-B5E9-C98CD9EB251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847a09bf3ea174c23948916eed765a722203f1b1","datavalue":{"value":{"entity-type":"item","numeric-id":5319147,"id":"Q5319147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8b03ada9839b6b7294cc0caa5160c3ae1f08eb","datavalue":{"value":{"amount":"+0.6947469115257263","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":"Q551372$2CE29D62-1AC7-40B9-A532-F1B7226B3DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The largest solution of a linear equation over a complete Heyting algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_largest_solution_of_a_linear_equation_over_a_complete_Heyting_algebra"}}}}}