{"entities":{"Q286801":{"pageid":288568,"ns":120,"title":"Item:Q286801","lastrevid":60662568,"modified":"2026-04-10T18:22:00Z","type":"item","id":"Q286801","labels":{"en":{"language":"en","value":"Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585258"}},"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":"Q286801$E29A2474-6604-46C7-9D70-BA381F5A4215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6894642d0a69b4d46631cfe358751401b97928a4","datavalue":{"value":{"text":"Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286801$0773C98A-026B-48AD-845F-D7472F706928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"053a2902f6a604f2f08d0ab43cb7b08ee4703721","datavalue":{"value":"1356.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286801$EC4F25D8-883B-44FA-B3CF-4191A661F9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$E3DCCA3E-BC05-4E2D-BF14-64D3DEBFB38D","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":"Q286801$46175613-FE8F-4A04-8786-9C4AABE67005","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":"Q286801$42C17116-ED84-41F6-AE1D-B24F5B5767A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286801$6525B470-36BF-4B0C-814B-F1F7BC142E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"848ecdb6372ba5a40c5c6b6a79cc2e220f86b58e","datavalue":{"value":"6585258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286801$B2B7FA28-7C9E-4DE3-8D88-D12840811EF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q286801$1544F27B-F8A9-4AF7-A785-5625A9C51B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q286801$CF5A4C2B-DA5F-41A1-81B9-96A5E11D283D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5acab61b14188d4882723e4b7550d1ff18a8947c","datavalue":{"value":"definitional expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q286801$86116134-CBBC-4F71-BB71-DBF45B8548AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q286801$616F3E8E-43B6-4FA6-9A13-5FCBBAB228E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$28F5FF6C-1447-4C13-B481-BAE3A956F16D","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":"Q286801$C8800C3F-3375-4195-982E-5321967626EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$73332DB0-860A-443C-A92A-46EF38E63FB3","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":"Q286801$8E45E42F-C288-4555-B8E4-0608EBD80348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"922706ee9897f69f08f150b712345c6447f4b60e","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9331-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q286801$37416EFC-8305-4F4A-9B41-C50FECF3BCF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a07a7a4afe72f377cfadffbed5aa114d2e149173","datavalue":{"value":"W826005707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286801$5E57E569-0495-4D45-AE2D-1EF9B160DFF2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3050d073b1ce0433777cf76e685c91b9effa9c7e","datavalue":{"value":"Q59407724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286801$E8EF5ECF-7D49-49EE-A9F1-A9F55F8F577F","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":"Q286801$BC814462-8BDD-4DE4-BF5E-F9F6838EE9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e8f24b57f87c650609f2e20bd82f2c350ec9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5756776,"id":"Q5756776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$C3504B61-B336-4848-8962-4FDE0C5465E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4028b0215dcfb37982ffb4f5fd7958ff82b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$F2E9B8B9-E6B2-4C54-81EF-5D571BBB00EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64a17260ef50bc61d32defb60063d695fede481","datavalue":{"value":{"entity-type":"item","numeric-id":1197385,"id":"Q1197385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$FE926373-77BE-4828-B2B0-591652D30F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d14bb152f9747d6b55d05364d80a9ce075db182","datavalue":{"value":{"entity-type":"item","numeric-id":1945907,"id":"Q1945907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$C257E667-1B50-46CB-BC73-3B9F994F329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46990127d8561f0f394dc555a34d6f7eabed04f3","datavalue":{"value":{"entity-type":"item","numeric-id":2907343,"id":"Q2907343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$5D963208-8E0E-4960-A105-BF51706C9561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f281c6a82bcb84d421ad4e81fc10989f593d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":2847392,"id":"Q2847392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$C6B2B3E4-C877-4588-AC46-FE3F7C12EB0B","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":"Q286801$FE8DE71E-BAB0-410C-8AA2-479B9C08F6F8","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":"Q286801$BB38AF2E-CE80-4FE1-ADF8-0C7BC055BDA9","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":"Q286801$A675ED4A-C98D-4A96-B7FA-38B6BCE2ACA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7489ea30e71537d01eea3d2bdcb704e187c3f139","datavalue":{"value":{"entity-type":"item","numeric-id":5898511,"id":"Q5898511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$0237D70A-270B-4C37-B9FD-5B687B33034F","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":"Q286801$CA592BED-6CC6-4639-846E-23D375D03847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$5FA1132A-EA6A-49BC-A8C7-E59337251AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$11EA1022-5422-4E22-8896-265C71B48D3B","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":"Q286801$C811BAFC-0EF9-4C08-960E-0D9B38753435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3646434a793683f3ce5f6c7fec296d0992d7ea","datavalue":{"value":{"entity-type":"item","numeric-id":5495946,"id":"Q5495946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$61467F13-F10C-4C10-8025-5D9E030CF7CB","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":"Q286801$022BFEE4-5085-4BD4-BEDF-78D636A3BB17","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":"Q286801$056A205F-A333-4942-A42C-86B638BD710F","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":"Q286801$62C2DE4F-68EE-426C-BA04-0FBBCA6853B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2da92fb913582a601af7173c06716220bbf7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$F993AE42-6252-4A22-9D8D-8A2C39195354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1b7572751e7c38d04d8597a88021abb417e889","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$A54A5FE2-88AD-4052-AFB1-AB0F97E9DE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286801$B0303D78-0212-400A-8E89-0444A9C093BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bffae1d0c8a418e0eeccea9238b60d629615a172","datavalue":{"value":"10.1007/S10817-015-9331-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286801$7FA21DAC-49E5-4E3B-B26E-AB8F9951326B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"037a120fb5e9e85841cf76c86e65ea7a762d63ee","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ab76dcb27e11abf666d173bcb4e5c1bf916548","datavalue":{"value":{"amount":"+0.79964995","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":"Q286801$C1BA0ACA-02D0-4B38-B2A6-805A30D8C5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af4902b255ea9d2b2584204359f06fb96d63149","datavalue":{"value":{"entity-type":"item","numeric-id":4277730,"id":"Q4277730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34fafa9cf59c1c705e2019109d9d99f5fffb3c2","datavalue":{"value":{"amount":"+0.7818735","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":"Q286801$B49E0C78-3569-4CA6-8D9B-1C4961964812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8269cbe32ee7e7512808f0542548ae6b2bbe571d","datavalue":{"value":{"entity-type":"item","numeric-id":865630,"id":"Q865630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e4e4d46c6451e53c9bf3651c8bca8d1e6a4465","datavalue":{"value":{"amount":"+0.77842575","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":"Q286801$C500657F-1434-4DAC-B0CF-934158C5473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0271ffbb32b0fdb034b4f062bb270688ee9018cb","datavalue":{"value":{"entity-type":"item","numeric-id":2907308,"id":"Q2907308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3969783811aaf04fa75db91ae94689cc2fa1003b","datavalue":{"value":{"amount":"+0.7777174","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":"Q286801$54C4CC2D-75C8-4487-AC8B-15B16C194111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a3e291f1f17745f7efdf0798b5008ce6b5f5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3582702,"id":"Q3582702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee626f8866142795a7a0e67cf3833a98997879c","datavalue":{"value":{"amount":"+0.7775169","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":"Q286801$D0527C7C-E37E-44E8-860C-B0D36A0C3BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f72f56ec609192e2509a8beea96da165fabac1","datavalue":{"value":{"entity-type":"item","numeric-id":3995229,"id":"Q3995229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b79fedc42bfe74a4cdb7229d570c48ba855faa9","datavalue":{"value":{"amount":"+0.7732836","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":"Q286801$76D455F9-C8B8-405B-A644-A0D16EBEAFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d58b013c3497a81753f3a27ec5d4fd9a1243ab7","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e691026207f82e6066800975df4ad20007ad1c09","datavalue":{"value":{"amount":"+0.77201706","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":"Q286801$20D3D119-AFC7-466E-BE37-B3F2DD9B453F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86930e50c98cf354bb283e1562c8ba3467e93c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3aed947e3f7fe8558ca3c13b075af711af1436","datavalue":{"value":{"amount":"+0.7709489","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":"Q286801$F3A56D36-FA66-4314-9FED-E1949ED7A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8fab4e25f2c0d53045591cb041b93e24f41af3","datavalue":{"value":{"entity-type":"item","numeric-id":3544786,"id":"Q3544786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5155bc5b09131788a5e3f71471d38791d67e398e","datavalue":{"value":{"amount":"+0.7670349","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":"Q286801$09587A61-B47E-4F3A-9AE8-07AEF27A4704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1797d4b1ede6a3f8c6795858a35e7dd1348192c7","datavalue":{"value":{"entity-type":"item","numeric-id":2964007,"id":"Q2964007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b9f3f4b53143a29a4cd353359dbaaeeb2c6b08","datavalue":{"value":{"amount":"+0.7664562","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":"Q286801$33F8AE8D-9953-41DC-B278-6F3FD460B2AE","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":"Q286801$964058DA-A891-4392-BD1B-2D8EFD75C8B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definitional_expansions_in_Mizar._In_memoriam_of_Andrzej_Trybulec,_a_pioneer_of_computerized_formalization"}}}}}