{"entities":{"Q286797":{"pageid":288564,"ns":120,"title":"Item:Q286797","lastrevid":60662532,"modified":"2026-04-10T18:21:59Z","type":"item","id":"Q286797","labels":{"en":{"language":"en","value":"Mechanizing complemented lattices within Mizar type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585255"}},"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":"Q286797$9E817E60-EA6D-4B9D-BE08-166A7CD992B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07a98286abf921f4f5bbe88297c8301ab5a564f0","datavalue":{"value":{"text":"Mechanizing complemented lattices within Mizar type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286797$00826F07-E94B-4975-9966-90CF0FF023F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bca2b9db8d0349641233acdb735de163ee052f8c","datavalue":{"value":"1356.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$53D353D1-A886-46B1-8E09-4BF74A176284","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"190c708f4bcaf9a439fd932d05a6c37c8907530a","datavalue":{"value":{"entity-type":"item","numeric-id":271909,"id":"Q271909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$3F148EAE-0B0F-4A6E-8282-F0B39652B547","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$C419AFB5-ABE0-4684-8CE0-6CABCBDE1E6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286797$455494FF-AF0A-43A7-AE1C-4ADFF9FB9B5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$714B086A-936F-42C3-AD76-4D3805894413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$0D57D017-FDE7-4A10-A7A9-4FC1AF2299C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$4FC42C5B-4EFA-4285-BE2B-6389AB3A1A56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec84426c951a72fda53f1a706e571536c5b782d","datavalue":{"value":"6585255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$0C022340-240E-4B19-B585-18C8A068C346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286797$CDC3B328-0554-4E9A-9877-7F1C8F44D4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q286797$B09691FC-9C51-4F63-839E-01E905B955CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40171f7817a55fb46fff1b66a05c58c130748fa","datavalue":{"value":"complemented lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q286797$AFD3FE13-2162-4490-88A1-19EDEC3C359A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$007F499A-BF38-48E3-B741-461246234959","rank":"normal"},{"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":"Q286797$B093D5A3-A57B-4EFB-A34F-01F06589F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$1704DCE1-6545-4700-8021-A67ECDDE2E00","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":"Q286797$11F5A78F-39F1-42E2-907D-C8A6307F3CAE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99a9169bb5073b3434790cd85c3e35d125106f0c","datavalue":{"value":"Q59407587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$006209FF-140C-44A3-83FB-089887FBF191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2079c2da334124492303b947714fca6b7e9475e","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9333-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q286797$EABDBF32-278F-4C56-B836-35CFEA32C736","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b24ea82fd64e813d4d7a013c82dc64ae68443f1","datavalue":{"value":"W2128085487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$B7D5DAA1-E338-427E-A794-F8F17FD497A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f23db2dd4d34a2f60254ad57a8915830982b5","datavalue":{"value":{"entity-type":"item","numeric-id":5200114,"id":"Q5200114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$192927EC-5339-4D9E-9366-62877061630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857ed6aeb3d55f3b65a0db4f8a0cd55ea964ff63","datavalue":{"value":{"entity-type":"item","numeric-id":2751538,"id":"Q2751538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$160BAFB6-87B5-435F-AD94-5751573EB3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e09fec5d336d41c3a34de2171a3b627f63c544","datavalue":{"value":{"entity-type":"item","numeric-id":1273392,"id":"Q1273392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$BE9A1C35-99AF-4552-8563-78DF7CB8AAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a6cc70018fe06d1543ad9cf8635969a6672da3","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$3232867D-CEB7-4E19-A1D6-ACA088A72607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fcaa03a7e112faaaebcb4cc431e02a031d7272","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$5266FADB-A221-4C07-9939-AC4F0618B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ee76102b0711d762453c86d361aa67599071c0","datavalue":{"value":{"entity-type":"item","numeric-id":5411648,"id":"Q5411648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$E2F49EB5-CF56-48FC-9FFA-CA4EFCBC3197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77df1449645f272c119be1cf331ab7ca6e0e402","datavalue":{"value":{"entity-type":"item","numeric-id":467793,"id":"Q467793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$37E9651D-A65F-47EF-AE5C-CDA8106B5490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$13766BD5-EB47-4A6E-AB4C-D2594A7EF5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887efd17320625725aeddf6391561534d8fcc309","datavalue":{"value":{"entity-type":"item","numeric-id":5428273,"id":"Q5428273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$3AB1A3B8-734F-4BF4-9F20-ADA45BB94674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$37BD3FB8-967F-45CE-B03D-4BE743FEFB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6492ba77d8c359f41c0ff445fa725284276e282c","datavalue":{"value":{"entity-type":"item","numeric-id":4752671,"id":"Q4752671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$1990E06A-4509-48E5-873A-13F5560C0634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a2d77c10bf7b1b25fa6ef3b8e22e9e85ddafc","datavalue":{"value":{"entity-type":"item","numeric-id":4752100,"id":"Q4752100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$0E9923C1-19B9-40EE-8F92-56FD5F6F25BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d8267b8b601e92bc0ef555ffe6911eece93f5","datavalue":{"value":{"entity-type":"item","numeric-id":1945908,"id":"Q1945908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$69B5331F-AC74-4CEF-883A-B4684B3FCB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$EF5475E5-C892-4D2C-933C-17375291A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4b8a556b0ebfab4e780293fc359a3bb7afe7da","datavalue":{"value":{"entity-type":"item","numeric-id":5852118,"id":"Q5852118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$C821EC4D-B3CB-4EC2-A44A-C99FED1EB710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec41d91b97fe450aba006d86ee1b6e337fcab2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5313068,"id":"Q5313068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$9E38059C-225A-4ACA-A5A9-687D2A573DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$75DE6936-D73F-4EE6-83E8-69B53AC8E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$E0B5D753-B89C-421C-9058-74F83D5191D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2efa9cc52b9c7802bc3fd73236ab4bbd639fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2921120,"id":"Q2921120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$37F1BEEB-1AA4-4B8E-AD09-3B1ED797F94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a256449611c84a11b081fc6ab121a5b321e50f","datavalue":{"value":{"entity-type":"item","numeric-id":1945902,"id":"Q1945902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$A6C0820A-8604-44B5-B11F-34FD58FBDF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$AEEA4A68-A7CD-42DE-9ABC-CD05FA4F1833","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afc407f30937746258759eb505c416dcc98720af","datavalue":{"value":"10.1007/S10817-015-9333-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$A887A577-906E-4AB5-B303-FFD1851F20D7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"81f21a4caae70e476c2258eed4169fa71a5ab212","datavalue":{"value":"journals/jar/Grabowski15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286797$A824846D-84A1-41D4-A23C-C57165A3E5A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4551aa70c95edd39b473bb1c4a05a139daf42c79","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80240a218f9ffd203dda5c66cf76f9ec63fa068b","datavalue":{"value":{"amount":"+0.7891294956207275","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":"Q286797$A849A82B-6D39-4E1A-8D37-6E2F79F77577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16fd5e3ca58fa6b4d7561aac2526b05fde143c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2751538,"id":"Q2751538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333c9bfb009466d1a036b7d1402cb2bc938925a6","datavalue":{"value":{"amount":"+0.7825232744216919","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":"Q286797$02DFBDA4-B5E6-4764-94B5-FFA73DD32839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d74722eb705be73d2cbb33cf7b4930a73d65797","datavalue":{"value":{"entity-type":"item","numeric-id":3804240,"id":"Q3804240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c330a2389905bb5841b392b86ee517a5ffac0920","datavalue":{"value":{"amount":"+0.747771680355072","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":"Q286797$89F98B75-8E4D-4CDD-AB71-6212E68A1CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b286d2791cb2fb06787b21e2079f5b16ae583e","datavalue":{"value":{"entity-type":"item","numeric-id":4589200,"id":"Q4589200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4e13d4c90687e3a9815ef8188a2e1ba17a5924","datavalue":{"value":{"amount":"+0.7428443431854248","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":"Q286797$2932F7D3-CA42-4950-ADB7-BE19A145237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a215b20f9f45b6886a1bfb03248e2fea87aea6d6","datavalue":{"value":{"entity-type":"item","numeric-id":2311528,"id":"Q2311528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c81d5530c9b7f5cdbe3368590243516d95b035","datavalue":{"value":{"amount":"+0.7205968499183655","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":"Q286797$7E57BF29-6545-4AB0-9C38-3BF4AB730DA8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286797$1C932D05-ABF8-450B-BE24-9EFEC7CE19D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing complemented lattices within Mizar type system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_complemented_lattices_within_Mizar_type_system"}}}}}