{"entities":{"Q3460077":{"pageid":5239477,"ns":120,"title":"Item:Q3460077","lastrevid":88258727,"modified":"2026-06-04T14:03:11Z","type":"item","id":"Q3460077","labels":{"en":{"language":"en","value":"Normalisation by completeness with Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528801"}},"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":"Q3460077$B85C4F8F-F82A-4884-854A-2443C07FE717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19eacf0e0b94ec296979645f1643e5268de5aec4","datavalue":{"value":{"text":"Normalisation by Completeness with Heyting Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460077$123A44CA-EF4A-433A-84FD-ED4BDADBE8CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2c4abce92f93ac7e5e50a758ec9806d807b4dff","datavalue":{"value":"1471.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$2D902A10-C354-4CB0-9541-1B8429923919","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"239d7579349288a4b762f185e62235a3129f31d8","datavalue":{"value":"10.1007/978-3-662-48899-7_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$A87D3C20-E2DE-4610-B33F-0308D225B3F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbef0b0740cab076822123a99d1ffd64e66602d7","datavalue":{"value":{"entity-type":"item","numeric-id":3460076,"id":"Q3460076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460077$5EF92483-AF68-4A8A-B286-A63D407ACB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460077$47768E8B-5B8B-4E99-801B-19B2F41878B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460077$8DA07D3D-44FB-4828-BA4A-F5A7662363EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460077$3A892104-4318-4C01-9B38-DAD926F56167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$6D9770F1-A6B3-4937-BBEC-1BFECF2F333A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$01DD0373-3A9C-454D-8111-BCBE184550F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$60FD9121-7A47-4A66-B341-37DA33744C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$4591F000-2815-447D-B824-98CF9ABBDD15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04fb770524293adc8a59952b451fccbaf6aa881c","datavalue":{"value":"6528801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$04682FCF-9274-4D2D-A924-D2C360F3E5BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460077$FB88DBE5-5D7F-411A-899F-C4B7321187F6","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":"Q3460077$D7A0F4DC-DC62-4835-8282-AC5A4A99CC16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7d395ed191ef375df4130d2d93a4ad4337a2470","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460077$1460B9D4-3E79-45C3-A5A5-DE7A380367F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26696a59a230ed6c6cb18a4a8ac7ac79a91e16d4","datavalue":{"value":"W2295123434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460077$7A90C58D-5058-4207-988B-83041D69A155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4b9d54b0da3c4115311f34cdbd4e695260e620","datavalue":{"value":{"entity-type":"item","numeric-id":4536108,"id":"Q4536108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e1403a00f415876d6ca825efba79fdf6a82a78","datavalue":{"value":{"amount":"+0.7355681657791138","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":"Q3460077$33A984A5-E679-43ED-8001-598379E24D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ba777ec3d69929aae1fe702e999be4e6dd481","datavalue":{"value":{"entity-type":"item","numeric-id":5308449,"id":"Q5308449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e1403a00f415876d6ca825efba79fdf6a82a78","datavalue":{"value":{"amount":"+0.7355681657791138","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":"Q3460077$CCDF8037-716F-4B56-A974-5F9654D7706B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afc35289061bf9b6c1dc265d844e44f1a5fdf85","datavalue":{"value":{"entity-type":"item","numeric-id":3612439,"id":"Q3612439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f442eef8050e77155afae403f9bfe0027c99c52","datavalue":{"value":{"amount":"+0.7262009382247925","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":"Q3460077$38A807BF-7BC1-4041-B179-305B3B7F7E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3888535a4eee201430e4d9663aa780bedad8f193","datavalue":{"value":{"entity-type":"item","numeric-id":4371039,"id":"Q4371039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03478d4df1cfa940f4a9c430cb1be2118729adf1","datavalue":{"value":{"amount":"+0.7130958437919617","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":"Q3460077$B1B9E2F9-E669-4ED1-B549-3E08648BD06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef6a0e436e685ac2b9ffd01ccddf117611ca312","datavalue":{"value":{"entity-type":"item","numeric-id":265792,"id":"Q265792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73f02eac57021a55475df2c51c0ed670e6c75e8","datavalue":{"value":{"amount":"+0.7130154371261597","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":"Q3460077$A88B8A7F-F017-4E4E-B21E-E227997D1360","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalisation by completeness with Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalisation_by_completeness_with_Heyting_algebras"}}}}}