{"entities":{"Q5950934":{"pageid":8127736,"ns":120,"title":"Item:Q5950934","lastrevid":97685957,"modified":"2026-06-05T15:13:51Z","type":"item","id":"Q5950934","labels":{"en":{"language":"en","value":"A general framework to build contextual cover set induction provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684880"}},"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":"Q5950934$FF09EDD2-8FFA-4C27-A844-89494B62780E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b18fec6bb52818a795bacbc62e3b4cf4e7557dc","datavalue":{"value":{"text":"A general framework to build contextual cover set induction provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950934$C999EDE2-F6F3-480B-83C5-1DA06B273F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95b01409874f258f57c738327bf0f7ea8b79a277","datavalue":{"value":"0981.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950934$A0AD51DC-BF3C-418E-863C-08B1A9F7CF32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$DC71314C-DE26-4EA5-B16E-174DB60E1FFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$1E200505-9A1C-4C2E-A88D-8D0F850DA301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae0446501a58098cb1329379aa4eb6f9a6b2c8cd","datavalue":{"value":{"time":"+2002-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950934$AADDE496-F853-49C8-B985-E573C7A3ECF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950934$76C803C0-65EF-4BBC-87E5-739B52D282C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950934$6B01FD27-438E-49F0-ABB0-13E13B47098D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12ac66166e35db238bd47c5c9cf35dfd86108165","datavalue":{"value":"1684880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950934$E292BAEF-F3B8-45E8-BE7C-21043E190B97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cdb8d9d0c4e6b72d1943d248830c318c16a3068","datavalue":{"value":"contextual cover set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950934$F2733D5C-0241-4969-BA49-C1E930E50C32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$0347043B-D5DE-493B-8F1E-D2509D13CB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08f6a03354ec80d0990a75286ee48f06dfcfa1f3","datavalue":{"value":{"entity-type":"item","numeric-id":34506,"id":"Q34506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$A3A2A2A8-9A44-434E-B782-B7C5B608CF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b1d809b7b8c2d62e50796fc41fb47378ee0d87f","datavalue":{"value":{"entity-type":"item","numeric-id":40558,"id":"Q40558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$2CA6CF91-D9C3-4AE7-A570-7531DD8615AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$79C6B1BB-0751-4ACD-86CD-CC2E3986F049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$2831AD2C-FAC7-411D-B943-B6210C5C01BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$47AD5247-42EC-4DC8-BB1C-1C558AF1C015","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":"Q5950934$20BC5B63-F8AE-4069-A3E9-F10D86EB5EAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ecc97c8803f957c7bbe6de108aac896919b5034","datavalue":{"value":"https://doi.org/10.1006/jsco.2000.0469","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950934$A486D82B-9507-4477-B389-7337AD42E770","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05a4e2a95404916277c35158c95c7b21351d8f6a","datavalue":{"value":"W2057086674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950934$8D297617-32C1-43FB-B9A3-EB64B0BD1BF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$995263EC-E939-46F4-9654-AC11F46059DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2de398d7faf4eeff3f07d94f0ba23ec3d66fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4336265,"id":"Q4336265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$626BC9B0-AC3A-4D5A-9BFC-8E7BAE7B5CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b931e481939ec10ac7fbf8d89eb10c9cd4821b","datavalue":{"value":{"entity-type":"item","numeric-id":5096314,"id":"Q5096314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$E9431A73-DC43-483D-AEE6-9C0570B5F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$8DAF0787-9CDD-42A5-A392-FD0CED3EB859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49a4519d7f35a898203f8a3e3626d2af02e12e","datavalue":{"value":{"entity-type":"item","numeric-id":1338907,"id":"Q1338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$0F2C3B74-BFFB-4502-9F9C-AC28F6BBB76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0d59414c9b5c266b18b5ddd6d4e96c6d9862f5","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$5C415A0C-1515-469B-8C6F-B5BB61AF5F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$4E6A7408-0BA7-4490-9F49-43084D36E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b9ee499c2e20ed5be41697ecf31e0d97ac1fb9","datavalue":{"value":{"entity-type":"item","numeric-id":672051,"id":"Q672051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$4BF2406C-1E7C-4CB0-9B17-69D56097E773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$1A47105C-DB7C-4CDA-8443-A8FF1B1883D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$70808705-F51A-4263-AB3F-BE149A42BA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$FE5ED03D-72F7-43D2-B0A2-7447DC8CE043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$D6AE8C55-F312-43AE-9BBD-762FF355FBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6a4aca3189d4fa1f54c4e8d9a90d2257266e51","datavalue":{"value":{"entity-type":"item","numeric-id":5881263,"id":"Q5881263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$99E7E5E7-AF0A-4297-B439-045403B6E888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b00e824185d531e3097660443e356ee7b7ee9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1915132,"id":"Q1915132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$8E34D5E5-4452-487A-B576-750D0630835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$184B9A6D-F390-4633-A0DC-054A7B356613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$5066919C-C911-4E29-95CA-A6E22C42043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$67B6B2C5-CF8D-49E5-A4DC-D46636479D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706dc1bd0a674d2529cf7888615cc60a3ec2ecd9","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$6EDBBBEE-6780-4C75-B845-90C5E6DA499D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88611f33a1bf3cea41b284281a7a4d69934a2bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3943975,"id":"Q3943975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$98246773-F3CE-4DC1-9D29-BA121A92E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$60E2289E-CE08-4516-A4D8-E3FE96DFB17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$7C5A8D1E-ED7A-41F1-AF0F-0F99B7A92F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03daacb77e78cc082b4e44225e4d269536dd1b94","datavalue":{"value":{"entity-type":"item","numeric-id":758216,"id":"Q758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$C7DA37DB-F12F-45B2-9D41-9097D46AE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e6e17b0a0d03149be721a3891f2b8e2442f298","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$140A6EF2-C4B6-42BB-B823-D7AEC1B5104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$918F3EE3-5CC5-4053-90BE-FE9606F30085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$097A5276-52EA-476D-895C-7A0C76E94808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a09b43ab717e0d119a28b84937155a570091bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$961020C7-AD1D-4F5F-82F6-D07F537903F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$5EB986E8-126C-408D-B2E0-88F66AD7C3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5b94812a0e7aa016cec7465e67fecf8fe8776a","datavalue":{"value":{"entity-type":"item","numeric-id":3034806,"id":"Q3034806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$BC8C25CE-2693-41A6-9B51-EC1760FF18E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b89b5dfe20d067ce1b1f3d4f62245fdd4741ae1","datavalue":{"value":{"entity-type":"item","numeric-id":4023582,"id":"Q4023582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$92ECD7D0-6F3C-416B-96A0-EE8BAC3FA655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e271362da8cd836171d1a02fcd25f9ea8d5ea1f","datavalue":{"value":{"entity-type":"item","numeric-id":5210769,"id":"Q5210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$DCDC80CF-4680-4D5E-953E-D86E98C0EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$D8A4ED19-9330-4178-AA65-3431AE5C6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276639f8c117ecfd4e5eb18312eba68ddb5a7b51","datavalue":{"value":{"entity-type":"item","numeric-id":6488527,"id":"Q6488527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$B1A9E9D0-3831-446F-B475-BFFE4923A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b4be2af9bc9dec67e639e18e42b9279d7a45c9","datavalue":{"value":{"entity-type":"item","numeric-id":6488578,"id":"Q6488578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$BF2E7107-FF57-407B-AC27-B4224919200C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950934$16EDFF2D-FB43-4A21-A75D-DB1C1F5DBD39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d08ddc5812f7d52bff042785b8a090e7db4ebd2d","datavalue":{"value":"10.1006/JSCO.2000.0469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950934$34F92BAB-2FF4-4877-8E47-C301E3316EF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51ec6908d28c86faf94f6d851bc4c5740710912","datavalue":{"value":{"entity-type":"item","numeric-id":1404422,"id":"Q1404422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd749957de2423f4951dc2208fa204f8d4a56887","datavalue":{"value":{"amount":"+0.8347344398498535","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":"Q5950934$8DD5166A-C63F-4360-9464-9FBA05131098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b4a2fec8240cef8b3354cfe1bcecda862f0031","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6ae4a8de29e0bb465d7be26c168cb9cd1db431","datavalue":{"value":{"amount":"+0.781295120716095","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":"Q5950934$36E26ED4-C5E0-47FA-83B2-F8BE1D1DCED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec40261e8004852901d410e10c4f66c1792c328c","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1001738677bfb666fcc62e827c76d7c9778429","datavalue":{"value":{"amount":"+0.7418383955955505","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":"Q5950934$76320195-60E9-4E37-B920-4C9B7203D9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee8ab609614895db70868f5fa3735a271f7810c","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3281945af1b1401828b62254656d4f43456b2c07","datavalue":{"value":{"amount":"+0.7410504817962646","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":"Q5950934$4411C338-7D58-466A-BB69-3505DE5C0A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7c5159e6b8eebeb62ba25f99be8e4d5ae3bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":5747655,"id":"Q5747655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0d3196344730773ed51f16a7c8fb69cdf72ca3","datavalue":{"value":{"amount":"+0.736414909362793","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":"Q5950934$6D31F296-2720-4BE4-BD50-9315A4F17D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general framework to build contextual cover set induction provers","badges":[]}}}}}