{"entities":{"Q617783":{"pageid":619559,"ns":120,"title":"Item:Q617783","lastrevid":63094335,"modified":"2026-04-11T10:33:05Z","type":"item","id":"Q617783","labels":{"en":{"language":"en","value":"A finite axiom scheme for approach frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835850"}},"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":"Q617783$1AE3ADD9-FB5A-4C5A-8BD6-F549CAAFC279","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74a5d3e3c1fdb55ea6cbf4453aeee822d6f411a9","datavalue":{"value":{"text":"A finite axiom scheme for approach frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q617783$467D1EA3-224B-480F-A890-1971EEDD8023","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7640e71137812738fa3706fbd4b669572f8cef93","datavalue":{"value":"1227.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617783$034D620D-2CA9-4397-B080-22E6AA09830E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab9289b77c541cc7cfbaacb546c7c0521b7b58f","datavalue":{"value":{"entity-type":"item","numeric-id":617781,"id":"Q617781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617783$C4634E9E-41E8-4403-B7A6-625875F745DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef4587eb5604e646574702d738b373a080906f8","datavalue":{"value":{"entity-type":"item","numeric-id":617782,"id":"Q617782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617783$9C036F49-A9A7-4F1B-A4E1-A2A7DD4BB1F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617783$5D6F026B-DB84-4DCD-BC76-7A7EAE6A3499","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97c1d6fc2599d06259094f1abb3cc946622f97a","datavalue":{"value":{"time":"+2011-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q617783$C401795A-439F-4506-A624-04058127C600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33649cee2d226c8af2e74a1cfcf2b0753ecb4b67","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1292334064","type":"string"},"datatype":"url"},"type":"statement","id":"Q617783$6C918CD2-B161-4504-B631-AC3A8EE549DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b76c15b1fd0ac66881ca310caaf3fdc62d6613a","datavalue":{"value":"A finite axiom scheme (6 types of equations) is presented for approach frames, introduced in [\\textit{B. Banaschewski, R. Lowen} and \\textit{C. Van Olmen}, ``Sober approach spaces'', Topology Appl. 153, No.~16, 3059--3070 (2006; Zbl 1114.54007)]. It is shown that the category of approach frames is monadic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q617783$15FBCF08-5A42-4757-9BB7-06E7223B7DEB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39c8e68ebbb6239a7873b2b00bd16c1eeab88f30","datavalue":{"value":{"entity-type":"item","numeric-id":230416,"id":"Q230416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617783$7026E92C-D63D-44EB-B889-748902260114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617783$7A0C2811-B84A-4E3A-A62A-CD448D4A2392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617783$A5ECBA1A-80B6-47C3-9BFA-955091103901","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8fbb2c308c1ad5dfffbbd4f4c5a60043be85fe7","datavalue":{"value":"5835850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617783$D30F9F27-FC71-4C1D-802A-EB944BF2AF8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed3c6396e387e5b0b3c14305bd4c7c62cfb6489","datavalue":{"value":"approach frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q617783$D14AF208-6AC2-401A-92C8-3663DFDACA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4df96f33ded25aafd8388047867475bebecd87","datavalue":{"value":"approach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q617783$555BD34F-CE0C-44E6-AD52-CC1FFA0F8120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24c59644df179cb21b4d78eda05231c17cd1d55","datavalue":{"value":"Eilenberg-Moore algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q617783$3A75EDB7-F5BB-4DAC-8F59-DCDF9A6B26EC","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":"Q617783$A7B26551-EE2A-4502-A088-BB46B327D281","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67730713c304a8c027ca3a2d425429740452ce1a","datavalue":{"value":{"entity-type":"item","numeric-id":2508928,"id":"Q2508928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea007dfadc35332afe1992e0a69c4d92c80907ad","datavalue":{"value":{"amount":"+0.7601006627082825","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":"Q617783$B4F5ACF9-88D4-49A7-8A73-10D54700E87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edfa3d2d40e91d5fec0288212aabb4932ed232","datavalue":{"value":{"entity-type":"item","numeric-id":3831682,"id":"Q3831682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80bbbd0e0bdb5d8a5c2971e10c186cd1d985b5c","datavalue":{"value":{"amount":"+0.7539729475975037","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":"Q617783$86A1F89B-E438-481D-8578-C6D2C727B4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1f0383c9a50849bb5c62645e650487475e0f28","datavalue":{"value":{"entity-type":"item","numeric-id":2460649,"id":"Q2460649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8d0efcab50966d5b69a4362f803d038bde53b3","datavalue":{"value":{"amount":"+0.7456839084625244","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":"Q617783$74F5A2D0-1D43-485B-8867-702622E8C521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d709c0b99bcf26b8ebf7e88b057e5205f2a34d","datavalue":{"value":{"entity-type":"item","numeric-id":5191282,"id":"Q5191282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d530544fbc3b4f93e46cff51b579a6cfc2c922","datavalue":{"value":{"amount":"+0.7448898553848267","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":"Q617783$80EFB0BF-5FF2-4E13-8229-30C1272477BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18cabed4924cf32e18be1785b9f8b74237d261e","datavalue":{"value":{"entity-type":"item","numeric-id":1307404,"id":"Q1307404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd54cea15945c38077c3b0001a03641e4d358e9","datavalue":{"value":{"amount":"+0.7312029600143433","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":"Q617783$867F93B1-F085-40B4-8A95-2BA7B3BE9199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finite axiom scheme for approach frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finite_axiom_scheme_for_approach_frames"}}}}}