{"entities":{"Q1749141":{"pageid":1759883,"ns":120,"title":"Item:Q1749141","lastrevid":69128661,"modified":"2026-04-13T04:58:00Z","type":"item","id":"Q1749141","labels":{"en":{"language":"en","value":"Flexary connectives in Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868762"}},"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":"Q1749141$82C6D96C-4103-4324-A484-84B015D27FF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"948deedbe9e58ed9963abd9158f05f0081659795","datavalue":{"value":{"text":"Flexary connectives in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749141$1CA7B4E9-3ED2-471E-9638-845B23E0F6E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba8375907e86fdb35942eef51d45bce048f21668","datavalue":{"value":"1387.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749141$8ECBBFCE-995F-43B6-BAC3-94B9F97D3161","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":"Q1749141$0104A3ED-70C3-4872-B3EC-1EC23B4093AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$DF7EADEA-884C-424F-A2D0-F4B06CB51A97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749141$FE9F97CB-B201-4374-9ADD-212C0D945AB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749141$196AB25F-B2A3-4E5E-ACED-5BD1785A051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749141$28BAABCB-A2D9-411F-BC66-73167FB1B42E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24a87a3e1c9772d8beb6ff6f663932b33c9f66b6","datavalue":{"value":"6868762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749141$991C0858-173E-4C65-B9E9-631BC10D0C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749141$7652BD7A-E8F5-43F5-838F-65FA1F67F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9acb09a46f0fb4d023eefc432169bc80747d02ec","datavalue":{"value":"ellipsis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749141$A84C46C2-8505-4A8E-8014-49C0B4618395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850e17af3f28817106a2c72cfc12ca4a977f23ce","datavalue":{"value":"flexary conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749141$9A5CA5F1-3B3A-4406-8C6E-FEA294E0483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2ae55de1a620223253535ab63d00766b6de5bf6","datavalue":{"value":"flexary disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749141$6EEE584E-9047-4BBE-9C3D-AFCE991158A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749141$0F516A3E-C1F8-4995-82EA-6C84B9226CD7","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":"Q1749141$926C8687-CD27-4B61-A802-821376DF1B65","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":"Q1749141$5737DC19-2C9F-45C7-BA5B-3C984138623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$F2BAE4F2-EB8E-45DA-9667-99D974CB09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82143235b0b6504fa32df09c0152ce8fd835cfae","datavalue":{"value":{"entity-type":"item","numeric-id":40308,"id":"Q40308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$28E8B304-A85F-42A5-A770-70EA218B0190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$79B5A2AD-73AB-40B8-ADBE-2E2B4E90625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"507c76a6be67bbc0f78898b0ad6ba2c059a645fa","datavalue":{"value":{"entity-type":"item","numeric-id":36099,"id":"Q36099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$5E6FD145-612F-4C6A-BF04-EEC6C883C568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$3D197360-8C81-4FC2-8F59-4B15324C92F2","rank":"normal"},{"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":"Q1749141$5AC1BD30-73D2-44FA-B365-2DB8FC7D80CF","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":"Q1749141$A9A5DC17-3417-4B92-8032-C60AC421F989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c55b19bd52edf49d20fd695c24faed476e750f","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749141$5ABF273F-9883-46F9-A2A2-F4C8E554FA73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86b997e1f2eadd7d2f4602df2a65135f99686e4b","datavalue":{"value":"W1625130818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749141$FB4F4117-E01B-42D3-8C87-F73129D03ED9","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":"Q1749141$AF7D6BB0-A67D-4B4D-9681-8CD87E5BD4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733843eb43f5cdfe85baf6168d9b7e77daeedd24","datavalue":{"value":{"entity-type":"item","numeric-id":4924547,"id":"Q4924547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$CC8E53E7-ACCE-491A-9128-23234CDC2586","rank":"normal"},{"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":"Q1749141$5DDC8B24-85E9-4748-8168-2DA34051DB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638a383a4e148c10e123839f405ef1f3f58537c2","datavalue":{"value":{"entity-type":"item","numeric-id":4938413,"id":"Q4938413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$41C10998-964E-4D1E-9ABE-3EEC3DCC800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323e2958989e180a61d0de1cbfe5d86d834c2d10","datavalue":{"value":{"entity-type":"item","numeric-id":502693,"id":"Q502693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$2FF7EEF2-21D5-4AF6-94A6-D43D04491693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$544CDD2B-6DAD-444D-A346-FCCD1E03F09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$1DD6A710-0F1E-428C-8A50-1B3726CB1153","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":"Q1749141$0FA21E23-5CFC-45E5-8759-E01B5D20A3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f585255e3cd65102bf6755b066e16e91ebc784da","datavalue":{"value":{"entity-type":"item","numeric-id":5259298,"id":"Q5259298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$B4961754-D375-44D3-8AD2-A112716FFF60","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":"Q1749141$DA91AAFC-EF96-49E8-9301-401CD4023CB3","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":"Q1749141$2ED72728-CB1A-4BF2-A702-6D3FB349E720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5184f33a0038d36ee5068092cab37c4fd71be65e","datavalue":{"value":{"entity-type":"item","numeric-id":5495932,"id":"Q5495932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$131F8215-FDF2-4D13-93EF-C1805CD9D4F4","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":"Q1749141$8A8DCE08-4431-479F-9393-86557651EEBC","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":"Q1749141$F5E64109-CCAD-4B2A-A12C-4E6A3DFF997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed3d733053f8e13e302b76433b1b7bb105499e","datavalue":{"value":{"entity-type":"item","numeric-id":1284707,"id":"Q1284707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$698D38A0-95B9-4C2C-BC5C-BBC8204636B7","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":"Q1749141$EAEBE082-F73C-46B6-B776-755C30CAE31D","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":"Q1749141$96A28C36-939B-4085-908B-A83FD398C3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f790f799c537e20307a809b70bb81bf060da6f06","datavalue":{"value":{"entity-type":"item","numeric-id":286803,"id":"Q286803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$C5CEFB5B-2AFF-4081-B096-8BEAA50B839B","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":"Q1749141$CFCC908C-FC6C-4C91-9E97-C7C3BD33D6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5106d9ed292c308b246ab3595f3374aa0eedd43f","datavalue":{"value":{"entity-type":"item","numeric-id":2852149,"id":"Q2852149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$015191EC-2738-4EE4-ACC9-7FE12FBB35D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d40efc67e62a1c58498dcfea5a795a7ad2d891","datavalue":{"value":{"entity-type":"item","numeric-id":3848181,"id":"Q3848181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$1C17FD54-9B59-4537-A106-4438CA4F19C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bd7a7804d462c14eca2f48adcb648eadeff050","datavalue":{"value":{"entity-type":"item","numeric-id":1100932,"id":"Q1100932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$322B7412-EB12-4C22-9406-7210B2D8F8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c244cc102695921b4f1c19e597c65115b343df","datavalue":{"value":{"entity-type":"item","numeric-id":502695,"id":"Q502695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$7EF66A5A-BEBA-46F6-B589-8A35199519F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"746d1aa28d7a4ed0a05ac59756bc51ed3c02d919","datavalue":{"value":{"entity-type":"item","numeric-id":2959006,"id":"Q2959006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$54838F0E-DF29-46F5-9EC1-9E9B0DAC752B","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":"Q1749141$5CFC22E4-656C-4BFC-8AEE-8C1524C0C723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0da0a09bbdbd8336886d62c2c8b015aa727a44","datavalue":{"value":{"entity-type":"item","numeric-id":2250560,"id":"Q2250560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$2CF1EA63-8994-4FF4-97CB-0EA931934974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2503feeec7eab5bebfae2eefbab2a7d275b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749141$6DE580B3-7BF5-494C-93A1-2E285C56F395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfaddbba1d7f22d1083f82fa00e4ed54566c2510","datavalue":{"value":"10.1016/J.CL.2015.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749141$BDCDD988-3697-456D-811A-59543F19F22B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ec7cb17c63b3be37dc67d1efccf6e1eecdf4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5495932,"id":"Q5495932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0732cae31b4027ff8c2003c793a0cee676c8358","datavalue":{"value":{"amount":"+0.746636152267456","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":"Q1749141$4A817304-2818-4142-BA58-57E766EC9177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267ad39aadc80102ce6a4dfa15934b38d6d51e06","datavalue":{"value":{"entity-type":"item","numeric-id":2907348,"id":"Q2907348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb2df085ac248c104333962a137f3fe0a8e61a2","datavalue":{"value":{"amount":"+0.7383264303207397","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":"Q1749141$58EC4626-6420-4B97-8DBB-922862B597DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29535e7ca4d6c47595ffa26b0781a54f23d93f98","datavalue":{"value":{"entity-type":"item","numeric-id":2847392,"id":"Q2847392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556c62661cdd8f54467629a866250a801f74703e","datavalue":{"value":{"amount":"+0.7076237201690674","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":"Q1749141$71150C1D-F93E-49B0-9F33-FB8BE38062BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed25aa4185f2e815bad791afac995de061e6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a076e7b1274dab005db67eb82f71802190d3888","datavalue":{"value":{"amount":"+0.7011618614196777","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":"Q1749141$5D60BD6B-75CF-4A0E-9ED8-7B1A899AABDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8322cff4d79fb6c6f96f1d35a315b692aec0b3ae","datavalue":{"value":{"entity-type":"item","numeric-id":286801,"id":"Q286801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad7ca43143530fa9d4699e7f9eb952ed2906317","datavalue":{"value":{"amount":"+0.6986510753631592","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":"Q1749141$9B81A55C-EAFB-4026-A933-C684E221029F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Flexary connectives in Mizar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Flexary_connectives_in_Mizar"}}}}}