{"entities":{"Q4924547":{"pageid":6954129,"ns":120,"title":"Item:Q4924547","lastrevid":41546696,"modified":"2025-05-05T17:18:20Z","type":"item","id":"Q4924547","labels":{"en":{"language":"en","value":"On the Structure of Mizar Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171461"}},"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":"Q4924547$4E4C5DD4-A542-4FD2-B8C7-BE01ED786942","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"366c3558435542ab5b4cc358dd4ae937ce373c16","datavalue":{"value":{"text":"On the Structure of Mizar Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924547$DD6AD2FD-9495-421E-9244-8607721E14CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fd768915fe18f1288f117707bf6a6a97e7f4e4d","datavalue":{"value":"1264.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924547$67175340-EDCF-46B9-94AA-572509A61301","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ca7aa89172599ffabaf084d5eac5ca608806576","datavalue":{"value":"10.1016/S1571-0661(04)80758-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924547$868D3828-7FA5-43CF-AE8A-BCD5B706A450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e947881a37feaf70ec2d452e5c32ce0e6b540396","datavalue":{"value":{"entity-type":"item","numeric-id":467810,"id":"Q467810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$28A2122E-3580-4A14-BDD9-9F6AC4B3DE06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$EBBD525C-34ED-4A71-8EE1-E4E5E82222CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924547$E0F5131F-63DE-4376-95DE-D7F9C94AE09C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924547$AC8EAA5D-263E-4224-9ADD-90361C524069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924547$F9C8A060-34A4-449E-93EA-E9BDFDAD9DA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20bc7c4c4e6103151b5715c8b53a944e48e1a1c0","datavalue":{"value":"6171461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924547$9DF78F3F-33B0-4C84-A503-C39AD638D652","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$7A449993-F3A7-4CD4-A1B7-C439305A03CB","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":"Q4924547$A53739A1-1D7B-40E6-9C57-3774705261F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$09B1A001-F462-47BC-AE3A-E34C49544C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1efaf3011598847d3954f457cae839aa26e35d","datavalue":{"value":{"entity-type":"item","numeric-id":1876109,"id":"Q1876109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$EC6529D0-E1BD-462F-AD97-8FDBEA3EFB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec326779be5f4f8dc3a81efc985f00f310bbe46b","datavalue":{"value":{"entity-type":"item","numeric-id":597122,"id":"Q597122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$FAC8B8BF-DF2E-43E6-BEFB-E70A8FAC53B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$E4CD0B49-DDE1-43AB-8D7B-A25A766271A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0bfb57e9a97e56fde1afbd62d0dd2171c33df","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$4FC2403C-4831-4AEC-AEB6-3ED3DE45BDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5fdc7a388e99bd2ab8aeeef9f0d0e53fac4618","datavalue":{"value":{"entity-type":"item","numeric-id":4413894,"id":"Q4413894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$EDC326D9-CBF7-4C38-A853-5DE52B62A079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502ad8224b7ee39a96e36cfcfba1b8b740baa8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924547$D7C593A7-A557-47E3-9D18-45CA1B8B6F97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27574fb731bbce0293472a4c22cbd141d258aae","datavalue":{"value":{"entity-type":"item","numeric-id":5430138,"id":"Q5430138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe4683f03c088de573051ecf643d3e611f90854","datavalue":{"value":{"amount":"+0.8695467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$70BC286C-C7DE-43E7-8CED-3754FD45264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b4b4a056841775ef0cfb2fcd8ef0cfc5f331b1","datavalue":{"value":{"entity-type":"item","numeric-id":3787444,"id":"Q3787444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3f4e761865b43925994667c5a636a1d76163a5","datavalue":{"value":{"amount":"+0.86907244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$4F021E04-05F3-4F4F-ABC1-AEB32602354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30236fc3b74a9895f8ae2ce7459a58098d1f8cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2577729,"id":"Q2577729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771166ec9b5e92dbd9a62c96f0216d7d66c18bf3","datavalue":{"value":{"amount":"+0.86616373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$1F553BAC-FF57-4DE4-BF68-6C188124426A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780af827b95844439380683ffd43adcb892a2143","datavalue":{"value":{"entity-type":"item","numeric-id":4357062,"id":"Q4357062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0b41e60a5df173c5b342f680e8793347312fff","datavalue":{"value":{"amount":"+0.86287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$1E3A3400-9C18-4E7E-8746-9F2F422CCA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cf1f995c3d2a4256a5e5abb44fb16e7976c88e","datavalue":{"value":{"amount":"+0.8627935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$652AE043-3A85-4256-8840-3E340B381EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70332f25f8b1ef60c0baa6e2083a28ef246c43e","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef66bedb6d3524aaee0ccfb914c732531d26681","datavalue":{"value":{"amount":"+0.86179924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$4697AF7A-23E3-4E9E-9CAE-39A02B790C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e36a599e68f8caf24eea88e14d6faada392aca6","datavalue":{"value":{"amount":"+0.8604757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$9D732952-0626-4EEF-885B-A8895CE819B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4fdaeb0f565f7b718a581de1ce93bab03bd07a","datavalue":{"value":{"entity-type":"item","numeric-id":4340540,"id":"Q4340540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed78f32cb1151c58c98c60e1d0fd6349d4f06d23","datavalue":{"value":{"amount":"+0.8571838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$966D722A-AF93-4326-90BA-C13F3B7F9641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce25bcf4b2cb9ccf735d9c27afd6b979a44be2af","datavalue":{"value":{"entity-type":"item","numeric-id":4338455,"id":"Q4338455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f519330e87a4b10e68d155ecbfd392417b0a8ad1","datavalue":{"value":{"amount":"+0.8567956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$02C527FA-F736-49C2-B673-D912B62EBF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0dd7e0d0f81640acd36efb23336249710bcfa9","datavalue":{"value":{"entity-type":"item","numeric-id":2303780,"id":"Q2303780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4afebab9499188c28591858929ebaa78e97d2606","datavalue":{"value":{"amount":"+0.856678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4924547$F788DBD0-B7AE-412E-A026-4A1FB8BCAF75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924547"}}}}}