{"entities":{"Q4575123":{"pageid":6604712,"ns":120,"title":"Item:Q4575123","lastrevid":89838329,"modified":"2026-06-04T18:24:00Z","type":"item","id":"Q4575123","labels":{"en":{"language":"en","value":"Model completion of varieties of co-Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6903034"}},"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":"Q4575123$577F75E0-3767-4F0E-AC99-871B1AE802E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c1ab6b1114ba44062d22aeb1959365ce0000ccb","datavalue":{"value":"1434.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4575123$D0EA39A6-5A83-4940-853B-9C29B499C435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca3770310b276f1048c3608aa7a99d2217b5dc3","datavalue":{"value":{"entity-type":"item","numeric-id":211107,"id":"Q211107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4575123$89F174DB-9FB4-4405-89AB-0800D4D98D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0038a23b5c36647f29d94f395e9b78208bb1792","datavalue":{"value":{"entity-type":"item","numeric-id":535090,"id":"Q535090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4575123$E2D8D309-F6C7-4039-A7F4-9D7703BAA8B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e8d96050dc8f97139400c8a4bb666fa6fdd207e","datavalue":{"value":{"time":"+2018-07-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":"Q4575123$4852EBD1-896D-4E3B-8397-4F62A5F9E0F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8e8d8ec7ff19c271b1a0bb74a1e79ec4f197f0d","datavalue":{"value":"https://arxiv.org/abs/1001.1663","type":"string"},"datatype":"url"},"type":"statement","id":"Q4575123$B932B82B-E55B-4DBB-97A7-C9D54A7CA2C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4575123$28F0BED9-C964-47B1-8D69-8471D417104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4575123$F18E32A3-6CE0-4698-B6BD-F2A410D011FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4575123$8AC455EC-D8AF-43AE-8123-643B64D96AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56095b12b6b09f2f236d0dc9cdd67d888c321234","datavalue":{"value":"6903034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4575123$FCD1B13F-10BC-4D2A-813B-84681147511F","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":"Q4575123$154157EA-3943-4051-8FE0-49F7970EB874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994d512cdb3bc85eeba81b75caf6e3c6ad8af06","datavalue":{"value":{"entity-type":"item","numeric-id":1372155,"id":"Q1372155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc651066376cf273d6440240630f64bd6235927","datavalue":{"value":{"amount":"+0.8510619401931763","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":"Q4575123$3D9414C3-A2A5-4F4E-B298-24CE554F4BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc651066376cf273d6440240630f64bd6235927","datavalue":{"value":{"amount":"+0.8510619401931763","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":"Q4575123$EFF7AB9C-EFEB-4579-83F3-CD7EF166F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d871762fa3c6c70afd3ce42928e5613b0beddf","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5084dc600ec08c06fe02a376fedf4f3835453376","datavalue":{"value":{"amount":"+0.7717576026916504","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":"Q4575123$1D2D11E2-5F75-42FF-B3D2-058E63223CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad8131e84299f24991e38d1f71f7e3a2a0e238b","datavalue":{"value":{"entity-type":"item","numeric-id":2062218,"id":"Q2062218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d038b8e212cb3021ee3c084b3b6183cebe3656","datavalue":{"value":{"amount":"+0.7679764628410339","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":"Q4575123$EA419F93-9C6E-4AA9-AA87-631916237B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd466a5678c34c2e76a740eef98c6e202e0fec90","datavalue":{"value":{"entity-type":"item","numeric-id":3772270,"id":"Q3772270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ba2e6d903135a1e641b21f46fe7635b6d45b12","datavalue":{"value":{"amount":"+0.7619693279266357","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":"Q4575123$746E6197-25DE-4E2F-92D6-ADE4A01FDB1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model completion of varieties of co-Heyting algebras","badges":[]}}}}}