{"entities":{"Q4625564":{"pageid":6655146,"ns":120,"title":"Item:Q4625564","lastrevid":53367926,"modified":"2026-01-24T20:09:45Z","type":"item","id":"Q4625564","labels":{"en":{"language":"en","value":"Invariant filters of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7029114"}},"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":"Q4625564$EB8112D4-A661-46C3-9431-F42A224098AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26db657f1d2f1c0ca8ad0ccf68beb78da48986d6","datavalue":{"value":"1424.06037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625564$18302931-975C-4D97-A2CB-CD1197D85928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49995d2f6eed336882e71a3eb792fb94366cffa5","datavalue":{"value":{"entity-type":"item","numeric-id":1430960,"id":"Q1430960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625564$6ED35D40-DE6C-4D9A-A379-58EA678D09B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de6231e2c15042f8d09f82d34b78d1fbec842408","datavalue":{"value":{"time":"+2019-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4625564$8C3AAAB6-989D-40EE-A6A5-F72516D7F0F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625564$FAD457C5-DC0C-4D49-9A3A-D2A35FEA7474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d46e38acfe8929f5b9968d7a23865ad0fb8f1ffe","datavalue":{"value":"7029114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625564$924242E4-431E-4AA4-A41D-B706C185A459","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625564$1D707868-1D12-41F2-A0EA-572317BC5E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df6890e0e5ed7b43bb261287c55fc2de59d8055","datavalue":{"value":"invariant filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625564$607CF1C6-D749-4988-93C2-C14E66AC5E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625564$B87BED87-6C17-44DC-91BE-38AD959BB132","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":"Q4625564$40511A39-1A03-4E4D-B740-6DFB382337F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5189509e8526013253aa60c1247569dfc27c5d93","datavalue":{"value":{"entity-type":"item","numeric-id":3175968,"id":"Q3175968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca356cdcc0f2f010dd390def87b578ee2702020","datavalue":{"value":{"amount":"+0.8529343008995056","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":"Q4625564$76479AF2-2470-45B2-BAA5-061B612663C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbb9215c3e9a1f8562cb652327f3e64bfa9b6c9","datavalue":{"value":{"entity-type":"item","numeric-id":5196083,"id":"Q5196083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fbf7a8327801614af91c06217ada63ebac62ea","datavalue":{"value":{"amount":"+0.8496119379997253","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":"Q4625564$9BDA39DF-7550-4B9C-AE2E-043CDD0DE773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4f524f443e400f366a47daa9ff19acf2a32407","datavalue":{"value":{"entity-type":"item","numeric-id":542560,"id":"Q542560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3f71a0c539839bf338434818fc43bd244b951e","datavalue":{"value":{"amount":"+0.8415563702583313","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":"Q4625564$DDF20E78-2DDE-4B1A-8519-9B6BB2E8BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c2a9871560afbe92482257f06fcd202168f2ac","datavalue":{"value":{"entity-type":"item","numeric-id":5212293,"id":"Q5212293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306fd7e8605a7aac2671fae2e6758fa1950f8382","datavalue":{"value":{"amount":"+0.8359109163284302","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":"Q4625564$83D6E1B7-54BC-4BE3-B786-1D077D09390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6afb0cb6048a5fbf328487d5b9bb73319577a1","datavalue":{"value":{"entity-type":"item","numeric-id":4980990,"id":"Q4980990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb5a57a6c2bea287077637f9f3069b332851454","datavalue":{"value":{"amount":"+0.8167577981948853","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":"Q4625564$105DC010-2185-42C6-ADC9-5E1DE9BB2669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4625564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4625564"}}}}}